rue
Let m(f) = -f**2 + 9*f - 4. Suppose 4*v - 4*w = 5*v, 5*v = 2*w + 44. Does 4 divide m(v)?
True
Let z be -73 - (-1 - -3 - -2). Is (-24)/(-16) - z/2 a multiple of 8?
True
Is 6 a factor of 1/(-2)*(-400 + 6)?
False
Let r(b) = 8*b**2 - b - 20. Let g be r(6). Suppose 4*t + h - g = -h, 0 = 3*t - h - 199. Does 11 divide t?
True
Let b(t) = -4*t + 71. Let l be b(17). Suppose -2*f - 398 = -2*u - 0*f, -3*f + 603 = l*u. Is u a multiple of 40?
True
Suppose 4*q - 4*c - 3936 = 0, q + 14*c - 974 = 17*c. Is 31 a factor of q?
False
Let q(d) = -3*d - 11. Let x be q(-5). Suppose -x*b = -119 - 693. Does 22 divide b?
False
Suppose -4*t + 62 = -610. Does 4 divide t?
True
Let t(q) = -36*q**3 + q**2 + q + 1. Let n be t(-1). Suppose -5*m = -4*m - 5*y, 2*m - 14 = -4*y. Suppose 183 = m*l - n. Is l a multiple of 15?
False
Let c be 0/(-1) + 0 - -4. Suppose g - u = -c*u + 72, 3*g = -2*u + 244. Suppose 2*b - g = 4*a, 9*a = -b + 4*a + 70. Is b a multiple of 25?
True
Let p(a) = 2*a - 8. Suppose -n - 4*d = -3*d - 10, 0 = 3*d - 12. Let c be p(n). Suppose -47 = -c*q + 21. Does 6 divide q?
False
Let f = -16 + 21. Suppose 124 = -a + f*a - 4*r, -5*r + 37 = a. Is 11 a factor of a?
False
Suppose -3*v + 4*y = -16, -36 = -5*v + 3*y - y. Suppose 9*u = v*u + 40. Is 20 a factor of u?
True
Suppose 4*z - 20 = 0, -4*f + z + 451 + 1036 = 0. Is 31 a factor of (-3)/6 + (f/2 - 2)?
False
Suppose -7 = -4*s + 3*s. Suppose 5*k - 47 = -s. Suppose 4*j = -z - k + 41, -14 = -2*j + 2*z. Is j a multiple of 4?
True
Let l(u) = u**3 - 17*u**2 - 36*u - 20. Does 18 divide l(19)?
True
Is 7 a factor of (-14 - -16)*22/4*37?
False
Suppose -16*w + 20 = -11*w. Suppose -3*q - 8*v = -13*v - 395, w*q + 5*v = 585. Is q a multiple of 7?
True
Suppose 0 = 2*d - 5*c - 272, -5*d + 0*c + 657 = -c. Does 7 divide d?
False
Suppose -113*o - 4*c = -116*o + 483, -779 = -5*o - 2*c. Is 33 a factor of o?
False
Let s(m) = -68*m + 692. Is s(-6) a multiple of 20?
True
Suppose -5*l = -l + 4*y - 1016, 1280 = 5*l - 5*y. Let j = -19 + 41. Suppose -j*s + l = -19*s. Is s a multiple of 15?
False
Suppose -5*u + 15 = -5*r, 4*r - 2*r + 6 = 3*u. Suppose 0 = -y + 4*v + 13, u = 2*y + 3*v - 6 - 42. Does 14 divide y?
False
Suppose -z + 2*y - 3*y = -10, -4*y + 30 = 2*z. Suppose -r - 3*l + z = -6*l, -2*r + 5*l = -9. Is 2 a factor of 3 + 3 + 1 + r?
False
Let l = 352 + -89. Is 9 a factor of l?
False
Suppose -2*z = 2*u + 6, 0*u - 3*u = 2*z + 7. Let g be u + 30*(-2)/(-4). Suppose 0*p = -2*b - p + 16, 0 = b - 5*p + g. Is b a multiple of 3?
True
Suppose -2*i + 10 = 3*z + z, -2*z - 20 = -4*i. Suppose 0 = i*d - 4*d - 40. Is 9 a factor of d?
False
Let r = 3033 + -561. Is 12 a factor of r?
True
Suppose -k = 11*n - 8*n + 13, -5*k + 5*n + 15 = 0. Let x(r) = 260*r**2. Is 52 a factor of x(k)?
True
Suppose 2*g - i - 1440 = -2*i, 2882 = 4*g + i. Is 38 a factor of g?
False
Let m = -1 + 6. Let c be (m + (-2)/(-2))*1. Let s(d) = d**3 - 5*d**2 - 3*d + 4. Is s(c) a multiple of 5?
False
Let h(q) = -q**3 + 17*q**2 - 28*q + 5. Is h(15) a multiple of 2?
False
Let a(z) = -36*z**2 - 3*z**3 + 41*z**2 + 10 + 2*z**3 + 6*z + 3. Is a(6) a multiple of 3?
False
Let a = -100 + 339. Is a a multiple of 54?
False
Is 20 a factor of ((-18)/1)/((147/70)/(-7))?
True
Let q = 24 + -20. Let d = -4 + q. Suppose d = 3*x + 14 - 44. Is x a multiple of 10?
True
Is (4/3)/(308/69069) a multiple of 23?
True
Suppose 10530 = -12*c + 38646. Is 12 a factor of c?
False
Suppose -1 = -v - 2, 4*f + v - 1623 = 0. Is 55 a factor of f?
False
Let h = 272 - 202. Is h a multiple of 14?
True
Is -7 + 4 - -251 - -4 a multiple of 36?
True
Let q(w) = 11*w**3 - 11*w - 6. Is 6 a factor of q(4)?
True
Suppose 2*k + 6 - 46 = 0. Suppose -18*g + k*g - 208 = 0. Does 12 divide g?
False
Let f = -56 + 61. Suppose -w + 5*w = -o + 109, 4*w - f*o = 103. Is 9 a factor of w?
True
Let j(c) = -c**3 + 25*c**2 + 57*c + 52. Is j(26) a multiple of 13?
True
Let z = -13 + 6. Let l = z - -9. Suppose -5*i + l*d - 50 + 632 = 0, -3*i - d = -358. Is 34 a factor of i?
False
Let a = 103 - -2. Is 4 a factor of a?
False
Let x(p) be the second derivative of -p**3/6 - p**2 - 2*p. Let u(i) = -i**2 - 8*i - 11. Let g be u(-7). Does 2 divide x(g)?
True
Let n(g) = 214*g - 7. Let p(l) = -72*l + 2. Let i(o) = 3*n(o) + 8*p(o). Is i(2) a multiple of 26?
False
Suppose -3*m + 450 = -0*i - 3*i, 0 = m + 3*i - 154. Is 21 a factor of m?
False
Let c = -52 - -62. Does 12 divide -8*(4/c - (-93)/(-20))?
False
Let i = 61 + -57. Suppose i*d - 106 = 386. Does 14 divide d?
False
Suppose 4 - 1 = j, -3*t + j + 1434 = 0. Is t a multiple of 21?
False
Suppose 8*j = 1735 + 2441. Is j a multiple of 26?
False
Let b(w) = 10*w**2 - 3*w + 7. Let v(f) = -f**2 + f - 1. Let d(o) = b(o) + 6*v(o). Does 11 divide d(-2)?
True
Let t(l) = -8*l + 19. Let o be t(6). Let k = -2 + o. Let c = -24 - k. Is c a multiple of 4?
False
Let j = 288 - 16. Does 16 divide j?
True
Suppose -6 + 12 = -t + 5*k, k = -4*t + 39. Is t a multiple of 3?
True
Let a be 5*(2 - 2 - 1). Is 4 a factor of -4 - 218/a - (-2)/5?
True
Does 3 divide (1507 + -3)/(-8)*(-3)/4?
True
Let y = -482 - -932. Does 50 divide y?
True
Suppose 5*n + 2*x = 1447, 0 + 4 = -x. Is 38 a factor of n + 1 + 24/6?
False
Let o = -664 + 788. Is 62 a factor of o?
True
Suppose -11*j + 6*j + 10 = 0. Let u = -175 + 448. Suppose -3 = t, -7*g + t = -j*g - u. Is g a multiple of 18?
True
Let c(n) = 18*n - 52. Is c(6) a multiple of 4?
True
Suppose -5*k + 381 = -49. Let x = 107 - k. Is x a multiple of 7?
True
Suppose -2*c = i + 1, 3*c + 3*i - i = -1. Let z = 1 - c. Suppose 2*o - z*w = 50, -w + 93 = 3*o + 2*w. Is 9 a factor of o?
False
Let o = 39 - -337. Is 8 a factor of o?
True
Let g(i) = 145*i**3 + i**2 + 18*i - 44. Does 31 divide g(2)?
False
Let k be 1 + 0 + 24 + -27. Let d be (k/1)/2 - 30. Let t = 47 + d. Is t a multiple of 4?
True
Let l(z) = -138*z + 6. Is l(-3) a multiple of 12?
True
Let g(r) = -r**2 - 3*r + 4. Let d be g(0). Let l be -6*((-3)/6 - d). Let i = 36 - l. Does 5 divide i?
False
Does 9 divide 113795/220 - (-1)/(-4)?
False
Suppose -3 = -p - 0, 56 = 5*u + 2*p. Does 12 divide (-3)/(15/u) - -122?
True
Let l(q) = -q + 14. Suppose -2*a + 20 = -3*t, 0*t + 2*t - 43 = -3*a. Let h be l(a). Let j = h + 1. Is j a multiple of 2?
True
Let n = -13 + 38. Suppose 0 = 4*v - 3*v + n. Is (0 - -1)/((-5)/v) a multiple of 5?
True
Let h = -176 + 329. Does 51 divide h?
True
Suppose 0 = -10*l + 12524 + 2836. Is 64 a factor of l?
True
Suppose -l + 2*t + 360 = 4*l, 3*l = -3*t + 216. Suppose a = -5*a + l. Is 6 a factor of a?
True
Suppose 26*s = 5099 - 1095. Does 22 divide s?
True
Suppose 25*w + 440 - 2690 = 0. Is w a multiple of 2?
True
Let b(k) = k**2 - 4*k + 164. Is 40 a factor of b(-18)?
True
Is (-202)/(-3)*27/6 a multiple of 37?
False
Let u = 39 - 25. Suppose 0 = 5*a - u*a + 36. Is 4 a factor of a?
True
Let l(t) = 25*t - 77. Does 41 divide l(8)?
True
Let j be (-5)/(-10) - (-12)/8. Suppose 0 = -3*v + 14 - j. Suppose 39 = v*u - 45. Is 6 a factor of u?
False
Does 20 divide (275/20)/((-7)/(-112))?
True
Let b(y) = y. Let i be b(10). Suppose -2*l = -o - i, l + 25 = 6*l - 3*o. Is l a multiple of 2?
False
Suppose -q = -2, -3*y + 1 = -4*q + 3. Suppose -2*d = 3*j + 4, -y*j - d = 2 - 0. Let l = 3 + j. Is l a multiple of 3?
True
Let h = 851 - 1196. Let s = h - -534. Is 14 a factor of s?
False
Let a = -9 + 4. Is (2 - (4 + a)) + 14 a multiple of 2?
False
Suppose 3*t + 275 = -4. Is 12 a factor of 5 + -5 + (0 - t)?
False
Let w(x) be the second derivative of x**3/2 + 21*x**2 - x. Suppose 4*g = 20, 508*g - 512*g = -j - 20. Is w(j) a multiple of 6?
True
Let k be 18/42 + 3/(-7). Suppose -4*s - 5*a + a = -212, -2*a - 2 = k. Suppose -s = 4*x - 246. Does 24 divide x?
True
Suppose 3*x - 3663 + 1206 = 0. Suppose x = 12*c - 621. Is c a multiple of 15?
True
Let v be (0 - -1)/(3/309). Let z = 208 - v. Is 15 a factor of z?
True
Suppose -24 = 10*w - 2*w. Is (4/12)/(w/(-8172)*4) a multiple of 38?
False
Let k be ((-3)/(-1))/((-5)/(-245)). Let i = k + -693. Is 17 a factor of 5/15 - i/9?
False
Suppose 0 = -d + r + 135, 14*r + 141 = d + 10*r. Is 46 a factor of d?
False
Let y be 1730/8 - 6/24. Suppose -y = -q - 3*q. Let g = -32 + q. Is g a multiple of 7?
False
Suppose 12 = 3*p, -3*d + 2*p = -p + 9. Suppose r + d = 5. Suppose 5*y - 148 = -r*o, 0 = -4*o + 3*o + 4*y + 16. Does 8 divide o?
True
Suppose 9*s + 16929 =