-3)/(-6)). Suppose 15*z - d*z = 30. Is z a multiple of 5?
True
Let b(f) = 3*f**2 + 8*f - 43. Let y be b(-9). Suppose 0 = -5*n + 5*h + 130, n - y = -4*n + 4*h. Is 6 a factor of n?
True
Let p = -525 + 787. Let c = p + -143. Suppose 5*h + 3*x = -x + c, 85 = 3*h - x. Is 13 a factor of h?
False
Let a(f) = -f**2 - 20*f - 35. Is a(-15) even?
True
Let g = -92 - -97. Suppose z = -o + 374, -g*o - 193 = -3*z + 913. Is z a multiple of 12?
True
Suppose 0 = 2*p + 667 - 951. Does 3 divide p?
False
Let d(r) = 0 - 3 + 5*r + 0 + 27*r. Let p be d(2). Let t = -15 + p. Does 23 divide t?
True
Let f(g) = -2*g**3 + g**2 + 2*g**3 + g**3. Let k be f(3). Is (k/15)/(-1)*-30 a multiple of 18?
True
Let t(f) = 4*f**2 + 7*f - 1. Is 56 a factor of t(-7)?
False
Is 16 a factor of 558 - 2/(-7)*(-161)/(-23)?
True
Let n(r) = -r**3 + 5*r**2 + r. Let o be n(4). Suppose 5*p - o = -0*p. Suppose 0 = -p*k - 5 + 77. Does 9 divide k?
True
Let d(u) = -2*u + 8. Let f be d(8). Let i be 25/4 - (-2)/f. Suppose -5*c - i = k - 3, 6 = -3*c. Is 3 a factor of k?
False
Suppose 3*x - 86 = x. Let a = x + -15. Is 7 a factor of a?
True
Let q(h) = 0*h - 6*h + 5*h**2 - 9 + 4*h**3 + 6 - 3*h**3. Does 11 divide q(-3)?
True
Suppose 3*l - 64 = 26. Suppose l*j - 31*j + 25 = 0. Suppose -4*t + j = -z + 2*z, 0 = 2*t + 3*z - 15. Does 3 divide t?
True
Does 10 divide (-12 + -88)/((-5)/35)?
True
Suppose 4*q = 2*q + 6. Let o(x) = 13*x - 3. Is 9 a factor of o(q)?
True
Let p(c) = 2*c - 2*c - 3*c - 11. Let v(a) = -2*a**2 + 2. Let l be v(2). Does 5 divide p(l)?
False
Is 2/12*-4*-120 a multiple of 10?
True
Does 6 divide ((-2)/(-6))/((-6)/36) + 338?
True
Suppose -5*g = -x - 2765, -317 - 789 = -2*g - 4*x. Does 45 divide g?
False
Let d(r) = -r**2 + 8*r + 1. Let u be d(8). Is 9 a factor of (-3 + 5)*9/u?
True
Let b = -309 - -575. Suppose -5*r = -7*r - 4*c + b, -5*c = r - 118. Is r a multiple of 13?
True
Suppose -j + 3*y + 1233 = 0, y = -4 + 5. Is j a multiple of 4?
True
Suppose p + 5*x = -0*p + 31, 4*p = 2*x + 14. Suppose p*l - 193 - 101 = 0. Is l a multiple of 6?
False
Let q = 40 + -40. Suppose -d - 4*x = -68, q = -6*d + d + x + 298. Is d a multiple of 20?
True
Is (4/10)/(1/655) + 2 a multiple of 11?
True
Let b(m) be the second derivative of m**3/2 - 3*m**2 - m. Let d = 18 - 7. Is b(d) a multiple of 17?
False
Suppose -3*f = f - 16. Let r = -284 - -305. Suppose -x + f*d + 14 = 0, x + 0*x = -3*d + r. Does 9 divide x?
True
Let d(i) = -i**2 - 10*i + 18. Let u be d(-8). Suppose 109 = 5*m + u. Is m a multiple of 15?
True
Suppose -z = -3*z + o + 8, 5*z = 4*o + 23. Suppose -2*q - 120 = -z*q. Is 24 a factor of q?
True
Suppose 0 = -312*r + 311*r + 988. Is 26 a factor of r?
True
Let f(o) = o - 12. Let a be f(12). Let w = a + 4. Suppose -w*z + 9 = -211. Does 16 divide z?
False
Suppose -j + 6 = 51. Let n = j - -99. Is n a multiple of 54?
True
Let a(f) = 2*f - 6. Let b(j) = j + 1. Let q be b(-4). Let u be (2 + -3)/q*15. Is a(u) even?
True
Does 13 divide -853*((-24)/4 + 5)?
False
Let j(i) = 34*i - 62. Does 35 divide j(8)?
True
Let i = 330 + 99. Is 8 a factor of i?
False
Let h be (2 - 5/2)/(3/(-504)). Does 12 divide ((-162)/(-63))/(2/h)?
True
Let a(k) = k**3 - k**2 + 1. Let r(l) = 0 + 0 + 1 - 7*l + 5*l**3 + 6 - 10*l**2. Let y(j) = -4*a(j) + r(j). Is 3 a factor of y(7)?
True
Is 29724/42 + (-18)/(-63) a multiple of 38?
False
Suppose -17*j + 7*j = -60. Suppose j*a - 38 = 58. Is a a multiple of 7?
False
Let y(i) = i. Let v(o) = -12*o + 29. Let x(w) = v(w) + 5*y(w). Does 9 divide x(0)?
False
Let n(z) = z + 15. Let r be n(0). Let p = -11 + r. Does 4 divide p?
True
Let o = 112 - 108. Suppose -3*z - 2*n = -632, -o*n + 640 = 3*z - 0*n. Is 42 a factor of z?
False
Let v = -253 + 525. Let u = -172 + v. Is u a multiple of 18?
False
Suppose 12*n - 4485 = 7*n. Suppose 223 + n = 8*q. Is q a multiple of 36?
False
Let l be 50/(-3) + 22/33. Let c(p) = -p**2 - 13*p - 16. Let k be c(l). Let o = k - -115. Is 17 a factor of o?
True
Suppose -g - z = -995, -3*g + 2*z - 1026 = -4016. Let w = g - 587. Is w a multiple of 45?
False
Let d(o) = -3*o**3 + 7*o**2 - 6*o + 21. Let m(q) = 7*q**3 - 13*q**2 + 11*q - 42. Let k(u) = 5*d(u) + 2*m(u). Does 27 divide k(6)?
True
Let h = 4 - -6. Let m = 33 - h. Is m a multiple of 8?
False
Let q(t) = t**3 + 3*t**2 - 4*t + 7. Let r be q(-4). Suppose -r*h + 31 = -144. Does 4 divide h?
False
Let f = -76 + -36. Let l = 229 + f. Is l a multiple of 9?
True
Let w = 244 - -1673. Is 46 a factor of w?
False
Let x(f) = 1539*f**2 - f + 2. Let u be x(2). Let a be u/63 - (-4)/14. Let t = 172 - a. Does 11 divide t?
False
Let z(d) = 66*d - 11. Does 84 divide z(8)?
False
Suppose -3*a + 5 + 4 = 0. Suppose w - 11 = 3*c, 0 = 3*c - 0*c - a*w + 15. Is 6 a factor of -2 - ((-144)/c)/(-3)?
False
Let u = -9 + 13. Suppose 0 = -u*t + 3*t + 52. Is 8/t - (-1396)/52 a multiple of 9?
True
Let y(l) = 4*l**2 - 12*l + 85. Does 35 divide y(15)?
True
Suppose 0 = -5*m + 4*m + 2. Is 15/m*48/6 a multiple of 20?
True
Let c(w) = -89*w + 133. Does 24 divide c(-5)?
False
Let q = 63 - 69. Is 32 a factor of (-18)/(-6)*(-320)/q?
True
Let w = 1825 - 1429. Does 6 divide w?
True
Let o(x) be the third derivative of -x**5/60 + x**4/3 - 7*x**3/6 + 18*x**2. Is o(5) a multiple of 7?
False
Let o = 65 - 87. Is 11/(o/(-228)) - -2 a multiple of 29?
True
Let z(k) = 63*k - 11. Let t be z(5). Suppose 109*a - 113*a = -t. Does 20 divide a?
False
Let m = 1715 - 879. Is m/7 - (-12)/(-28) a multiple of 17?
True
Let c = -8 + 10. Let s(v) = -14 - c*v - 4 + 3. Does 5 divide s(-10)?
True
Let z(c) = c**3 - 4*c**2 + 3*c + 2501. Does 41 divide z(0)?
True
Suppose -221 = -4*l + 19. Is l a multiple of 12?
True
Let r(o) = 107*o**2 - 6*o + 4. Is r(2) a multiple of 15?
True
Suppose 0 = 4*u + 5*j + 15, 0*j - 9 = u + 3*j. Let a(b) = -b**3 + b + 33. Is 11 a factor of a(u)?
True
Suppose 6*w + 0*w = 12. Suppose 4*p + v - 14 = -v, w*v + 31 = 5*p. Suppose o - 21 = -2*a, -p*a + 77 = 3*o + 24. Does 3 divide a?
False
Let z(f) = f**2 + 10. Let y be z(0). Let g be 6/y - 7/(-5). Suppose 0 = 5*x - 17 + g. Is x a multiple of 3?
True
Suppose -2*k - 3 = -o + 53, 0 = 4*o + 4*k - 236. Is o a multiple of 35?
False
Is (60 - -4)/(15/210) a multiple of 28?
True
Let p be (-3)/((-6)/232)*-1. Let q = 165 + p. Does 7 divide q?
True
Let s(q) = -2*q**2 - 6*q - 3. Let t be s(-2). Let c be t*(-4 + 198 - 1). Let k = -98 + c. Is k a multiple of 19?
True
Suppose -4*d - 14 + 2 = 0. Let c be (4 + d)*2/2. Suppose 4*f = -c + 61. Is 4 a factor of f?
False
Suppose -54*k - 28*k + 9922 = 0. Is k a multiple of 4?
False
Let t(f) = f**3 + 6*f**2 - 9*f - 10. Let m be t(-7). Let s be (-22)/(-4) - 6/m. Suppose 0 = 4*p + 4*x - 160, 3*x - s*x = -4*p + 160. Is 7 a factor of p?
False
Suppose 428 = 2*i - b + 135, -4*b = 20. Let t = 54 + i. Does 33 divide t?
True
Suppose -6*z = -z - 3*f - 14, -f = 5*z - 22. Suppose -z*p - 7 - 1 = 0, 4*j - 230 = 3*p. Does 28 divide j?
True
Suppose -4*u = 3*t, 5*u = -3*t - 9 + 6. Let y(m) = m + 2. Let x be y(0). Suppose 64 = t*p - x*p. Is p a multiple of 8?
True
Let v(p) = 2*p**3 + 42*p**2 - 16*p - 12. Is v(-21) a multiple of 36?
True
Suppose -10*n = -14*n + 692. Let l = -36 + n. Is l a multiple of 15?
False
Suppose -3*g = 4*k + 16, -3*g + 5*g - 12 = 3*k. Is (10/(-25))/((k/(-205))/(-4)) a multiple of 14?
False
Let l = 608 + -309. Suppose v + 225 - l = 0. Is v a multiple of 37?
True
Suppose -564 = -v + 4*t, 2 - 5 = -3*t. Is v a multiple of 31?
False
Suppose 2*o - 46 = -5*c + 4*o, -25 = -5*c - 5*o. Does 5 divide c/28 + (-313)/(-7)?
True
Is 57 a factor of (1197/28)/(10/40)?
True
Let f(v) be the third derivative of 0*v - v**2 - v**3 - 1/12*v**4 + 0. Does 4 divide f(-6)?
False
Suppose 8*r = 5*r + 6. Suppose m + 4*m = -c + 277, 2*c + 106 = r*m. Suppose -q + m = -35. Is q a multiple of 30?
True
Let c(n) be the second derivative of 7*n**3/6 - 5*n**2/2 - 4*n. Let p be c(4). Suppose -a + p = -5. Is 14 a factor of a?
True
Let x be (10/(-4))/(7/(-70)). Let c = x - 7. Does 9 divide c?
True
Does 12 divide 330/14 - (-12)/(-28)*-1?
True
Let f(u) = -4*u**2 + 13*u + 6. Let r(j) = 3*j**2 - 12*j - 5. Let b(d) = -5*f(d) - 6*r(d). Let g be b(-5). Is -2 + g + 0 - 0 a multiple of 13?
True
Suppose 0 = 4*a + 18 + 54. Let t(r) = -2*r - 4. Let d be t(4). Let b = d - a. Is b a multiple of 6?
True
Let u(c) = -c - 25. Let r be u(-11). Let a(d) = 60*d - 1. Let p be