
False
Let x be (-4)/(-24)*-3*-6. Suppose 3*k - d = -5 + 17, -2*d = 3*k - x. Suppose -2*b + 44 = 7*j - 4*j, 49 = k*b - 4*j. Does 3 divide b?
False
Let f(d) = 11*d**3 - 18 - 6*d - 13*d**3 - 18*d**3 - 71*d**2 + 80*d**2. Is 65 a factor of f(-4)?
True
Let n be (-1 + 75/5)*2. Suppose 12*h - n*h + 208 = 0. Is h a multiple of 3?
False
Let o be ((-20)/(-12))/((-3)/(-3915)). Suppose 0 = 3*m + 3, -o = -2*d + 4*m - 591. Is 24 a factor of d?
False
Does 17 divide ((-43080)/(-100))/((-5)/300*-4)?
False
Let w be -5*36/(-20)*(-2746)/(-6). Suppose 17*k = w + 7611. Does 10 divide k?
True
Suppose -314*s - 786900 = -334*s. Does 183 divide s?
True
Suppose -6*g + 3*g + 3804 = 5*x, -x - 2536 = -2*g. Is g a multiple of 6?
False
Let o = -82 - -153. Let z = -58 + o. Suppose 0 = -z*n + 6*n + 238. Does 8 divide n?
False
Let p be -2*(-4 - -5 - 0). Is 3 a factor of (3 + -3)/p + 5 + 24?
False
Let k = 232 - 89. Suppose 0 = 5*c + k - 28. Let j(w) = -3*w - 6. Does 8 divide j(c)?
False
Let f(n) = 93*n**2 - 84*n + 1256. Is f(16) a multiple of 23?
False
Let r be (-18)/135 + (-29462)/(-15). Let v = r - 1216. Is v a multiple of 23?
False
Let x = -433 + 433. Suppose 8*m - 1285 - 1099 = x. Does 11 divide m?
False
Let d = -26385 - -31829. Is d a multiple of 32?
False
Suppose 5*u - 61 = -26. Suppose -u*w + 200 + 24 = 0. Does 7 divide w?
False
Suppose 5*l = -5*j + 44220, -4*j + 33*l - 32*l = -35381. Is 17 a factor of j?
False
Let i = -352 + 357. Suppose 20*v - 10100 = -i*v. Is v a multiple of 14?
False
Let j = 212 + -143. Suppose 6*y - j = 3*y. Suppose -104 = -n - y. Is n a multiple of 9?
True
Let m(o) = -869*o + 3510. Does 138 divide m(-12)?
True
Let s(f) = 736*f - 4464. Is 28 a factor of s(24)?
False
Suppose 2*j = 5*j + 24. Let u(a) = a**3 + 13*a**2 + 2*a - 41. Let g be u(j). Suppose k - 4*d - 84 = 0, 5*k + 2*d - 157 = g. Is 4 a factor of k?
True
Does 16 divide (-35 - (-169)/13) + 12 + 2509?
False
Let x = 99 + -100. Let b = 21 - x. Suppose -19*a - 138 = -b*a. Is a a multiple of 19?
False
Let r be 10/25 - (-16)/10. Suppose -10 = -8*x - r. Suppose 3*u + 24 = 5*n, 0 = -u + x + 1. Is 2 a factor of n?
True
Suppose 2*w = 24*w - 44. Suppose 500 = 2*v - w*p, -2*p - p = 5*v - 1266. Is v a multiple of 12?
True
Suppose 0 = -33*f + f - 61248. Let t = -834 - f. Is 18 a factor of t?
True
Let u = 13784 + -7144. Does 83 divide u?
True
Let y(t) = 2*t**2 + 22*t + 9. Let h be (4/(-8)*3)/((-3)/18). Suppose -5*v - 29 = -3*v + 5*b, -3*b + h = -v. Does 32 divide y(v)?
False
Let f(y) = -y**3 - 11*y**2 - 16*y - 51. Let z be f(-10). Is -1 - -667 - (-27)/((-81)/z) a multiple of 39?
True
Let x(v) = -v**3 + 5*v**2 - 6*v + 3. Let u be x(3). Is 4 + (-2 + u - 3) + 167 a multiple of 13?
True
Let w(z) = 7*z - 21. Let r(b) = -b**2 + 5*b + 1. Let m(i) = i**3 - 4*i**2 + 3*i + 2. Let n be m(3). Let y be r(n). Is w(y) a multiple of 4?
True
Suppose -5*k - 1698 = -2*k - 4*w, 0 = -4*k + 4*w - 2260. Let m be 5 + (-42)/9 + 3468/(-9). Let v = m - k. Does 28 divide v?
False
Suppose 11*v - 6*v - 25 = 0. Let h = v + 2. Suppose 0 = 2*i + h*w - 2*w - 143, -5*i + 3*w = -373. Is 42 a factor of i?
False
Let v(n) = -n - 15. Let j be v(-6). Let p be j*(-3 - 1)/12. Suppose -4*k - 3*q + 7*q + 136 = 0, -p*k + 5*q = -98. Is 4 a factor of k?
True
Let q(p) = -33*p - 37*p - 38*p + 146*p + 16*p**2 - 36*p + 1. Let b be ((-2)/(-1))/(-4 - -2). Is 3 a factor of q(b)?
True
Let t = 858 - -11004. Is t a multiple of 76?
False
Let x = -22 + 22. Suppose -30 + 331 = 2*n - 3*r, -2*n - r + 305 = x. Let t = -90 + n. Is t a multiple of 14?
False
Let q = -52 + 66. Suppose -2194 = -q*z + 2636. Does 42 divide z?
False
Let u(o) = -o**2 - 14*o - 17. Let k be u(-12). Suppose -8 = -5*n + k. Suppose 3*f + y = 81, 0*f - n*y + 54 = 2*f. Is 7 a factor of f?
False
Let a be (-192)/(-22) - 234/(-858). Let l(b) = -b**3 + 4*b**2 + 50*b - 25. Does 15 divide l(a)?
False
Let i(m) = 263*m**2 - 125*m + 126. Does 22 divide i(1)?
True
Suppose 492*o - 2329289 - 1584853 = -751074. Is o a multiple of 13?
False
Suppose 39123 = 78*g - 15*g. Does 21 divide g?
False
Let g = 606 - 409. Suppose -1975 = -3*v - t, 0 = -4*v + t + 2434 + g. Is v a multiple of 7?
True
Let h(x) = -140*x + 1. Let z be h(-1). Suppose 0 = -z*k + 145*k - 48. Suppose 158 = -k*y + 14*y. Is 6 a factor of y?
False
Let y = -3690 - -5233. Is y a multiple of 161?
False
Let l(b) = 698*b**3 + 25*b + 4*b**2 - 15*b**2 - 697*b**3 - 39. Does 15 divide l(12)?
True
Let f be -15 - -11 - (3 + -7). Suppose f*i + 6*i = 8760. Does 20 divide i?
True
Let g = -30 + -386. Let v = 891 + g. Is 8 a factor of v?
False
Let t = 402 + -756. Let c = 130 - t. Is c a multiple of 15?
False
Let j(g) = 323*g - 1541. Let a be j(7). Suppose -5*i - 1475 = 3*r, -5*r - i + 2*i = 2505. Let p = r + a. Does 22 divide p?
True
Let t(f) = -10*f**2 - f + 8. Let d(a) = 19*a**2 + a - 16. Let y(b) = 4*d(b) + 7*t(b). Let h be y(4). Let l = h + -57. Is 5 a factor of l?
False
Suppose 74*l - 186645 = 172921. Does 9 divide l?
False
Let i(o) = 68*o - 129. Let u be i(10). Let f = u - 399. Is f a multiple of 3?
False
Suppose -3*x = 2*y + 419 - 54, y = 2*x + 248. Let a(h) = 19*h**2 + 5*h + 3. Let o be a(3). Let z = o + x. Does 22 divide z?
True
Let i(x) = 2*x**2 + 21*x + 41. Suppose 8*a - 3*a + g - 70 = 0, -4*g = 2*a - 10. Is i(a) a multiple of 10?
False
Let m = -81 + 163. Let r = m - -39. Is r a multiple of 11?
True
Let m(i) = -4*i**2 + 8*i - 30. Let r be m(-16). Let d be ((-69)/(-15) - 5) + r/(-5). Suppose -u + 2*c = -51 - 77, 2*u + c - d = 0. Is 10 a factor of u?
True
Let m(j) = j**3 - 5*j**2 - j - 7. Let s(f) be the second derivative of -f**4/4 - 13*f**3/3 - 5*f**2 + 2*f. Let o be s(-8). Does 4 divide m(o)?
False
Let c(g) = 1 - 30*g + 19*g - 34*g. Let x be c(-2). Suppose 10*m = 17*m - x. Is 2 a factor of m?
False
Let n be (876/30)/(1/(-10)). Let m = 127 + n. Is m/(-6)*(-1 + 3) a multiple of 15?
False
Let q be 0*(8/(-24) + (-2)/12). Suppose q*f = 4*f - 164. Suppose 3*a = -3*o + f + 76, 2*o - 3*a - 83 = 0. Does 10 divide o?
True
Let m = 6 - 1. Is 92 a factor of ((-15)/3)/(m - 6904/1380)?
False
Let i be (-146)/(-30) - 12/(-90). Let v(d) be the second derivative of 5*d**4/12 - d**3 + 17*d**2/2 + 4*d. Is v(i) a multiple of 16?
True
Suppose -1328 = -3*t - 2*g, 65*t = 62*t - 4*g + 1324. Is 36 a factor of t?
False
Suppose 0 = -2*a + h - 6*h + 16, -22 = 3*a - 4*h. Does 66 divide (108/42)/(a - 310/(-154))?
True
Let s(h) = 70*h**3 + 4*h**2 - 34*h + 60. Is s(6) a multiple of 14?
True
Let u(i) = 2*i**2 - 15*i - 10. Suppose r - 14 = -t - 4, 0 = 4*r + 5*t - 42. Let k be u(r). Let a = 29 + k. Is a a multiple of 27?
True
Suppose 620 = 13*d - 17*d. Let r be (-28)/42 - d/3. Let w = -24 + r. Does 27 divide w?
True
Suppose 265 - 105 = 8*g. Suppose -m - 3*k = 9 - 1, 4*m - 3*k - 13 = 0. Does 4 divide g/5 - m*-12?
True
Let s = 146 + -136. Let r(y) = 9*y**2 - 15*y + 23. Let a(o) = 5*o**2 - 8*o + 11. Let l(z) = -7*a(z) + 4*r(z). Is 10 a factor of l(s)?
False
Is 35/(20/(-80) - (-87)/336) a multiple of 31?
False
Suppose 1570*j - 1568*j = 0. Suppose j = -2*a + 3*y + 759, 5*a - 8*y - 1875 = -5*y. Is a a multiple of 12?
True
Suppose 0 - 13 = 2*f + 3*l, f + l = -6. Let j be 1/1 - (6 - f - 2). Is 9*(5 - 6)*j/3 a multiple of 6?
True
Suppose -3*a = 2*i - 6, 0 = -5*a - 3*i - i + 8. Suppose 7*j = a*m + 2*j + 61, 3*m + 3*j = -12. Does 11 divide 2*(-2)/24*m*22?
True
Let m = 1287 + -1269. Suppose -h - 420 = -6*h - 5*i, 0 = 5*i + 25. Let u = h - m. Is u a multiple of 24?
False
Does 11 divide 30/36 + 541517/174?
True
Let k be 14/56 + (26/(-8) - -2). Let a be k - ((-33)/44)/((-2)/(-8)). Suppose -3*n = a - 569. Is 21 a factor of n?
True
Let y = -2857 + 12361. Is y a multiple of 216?
True
Let y be (18 - 18) + (-25 - 0). Let n = -3 + y. Is 12 a factor of (360/70)/((-2)/n)?
True
Let k = -1895 - -4389. Is 58 a factor of k?
True
Does 25 divide (-36)/126 - (-12588)/7 - -1?
False
Let u(i) = i + 11. Let a be u(-6). Suppose -415 = -q + r - 5*r, a*q + 5*r = 2060. Suppose -2*c + 4*f = -216, 0*c - 4*c = -f - q. Does 37 divide c?
False
Let r(w) be the first derivative of 11*w**2/2 + 4*w + 9. Is 6 a factor of r(6)?
False
Let d be (-517)/(-33)*(24 + 0). Suppose 2*k = -4*l + 1504, l - 2*k = -5*k + d. Suppose 2*u - 3*x = 229, 3*u + 0*x + 2*x = l. Is u a multiple of 17?
False
Let b(c) = -c**2 + 15*c - 6. Let y be b(7). Is (-1 - 81