- 7*l**2 + 6*l - 11. Let h be o(-8). Suppose h*u = 17 + c. Does 2 divide u?
False
Suppose -213*z + 141*z = -102*z + 321000. Is 25 a factor of z?
True
Let g(j) = j + 18. Let b be g(-18). Let d = 3 - b. Suppose -d*t - 109 = -o + 2*t, -366 = -3*o + 2*t. Does 31 divide o?
True
Suppose -3*g + 3891 = -1509. Is 20 a factor of g?
True
Suppose 0 = -6*c + 3*c - 4086. Let r be (-3)/(3/c*6). Suppose 423 + r = 5*s. Does 29 divide s?
False
Let s = 23546 + -9695. Is s a multiple of 27?
True
Is 33 a factor of 9264 - 11 - (17 + -4)?
True
Let j(v) = 66*v - 951. Does 49 divide j(30)?
True
Let i = 4488 + -2628. Does 25 divide i?
False
Let v(j) = -13*j + 16. Let c be v(1). Suppose c*d - 4*d = -5, 2*w = -5*d + 2383. Does 30 divide w?
False
Does 47 divide (57/38)/(3/8132) - -1?
False
Let p be (8 - 7) + (4 - 0). Suppose -p*n = 5*b, -7*b + 2*b = n + 20. Suppose -2*c = -n*t + 529, -t + 5*c + 139 = 24. Is 17 a factor of t?
False
Suppose -10*l - 4095 = 5*l. Let h = 597 + l. Is 12 a factor of h?
True
Let k = 2350 - -5116. Is 41 a factor of k/26 + (-3 - (-74)/26)?
True
Let l = -818 + 144. Let s = 1119 + l. Suppose 5*x = s + 5. Is 15 a factor of x?
True
Let y(z) = z**2 + 20*z + 17. Suppose -3*h = -3*s + 75, 5*h = 6*s - 2*s - 121. Is 2 a factor of y(h)?
True
Let m be (-18)/21 + (-432)/84. Let h(o) = -110*o - 64. Is h(m) a multiple of 105?
False
Let s be -695 - (5 - (8 + -10)). Let j = s + 1248. Is 14 a factor of j?
True
Let w(q) = 2*q**2 + 18*q + 5. Let y be w(-9). Suppose -4*o + 7*o = 0, -1080 = -y*s + o. Does 8 divide s?
True
Let j be ((-119)/(-2) - -1) + (-15)/10. Suppose 2*n = -5*k - j, -5*n = -5*k - 50 + 285. Is 12 a factor of 41/2 + (4 - n/(-12))?
False
Suppose 5*n - m - 12 = 6, 3*m = 4*n - 21. Suppose 197 = n*g - 262. Is g a multiple of 4?
False
Does 47 divide -242 + 243 - (-9587 + 0)?
True
Suppose 5*k + 2*s + 60 = 0, 4*k + 4*s + 48 = 6*s. Is 23 a factor of ((-3)/2 + 0)/(k/1064)?
False
Suppose 1102*s = 4*b + 1101*s - 28204, 4*s + 21140 = 3*b. Is 43 a factor of b?
True
Suppose -197*g + 193*g + 12 = 0. Is 13 a factor of (-3)/g - (-517 - 4)?
True
Let f be 10 - (-6)/((-3)/(-1)). Suppose 4*z - 4*k = 8, 3*z - k = -4*k + f. Suppose 0 = -4*l - z*m + 135 - 44, 3*m - 41 = -2*l. Does 4 divide l?
False
Is -152464*12*12/(-288) a multiple of 251?
False
Suppose -13630 = -5*h + 4*q, -5*q = -4*h + 6493 + 4402. Suppose 4*j - h = -794. Does 22 divide j?
True
Let r(d) = -2*d - 49. Let i be r(-28). Let n be (0 - 1)*1*-251. Suppose -i*w + n = -225. Is w a multiple of 18?
False
Suppose -8*o + 4*o + 20 = 0. Let d(t) = -5*t**2 + 8*t + 4. Let k be d(o). Let x = k - -116. Is x a multiple of 8?
False
Let c(z) = -z**2 - 7*z + 23. Let p be c(-8). Is 2 a factor of p/(-50) + 492/40?
True
Is 20 a factor of (-3)/(36/(-150))*46?
False
Suppose 17 = -3*n + 3*o + 122, 0 = -3*n - o + 93. Suppose 59*m - n*m = 2430. Does 15 divide m?
True
Is 100 a factor of (0 - 6) + (112 - -5164)?
False
Let c = -3643 - -7156. Is 105 a factor of c?
False
Let j be (((-48)/(-5))/6)/((-22)/(-55)). Suppose 5*s = 13*u - 16*u + 2073, -s = -j*u - 410. Does 20 divide s?
False
Let f(a) = -a + 31. Let v be f(31). Let n(x) = 68*x**2 + 3*x + 2. Let m be n(-2). Suppose v*i + 224 = 4*c + 4*i, -5*c = -i - m. Does 18 divide c?
True
Suppose 271*v + 5*d = 264*v + 198820, 56804 = 2*v + d. Does 40 divide v?
True
Let c = -46 - -46. Suppose 35 + 4 = -u - q, 4*q - 20 = c. Is 26 a factor of u/8*((-44)/2)/1?
False
Let k(y) be the third derivative of -y**5/60 - y**4/24 + 35*y**3/2 - 3*y**2 - 10*y. Is 35 a factor of k(0)?
True
Let y(j) = j**2 - 41*j - 135. Let u be y(44). Let r = 37 - u. Does 3 divide r?
False
Let i(m) = -m**3 + 4*m**2 + m + 1. Let f = 46 - 43. Let a be i(f). Is 4/(-8)*a*-6 a multiple of 21?
False
Suppose -45741 + 40167 - 79755 = -19*j. Is j a multiple of 51?
False
Let r = 903 - -618. Does 33 divide r?
False
Is 6 a factor of (-171243)/(-1795) - 2/((-20)/6)?
True
Suppose -22557 = -5*l - 2*x, 63*l - 2*x = 67*l - 18046. Is 9 a factor of l?
False
Let p(h) = h**3 - 6*h**2 + 7*h - 10. Let d be p(5). Suppose 4*i = -5*z + 1657, d*i + 5*i - 5*z = 2060. Is 45 a factor of i?
False
Let c(r) = 9*r**2 + 24*r - 23. Let w(t) = -5*t**2 - 12*t + 11. Let y(g) = 3*c(g) + 5*w(g). Does 14 divide y(10)?
False
Let v(i) = 15*i**3 + 4*i**2 - 6. Let h be v(2). Let c = 105 - h. Let j = c + 45. Is j a multiple of 5?
True
Let s = -25654 - -37820. Does 17 divide s/21 - (-3)/(9/2)?
False
Let t = 17586 - 7792. Is t a multiple of 83?
True
Let a(o) = 3*o**2 - 5*o + 21. Let s be (-4)/(-18) + 14/(-63). Suppose 5*m = 2*c - 17, -4*m = 2*c - 8 - s. Is a(c) a multiple of 10?
False
Suppose -3*o + 2*a - 8 = -2*a, 0 = -o - 4*a + 24. Let w(p) = -4*p**2 + 0*p + 5*p - p - 10 + p**3. Does 6 divide w(o)?
True
Let b(x) be the third derivative of 1/30*x**5 + 17/24*x**4 + 12*x**2 + 0 + 2*x**3 + 0*x. Does 4 divide b(-8)?
True
Suppose -71*a + 597861 = 10*a. Is 61 a factor of a?
True
Is 89 a factor of 48/(-216) + 3206/9?
True
Let p be -59*28 + 8/((-22)/11). Let m = p - -2804. Is 13 a factor of m?
False
Let l(f) = -8*f**3 + 32*f**2 - 22*f - 230. Is l(-9) a multiple of 31?
False
Let n = 1875 - 1573. Is 39 a factor of n?
False
Suppose 4*a - 5*a = -j + 1, 0 = 5*j - 3*a - 3. Suppose -y - 15 + 17 = j. Is 3 - 39/(-3)*y/1 a multiple of 29?
True
Let o = 174 + -217. Let a = -28 - o. Does 15 divide a?
True
Suppose 7*u = 38 - 10. Suppose 0 = u*h + a - 51, -3*a + 3 = h + 4. Suppose o + 4 = h. Does 7 divide o?
False
Suppose -633 = -2*z + 5*t + 1512, -2*t + 14 = 0. Does 5 divide z?
True
Suppose -729*q = -735*q - 36. Let z(d) = d**3 + 9*d**2 - 2*d + 15. Does 37 divide z(q)?
False
Let y(o) = o**3 + 56*o**2 + 127*o - 1356. Is 6 a factor of y(-49)?
True
Let a(w) = -87*w + 47. Let m be a(-9). Does 3 divide m/25 + (-2)/10?
True
Suppose 2*n - 131780 = 11*n - 538292. Is 16 a factor of n?
True
Let p(f) = f**2 + 73*f + 18. Let n be p(-23). Let q = -315 - n. Is q a multiple of 79?
False
Suppose 5*x - 30 = -5*d, -12 = -5*d + 5*x + 8. Suppose 10 = -d*y + 4*k - 8, -y - 15 = 3*k. Does 27 divide y*260/(-15) - -4?
True
Suppose 46310 = 69*j - 38141 + 3100. Is 3 a factor of j?
True
Suppose -35 = -4*n + 85. Suppose -a = -15 - n. Suppose 34 + a = q. Does 11 divide q?
False
Let d be (3/2)/(5/(0 + 10)). Suppose 6*b = 4*v + d*b, b - 19 = -5*v. Suppose -771 = -3*u + p, 181 = v*u + p - 590. Is u a multiple of 15?
False
Does 37 divide ((-111)/2)/(((-861)/154)/41)?
True
Let k = 18591 + -15797. Does 46 divide k?
False
Is 52 a factor of 2 + (-1008055)/(-45) + 52/(-234)?
False
Let u = -2560 - -3040. Does 5 divide u?
True
Suppose 47*x = 48*x + 12. Is (x/(-1))/(3/74) a multiple of 21?
False
Suppose -2*m + 20808 = 5*v, -v - 7*m + 6*m = -4164. Is 32 a factor of v?
True
Suppose 3*c = -24, -2*c = 3*m - 6*m + 109528. Does 72 divide m?
True
Let g be ((-1)/2)/(7/(-826)). Suppose 34 = -2*i - 4. Let y = g + i. Is 10 a factor of y?
True
Let b(x) = x**2 - 7*x + 7. Let a be b(1). Does 60 divide (6 - 7)*599/(-1)*a?
False
Suppose -a = 4 - 7. Suppose -445 = -2*l + b, b = -a*l - 3*b + 640. Is l a multiple of 22?
True
Let l(q) = 13*q**2 + 51*q - 119. Is l(-19) a multiple of 7?
True
Let t = -3171 + 3329. Is 33 a factor of t?
False
Suppose 83082 = -28*q + 187913 + 173769. Does 10 divide q?
True
Suppose 20*p = 25*p - 20. Suppose -2*s = p*l - 308, s = -0 + 2. Let t = 103 - l. Does 3 divide t?
True
Suppose 94 = 5*l + x, 3*l - l + 5*x - 33 = 0. Does 15 divide 5/(40/24) + 39*l?
False
Suppose 0*d = -6*d - 1434. Let a = 434 + d. Suppose 0 = 4*i - a + 47. Is i a multiple of 12?
False
Let z(j) = -j**3 + 36*j**2 - 73*j - 37. Let r be z(30). Let c = r - 2187. Is c a multiple of 29?
True
Suppose -3*c + 12 = u + 3*u, 5*u = -c + 15. Let f(l) = 18144*l**2 + 5*l**3 - 18147*l**2 + 4*l**3 + 7*l - 10. Is 36 a factor of f(u)?
False
Let k(m) be the third derivative of m**5/10 + 7*m**4/12 - 35*m**3/2 - 308*m**2. Does 23 divide k(8)?
True
Let u be (4 - 2)/(7/1946)*2. Does 39 divide u + -8 + 10 + 6?
False
Let i be (-2*10)/4 + 565. Suppose 0 = 3*g - 0*g + 5*o - 1660, i = g + 5*o. Suppose -176 = 2*p - g. Is 11 a factor of p?
True
Suppose q + j - 13 = -5, -2*q + 4 = -2*j. Suppose -942 = -q*n + 8. Is n a multiple of 19?
True
Suppose -y - 10 = 5*z + 4*y, -2*z = -3*y - 16. Let f(j) = 6*j - 5. Let a be f(z). Suppose -71 = -r - a. Is 24 a factor of r?
False
Does 28 divide (-871359