 - 20, -w = 5*i - 219. Does 12 divide i?
False
Let a(y) = y**3 + 12*y**2 + 13*y + 6. Does 3 divide a(-10)?
False
Let r = 101 - 77. Suppose -2*h + r = -60. Is 3 a factor of h?
True
Let o(l) = 2 + 3 - 20 + 2*l. Let z be o(10). Let n(s) = 9*s. Is 20 a factor of n(z)?
False
Let c = 48 + 133. Let u = c - 61. Suppose 4*t - u + 16 = 0. Is 6 a factor of t?
False
Suppose -30 = -2*d + 5*d. Is (-3 + 2)*d - 2 even?
True
Let j(c) = c**3 + 10*c**2 + c + 16. Let b be j(-10). Suppose -b*a + 144 = -0*a. Is a a multiple of 4?
True
Let a = 349 - -2106. Is 90 a factor of a?
False
Suppose -j + 54 = -d - 456, -1024 = -2*j - 2*d. Is 39 a factor of j?
False
Let p = 323 + -263. Is p a multiple of 17?
False
Let c be ((-12)/(-14))/(4/14). Suppose -5*y + n + 129 = 2*n, 0 = y + n - 29. Suppose 1 = -c*d + y. Is d a multiple of 8?
True
Is 9 a factor of 246 + 15 + -7 + 7?
True
Is -7 - -154 - (0 + 2 + -3) a multiple of 23?
False
Suppose -p = -2*c + 1988, p + 20 = 6*p. Does 12 divide c?
True
Suppose -3*y + 76 = -7*y. Let m = y - -21. Suppose 88 = v + 4*s, s = -m*v - 2*s + 156. Is 24 a factor of v?
True
Let m = -1228 - -1425. Does 6 divide m?
False
Suppose 832 = 4*b - 328. Is 39 a factor of b?
False
Let r = -10 - -12. Suppose 2*k + r + 12 = 2*p, 2*p - 3*k = 19. Suppose -2*a + 9 = -a - p*l, 3*a - 23 = 2*l. Does 3 divide a?
False
Let d(j) = 2*j - 13. Let y be d(9). Does 8 divide (-50)/(-5) + y + -7?
True
Suppose 6*v - 795 - 3189 = 0. Suppose -3*p = -5 - 7, -3*f - p + v = 0. Does 13 divide f?
False
Suppose 0 = -2*y + z + 3708, 3*y + 13*z = 14*z + 5561. Does 109 divide y?
True
Let r = 580 + -297. Is 8 a factor of r?
False
Let o(j) = j**2 - 4*j + 1. Let x be o(4). Let h be (136/(1 + x))/1. Let a = h + -28. Is 10 a factor of a?
True
Suppose 2*v - 2*x - 598 = 3*x, v + 4*x = 325. Suppose 3*h + i = -v, 0 = h + 2*i + 29 + 79. Let p = -48 - h. Is 10 a factor of p?
False
Does 23 divide (1 - (-8)/(-2)) + 414?
False
Suppose 0 = 3*v - c - 15, -5*v - 2*c = 3*c - 25. Suppose -4*z + 36 = 3*p + 2*p, v*z - 20 = 0. Suppose 26 + p = 5*u. Does 3 divide u?
True
Let i(f) = 7*f**3 + 17*f**2 - 30*f - 10. Let k(z) = 6*z**3 + 16*z**2 - 29*z - 10. Let u(r) = 5*i(r) - 6*k(r). Is u(-13) a multiple of 8?
False
Let a be (0 - -4)*(-12)/(-16). Let g be (2/(-2))/(4/(-664)). Suppose a*y - y = g. Is 27 a factor of y?
False
Let u = -1735 - -3121. Is u a multiple of 63?
True
Let z(p) = -2*p - 13. Let x = 21 - 21. Suppose 2*a + x*a + 34 = 0. Does 10 divide z(a)?
False
Suppose -3*b = 18*b - 21588. Is 36 a factor of b?
False
Suppose -3*p = a - 14, 2*a = -p + 4 + 9. Suppose 750 = -a*b - 0*b. Let y = -100 - b. Is y a multiple of 25?
True
Suppose -66*f + 72*f - 4176 = 0. Is f a multiple of 24?
True
Let n(v) = v**2 + 3*v + 6. Let s be ((-4)/(-6))/(2/6). Suppose 0 = -2*q + 4*z - 6, 0 = s*q - 2*z + 12 - 2. Is n(q) a multiple of 12?
False
Let s = -4699 - -8534. Is s a multiple of 13?
True
Let q be 9/(-12)*11*32/(-12). Let x = 92 - q. Is 14 a factor of x?
True
Let c be -3*(2 - (-21)/(-9)). Let z be 1 + 1 + c + -1. Suppose 212 = 5*t + z. Is t a multiple of 21?
True
Suppose -6*s + 15 = -s. Suppose -s*r - 4 = -d, 0*d + 20 = 2*r + 5*d. Suppose -j - 3 = -2*x + 2, -j + 4*x - 13 = r. Is 2 a factor of j?
False
Let r(k) = 26*k - 4. Let o be r(-1). Let u = o - -75. Does 9 divide u?
True
Let b = 1188 - 689. Is 16 a factor of b?
False
Suppose 3*h - 286 + 34 = 0. Suppose -r - 2*r = 0. Suppose -11 = -2*z + m + h, r = z + 5*m - 20. Is z a multiple of 16?
False
Let r(a) = -13*a**3 + 23*a**2 + 17*a - 41. Let m(u) = 7*u**3 - 12*u**2 - 9*u + 21. Let d(z) = 11*m(z) + 6*r(z). Does 2 divide d(6)?
False
Let l = 6 - 22. Let q = l - -16. Suppose -5*u + 150 = 4*h + h, q = 5*h - 2*u - 178. Does 18 divide h?
False
Is 5/(-3) + (-9 - 74410/(-15)) a multiple of 45?
True
Suppose -23*a - 13*a = -10476. Is a a multiple of 75?
False
Is -1 + -4 - (-1308 - -1) a multiple of 14?
True
Suppose -5*v - 23 = -v - 3*u, 4*v - 2*u + 18 = 0. Let h be (v/2)/(1/6). Is 19 a factor of h + 61 - (-1 - 2)?
False
Suppose 0 = c - 2*s - 2, -3*c - 11 = -6*c + s. Suppose d + c*q - 208 = 3*d, -347 = 3*d + q. Let k = -62 - d. Does 13 divide k?
True
Suppose 7*s + 5 = 2*s. Let b(t) = -6*t**3 + t**2 - 1. Let i be b(s). Suppose i*f - 224 + 8 = 0. Is f a multiple of 8?
False
Suppose -89*m + 119*m - 27360 = 0. Is m a multiple of 16?
True
Let t be (-1)/(93/48 + -2). Suppose -2*b + 2 - t = 0. Let x = 16 + b. Is 5 a factor of x?
False
Suppose -4*k = -2*k - 10. Suppose 4*j + 34 = -5*b + k*j, 0 = 5*b - 4*j + 31. Is 10 a factor of (-173)/b - 2/(-7)?
False
Is 23 a factor of -1 + 14928/27 + 6/54?
True
Suppose 12*n - 31339 = n. Does 16 divide n?
False
Let r = -4 - -54. Suppose n + 10 = 2*n + 3*a, 5*n + a = r. Is n a multiple of 8?
False
Suppose 8*l + 15 = 3*l. Let z(i) = i**2 - 5*i - 7. Let q be z(5). Let u = l - q. Is u even?
True
Let f(v) = 4 + 5*v - 5 - 1. Is f(1) a multiple of 3?
True
Let t = 1428 + -910. Does 9 divide t?
False
Let x(i) = -i + 2. Let c be x(-1). Suppose -710 = -c*l - 7*l. Is 39 a factor of l?
False
Let t(p) = p**3 - 8*p**2 + 6*p + 10. Let m = 12 + -11. Suppose -5*r + m = 2*v - 18, 5*r = -5*v + 40. Is 2 a factor of t(v)?
False
Let d(x) = 153*x + 155. Is 134 a factor of d(13)?
True
Let b be 1*2/(-4)*0. Let a(k) = -4*k**3 - 5*k**2 + 3*k - 6. Let g(n) = -9*n**3 - 11*n**2 + 7*n - 11. Let d(o) = -7*a(o) + 3*g(o). Does 4 divide d(b)?
False
Let a be (-9)/12 - 86/(-8). Let q be (-12)/60 + (-28)/a. Is 2 + 1 + q + 45 a multiple of 15?
True
Does 44 divide 8 + (-30)/5 - (-344)/4?
True
Suppose 3*z - 15 + 0 = 0. Let o be 5/((-5)/(-2)) + 31. Suppose z*u = 57 + o. Is u a multiple of 6?
True
Suppose 3*s - 6 = 3*r, -5*r + 0*s = -4*s + 6. Is 12 a factor of -14*(r - 1)*54/(-18)?
False
Let h(o) = 10*o**2 - 2*o. Let l be 1/2*(-16)/(-2). Suppose 3*y + l = 5*y. Does 25 divide h(y)?
False
Let x be -6*6/9*-14. Suppose 13*c - 11*c = x. Does 8 divide c?
False
Let d = 15 + -14. Is ((-2)/d)/((-4)/78) - -3 a multiple of 14?
True
Suppose 2 - 1 = -2*r - 3*p, 5*r - 2*p = -12. Is 20 a factor of 12/2 + r + (-327)/(-3)?
False
Let t = -869 + 240. Let m be 9/45 - t/5. Suppose 4*u = 2*u + m. Does 21 divide u?
True
Let z be 1 - 1 - 1785/7. Let v be 1/(-4) - z/60. Suppose -3*a + 56 = a + 3*n, 4*n - 56 = -v*a. Is 6 a factor of a?
False
Let f = 9 + 12. Let y be (-160)/(-28) - (-6)/f. Is 14 a factor of (21/2)/(y/16)?
True
Let v be (18/15)/(2/(-60)). Suppose k = 3*t + 59, 17 + 239 = 4*k - 2*t. Let q = v + k. Is q a multiple of 10?
False
Let g = -8 - -10. Suppose -g*o + 228 = o. Let u = o - -49. Is u a multiple of 32?
False
Let c = -8 - -9. Does 7 divide (-77)/(-44)*16/c?
True
Let b be (7/7)/(1/5). Suppose 7*o = 6*o + b. Is 336/o - 2/10 a multiple of 18?
False
Let z be (-3)/(18/15 + -1). Let d = -13 - z. Suppose h = 5*h + f - 146, d*h = -5*f + 82. Is 12 a factor of h?
True
Let v(b) = -b**3 - 5*b**2 - 20*b - 52. Let t be v(-5). Let j be (0/(-1))/(-1 - 0). Is 4 a factor of j - t/(6/(-2))?
True
Suppose m + 2*d - 1385 = -3*d, -2*d = 2*m - 2778. Is m a multiple of 13?
False
Let l(o) be the second derivative of -o**5/10 - 2*o**4/3 - 2*o**3/3 + 21*o**2/2 + 2*o + 24. Is l(-6) a multiple of 27?
True
Let h(g) = g**3 - 13*g**2 - 15*g + 14. Let k be h(14). Suppose 4*y + k = -60. Let w(p) = -p**2 - 16*p - 1. Is w(y) a multiple of 14?
True
Suppose 55*m = -107812 + 384902. Is 89 a factor of m?
False
Let d(c) = c**2 - 5*c - 2. Let a be d(6). Suppose -a*l + 24 = -56. Is 5 a factor of 6/4*l/3?
True
Let s(w) = 4*w**3 - 1. Let t be s(2). Suppose 5*i - 2*y - 125 = 2*y, i = 2*y + t. Is 3 a factor of i?
True
Suppose -208 = 5*x - 13*x. Suppose x = t - 27. Is t even?
False
Suppose 3*y - 3*g - 27 = -231, -4*g - 8 = 0. Let o be (y/21)/((-1)/(-9)). Let m = -1 - o. Does 24 divide m?
False
Let f = 16 + 46. Is f a multiple of 5?
False
Suppose -1857 = -6*b + 3471. Does 70 divide b?
False
Let m = -9 + 12. Suppose -3*i + i + 13 = m*o, 4 = 4*o - 4*i. Is 5/20*204/o a multiple of 12?
False
Let c(x) = 4*x**3 + 2*x + 1. Suppose -11 = 3*d + 2*z - 0, 11 = 5*d - 4*z. Let y be c(d). Is 3 a factor of (-2)/y - 212/(-20)?
False
Suppose -2*f = -3*f + 4. Suppose f*x - 49 = 3*j, 3*x - 33 = 3*j - 0*j. Is (204/x)/(12/32) a multiple of 20?
False
Let z(v) = 18*v - 38. Suppose 6*u - 13 = 53. Is z(u) a multiple of 32?
True
Suppose w + 6*w + 42 = 0. Is 2/(-6) + (-584)/w a multipl