
Suppose 5*j + 2329 = -4*f + 7985, 0 = -4*j - 16. Is 43 a factor of f?
True
Let n = -7 + 10. Let r(t) be the second derivative of 7*t**3/2 - 11*t - 2. Is 31 a factor of r(n)?
False
Suppose -2*y = -4*y. Suppose y*q + q = -3. Is 9 a factor of 12 + (-3)/(-2 - q)?
True
Let g be (-32)/(-6) - (-5)/(-15). Suppose 0 = g*y - 6*y + 36. Is 9 a factor of y?
True
Let i(u) = 8*u - 19. Let o be i(8). Suppose -m = -190 + o. Does 31 divide m?
False
Suppose -11*w + 164 = -7*w. Is 3 a factor of w?
False
Let t = 330 - -480. Is t a multiple of 81?
True
Let x = -51 + 53. Suppose x*y = -r + 24, -3*y + y - 120 = -5*r. Is r a multiple of 5?
False
Suppose p - 47 = 3*y, -5*y - 4 = 4*p + 46. Let b = 18 + y. Suppose -b*x + x + 180 = 0. Is 12 a factor of x?
True
Let m(k) = k**3 + k**2 - k + 1. Let g be m(0). Let t = g + -2. Let x(n) = -64*n**3 - 2*n**2 + 1. Does 25 divide x(t)?
False
Is 44 a factor of -18*(4200/(-189) - (-4)/18)?
True
Does 4 divide 4/(-10) + -6 + (-5958)/(-45)?
False
Let h(k) = -4*k. Let a(g) = -g + 1. Let r(j) = -3*a(j) + h(j). Let d be r(-6). Does 14 divide d - -12 - -2 - 3?
True
Suppose 187 = 4*t + z, 3*t = 2*t + 3*z + 50. Let q = -4 + t. Is q a multiple of 13?
False
Let j be (2 - (5 + (-9)/3)) + 0. Let l(n) = -2*n**2 + 4*n + 108. Is 12 a factor of l(j)?
True
Let k(f) = -22*f + 698. Is k(8) a multiple of 58?
True
Let d = 1536 - 834. Is 26 a factor of d?
True
Let k = -185 - -385. Let c = k + -65. Does 15 divide c?
True
Let q = 2 - 2. Suppose -4*c - 17 = 3*r - 8*r, -3*c - 4*r + 26 = q. Is -3 - c*(-7)/2 a multiple of 4?
True
Let f be -1 - (-5 + 3) - -1. Suppose 6*o = f*o + 104. Is 10 a factor of o?
False
Let n(x) = 29*x**2 + 8*x + 7. Is 25 a factor of n(5)?
False
Let z(g) = 3*g - 1. Let j be z(1). Suppose 39 = j*f - 3*h, 4*f + h = 5*h + 76. Is f a multiple of 10?
False
Suppose -30086 = -457*m + 443*m. Is 7 a factor of m?
True
Let m(i) = 7*i - 51. Let q(d) = -6*d - 35. Let x be q(-8). Is 10 a factor of m(x)?
True
Suppose -18 = -f - 3*g, 4*g - 19 - 25 = -2*f. Is (-3)/(f/4) - (-2504)/10 a multiple of 10?
True
Let o(r) = r**3 - 3*r**2 + r - 6. Let c be o(5). Suppose -2*w - 3*w + 630 = 0. Is 3 a factor of (w/c)/(2/14)?
True
Suppose 0 = 4*i - 295 - 329. Suppose 3*x + 12 = i. Does 4 divide x?
True
Let x = -25 - -31. Let v be (-3 - 33)*(-3)/x. Suppose 0*z + z + 2*c - 17 = 0, v = -z + 5*c. Is 4 a factor of z?
False
Suppose 0*y = -y - 3*c, -4*c = -y. Suppose x - 4*k = -3*x + 12, 2*x - 5*k + 3 = y. Suppose x = -5*a + 41. Is a even?
False
Let t(u) = -14*u - 12. Let v be t(-9). Let g = v - 49. Does 34 divide g?
False
Let n(l) = -2*l - 6. Let s be n(-6). Is (8/s + -1)/(10/270) a multiple of 3?
True
Let f(z) = z**2 - 26*z + 438. Does 5 divide f(0)?
False
Let c = 3277 - 1766. Is 7 a factor of c?
False
Suppose -2*d + 5*y = -d + 4, -y - 4 = -5*d. Let l = 12 - d. Suppose 6*z + 35 = l*z. Does 3 divide z?
False
Let x be (2 + 1)/(21/2289). Let q = x + -14. Is 44 a factor of q?
False
Is (13 + -8)/(2/272) a multiple of 7?
False
Let x = -2 - -4. Let y be (48/x)/(1 - 0). Suppose 2*h + y = 4*h. Is h a multiple of 3?
True
Let g(i) = i + 5. Let h be g(-5). Suppose 5*j = 3*a - 38, -90 = -5*a + 3*j - h*j. Does 7 divide a?
True
Suppose -3*r + 2*d + 396 = -2*r, -r = 5*d - 375. Is r a multiple of 26?
True
Let z be (-30)/(-9) - (-8)/12. Let j be (-27)/(-3*z/8). Let m = 39 - j. Is m a multiple of 6?
False
Let u = 15 + -25. Is 18 a factor of (4/u)/((-4)/360)?
True
Is (0 + 5/(-15))/(1/(-162)) a multiple of 54?
True
Suppose 31*x - 16266 = 7449. Is 19 a factor of x?
False
Suppose -q + 8*q = 28. Suppose -q*u = -44 - 0. Does 3 divide u?
False
Let x(o) be the second derivative of 32*o**3/3 - 9*o**2/2 - 49*o. Is x(1) a multiple of 10?
False
Let p be 6 + (-40)/6 - 172/(-6). Does 10 divide 0/18 + 2*2*p?
False
Suppose -4*v + 3*x - 28 = 48, -5*v + 4*x - 95 = 0. Let o = v - -48. Is o even?
False
Suppose 0 = -f - b + 426, -4*f - 3*b + 1713 = -2*b. Is 7 a factor of f?
False
Let l(p) = -2*p**2 + 6*p - 9. Let b be l(5). Let o = 33 + b. Suppose o*q = 5*q - 33. Is 17 a factor of q?
False
Let x = -58 - -62. Suppose 0 = -x*v, -3*v - 84 = -3*r - 30. Does 2 divide r?
True
Let d be (-28)/35*(-10)/(5 + -3). Suppose -2*c + 4*t + 133 = 31, -184 = -d*c + 3*t. Is c a multiple of 3?
False
Let n(q) = -5*q - 4. Let j(u) = u. Let l(k) = 5*j(k) - n(k). Let w be (-1)/(-5) - (-9)/5. Is l(w) a multiple of 8?
True
Let u(g) = -g**2 - 16*g + 13. Let k be u(-12). Suppose k = -j + 177. Suppose -5*s - 3*i + 240 = 0, 3*i + 76 = 4*s - j. Does 12 divide s?
True
Suppose -2*s - 5*h - 6 = -4*s, -4*s - h + 56 = 0. Is 13 a factor of s?
True
Let j = 35 - 32. Suppose -s = -j - 1. Suppose s*v = -5*n + 83 + 64, 0 = 3*v + n - 102. Does 11 divide v?
True
Does 13 divide (132/(-30))/(-11) - (-2676)/10?
False
Suppose -2*t - 8*h = -4*h - 244, -214 = -2*t + 2*h. Does 7 divide t?
True
Let d(y) = y**3 + 7*y**2 - 2*y - 10. Let a be d(-7). Suppose 4*b - 2*g + 4*g - 124 = 0, -a*b + 116 = 4*g. Is b a multiple of 9?
False
Let u = 775 - 750. Is u a multiple of 5?
True
Let c(w) = -w**3 - 29*w**2 - 65*w - 23. Is 27 a factor of c(-27)?
False
Suppose -2*g = -n - 13, 0 = g + 2*g - 5*n - 2. Suppose -163 = -g*f + 251. Is f a multiple of 11?
False
Suppose -12 = 3*t, -58*t = -5*m - 57*t + 13929. Is m a multiple of 80?
False
Let x(q) = 2*q**3 - 6*q**2 - 7*q - 16. Let y(g) = g**3 + g**2 - g - 1. Let m(b) = x(b) - 3*y(b). Is 23 a factor of m(-9)?
True
Suppose 0 = 268*u - 267*u - 646. Is 19 a factor of u?
True
Suppose -3*t = -4*v - v + 1365, 4*t = 5*v - 1370. Is 20 a factor of v?
False
Suppose -3*k - 11 = s - 47, -3*s + 2*k + 75 = 0. Let u = s - 7. Is u a multiple of 10?
True
Let a be ((-45)/10 - -4)*(-67 + 1). Suppose -32*q = -a*q + 40. Does 8 divide q?
True
Suppose 336 = 20*f + 4*f. Does 3 divide f?
False
Suppose 0 = 5*p - 282 - 1123. Does 11 divide p?
False
Let d(u) = -5*u**3 - 3*u**2 - 5*u - 2. Let y be d(-1). Is 3 a factor of 4 - (-28 + y - 0)?
True
Suppose 3*y - 503 + 1703 = 5*q, 5*y + 1200 = 5*q. Is q a multiple of 48?
True
Let a = -14 - -7. Let z(s) = -19*s - 12. Let l(i) = 27*i + 13. Let f(n) = -3*l(n) - 4*z(n). Is f(a) a multiple of 18?
False
Suppose -3*k = -6*y + y + 875, -3 = -3*y. Let v = k - -516. Is 29 a factor of v?
False
Suppose 35 = -4*z + f, 5*z - f + 59 = 14. Is 12 a factor of (4 - z*1) + 1?
False
Suppose 4*h + 1260 = 2*y, -h + 1374 - 4488 = -5*y. Is 9 a factor of y?
False
Let l(d) = -13*d - 151. Is 17 a factor of l(-17)?
False
Suppose -4*f = -7*f - 90. Let v = f - -65. Is 7 a factor of ((-30)/(-7))/(5/v)?
False
Is 13*((-14604)/(-108) + 2/(-9)) a multiple of 8?
False
Let n(l) be the first derivative of -11*l**2 - 19*l + 23. Is 11 a factor of n(-8)?
False
Let u = -22 + 42. Let g = u + -15. Is 3 a factor of 73/g - 15/25?
False
Let j(t) = t**2 + 6*t + 8. Let g be j(-4). Suppose 2 = -n - g*n + a, 4*a = 16. Suppose -n*i = q - 42, 3*q = i - 46 + 11. Does 8 divide i?
False
Let i be ((-2)/6)/(26/234) + 3. Suppose 4*z - z = 294. Suppose r + z = 3*p, -r - 32 = -p - i*r. Is p a multiple of 33?
True
Let b be (6/9)/(((-16)/18)/(-4)). Is 23 a factor of 1/(-1)*b*115/(-3)?
True
Let l = 37 - 10. Suppose -4*s + 14*s + 170 = 0. Let n = l + s. Is n a multiple of 2?
True
Let p be (1 - 1 - -65)*(32 + -33). Let m = -3 - -4. Is p/(-2 + 1)*m a multiple of 15?
False
Let y(z) = z**3 - 4*z**2 - 10*z - 12. Let s be y(6). Suppose s*c + 3*v - 25 = -c, v + 77 = 5*c. Is 15 a factor of c?
False
Is 43 a factor of 81250/45 + 8/18?
True
Let u = 154 + -64. Suppose 0 = 21*m - 24*m + u. Does 15 divide m?
True
Does 47 divide 4/(-22) - 1598344/(-968)?
False
Let u(w) = -w**3 - 5*w**2 - 9*w - 9. Suppose -11*l + 5*l = 36. Is u(l) a multiple of 9?
True
Let y(z) = z**3 + 22*z**2 - 37*z - 13. Is y(-23) a multiple of 57?
False
Suppose 7 = -2*a + 5*o + 117, 0 = 5*a - 2*o - 296. Is a a multiple of 6?
True
Let l = 2170 - 1045. Is l a multiple of 75?
True
Let v = 9 + -6. Suppose 0 = -v*o + 2*o + 66. Is 20 a factor of o?
False
Suppose 4 + 16 = 5*t. Suppose -2*u - 314 = -2*f + u, 5*u + 626 = t*f. Does 11 divide f?
True
Does 47 divide 24800/22 - -2 - 21/77?
False
Let m = 126 - -234. Is 8 a factor of m?
True
Let z be -1*2/10 - (-22)/10. Suppose 4*r = 4, -4*u + 3*r = z*r - 147. Does 3 divide u?
False
Does 91 divide 4/12 + (-26299)/(-51)?
False
Let q = -11 + 34. Let i = -20 + q. Suppose 4*f - i*p = 3, 0 = 