
True
Suppose 0 = -7*h + 3*h + v + 11, -4 = -3*h + 5*v. Suppose 180 = h*l + 3*d, -2*d + 147 = 4*l - 101. Does 16 divide l?
True
Let r(n) = 430*n - 32. Does 18 divide r(2)?
True
Suppose 8*w = -9*w + 255. Is 14 a factor of 42/(w/(-200)*-5)?
True
Let m = 9 - 10. Does 29 divide (3/m)/(1/(-29))?
True
Let x(s) = -s**2 + 3*s - 5. Let j be x(2). Let p(z) = 13*z**2 + 3*z. Let n be p(j). Suppose -5*c = -n - 167. Is c a multiple of 11?
True
Suppose -4*q + 11340 = 16*k - 12*k, -4*k - 5*q + 11340 = 0. Is k a multiple of 21?
True
Let n be (-3 - 6*-1)*2. Let x(u) = -22*u + 5. Let s be x(n). Let t = -31 - s. Is 17 a factor of t?
False
Suppose -5*m + 0*m + 2280 = 0. Suppose -18*q + m = -15*q. Does 21 divide q?
False
Suppose 4*w + 3*f = 3199, -4*w - 2197 = 5*f - 5398. Suppose 0 = -4*z - 5*g + 630, -4*z + w = -g + 157. Does 16 divide z?
True
Is 41 a factor of (-6)/(-2) - (-11 + 5)*505?
False
Let q(t) = t**3 + 23*t**2 + 18*t + 98. Is q(-19) a multiple of 16?
True
Is 9/(-45) + 96/5 a multiple of 4?
False
Let b(v) = 28*v. Let p(w) = w**3 + w**2 + 1. Let c be p(0). Is b(c) a multiple of 28?
True
Let p(h) = -9*h**2 + 9*h - 13. Let d(o) = 14*o**2 - 13*o + 20. Let l(a) = 5*d(a) + 7*p(a). Is 4 a factor of l(3)?
False
Let r(u) = 7*u + u**2 + u + 2*u + 4. Let p be r(-6). Does 18 divide 1/(-4) - 505/p?
False
Suppose 5*g - 594 = -t, 2*g = t - 446 - 148. Is 24 a factor of t?
False
Suppose k - 3*m = 19, -3*k + 39 + 29 = 2*m. Suppose -25*b = -k*b - 57. Is b a multiple of 19?
True
Suppose q - 501 = m - 15, -5*q + 4*m = -2434. Suppose -q = -0*w - 5*w. Does 24 divide w?
False
Let k = -218 - -548. Is k a multiple of 10?
True
Let c(f) = -3*f + 53. Is c(9) a multiple of 26?
True
Suppose 0*y - 2*y = 5*c + 5, 3*y = -c + 12. Suppose h + 0*h = l - 7, -y*h - 25 = -3*l. Suppose -a = -5*z - 77, -a + l*z = -3*a + 79. Is 19 a factor of a?
False
Let p = 570 - 287. Is p a multiple of 16?
False
Suppose 6*z - 2 = 22. Does 18 divide 47 + 5 + 1*(-2 + z)?
True
Suppose -24448 + 8248 = -10*h. Is h a multiple of 5?
True
Let g = 745 + -88. Does 73 divide g?
True
Let s(j) = 27*j**2 - 13 + 39 - 10*j + j**3 - 38*j**2. Does 13 divide s(12)?
False
Let h = -38 + 36. Does 8 divide (-9)/h*(-160)/(-30)?
True
Let s(b) = -3*b**2 - 2*b. Let q be s(2). Let r = 72 + q. Is r a multiple of 12?
False
Suppose 11 = -4*z - 129. Is 35 a factor of 12*(z/(-10))/1?
False
Let s = -4031 + 5782. Does 103 divide s?
True
Let d be ((-6)/4)/(4/(-136)). Let x = 81 + d. Let h = x + -87. Is h a multiple of 15?
True
Let g(v) be the third derivative of v**4/24 + 37*v**3/6 - 15*v**2. Is 33 a factor of g(6)?
False
Let t = -7 + 8. Let o = 4 - t. Suppose 5*m - 18 + o = 0. Does 2 divide m?
False
Let a = -3 + 12. Let j be 0 + a/3 + -1. Suppose m + j + 140 = 3*l, 2*m = 4*l - 190. Does 20 divide l?
False
Let k = 51 - 49. Suppose -5*n + 3*i - 245 + 880 = 0, k*i - 660 = -5*n. Is 10 a factor of n?
True
Suppose 6*v + 4*v = -v. Suppose -8*t = -v*t - 328. Is 4 a factor of t?
False
Suppose -v + 0 = -3, 2*v = 4*n - 2. Suppose -n*l = -0*l - 32. Does 11 divide l?
False
Let w(c) = 2*c**3 + 8*c**2 - 4*c - 9. Let r be w(-4). Suppose -2*o = -2*p + 22, 2*p + 43 = r*p + o. Is p even?
False
Suppose -2*b - 4*k = 12, 3*b + 3*k - k = -38. Let j(y) = -42*y. Let p be j(b). Is 8 a factor of 3/(-4*(-9)/p)?
True
Let w(m) = -2*m**2 - m + 5. Let y(o) = -1. Let v(f) = -w(f) - 5*y(f). Let p be v(-1). Does 5 divide (0 - -3 - -6)/p?
False
Suppose 0*p + p = 70. Suppose -l = -3*l - p. Let n = -17 - l. Is 12 a factor of n?
False
Suppose -5*q - 2*s + 117 = 0, 3*s - 4 = -2*q + 34. Let b(o) = -o**2 + 27*o - 19. Is 31 a factor of b(q)?
True
Let z = -32 - -22. Let b = -10 - z. Suppose 2*q + 17 - 61 = b. Is 22 a factor of q?
True
Suppose -1387 = -3*n - t, 3*t - 6*t = -3. Does 66 divide n?
True
Let p(g) = g**3 - 14*g**2 + 10*g + 16. Is p(15) a multiple of 23?
True
Let c be (0/(2 - -1))/(-1). Suppose -89 = z - 105. Suppose c*h - z = -h. Does 7 divide h?
False
Suppose -o = -0*o - 2. Let k be (5 + -4)/(1/o). Is 4 a factor of (-15 - -16)/(k/42)?
False
Let v(z) = -14 - 5 - z - 14*z. Is 9 a factor of v(-4)?
False
Let g(a) = -a**3 + 3*a**2 + 3*a - 4. Let v be g(3). Let q(s) = -s + 76. Let t be q(0). Suppose -t = -v*o + 29. Is o a multiple of 10?
False
Let h(c) = c**3 + 5*c**2 - 7*c - 4. Let u = 12 - 18. Let a be h(u). Suppose 29 - a = y. Does 10 divide y?
False
Let r be (0 - (-5)/10)/(1/4). Is (-1974)/(-24) - r/8 a multiple of 21?
False
Let w(a) = a**3 + 13*a**2 + 14*a + 8. Let x be w(-10). Suppose -25 = -5*d, 4*y - 231 = -3*d + x. Is 15 a factor of y?
False
Suppose 8 = -2*k + 178. Does 3 divide k?
False
Is (532/(-10))/(2/(-5)) a multiple of 6?
False
Let l = -199 + 208. Is l a multiple of 9?
True
Let a be 0/((-1)/(2 + 10/(-4))). Suppose -4*z + 29 + 415 = a. Is 13 a factor of z?
False
Let j(k) = -6 + 10 - 14*k - 2 + k**2. Let f be j(14). Suppose f*d - 7*d = -180. Is 8 a factor of d?
False
Let l(a) = 21 + a**2 + 66 + 32 - a. Does 26 divide l(0)?
False
Let a(d) = 2*d**2 - 3*d. Let x be a(3). Let s be ((-10)/15)/((-2)/x). Suppose 0 = -s*j + 19 + 26. Is 15 a factor of j?
True
Suppose 5*t + 50 = -5*y, 3*y = -2*t + 4*t. Let p(g) = 2*g**2 + 4*g - 21. Does 15 divide p(t)?
False
Let r(b) = 14*b + 768. Is 6 a factor of r(-16)?
False
Let h be ((-144)/14)/(11/308). Is 5 a factor of (-30)/(-50) + (h/(-10))/2?
True
Let m(b) = 6*b**2 + 32*b - 203. Is m(7) a multiple of 2?
False
Suppose 0 = -d + 5. Suppose 0*b + d*b = 210. Is b a multiple of 14?
True
Let n = -566 - -958. Suppose 0 = -k - 6*k + n. Is k a multiple of 11?
False
Suppose 14*w = u + 18*w - 319, -3*w - 1352 = -4*u. Is u a multiple of 18?
False
Let p = 68 + -47. Let x(y) = 8*y - 40. Is 37 a factor of x(p)?
False
Let v = 1356 - 784. Is v a multiple of 11?
True
Let s(w) = -w - 6. Let u be s(-8). Suppose -t = -3*h - 102 + 295, -u*h = 5*t - 157. Suppose -4*f = 8, -f + h = 2*x - 4*f. Does 14 divide x?
False
Suppose -5*m + 107*h + 1942 = 106*h, m + 5*h - 378 = 0. Is m a multiple of 11?
False
Suppose 7 + 29 = 2*i. Suppose -4*a + 8 = 3*m - 5, 5*a + 2*m - i = 0. Suppose -x + 10 = a*x. Is x a multiple of 2?
True
Let n(l) = 3*l - 1. Let a be n(2). Suppose 6*m = 5*m + a. Suppose 183 = m*c - 2*c. Does 16 divide c?
False
Suppose 0 = -2*f - 3*g + 120, 5*f = -0*f + g + 300. Suppose 9*m - 4*m - 89 = v, -13 = -m + 5*v. Suppose 5*x - h - m = f, -h + 50 = 3*x. Does 4 divide x?
True
Suppose -4*z = 20, -20 = -k - 7*z + 8*z. Is k a multiple of 7?
False
Let q = 21 - -59. Is 4 a factor of 624/10 + 2 - 32/q?
True
Let y(s) = s - 4. Let l be y(3). Does 3 divide (-5 - (-20 + 8)) + -1 + l?
False
Is 2*12*(-1482)/(-117) a multiple of 16?
True
Let m(q) = -q**3 - 9*q**2 - 11*q - 11. Let a be m(-8). Let v(x) = x - 3. Is v(a) a multiple of 2?
True
Suppose 3*b = 4*f - 11, b + 3*b + f + 2 = 0. Let a be ((-4)/6)/(b/3). Suppose 6 = 3*o - a*o. Is 5 a factor of o?
False
Suppose 0 = 4*j + 3*g - 1 - 3, 5*g + 20 = 0. Suppose -58 = -2*s + j. Does 14 divide s?
False
Let x(m) = -7*m + 15. Let c be x(-7). Let p be -3 + (c - (-4 - -5)). Let b = 11 + p. Is 10 a factor of b?
False
Let u be 78/(-2) - -2 - (4 - 2). Let b = 76 + u. Does 37 divide b?
True
Let c = 105 - 95. Suppose 832 = -2*j + c*j. Is 26 a factor of j?
True
Suppose k - 16 = -3*a, 3 + 10 = 2*a + 3*k. Suppose -5*z = 4*f - 340, 0*f = a*f. Is 17 a factor of z?
True
Is 646*12/(-8)*2/(-6) a multiple of 29?
False
Let c(a) = -11*a**3 - 18*a**2 - 22*a - 18. Does 26 divide c(-6)?
False
Suppose -5*v + 4064 = 11*v. Is 8 a factor of v?
False
Let s(u) = 11*u**2 + 12*u - 6. Let w(p) = p**3 - 2*p**2 - 6*p + 5. Let b be w(3). Is 26 a factor of s(b)?
False
Suppose -c + 3*f + 516 = 0, -3*f + 861 = 2*c - 207. Is c a multiple of 44?
True
Suppose 14774 = 40*y - 5866. Does 14 divide y?
False
Let h(b) = b**3 - 25*b**2 + 8*b - 149. Is h(25) a multiple of 2?
False
Let m(l) = 3*l**2 - 3*l + 27. Does 7 divide m(5)?
False
Suppose 5*o - 29 = 131. Let c = -35 - -39. Is (4 + -3)*o + c a multiple of 18?
True
Let y(z) = -z**2 + 27*z + 32. Let o be y(28). Does 32 divide o/(205/200 + -1)?
True
Let a = 57 - 54. Suppose -4*c - l + 245 = 0, a*l + 71 = -7*c + 8*c. Is c a multiple of 5?
False
Let h = 11 - 8. Suppose -3*o = -h*b - 2*b + 124, 77 = 4*b + 5*o. Does 10 divide b?
False
Let y = 21 + -10. Let w(x) = y*x + 4*x - 5*x + 2. Is w(3) a multiple of 11?
False
Let r = 78 + 