 Is 10 a factor of r?
False
Suppose 36 = -3*z + 171. Does 11 divide z?
False
Let p be 101/(-4)*(30 + -26). Let x = 273 + p. Does 20 divide x?
False
Suppose 1 = i - 0*i. Let v(u) = 5*u - 266. Let h be v(57). Let f = i + h. Is f a multiple of 4?
True
Let q(y) = y**3 + 3*y**2 + y - 2. Let a be q(-3). Let s(l) = -l**3 - 1. Let n(p) = 6*p**3 + 5*p**2 - 2*p + 4. Let w(b) = n(b) + 5*s(b). Does 2 divide w(a)?
False
Let g(o) = -o**2 - 11*o + 14. Let d be g(-12). Suppose 4*m + 48 = 2*a - 26, d*m = -2. Does 9 divide a?
False
Suppose -2*y = 26 + 2. Is y/(((-8)/26)/2) a multiple of 7?
True
Let r(g) = g**3 - 9*g**2 + 2*g - 14. Let o be r(9). Let f(a) = a**3 - 9*a + 14. Is f(o) a multiple of 14?
True
Let m = 2248 - 1380. Does 6 divide m?
False
Let r(b) = 7*b - 12. Let o(t) = 7*t - 12. Let p(j) = 3*o(j) - 2*r(j). Suppose 50 = 7*w - 2*w. Does 29 divide p(w)?
True
Suppose r - 2*q - 11 = 0, 3*r + r - 18 = -5*q. Suppose -x - r*b = -5*b - 36, 3*b - 114 = -3*x. Is 6 a factor of x?
False
Let c(d) = 53*d**2 + d + 5. Let b be c(-7). Suppose 0 = 4*t + b + 1185. Is (4/6)/((-18)/t) a multiple of 16?
False
Let u = 32 - 24. Is 13 a factor of 3*22 + 4*(-6)/u?
False
Let s(o) = 4*o - 4. Let t(b) = 23*b - 22. Let c(x) = -34*s(x) + 6*t(x). Let m(n) = n + 1. Let p be m(5). Is c(p) a multiple of 8?
True
Let x(m) = -m + 18. Let u be x(6). Suppose -u*y + 70 = -134. Does 4 divide y?
False
Suppose -i + 17 - 15 = 0. Suppose 0 = 5*w - 5*s - 49 + 4, 5*s = -i*w + 39. Does 3 divide w?
True
Let s = -464 - -622. Is s a multiple of 13?
False
Let h = 5 - 6. Let f(p) = -44*p. Is 9 a factor of f(h)?
False
Let l be (-54)/(-10) + 4/(-10). Suppose -2*w - 2*w + l*q + 137 = 0, -3*w + 96 = 3*q. Suppose w = j + 9. Does 12 divide j?
True
Let q = -93 + 96. Suppose -279 = -q*r + 3*u, 4*r + 2 - 394 = -u. Does 7 divide r?
False
Let t(a) = a**2 - 2*a - 11. Let c be t(5). Let o be ((-13)/(-3) - c)*21. Suppose 0 = -o*n + n + 144. Is n a multiple of 5?
False
Let m be 43/((15/6)/(-5)). Let h = 56 - m. Does 14 divide h?
False
Let j(r) = r**3 - 12*r**2 + 16*r + 11. Is 12 a factor of j(12)?
False
Suppose 57 = n - 27. Does 28 divide n?
True
Let m(u) = u**3 - 6*u**2 - 7*u - 15. Is 8 a factor of m(8)?
False
Let h(f) = -f**3 + 14*f**2 - 9*f + 24. Suppose 0*q + 3*q - 39 = 0. Does 48 divide h(q)?
False
Let v = 11 + -8. Suppose -2*z - r - 12 = -3*z, r - 12 = -z. Suppose v*t + z = 6*t. Does 4 divide t?
True
Suppose 0 = 4*l + z - 12, -5*l - 3*z + 32 = -6*z. Suppose 2*t + l*v - 78 = 0, 0*t = 2*t - 3*v - 106. Is t a multiple of 8?
False
Suppose 7*j = 2*j + 4*l + 700, -l + 131 = j. Suppose 586 = -5*x + j. Let o = -52 - x. Is o a multiple of 19?
True
Let i(y) = 3*y**2 - y + 1. Let f be (-12)/(-10) - 3/15. Let t be i(f). Suppose -5*q = -t*q - 60. Does 10 divide q?
True
Let h = 2151 - 945. Is h a multiple of 67?
True
Let i = 2139 + -1266. Suppose 12*g - i = 3*g. Is g a multiple of 7?
False
Does 15 divide ((-1360)/6)/(-8)*9?
True
Let u be 1/5 + (-6)/30. Suppose 3*g + u = 9. Suppose 5*t - 61 = 2*x, -t - g*t - 2*x + 56 = 0. Is 6 a factor of t?
False
Let g = 2476 + -218. Does 109 divide g?
False
Let f(j) = 14*j**2 - 44*j - 8. Is f(6) a multiple of 4?
True
Suppose 0 = -3*f + 4*w + 30, f - 3*w - 21 = -f. Let x = -1 + f. Let g(o) = o**2 - 5*o + 6. Does 3 divide g(x)?
True
Let a = 68 + -65. Suppose -d - 2 = -4. Suppose a*k = 4*q - 68, 2*q - q = -d*k + 28. Does 8 divide q?
False
Let p be (9/(-12))/(3/(-12)). Suppose -2*a - 4*y = -6, p*a + 2*y = 7 + 2. Suppose -a*j - 2*j + 370 = 0. Does 15 divide j?
False
Suppose 306*l - 303*l = 36. Does 9 divide l?
False
Suppose 10*t - 3594 = -164. Is 13 a factor of t?
False
Let y be (-30)/75 + 1014/10. Let x = 209 - y. Is 35 a factor of x?
False
Suppose 0*z = -5*z - 10. Does 39 divide (-364)/z*3*6/12?
True
Let n(x) = x + 15. Let w be n(-6). Is 3/9*3 + w a multiple of 5?
True
Let w = -163 - -237. Let o = 114 - w. Is 5 a factor of o?
True
Let q(o) = 2*o**3 - 21*o**2 + 21*o - 60. Is 66 a factor of q(14)?
False
Let w be 9*4/6 - -2. Is 21 a factor of (-1)/((-28)/w) - (-292)/7?
True
Let l(r) = -14 + 6 + 6*r + 8. Is 14 a factor of l(6)?
False
Suppose -5*p = 1 + 4. Does 4 divide 4/(16/3)*(p - -37)?
False
Suppose -4*f + 4*d = d - 179, -2*d - 46 = -f. Is f a multiple of 22?
True
Let d = 68 + -64. Suppose 4*p - d*t = 196, 2*t = 3*p - 119 - 24. Is 5 a factor of p?
True
Let p(c) = -58*c + 102. Does 60 divide p(-22)?
False
Let x = -42 + 69. Suppose 28*r = x*r + 98. Does 34 divide r?
False
Let a be -3*(-1)/(-3)*1. Let d = 4 + a. Suppose -5*t = 3*u - 107, 104 = u + 3*u - d*t. Is 18 a factor of u?
False
Let n(l) = -2*l**2 - l + 1. Let y be n(1). Let m be (-6)/(y - (-110)/52). Let u = -19 - m. Is 11 a factor of u?
True
Let m(j) = j**3 - 22*j**2 - 22*j + 25. Let q(x) = -x**2 + 10*x - 1. Let r be q(4). Is m(r) a multiple of 16?
True
Let c(u) = 6*u**2 + 59*u - 161. Does 49 divide c(-28)?
True
Let b(u) = -889*u + 4. Is 54 a factor of b(-2)?
True
Let x(t) = t**3 + 3*t**2 + 2. Let q be x(-3). Let d(a) = -a**3 + 11*a**2 - 8*a + 6. Let j be d(10). Suppose -4 - j = -3*m + k, q*m + k = 20. Does 5 divide m?
True
Let v(l) = 5*l**2 - 8*l + 15. Let f be v(7). Let d = f + -63. Is 29 a factor of d?
False
Let w(l) = -46*l - 141. Is 3 a factor of w(-6)?
True
Let m = 240 + 82. Is 14 a factor of m?
True
Let b(p) = 11*p - 64. Is 4 a factor of b(8)?
True
Suppose -2*q + q = -x + 22, -2*x - q + 44 = 0. Is x a multiple of 11?
True
Let h(b) = b**3 - 5*b**2 + 4*b. Let n be h(4). Suppose w - 6*w - 240 = n. Let o = -14 - w. Does 17 divide o?
True
Suppose -11*k + 6*k = -1325. Is 5 a factor of k?
True
Suppose -16 = -2*w - 6. Let b = w - -34. Is b a multiple of 13?
True
Let u = -173 + 286. Does 5 divide u?
False
Suppose h = -2*w + 10, w + 3*w - 3*h = 0. Let v(d) = 0*d + d**2 - 4 - 6*d**2 - 2*d**3 + 3*d**w + 4*d. Is 17 a factor of v(6)?
False
Let c be 122/7 + 3/(-7). Let j = c + -25. Is (2 + -7)/(4/j) a multiple of 10?
True
Suppose -4*u - 4*l + 528 = 0, 0 = -5*u - 4*l + 10 + 646. Does 9 divide u?
False
Let x(d) = -493 + 446 + 13*d + d**2 - 2*d. Is x(-15) a multiple of 10?
False
Let a be (6/4)/((-6)/(-8)). Let x be (9/15)/(a/10). Suppose -2*t = -x*t + 91. Is t a multiple of 13?
True
Let w be (-8)/(-2) + (14 - -4). Suppose -552 + 90 = -w*s. Does 8 divide s?
False
Let f(q) = -4*q**2 + 95*q + 10. Does 67 divide f(17)?
True
Suppose 14*o = 31302 + 2620. Is 119 a factor of o?
False
Let o = 70 + -20. Suppose o*f - 199 = 49*f. Does 19 divide f?
False
Let i be ((-2)/3)/(17/(-102)). Suppose -4*t = i*m - 136, 0 = m - 2*m. Is 13 a factor of t?
False
Let t(h) = -28*h - 322. Let q be t(-13). Suppose d = -0*l - 2*l - 40, 5*d - 2*l + 152 = 0. Let i = d + q. Is i a multiple of 9?
False
Let k = 543 + 1473. Does 32 divide k?
True
Let v = -299 + 477. Let d = v + 50. Is d a multiple of 19?
True
Suppose 741 = c + 70. Suppose 5*s - 107 = 2*l + c, 3*s - 464 = 4*l. Is s a multiple of 12?
True
Let g = 5 - 2. Is 19 a factor of g + (71 - (3 - 5))?
True
Let m(i) = 4*i**2 + 9*i. Does 3 divide m(6)?
True
Let w(q) = 9*q**2 + 4*q - 8. Let v(l) = 3*l**2 + l - 3. Let f(a) = 17*v(a) - 6*w(a). Let t(g) be the first derivative of f(g). Is 17 a factor of t(-4)?
True
Suppose 6*t - 9*t - 24 = -5*f, -2*t = -5*f + 26. Suppose 7*c = f*c + 76. Is 16 a factor of c?
False
Suppose 3*b - 2*u + 1 - 84 = 0, 52 = 2*b - 2*u. Let z = b + -16. Is z a multiple of 13?
False
Let g be ((-3)/(-3) + 1)/((-8)/(-344)). Suppose 5*c - 3*b = 288, -c - 4*b - 104 = -3*c. Let l = g - c. Is 11 a factor of l?
False
Let c = 157 + -72. Does 9 divide c?
False
Let o(w) = 12*w - 12. Is 4 a factor of o(8)?
True
Suppose -2*a - z = 4*z + 21, -14 = 3*a + 4*z. Suppose 5*w + 4*d = -2, a*w + 4*d = -w - 6. Suppose -4*k + 14 = w*q, -2*k + q + 28 = 3*k. Is 2 a factor of k?
False
Let q(k) = -k**3 + 12*k**2 + 14*k - 9. Let v be q(13). Does 10 divide -3 + v/((-8)/(-46))?
True
Let d(q) = -15*q - 321. Is d(-55) a multiple of 18?
True
Suppose -7 = -x + 1. Suppose 0 = 5*b - x*b + 36. Does 4 divide b?
True
Let k(d) = 127*d + 250. Is 7 a factor of k(12)?
False
Let c be (16/(-6) - -3)*6. Suppose -z - 2*g = -34, c*z = -2*z - 5*g + 133. Is 9 a factor of z?
False
Let d(s) = 23*s**2 - 3*s + 87. Does 13 divide d(9)?
False
Let v be (-3 - (-2 - -1))*(-66)/12. Suppose 2*d - 4*b - v = -b, 3*b = -3*d + 24. Is d a multiple of 3?
False
Does 2 divide (-6*1