factor of r?
True
Let p be (-10)/40 - (-58)/8. Suppose 234 + 179 = p*z. Is z a multiple of 9?
False
Let o(l) = l + 15. Let s(q) = q**2 + 3*q + 5. Let u(d) = d - 1. Let x(v) = s(v) + 3*u(v). Let y be x(-3). Is 8 a factor of o(y)?
True
Let q(v) = 2*v**3 - 9*v**2 + 2*v + 20. Is 12 a factor of q(6)?
False
Suppose 5*s - 37 = -7. Suppose 114 = 3*o + s. Is o a multiple of 9?
True
Let j(k) = 133*k - 28. Does 18 divide j(4)?
True
Let a = 1034 + 15. Is 76 a factor of a?
False
Let u(h) = 11*h. Let n = 19 - 29. Let v be ((-4)/n)/((-2)/(-10)). Is u(v) a multiple of 11?
True
Let v(b) = 3*b**2 + 5*b + 2. Let x be v(-3). Let o be x + 0 + 6 + -4. Suppose 3*q - o = -5*w + 95, -q - 3*w + 37 = 0. Is 12 a factor of q?
False
Let z be ((7 - -3) + -2)/(4/80). Suppose 2*k = k + 3*j + z, -5*k + 2*j + 865 = 0. Is 45 a factor of k?
False
Let n = 523 - 316. Is n a multiple of 69?
True
Suppose -3*y - 26 = -t, -3*t - 60 = -8*t + y. Let w be (t - -9) + (2 - 0). Suppose w = 2*n - 46. Is 17 a factor of n?
True
Suppose -76*u + 2832 = 3*w - 71*u, 0 = -u. Does 8 divide w?
True
Is 4 a factor of 162 + ((-24)/(-4))/(-2)?
False
Suppose 4*f - 20 = -0*f. Suppose -2*s = -5*h - 42, -f*h + 15 - 73 = -3*s. Suppose -c - 1 = -3, -2*c - s = -2*b. Is b a multiple of 4?
False
Let d(g) = 3*g - 5 + 0 - 4 + 2*g**2. Is 14 a factor of d(5)?
True
Suppose 21 = 2*s + 13. Suppose 2*t = 3*o + 86, o = 3*o + s. Does 8 divide t?
True
Is ((-2 + 1)*1 - 3) + 413 a multiple of 10?
False
Let f(x) = -6*x - 24. Is f(-12) a multiple of 16?
True
Let w be 33/3*(-2)/2. Let l = -1 - w. Is 10 a factor of l?
True
Let c(j) be the second derivative of 0 + 1/12*j**4 + j**3 - 5/2*j**2 - 5*j. Is c(-9) a multiple of 9?
False
Let n(h) = 4*h**3 - 12*h**2 + 16*h - 5. Let c(k) = 3*k**3 - 11*k**2 + 15*k - 4. Let u(o) = -5*c(o) + 4*n(o). Does 7 divide u(-8)?
False
Is (-173706)/(-357) + -1 + 3/7 a multiple of 54?
True
Let s(o) = 2*o**3 + 8*o**2 - 3. Let i(f) = -6*f**3 - 23*f**2 + 10. Let x(p) = 3*i(p) + 8*s(p). Is 5 a factor of x(-4)?
False
Let y(t) = -t + 22. Let w be y(10). Suppose 0 = -3*c + 6, 2*d = -4*c - c - w. Let k = 4 - d. Is 3 a factor of k?
True
Suppose -4*a = -5*o - 149, -5*a + 194 - 12 = -2*o. Let r = 50 - a. Does 4 divide r?
False
Let f(t) = -t**2 - 6*t + 2. Let l be f(4). Suppose -2*m - 3*m - 2*x + 352 = 0, 0 = 4*m + 4*x - 272. Let h = m + l. Is h a multiple of 21?
False
Suppose o - 4*q = 90, 3*o + 2*q - 222 = -2*q. Suppose -6 = -u + o. Does 6 divide u?
True
Let m be 0 + ((-2349)/18 - (-1)/(-2)). Let j = -92 - m. Is 39 a factor of j?
True
Let o = 123 + -194. Let j = -46 - o. Is 4 a factor of j?
False
Suppose 0*x = 4*x - 200. Suppose 18*p - x = 13*p. Suppose -p = -0*j - 2*j. Is j a multiple of 2?
False
Let n(a) = -a**2 + a - 10. Let x be n(3). Suppose 269 = -3*k + 74. Is 4 a factor of x/56 + k/(-7)?
False
Suppose 7*y = -5*q + 2*y - 260, -y + 5 = 0. Let x = q + 60. Is 2 a factor of x?
False
Let t = -90 + 90. Suppose 0 = -2*x + x + 64. Suppose 2*z - 70 - x = t. Is z a multiple of 15?
False
Let r = 237 - 235. Let l = -95 - -172. Suppose -r*y + 147 = -l. Does 16 divide y?
True
Let y be 486/10 - 45/75. Suppose -450 = -3*f - 2*f. Let k = f - y. Is k a multiple of 13?
False
Let w be (-20)/90 + (-68)/18. Let y = 79 + w. Is 25 a factor of y?
True
Suppose -4*d + 6*d + 3*y = 216, 5*d + 2*y - 551 = 0. Does 12 divide d?
False
Suppose 224 + 32 = 4*m. Suppose 4 = 2*u - 8. Suppose -u*l + m = -2*l. Is 10 a factor of l?
False
Let i be (8/(-10))/((-8)/(-440)). Is 19 a factor of ((-334)/(-40) + (-11)/i)*5?
False
Let w = 4646 + -2756. Is 30 a factor of w?
True
Suppose 147*h = 144*h - 5*d + 6794, -d - 2 = 0. Is 14 a factor of h?
True
Suppose 9*o = 2*o + 826. Let f = o + -42. Is 10 a factor of f?
False
Suppose -4*s + 819 = -3*s + 3*t, -3*t - 2493 = -3*s. Does 9 divide s?
True
Let t be (-9)/(-27) - 20/(-3). Suppose t*f - 9*f = 12. Does 15 divide (f/7)/(1/(-70))?
True
Let r be 22*-8 - (-4)/(-4). Let h = -115 - r. Suppose -3*v = 2*w - h, 2*v + 3*w = 24 + 24. Is 6 a factor of v?
True
Suppose 2*n = 8, 30 = 3*u + 4*n - 52. Is 4 a factor of u?
False
Let c be (15/6 - 3)/((-1)/(-2)). Does 16 divide c/(-6) - 491/(-6)?
False
Suppose -2*g + 2*a + 99 = -65, 0 = g + 4*a - 57. Is g a multiple of 7?
True
Let o = 886 + -303. Is o a multiple of 19?
False
Let n(v) = v**3 + 6*v**2 - 8*v - 2. Let b be n(-7). Suppose b*s = 184 - 39. Does 9 divide s?
False
Suppose -38*p + 19998 = -16*p. Does 14 divide p?
False
Let u = 605 - -472. Is 7 a factor of u?
False
Suppose -70*n = -53*n - 12937. Does 4 divide n?
False
Let g be 12/(-3)*21/(-12). Let n(d) = -8*d + g*d - 16 - 11*d. Is n(-7) a multiple of 28?
False
Suppose 2*o + 3*c = -61, 0*o = 3*o - 5*c + 63. Let x(n) = -n**3 + 3*n**2 + n + 7. Let t be x(4). Let p = t - o. Is 6 a factor of p?
False
Let f(g) = g**2 - 10*g - 11. Let t be f(10). Let v be 6/33 - (-233)/t. Let k = 14 - v. Is k a multiple of 16?
False
Let u be 4/(2 - 4) + 3. Let t = u + 10. Does 5 divide t?
False
Let j be 4 - (11 - (-1 + 5)). Is 10 a factor of j*(-4)/(-3) - (-118)/1?
False
Suppose 0 = -5*c + 4*u + 42, -5*u - 34 = -4*c - 2*u. Let l(x) be the first derivative of 3*x**2/2 - 14*x + 5. Does 7 divide l(c)?
False
Let o(f) = 1373*f**2 + 4*f - 1. Does 36 divide o(-1)?
True
Let a be (-38)/(-5) + (-4)/(-10). Let b be 285/12 - 6/a. Let h = 39 - b. Does 8 divide h?
True
Let p = -24 - -26. Let w be ((-46)/1)/(p*-1). Suppose -68 = -3*a - w. Is 5 a factor of a?
True
Suppose 0*y = -y + 11. Let d(x) = x**3 - 10*x**2 - 15*x + 12. Let v be d(y). Let z = 1 - v. Is 11 a factor of z?
True
Let o = -1922 + 2224. Is 36 a factor of o?
False
Let a(h) = -6*h - 9. Let g = 3 - 1. Suppose f = g*f + 8. Is 24 a factor of a(f)?
False
Let l = -53 + 51. Let q(c) = -c - 153. Let o be q(0). Is 12 a factor of o/(-4) + l/8?
False
Let p be (-33)/22 - (-1 - (-314)/(-4)). Let x(n) = -n**2 + n - 6. Let h be x(0). Does 13 divide (3/h + 1)*p?
True
Let u = -20 + 22. Suppose u*c = 20 + 34. Does 4 divide c?
False
Let k = -28 - -34. Let r(y) = 5*y + 16. Does 5 divide r(k)?
False
Let p(z) = 2*z + 6. Let q be ((-14)/8)/(7/28). Let l be p(q). Is (28/l)/(1/(-14)) a multiple of 13?
False
Let s = 755 + -475. Suppose -4*k - s = -8*k. Does 14 divide k?
True
Let g(v) = -v**2 + 6*v**2 + 10 + v**3 + 0 - 9*v. Let y be g(-7). Let a = 47 + y. Is 11 a factor of a?
True
Let s = 819 + -535. Suppose 3 = 3*n - 6. Suppose -n*a + s = a. Does 12 divide a?
False
Suppose -4*t + 16 + 2 = 2*p, -p = -4*t + 3. Let c(l) = -t + 0*l**3 + 2*l**2 - 6*l**3 - 2*l**2 - l**2. Does 13 divide c(-2)?
False
Let v(x) = 19*x**2 - 3*x - 2. Let u be v(3). Let z = u - 23. Is 12 a factor of z?
False
Let c = 295 - 265. Is c a multiple of 6?
True
Let j(r) = r**2 - 5*r. Let i be j(5). Suppose i = -4*c + 6*c + 6, 0 = -z - c + 1. Is z a multiple of 4?
True
Let y = -108 + 199. Is y a multiple of 15?
False
Suppose m + 8 = -r, 0*r - 4*r = m + 20. Is 2/r*-2 - (-288)/3 a multiple of 28?
False
Suppose -2*p - 4*m = -3*p - 1436, 0 = -5*p - 3*m - 7111. Is 12 a factor of ((-1)/2)/(4/p*2)?
False
Let g(a) = 117*a. Let j be g(-1). Let i = 216 + j. Does 33 divide i?
True
Let y be (-14)/42 - (-164)/(-3). Let r = 248 + y. Suppose 3*n = 4*m + r, -4*n = n - 5*m - 320. Is n a multiple of 21?
True
Suppose 115 = 6*j - 161. Suppose 0 = -j*o + 44*o + 260. Does 13 divide o?
True
Let l = 41 - 14. Let s be (-11 + 14)/((-3)/(-65)*1). Suppose -s = -4*d + 5*y, -5*d + 3*y = -l - 38. Is d a multiple of 5?
True
Suppose -14*x - 392 = -15*x. Does 49 divide x?
True
Suppose 3*f - 101 = -b, 3*b = 4 - 7. Is 6 a factor of f?
False
Suppose 60*j - 17936 = 22*j. Does 8 divide j?
True
Let p(g) = -g**3 - 9*g**2 - 5*g - 5. Is 8 a factor of p(-10)?
False
Let u(y) = 6 - y**2 + 3*y + 2*y - 2*y - 16. Let c be u(10). Let x = -38 - c. Does 14 divide x?
True
Let h(r) = -r**3 + 16*r**2 + 15*r - 13. Is 8 a factor of h(-5)?
False
Let v(r) = -r**3 + r + 3. Let y be v(0). Suppose -y*n + 0*n = -84. Does 14 divide 1/(1/n)*2?
True
Let q(a) = -21*a - 2. Is q(-2) a multiple of 20?
True
Is -1*(-1)/(10/4070) a multiple of 9?
False
Let v = -31 - -85. Is 6 a factor of v?
True
Suppose 104 = -3*t + p, -33 = t - p + 5. Let v = t + 55. Is v a multiple of 11?
True
Suppose 4*l + 542 = i, 3*l + i = -i - 412. Does 21 divide l/(-5) + (-3)/15?
False
Suppose 7*v - 7 - 28 = 0. Suppose g - 5 = v. Does 3 divide g?
False
Sup