 a multiple of 4?
True
Suppose 97 - 31 = 6*r. Suppose -3*s + 1 + r = 0. Suppose p - 74 = -s*j, -148 = -0*p - 2*p + 2*j. Is p a multiple of 12?
False
Suppose -108*h + 103*h + 705 = 0. Does 10 divide h?
False
Let m be (2/(-5))/((-3)/195). Suppose 10*g - 8*g - m = 0. Is g a multiple of 3?
False
Let u(c) = -3 + 9*c - 2*c**2 + 6*c**3 - 14*c**3 + 7*c**3. Is 31 a factor of u(-6)?
False
Let d(t) = -5*t - 6*t - 4*t + 7*t - 9. Let o be d(-5). Suppose 2*p - 20 = 6*p, -3*p + o = g. Is 15 a factor of g?
False
Suppose -v + 0*v + f + 213 = 0, -v + 213 = -2*f. Suppose 317 = 5*k - v. Is k a multiple of 13?
False
Suppose -259*b = -261*b + 1328. Does 51 divide b?
False
Let y(s) = -s**2 - 8*s + 7. Let t be y(-8). Suppose 189 = t*g - 4*g. Is g a multiple of 18?
False
Suppose -10 = 5*w, 0 = -2*z - 3*z + 3*w + 691. Let m(f) = 4*f**2 - f - 16. Let c be m(5). Let s = z - c. Is 14 a factor of s?
False
Let p = -62 + 132. Is 6 a factor of p/(-20)*(-36)/7?
True
Let w(f) = -19*f + 78*f - 3 - 9. Is 11 a factor of w(3)?
True
Suppose -2*f = 6*f - 72. Is 6 a factor of (f/(-18))/(1/(-172))?
False
Let t be 0 + -1 + 20/5. Suppose -f + 2*c + 58 = 0, -f - t*c = 4*f - 251. Is 18 a factor of f?
False
Is 3 + -1 - (-199 + -3 - 3) a multiple of 5?
False
Let p be (-2 + 20/8)*(-10)/(-1). Suppose -65 = -p*d + 60. Is d a multiple of 25?
True
Suppose 0 = -4*w + 5*t + 22, -25 = -5*w + 3*t + 2*t. Suppose -2*u - 160 = -w*u. Let y = u + -103. Is y a multiple of 15?
False
Let j = -60 - 7. Let y = 138 + j. Does 18 divide y?
False
Let x be 6/(-27) - (-79)/(-9). Let g = x - -2. Let h(z) = 2*z**2 + 9*z + 5. Is h(g) a multiple of 20?
True
Let g = 13 + -5. Suppose -3*o + 3*b = -6, b + g = 2*o + o. Suppose o*i - 20 - 100 = 0. Is i a multiple of 20?
True
Suppose 0 = -8*r + 449 + 271. Suppose a + r = 6*a. Is a a multiple of 8?
False
Is (8/52 - (-356)/52) + 425 a multiple of 36?
True
Suppose -5*u + 1191 = 3*p, 0 = -3*u - 5*p + 67 + 638. Is 40 a factor of u?
True
Is 65 a factor of (-2387067)/(-3339) + (-4)/(-42)?
True
Let w(s) be the second derivative of -3*s - 7/2*s**2 + 0 - 1/20*s**5 - 5/3*s**3 - 1/3*s**4. Is w(-5) a multiple of 9?
False
Let z = 260 + -195. Does 13 divide z?
True
Let b = -35 - -48. Suppose 192 = -b*x + 17*x. Is 16 a factor of x?
True
Let t = -7 - -10. Let s be ((-8)/20)/(2/(-20)). Suppose -t*j + 5*z = -s, -3*j = -6*j + z + 20. Is 6 a factor of j?
False
Suppose -24 + 0 = -6*k. Suppose -180 = -k*a - m, 0*a + 2*a + 4*m = 104. Does 22 divide a?
True
Let b(s) be the first derivative of -s**3/3 + 7*s**2/2 + 6*s - 10. Is 9 a factor of b(6)?
False
Let d = -12 + 20. Let g(f) = -f**3 + 10*f**2 - 7*f - 9. Let r be g(d). Let s = r + -43. Is s a multiple of 8?
False
Let m(r) = r**3 - 18*r**2 + 29*r + 1. Does 28 divide m(18)?
False
Let r(x) = x**3 + 3*x**2 - 2*x + 3. Let h be r(2). Suppose 0 = s - 62 - h. Does 15 divide s?
False
Let s(m) = m**3 + 7*m**2 + m + 2. Does 34 divide s(6)?
True
Let k(o) = o**2 + o + 38. Suppose 9 = 4*l - l. Suppose 0 = -l*w + 4*w. Is 11 a factor of k(w)?
False
Let a(f) = -f**3 - 7*f**2 - 7*f - 4. Let w be a(-6). Suppose 7 = -q - 5*u, 2*u + 22 = w*q - 0*q. Let g(c) = c**3 - 6*c**2 - 10*c + 12. Is 16 a factor of g(q)?
False
Suppose -27 + 31 = -m, -2*g - m + 1140 = 0. Is 13 a factor of g?
True
Let i = -44 + 46. Suppose -7*j = -i*j - 160. Is 7 a factor of j?
False
Let v be (-57)/2*8/6. Let u = 157 - 239. Let c = v - u. Does 9 divide c?
False
Is (-5474)/(-6) + 4/24*-2 a multiple of 57?
True
Let f = -838 + 2168. Is 22 a factor of f?
False
Is 5316/(-36)*15/(-5) a multiple of 58?
False
Let k = 58 - 49. Suppose 413 - 17 = k*f. Does 11 divide f?
True
Let x(t) = -t**2 + 20*t + 9. Does 7 divide x(11)?
False
Suppose -12 = 4*r, -5*k = r - 4*r - 24. Suppose -76 = -2*q - 3*s + 37, k*s + 95 = 2*q. Is 13 a factor of q?
True
Let w = 3534 - -291. Is 24 a factor of w?
False
Suppose 5*x + 479 = -2*y, -6*y - 300 = 3*x - 9*y. Is 41 a factor of 1/(-2)*(-1 + x)?
False
Suppose 2*z + 264 = -2*l, -280 = 4*z + 3*l + 247. Let d = -75 - z. Does 28 divide d?
True
Is 13 a factor of (27/15)/((-3)/(-530))?
False
Let l(x) = 9*x**2 - 14*x - 41. Does 42 divide l(-3)?
False
Let b(f) = f**2 + 14*f + 18. Let x be b(-13). Suppose 2*g + 2*s + 0*s = 12, x*s = 4*g - 6. Suppose 0 = -i - 5*j - 5, 50 = 2*i + g*j - 6*j. Is i a multiple of 9?
False
Suppose 4*g + y - 110 = 0, -3*g - 2*g - y = -137. Does 3 divide g?
True
Suppose -20*j = -17*j - 6. Suppose -576 = -8*x + j*x. Does 8 divide x?
True
Is 16 a factor of 9/63 - (2 + 2014/(-14))?
False
Suppose 3*d + 77 = 4*m, -2*m + 7*m + 140 = -5*d. Let u = 24 - d. Is 17 a factor of u?
True
Let k be ((-2)/(-4) + -2)*160/(-24). Is 39 a factor of (k/(-45))/1 - (-1757)/9?
True
Let p = 121 + 272. Suppose 9*o - p = 6*o. Suppose 5*h = -5*d + 245, -5*d + 90 = -h - o. Is 13 a factor of d?
False
Let b be 7 - 4/(-12)*0. Let a(q) = q**3 - 9*q**2 + 11*q - 5. Let c be a(b). Let r = -8 - c. Is 9 a factor of r?
True
Suppose 2*a - h = a, -4*h = 5*a. Suppose 0 = 2*r - 2, 2*i - 5*r + 8*r - 9 = a. Suppose 25 - 5 = i*q - 2*d, 5*q - 35 = 3*d. Is q a multiple of 10?
True
Does 21 divide 791 + (6/(-9))/((-24)/(-108))?
False
Let u = 34 + -33. Let n be u - -3 - (1 - 1). Suppose n*x = 0, 3*x = p + 2*p - 60. Is 5 a factor of p?
True
Let u be -8 - (-3)/(3/(-1)). Is 2/(12/u - -2) a multiple of 3?
True
Let c(f) = 151*f**2 + 2*f. Let b be c(1). Let p = b + -48. Does 15 divide p?
True
Suppose 3*v - 15 = -5*h, h - 10 = 5*h - 2*v. Suppose z = 2 - h. Suppose 0 = -2*r - z*a + 55 + 39, -r + 3*a + 31 = 0. Does 21 divide r?
False
Let y be 3*(-4326)/(-36) + 2/(-4). Suppose l - 7*l + y = 0. Does 12 divide l?
True
Suppose -3*n - 244 = -5*b, 0*n - 94 = -2*b + 3*n. Suppose -3*p - 3*q - 46 = 2*p, 0 = 4*q - 12. Let a = b + p. Is a a multiple of 7?
False
Suppose -77*s + 78*s + 25 = 0. Let x(h) = -7*h**3 - 2*h**2 + h - 1. Let k be x(-2). Let a = k + s. Is a a multiple of 20?
True
Suppose 5*u + 3*z = 874, 4*u - 2*z = -125 + 833. Suppose -137 + 89 = -12*x. Is 22 a factor of (u/x)/(-2 - -3)?
True
Let t(f) = f + f**2 + 1 + 0*f**2 + f. Let k = -58 + 60. Does 3 divide t(k)?
True
Let j(u) = -u**3 + 16*u**2 - 20*u + 8. Is j(8) a multiple of 72?
True
Let g(s) = 3*s**2 - 2*s - 16. Let q be g(6). Suppose 6*m + 4*m = q. Is m a multiple of 4?
True
Let x(d) = d**3 - 15*d**2 - 16*d + 11. Let o be x(16). Let u = o - 8. Suppose 2*c + u*c = 80. Does 4 divide c?
True
Let t = -19 - -24. Let i(l) = 3 + 2*l - l + 4. Is i(t) a multiple of 5?
False
Let s(p) = 3*p**2 + 3*p + 2. Suppose 24 = -3*c - c. Let k be c*3/12*2. Does 20 divide s(k)?
True
Let u(k) = 15*k**2 + 13*k + 8. Is 13 a factor of u(3)?
True
Suppose w = -5*u + 284, 2*u + 2*u = 16. Suppose -3*l + w = -2*l. Is l a multiple of 44?
True
Let u(i) be the second derivative of -i**5/24 - i**4/6 + 4*i**3/3 + 4*i. Let g(z) be the second derivative of u(z). Is g(-8) a multiple of 16?
False
Let f(t) = -2*t**3 + 7*t**2 + 14*t + 8. Let m be f(5). Let p = 1 - -2. Suppose m*d - 81 = -3*q, -q + p*d + 39 = d. Is 31 a factor of q?
True
Let c(r) = 7*r. Let b be c(-2). Does 33 divide ((-1236)/(-10))/1 + b/(-35)?
False
Does 50 divide ((-8877)/4)/(-3) + 27/(-36)?
False
Let z(c) = c**2 + 5*c + 10. Let x be z(-3). Is 7 a factor of 0 + 1 - 2/(x/(-54))?
True
Is 12 a factor of (-4994)/(-4) + 0 - (-510)/340?
False
Suppose 4*d + 71 = j, -d + 4*d = -4*j - 77. Let u = 53 - d. Is u a multiple of 7?
False
Let z = -17 + 33. Suppose 13*i = z*i - 180. Does 30 divide i?
True
Let n(r) = 5*r**2 + 23*r + 25. Let b(x) = -2*x**2 - 12*x - 13. Let v(z) = 7*b(z) + 3*n(z). Suppose 125 = 5*c + 40. Does 4 divide v(c)?
False
Let v(c) = -2*c**2 - 8*c + 21. Let p be (3 + 3)/(12/8). Let l(j) = j**2 - j - 1. Let o(u) = p*l(u) + v(u). Is 17 a factor of o(8)?
False
Let q(w) = -14*w**2 - 8*w + 5. Let s(i) = 13*i**2 + 7*i - 3. Let d(n) = 3*q(n) + 4*s(n). Suppose -o + 6*o + 7 = -3*u, -4*o - 9 = -u. Is d(o) a multiple of 12?
False
Let t(c) = -7*c**2 + 5*c + 5. Let w be t(-1). Let s(n) = -4*n**3 + n - 1. Let x be s(1). Is (-111)/x + w/(-28) a multiple of 19?
False
Is ((-9891)/6)/(-21)*18 a multiple of 9?
True
Let n be (-3)/(-6) - (-9)/2. Suppose 0 = -n*f + 2 + 8. Suppose 0 = o - 3 + 7, 0 = -5*j - f*o + 112. Is j a multiple of 8?
True
Let a be (-2)/(4/(2 - 4)). Let l be (-3)/3 + a + 1. Is (-14 - -13)/(l/(-14)) a multiple of 13?
False
Suppose -16 - 2 = 