. Is 117/h + (-3)/(-15) a multiple of 4?
True
Suppose 14*n + 4394 = 15076. Is n a multiple of 7?
True
Let k(y) = 2*y**2 - 20*y + 24. Suppose -4*j + 18 = 2*x - 26, -3*x + 51 = 3*j. Is k(x) a multiple of 13?
False
Let d(a) be the second derivative of -a**5/20 - a**4/2 - a**3/6 - 5*a**2/2 - 6*a. Let y be d(-6). Let r = y + 6. Does 3 divide r?
False
Let n = 20 + -14. Suppose -3*m - 117 = -n*m. Is m a multiple of 13?
True
Suppose 0 = -4*s + 14 + 62. Let x = 99 - s. Is 20 a factor of x?
True
Suppose 7*d - 12 = 3*d. Let t = d + -3. Suppose t = -2*b + 43 + 49. Is b a multiple of 29?
False
Let f = 1116 + -990. Does 9 divide f?
True
Let f = -38 + 42. Suppose f*z - 213 = 31. Is z a multiple of 30?
False
Let p(s) = -s**3 + 23*s**2 + 24*s + 48. Let l be p(24). Let z(i) = 6*i. Let d be z(-4). Let w = d + l. Is w a multiple of 8?
True
Suppose d - 3 - 10 = 0. Let z = 14 + d. Is 10 a factor of z?
False
Let f(k) = 2*k**3 - 5*k**2 + 2*k + 1. Suppose 27 - 35 = -2*w. Is 16 a factor of f(w)?
False
Let z(v) = -33*v + 2. Let c be z(-3). Let u be (-8)/10*580/8. Let d = c + u. Is 14 a factor of d?
False
Let h(d) = -151*d**3 + 3*d**2 + 5*d + 8. Is h(-2) a multiple of 6?
True
Suppose l + 2*z - 4*z - 8 = 0, 0 = 2*z + 6. Suppose -67 = -3*m + 4*c, 3*m - l*c = m + 42. Does 5 divide m?
False
Let w = 653 + -421. Suppose -2*a = z - 2 - 5, -4*z = 3*a - 13. Suppose w = -a*o + 7*o. Is o a multiple of 26?
False
Suppose 2*b + 0 - 8 = -a, 5*b + 10 = 5*a. Let c = 21 - a. Suppose t - 21 = -3*d + 2*d, d + 5*t = c. Is 11 a factor of d?
True
Suppose 124865 = 72*j - 110287. Does 86 divide j?
False
Let o = 231 - 78. Is 11 + o - (-4)/(-2) a multiple of 28?
False
Let h(i) = i**3 - 6*i**2 + 11*i - 6. Is h(7) a multiple of 6?
True
Let c be (-16)/(-2*(1 + 0)). Let b = c - 16. Is 26 a factor of 92 - (b/(-2) - 1)?
False
Suppose 3*l - 4*l = -3*w + 859, -4*w - 2*l = -1132. Is w a multiple of 14?
False
Is 18 a factor of 16/20*57*(-90)/(-12)?
True
Suppose -4*d - 672 = 4*t, -2*d - 37 = 3*t + 462. Let a = 275 + t. Let v = -56 + a. Is 20 a factor of v?
False
Let s be (-14)/21 - 1682/(-3). Suppose -4*r = -k - s, 3*r - r - 280 = -3*k. Is r a multiple of 14?
True
Let a(h) = -h**3 + 9. Let x be a(0). Suppose 4*g - 33 = f, 3*g + x*f = 4*f + 19. Suppose -104 = -g*t + 4*t. Is t a multiple of 13?
True
Let w(p) = -5*p**2 - 2*p + 3. Suppose u + 5*t - 22 = 0, -3*u = u - 2*t. Let v be w(u). Let b = 37 + v. Is 13 a factor of b?
False
Let g(h) = h**3 + 6*h**2 + 5*h - 5. Let q be g(-3). Is 12 a factor of (30 - q) + -1*(-1)/1?
True
Suppose -2*g - g - 3*m + 120 = 0, 5*g - 216 = -m. Suppose 2*x = g + 112. Is x a multiple of 11?
False
Let y = -68 - -71. Suppose w = y*u - u - 117, w = -5. Is 28 a factor of u?
True
Suppose -2*t + 19*t - 816 = 0. Is t a multiple of 3?
True
Let h be 1/(1 - (-48)/(-51)). Suppose -4*l + 5*l - h = 0. Suppose -5*q - l - 16 = -4*k, -4*q = -k + 22. Is 2 a factor of k?
True
Let z(m) = -2*m**3 + 6*m**2 + 10*m + 5. Let w(g) = g**3 - 6*g**2 - 11*g - 5. Let b(a) = 3*w(a) + 2*z(a). Let f be b(-5). Let i = f - -1. Is i a multiple of 12?
True
Suppose -2*i - n - 238 = 0, 0 = -i + 5*n - 168 + 38. Let d = 46 - i. Is 29 a factor of d?
False
Let a(k) = k**3 - k**2 - 2*k - 1. Let y be a(-2). Let w = y + 9. Suppose -10 = -0*l - 5*l, w = -5*o + 4*l + 112. Does 8 divide o?
True
Let g = -183 + 659. Is 34 a factor of g?
True
Let k(z) = 1386*z**2 - 43*z + 44. Is 124 a factor of k(1)?
False
Suppose 49 = -4*c + 3*l, -9 = -5*c - 4*l - 47. Let x = -6 - c. Let w(y) = 5*y**2 - 5*y - 3. Is 19 a factor of w(x)?
True
Suppose 5*f = 2*y - 232, y + 4*f = 2*f + 134. Does 21 divide y?
True
Let o(b) = 16*b**2 - 10*b + 2. Is o(6) a multiple of 24?
False
Suppose -z + 17*p = 13*p - 966, 3*p = 0. Is z a multiple of 42?
True
Let y be 7/(-14)*-4*1. Let n be -3*y/1 + 4. Let l(c) = -13*c + 1. Is l(n) a multiple of 27?
True
Suppose 6*p = -1 - 77. Let b be 1/(-2) + (-7)/2. Let d = b - p. Is d a multiple of 5?
False
Let v = -19 + 28. Let i be (-3)/v*-1*3. Is (i/1)/(6/90) a multiple of 9?
False
Suppose 5*m = -252 - 103. Let t(x) = -x**2 - x - 140. Let r be t(0). Let y = m - r. Is y a multiple of 20?
False
Suppose -5*h - 178 = -2*g, -254 = -3*g + h - 0*h. Suppose 7*v - g = 3*v. Suppose 0 = -a - 5*k + v, -a = 4*a - 4*k - 105. Is 3 a factor of a?
True
Suppose 0 = 2*m + 8, -31 = -2*v - 2*m - 455. Does 19 divide ((v - -4)/(-4) - 1) + 1?
False
Let t = -438 - -659. Is t a multiple of 17?
True
Let n = 4 + 1. Suppose n*m + t + 122 = 0, 5*m + 0*m + 131 = 2*t. Let h = m + 37. Does 4 divide h?
True
Let j(w) = 2*w**2 - 7*w - 29. Is 7 a factor of j(-5)?
True
Let q = 657 - 655. Suppose 8 + 64 = 4*x. Is x/27*117/q a multiple of 21?
False
Let y = -98 - -93. Let s(r) = 0*r - 6 + 1 - 6*r + r**2. Is 10 a factor of s(y)?
True
Suppose 1242 = 2*t - 678. Is t a multiple of 10?
True
Let y be 1/(1/(-2)) - -2. Suppose y = -4*m - 5*h - 951, m + 3*m - h + 933 = 0. Is 12 a factor of (m/15)/(4/(-10))?
False
Let s(h) = h + 9. Let b be s(-5). Is (b - 6) + 132 - 0 a multiple of 26?
True
Let j(l) = -2*l**2 + 10*l - 10. Let t be j(3). Suppose t*h - 64 = -h - 4*m, -4*m + 96 = 5*h. Is h even?
True
Is 8 a factor of (21/(-3))/((-1)/3)?
False
Let m(p) = -3*p**2 - 6*p - 5. Let y be m(6). Is 9 a factor of y/(-7) - (-40)/(-140)?
False
Let o(x) = -x**2 - 26*x + 50. Is o(-10) a multiple of 24?
False
Let l(q) be the second derivative of q**5/20 + 2*q**4/3 - 7*q**3/6 - 5*q**2/2 - 8*q. Let v be l(-8). Is (34/v)/((-1)/(-3)) even?
True
Suppose 0 = 2*o - 2*r - 16 + 44, -5*r = -4*o - 58. Let y = o - -11. Does 4 divide (y - -7) + (-9)/(-3)?
False
Does 8 divide 8/84 + (-2 - 87598/(-147))?
False
Suppose -270 = 3*y + 3*y. Let s = 6 - y. Is s a multiple of 4?
False
Let c be 9*10 + (1 + 1 - 5). Suppose -c = -3*m + 147. Does 26 divide m?
True
Let u = -88 + 96. Let f = u + 58. Does 6 divide f?
True
Suppose -4*h = 2*t - 10, h + 3*t - 21 + 6 = 0. Is 23 a factor of (-8)/(-28) - (h + 1466/(-14))?
False
Suppose 30*x = 25*x + 230. Let c be -2 + 0 - (1 - 10). Suppose c = w - x. Is 14 a factor of w?
False
Let o be -8 + -2 - (-2 - (1 + 0)). Let a(g) = -g**3 - 4*g**2 + 13*g + 13. Is a(o) a multiple of 16?
False
Is 40 a factor of 1/(6 + (-26026)/4338)?
False
Suppose -11*t + 10422 = -2217. Is t a multiple of 10?
False
Let a = 11 + -9. Let o(l) = 0*l**2 - 1 + 3*l + 0*l**2 + 0 - 2*l**2 + l**3. Does 2 divide o(a)?
False
Let a = -939 - -1445. Is 16 a factor of a?
False
Let h be (3 - 1)*2*51/12. Suppose -3*p = -4*d + 87, -3*d + h = p - 45. Is d a multiple of 7?
True
Suppose q + 5*s - 1 = 0, 3*q - s - 23 = 4*s. Is 208/q - (-2)/6 a multiple of 5?
True
Let s(w) be the first derivative of 3*w**3/2 - 17*w**2/2 + w - 6. Let k(n) be the first derivative of s(n). Is k(5) a multiple of 9?
False
Let x(t) = -6*t + 8. Let a be x(-6). Is a + 0 + (4 - 5)*1 a multiple of 9?
False
Suppose -31*h - 266 = -38*h. Is h a multiple of 2?
True
Suppose -3*j + 2*j = -g + 5, 3*j + 5*g + 39 = 0. Let m = 30 - j. Is 17 a factor of m?
False
Suppose 57*o - 8424 = 18*o. Does 12 divide o?
True
Let a = -8 + 15. Let v = -4 + a. Suppose 0 = -2*y - 3*k + 159, -4*k + 161 = 2*y - v*k. Is y a multiple of 35?
False
Suppose -14*o = 195 - 2379. Is 6 a factor of o?
True
Let i be -15 - (9/3 + -6). Let x(w) = -w + 20. Is 8 a factor of x(i)?
True
Suppose 2*r + 6*d - 9*d = 900, -2275 = -5*r - 5*d. Is 20 a factor of r?
False
Let p(z) = z - 10. Let x be p(12). Let w be 7 - x*1/2. Suppose w*d - 35 = d. Is d a multiple of 2?
False
Let j(o) = 2*o - 7. Let m(r) = 2*r**2 - 4*r + 5. Let t be m(2). Let h be j(t). Suppose h*n + 2*n - 150 = 0. Is n a multiple of 10?
True
Let d(p) = p**2 - p. Let j(n) = -3*n**2 - 3. Let l(i) = 6*d(i) + j(i). Let t be l(-4). Let f = t + -22. Is f a multiple of 6?
False
Let l = 185 - 168. Is l a multiple of 7?
False
Suppose -2*f = -f - 21. Let o = f + -19. Is -4 - (o + 10)*-1 a multiple of 2?
True
Suppose 0 = -3*z + 1858 - 358. Is 12 a factor of z?
False
Let c be -1*0*(-1)/3. Let x(w) = w**2 - 4*w - 10. Let m(t) = -t**2 + 5*t + 9. Let a(j) = -2*m(j) - 3*x(j). Is 9 a factor of a(c)?
False
Let r = 389 + -109. Is r a multiple of 8?
True
Let o(g) = -34*g - 141. Is 19 a factor of o(-36)?
True
Let g(q) = 2*q**3 - 19*q**2 + 92*q - 47. Is g(10) a multiple of 37?
False
Let y(x) = 43*x + 323. Is 13 a factor of y(20)?
True
Does 53 divide ((-3113)/(-66) + (