ple of 35?
True
Let f(q) = 13*q**2 - 7*q - 28. Is 170 a factor of f(-11)?
False
Suppose 128*m - 129*m = 2*f - 2811, 4*m + 2836 = 2*f. Does 11 divide f?
True
Suppose 2*i - 83 = 57. Suppose i = 2*f + 14. Is f a multiple of 21?
False
Suppose -6805 = -59*s + 10600. Does 6 divide s?
False
Let w be 17/6 - (2 + 91/(-42)). Suppose -4*a = -4*r - 300, w*a + 2*r - 227 = 7*r. Is 37 a factor of a?
True
Let h = -11 - -13. Let c be 6*h/4 + 0. Suppose 2*q - f - 107 = 0, -c*q - 44 = 3*f - 191. Is 11 a factor of q?
False
Let b = 115 + -71. Suppose 0 = -2*j - 0*j + b. Is 11 a factor of j?
True
Suppose 0 = -2*v + 10 + 2. Suppose c - 2 - v = 0. Suppose a + 3 - c = 0. Is a even?
False
Let q = 22 + -14. Let r = q - -14. Suppose 0 = 4*i + 2*k - 138, 0 = -3*i + k + 138 - r. Does 12 divide i?
False
Let u = -5 - -7. Suppose 0*f = u*f - 136. Does 20 divide f?
False
Suppose -4*h = -0*h - 60. Suppose -2*c + 25 = j + 2*c, h = j + 2*c. Suppose 4*b - j = 15. Is b a multiple of 3?
False
Let s = 166 + -85. Suppose 0 = 3*f + 4*x - s, -7*f - 2*x = -12*f + 135. Does 4 divide f?
False
Suppose 0 = 4*q - 1403 + 275. Is q a multiple of 6?
True
Let r be (0 + 1)*3*920/30. Suppose -2*j + 4*n = -r, 236 = 3*j + 2*j - 4*n. Is j a multiple of 6?
True
Suppose 0 = t + 2*t - 36. Suppose -2*k + t = k. Suppose -2*y = k*d - 103 + 15, y + 3*d = 46. Is y a multiple of 10?
True
Suppose -1 = 3*p + 14, 5*p = 2*i - 27. Does 5 divide (0 - -12 - (i - -1)) + 0?
True
Suppose -132*i + 206*i = 39960. Does 36 divide i?
True
Does 34 divide (68/(-28) + -1)*119/(-2)?
True
Let a = -42 + 49. Suppose -151 = -a*d + 465. Is 33 a factor of d?
False
Let k be 30/(-20)*(-8)/6. Suppose -d = d - 582. Suppose i - 4*p = 6*i - d, k*i - 121 = 3*p. Is i a multiple of 10?
False
Let x = 85 - 65. Does 4 divide x?
True
Let k be ((-4)/6)/(2/(-111)). Suppose -863 - 208 = -7*r. Let j = r - k. Is 24 a factor of j?
False
Let s = 4 + -2. Suppose s*r - 2*t - 29 - 11 = 0, 107 = 4*r + 5*t. Does 4 divide r?
False
Suppose 81 = 3*j + 2*n, 17 = 3*j + 3*n - 67. Is 3 a factor of j?
False
Does 15 divide (-23 + -3)/(0 + 5/(-75))?
True
Let j(s) = -122*s - 1071. Is 77 a factor of j(-32)?
False
Let s(l) = -l - 4. Let h be s(-9). Suppose -2*n + 4*x + 575 = 5*x, 282 = n - h*x. Does 50 divide n?
False
Suppose -8 + 5 = -3*a. Let r(v) = 77*v**2 - 2*v + 3. Is 39 a factor of r(a)?
True
Suppose 5*h = -5*z + 660, 5*z - h = -0*z + 666. Is z even?
False
Let o(l) = 3*l - 11. Let x be o(6). Suppose x*t - 4*t = 0. Suppose 4*b = 16, t = 8*w - 4*w - 5*b - 12. Does 8 divide w?
True
Suppose -2*u + 20 = -12. Is 2 a factor of u?
True
Suppose 4*q = 3*b + 2126, q - 529 = b + b. Is 13 a factor of q?
True
Suppose 4*f + 158 + 86 = 0. Let p = f - -17. Let t = 26 - p. Is 14 a factor of t?
True
Let a(r) = 11*r**2 + 24*r + 70. Is 95 a factor of a(-15)?
True
Let g = 190 + 465. Is 20 a factor of g?
False
Suppose 5*j + 30 = 2*j. Let y be (-224)/5 - (-2)/j. Let p = y + 120. Is 27 a factor of p?
False
Suppose -5*z - 5*p = -325, 4*p + 160 = -16*z + 19*z. Is 10 a factor of z?
True
Suppose -39 = 8*q - 11*q. Suppose 4*a + 20 = 0, -q = -2*f + 4*a + 33. Is 5 a factor of f?
False
Let q = 997 - -122. Does 22 divide q?
False
Suppose 10368 = 4*b + 628. Is 5 a factor of b?
True
Suppose 13 = 2*r + 5. Let n be (-108)/(-63) - r/(-14). Is 14 a factor of -71*(3 + -5)/n?
False
Let k(c) = 18*c + 17. Is 13 a factor of k(7)?
True
Suppose -2*i = -s - 255, -5*s + 660 - 45 = 5*i. Is 2/((-3)/(i/(-4))) a multiple of 7?
True
Let p be -2 + 0/(-3) + 13. Suppose 6*n - 7 - p = 0. Is 3 a factor of n?
True
Suppose 583 = 5*r - 3*j, 0*r + 3*r + 5*j - 343 = 0. Suppose 4*f + 0*f - 116 = 2*t, 5*f - r = 2*t. Let w = 121 + t. Is 13 a factor of w?
False
Let f(s) = -3*s - 2. Let p be (-2 - (-12)/4)*-14. Let r = 0 + p. Is f(r) a multiple of 11?
False
Suppose -86 = 4*u - 2*b, 3*u + 0*u - 2*b + 65 = 0. Let s = u + 42. Is 7 a factor of s?
True
Let j = 189 - 130. Let n = 170 - j. Is 29 a factor of n?
False
Let g = 40 + -34. Does 6 divide 86/g*(-6)/(-1)?
False
Let i(g) be the third derivative of 7*g**5/60 + 5*g**4/24 - g**3/3 - 6*g**2. Is i(2) a multiple of 18?
True
Suppose 2*t - 2*x = -8, t + 2*t = x - 6. Let f(o) = 13*o + 12. Let w be f(-1). Does 22 divide t + w + 89/1?
False
Suppose 3*h + 2*h - 1340 = 0. Suppose 4*z = 32 + h. Let y = z - 54. Is 7 a factor of y?
True
Let o(a) = -4*a**3 - a**2 - a - 4. Let w(t) = -3*t**3 - t**2 - 4. Let h(b) = -4*o(b) + 5*w(b). Is 29 a factor of h(5)?
True
Suppose -2*h + 3*u = -2*u + 44, 0 = 2*h + 2*u + 30. Suppose -110 = -4*z + 86. Let r = z + h. Is 16 a factor of r?
True
Suppose 586 = 5*h - 89. Is 8 a factor of h?
False
Let p(w) = 18*w**2 - w - 26. Is 88 a factor of p(-4)?
False
Suppose 5*h + 2*j = j + 1053, 4*j - 432 = -2*h. Does 21 divide h?
True
Suppose 3*c - 4 = -1. Let w(d) = 3*d**2 + 6 + d - c - 2*d**2. Does 17 divide w(-4)?
True
Does 17 divide (-22020)/(-72) - 3/(-18)?
True
Let l be 0/10 - (-37 + 1). Suppose -2*i = i - l. Is 3 a factor of i?
True
Suppose 3*h - 718 = -z, 5*z - 2694 = -h + 868. Suppose 4*p - z = -4*r, -2*p - 2*r + 7*r = -370. Suppose -t + 5*t - p = 0. Does 8 divide t?
False
Let n be 3*3*5/15. Let g(p) = -2 + 5*p + 1 + 0. Is g(n) a multiple of 11?
False
Suppose -2*z - 2145 = -13*z. Is z a multiple of 23?
False
Suppose -5*s = -4*j + 179, -8*s + 6*s + 10 = 0. Does 3 divide j?
True
Let q(f) = f**3 + f**2 - 4*f - 1. Let r be q(-2). Suppose -r*a - 67 = -4*a + 2*x, 3*a - 211 = -4*x. Is a a multiple of 33?
False
Let r be (4 - -7) + (-5 - -1). Let d(v) = 2*v + 6. Let p be d(r). Suppose 9*w - p = 7*w. Is w a multiple of 5?
True
Let z = -92 - -174. Suppose -4*m = -2*m - 2*p - z, -37 = -m - 3*p. Is 10 a factor of m?
True
Is 4 a factor of ((-410)/(-15))/(-2*(-4)/24)?
False
Let w(p) = -2*p**2 + 2*p - 8. Let y be w(5). Suppose 3*t - 239 = -23. Let d = y + t. Does 5 divide d?
False
Suppose 2*v - 2*k = -4*k - 2, 2*v = 4*k + 4. Suppose -3*h + v*h = -750. Suppose -5*u + 140 = -h. Does 21 divide u?
False
Suppose 2*y - y - r - 140 = 0, -250 = -2*y - 4*r. Is 15 a factor of y?
True
Let y(x) = -6*x - 73 + 37 + 42. Is 10 a factor of y(-9)?
True
Let p(u) = u**3 - 10*u**2 + 2. Let w be p(10). Suppose 0 = -4*g - 5*h + 465, -w*g + 3*g - 5*h = 85. Does 10 divide g?
True
Let f(a) = 20*a**2 + 3*a + 5. Suppose 0 = 4*t + 16, -d = 2*d + t - 2. Does 7 divide f(d)?
True
Suppose u + b - 29 = 2*u, 0 = 4*b - 4. Let v = 88 + u. Is v a multiple of 24?
False
Does 6 divide ((-3)/4)/(2/(-624))?
True
Suppose 2*z = w + 137, -2*z + 41 + 84 = -5*w. Does 8 divide z?
False
Let m be (-2)/4*(-2 - 24). Let v(f) = -4*f**2 - 1 + 3*f**2 - 1 - m*f. Is 8 a factor of v(-6)?
True
Let f(r) = -r - 7. Let s be f(-9). Suppose s*n = -37 + 331. Does 13 divide (-6)/(-9) - n/(-9)?
False
Let l(b) = 24*b**3 + 2*b**2 - 3*b + 4. Let w be l(4). Let m be (-6)/4*w/(-18). Suppose 3*y - m = -y - 5*s, y - 5*s = 45. Is 9 a factor of y?
False
Does 13 divide ((-13)/2)/(-4 - 21413/(-5358))?
True
Suppose 68 = y - 127. Does 6 divide y?
False
Let y(f) = -2*f**3 - 35*f**2 - 9*f + 25*f**2 + 2*f**3 + 15 + f**3. Let z be y(11). Let c = z + 30. Is 25 a factor of c?
False
Let z be 127/3 - 2/6. Suppose 2*c + z = 5*c. Is c a multiple of 5?
False
Let p(q) = q**2 - 22*q + 97. Does 3 divide p(5)?
True
Let j = 39 - 16. Let n = j + 28. Is 11 a factor of n?
False
Suppose -5*c = -4*c - 10. Let k(g) = g**3 - 10*g**2 + 7*g - 15. Does 11 divide k(c)?
True
Is (-2571)/(-4) + (-215)/(-172) a multiple of 28?
True
Let z(n) = -n**3 - 6*n**2 - 11*n - 17. Is z(-6) a multiple of 7?
True
Is (-4)/(-32) + (-44924)/(-32) a multiple of 54?
True
Let y(k) = -k - 6. Let i be y(-8). Suppose 2*h - 58 = -i*n, 0*h + 2*h = -6. Suppose -4*p - n = -5*v, -4*v + v = 4*p - 32. Is 8 a factor of v?
True
Let z = -10 - -5. Let y be 90/9*(-3)/z. Does 11 divide (-21)/((-3)/y*3)?
False
Let z = 209 + -166. Is z a multiple of 4?
False
Suppose 112*u - 110*u = 588. Does 11 divide u?
False
Let m be ((-3 - -1)*10)/((-2)/91). Suppose -2*l - m = -12*l. Is l a multiple of 11?
False
Suppose -8*m + 6*m = -1126. Is 10 a factor of m?
False
Is 22 a factor of 5*42/(-15)*(-47 - -3)?
True
Let d(p) = -38*p**2 - p. Let t be d(-2). Let r = t + 257. Is r a multiple of 40?
False
Let q = -70 + 106. Let o = 77 - q. Does 13 divide o?
False
Let t(n) = n - 2. Let l be t(5). Suppose 0 = l*o + 3 - 15. Suppose -2*m - 3*p - 21 = -84, 