de j?
True
Let q(f) = -12*f - 12. Is 12 a factor of q(-5)?
True
Let j(b) = 2*b - 3. Let x be j(3). Suppose -x*z + 29 = -22. Does 9 divide z?
False
Suppose -2*r = 5*g - 3*g + 10, -3*r = -g - 5. Let a = 14 + g. Let h = a + 2. Does 11 divide h?
True
Does 14 divide ((-12)/7)/((-16)/392)?
True
Suppose 12 = 3*g - 3*p - 0*p, 5*p - 15 = 0. Is 7 a factor of g?
True
Suppose -4*a = 2*y - 526, -529 = -a - 3*a + y. Does 12 divide a?
True
Let l = 192 + -78. Suppose 4*n - 142 = -5*r, 4*r + 4*n - l = n. Is r a multiple of 11?
False
Suppose 0 = 2*q + 32 - 50. Is 2 a factor of q?
False
Suppose -2*n = 2*n - 20. Suppose 2*t = 5*a - 13 + 52, -n*t = 5*a - 150. Does 19 divide t?
False
Let k(p) = -1 - 5*p + 3 + 0 + 1. Let i be k(3). Does 4 divide (-30)/(-8) + (-3)/i?
True
Let f = 68 + 10. Let i = f - 118. Let u = -29 - i. Is u a multiple of 11?
True
Let z(w) = -2*w**3 - 4*w**2 - 4. Let p(s) = s**2 - 2*s. Let q be p(2). Let d = -3 + q. Is 6 a factor of z(d)?
False
Let n be 4/(-14) + (-10)/14. Let m(i) = -13*i**3 + 2*i + 1. Is 4 a factor of m(n)?
True
Let j(i) = 21*i + 4. Is j(2) a multiple of 4?
False
Let r be 0/((0 - 1) + -1). Suppose r = 5*z + 2*j + 3*j - 235, 3*z - 3*j = 111. Is z a multiple of 21?
True
Let t(h) = -h**3 + h**2 - h + 4. Let i be t(0). Suppose -5*z - 68 = -2*r, 0*z - i*z = 3*r - 56. Does 12 divide r?
True
Is 14 a factor of (-6 - -11)*(968/20 - -2)?
True
Let o = -11 + -33. Let t(u) = 3*u**3 - u**2 - 4*u - 3. Let x be t(-3). Let z = o - x. Is z a multiple of 14?
False
Let q = -23 - -35. Is 8 a factor of q?
False
Is 9 a factor of (-14)/(((-2)/(-4))/(-1))?
False
Suppose 5*c - 4 = 6. Suppose 0 = c*d - 26 + 2. Is d a multiple of 10?
False
Let o be 57*(-2)/(2*-3). Does 15 divide o - 1*(3 + 1)?
True
Suppose 0 = -0*t - 2*t + 144. Is t a multiple of 15?
False
Let k(a) = 2*a**3 + 5*a - 5. Is k(2) a multiple of 3?
True
Suppose -46 = -3*f - 4. Let n = -20 + f. Let k = n - -20. Does 14 divide k?
True
Let o(g) = -g**2 + 5*g + 2. Let t be o(5). Suppose -s - s + 5*w = -16, -t = s - 5*w. Is s a multiple of 9?
True
Suppose 11 = c - 0. Does 5 divide c?
False
Does 17 divide 66 + -2*12/8?
False
Let s be (-14)/4 - 2/4. Suppose -3*y - 2*r + 92 = 0, -5 = 4*r + 3. Let n = s + y. Is 14 a factor of n?
True
Let x(c) = -3*c + 2. Let f be x(5). Let q be (0 - -11)/(1/4). Let i = q + f. Does 9 divide i?
False
Let s = 8 - 7. Is (1 + 0)/(s/8) a multiple of 4?
True
Let i(v) = -3*v - 1. Let r be i(-11). Suppose 3*n - r - 58 = 0. Is 21 a factor of n?
False
Suppose 2*j + 0 = 3*n - 1, 0 = 4*n + j - 16. Is 14/(-21)*-23*n a multiple of 23?
True
Suppose -3*u + 2 = -4*u, 3*r + 5*u = 86. Is 3 a factor of r?
False
Let l = 9 + -5. Suppose s = -l*s. Suppose -5*u + c + 135 = s, 3*u = -3*c - 27 + 90. Does 13 divide u?
True
Let k(p) = p**2 - 4*p - 5. Let a be k(5). Suppose i + 3*n + 8 = 0, -2*i + a*n = -5*n - 39. Is i even?
False
Suppose -3*p - 30 = -x, 2*x + 3*p - 60 = p. Is x a multiple of 5?
True
Let j(g) = -g**2 - 2*g + 5. Let o be j(-4). Let u(f) = -f**2 - f - 2. Let m be u(o). Let a = 12 - m. Does 7 divide a?
False
Let g = 2 + 1. Suppose g*l + 242 = 5*l. Suppose -4*n + l = 29. Is n a multiple of 8?
False
Suppose -j - 2*j - 12 = 0, -3*t + 5 = 4*j. Let u(q) = q**3 - 6*q**2 - 5*q - 9. Does 5 divide u(t)?
True
Let u(f) = 5*f - 12. Suppose 4*s + 40 = 4*d, 3*d + s - 55 = -s. Is u(d) a multiple of 24?
False
Suppose 0 = 5*l, l = -s - 0*l + 38. Is s a multiple of 8?
False
Suppose 0 = -4*i + 5*b + 517, 5*b - 252 = -2*i + b. Is 22 a factor of i?
False
Let i be 1/((2 - 1)/3). Suppose 0 = -i*z + 4*d + 118, -z + 3*d = -5*z + 199. Is z a multiple of 26?
False
Suppose 3*g + 24 = -3*m - 2*g, 5*m - 3*g + 40 = 0. Is m/(-12) - 88/(-3) a multiple of 8?
False
Let n(o) = -o + 12. Let w be n(7). Suppose -2*z + 3*k + 105 = -0*z, -k = w*z - 254. Is 17 a factor of z?
True
Suppose -2*p + 15 = -17. Suppose 3*l + p = l. Let d(n) = n**3 + 8*n**2 - 3*n - 6. Is 18 a factor of d(l)?
True
Let l(i) = -i**3 - 9*i**2 - 9*i - 5. Is 2 a factor of l(-8)?
False
Let w = -3 - -7. Suppose 7*t = 2*t. Suppose i - w = t, 0 = -3*h + 5*h + i - 22. Is h a multiple of 9?
True
Does 10 divide ((-105)/(-20))/(9/48)?
False
Suppose 34 = y + 3*q, -q + 48 = 3*y - 86. Let p = -6 + y. Is p a multiple of 14?
False
Let b = -50 + 71. Is 21 a factor of b?
True
Let b(z) be the first derivative of z**4/4 + z**3/3 + z**2 + z + 5. Is 24 a factor of b(4)?
False
Let z(n) = 7*n**2 - 6*n + 1. Is z(4) a multiple of 13?
False
Suppose 0*n + 2*n + 2 = 0. Let l(c) be the second derivative of 11*c**4/12 + 4*c. Does 11 divide l(n)?
True
Let i(m) = m**3 + 13*m**2 + 13*m + 21. Is i(-12) even?
False
Suppose 0*n + 3*n + m = 273, -4*n - 4*m + 372 = 0. Does 10 divide n?
True
Suppose -2*q - 5 + 1 = 0. Is ((-188)/8)/(q/4) a multiple of 19?
False
Suppose 2*g = -q + 9 + 8, -3*q + 72 = -g. Is q a multiple of 12?
False
Suppose 6*v + 242 + 46 = 0. Let o be 20/6*(-36)/10. Let s = o - v. Does 18 divide s?
True
Suppose -13*l + 2450 - 214 = 0. Does 11 divide l?
False
Let h(y) = 36*y**2 + y - 1. Let m be h(1). Is 12 a factor of -1 - m/(2/(-2))?
False
Let g(i) = -i**2 - 6*i - 3. Let z be g(-4). Let y = z - 1. Suppose 5*m - 111 = 4*d, d - y*d - 107 = -5*m. Is 5 a factor of m?
False
Let f(r) = -r**3 + 6*r**2 + 5*r + 8. Let t be f(7). Is 10 a factor of 4/t*(-360)/16?
False
Let n = 54 + -314. Is 6 a factor of n/(-12) + (-2)/(-6)?
False
Let x be 86/(-11) - (-2)/(-11). Is 7 a factor of (-2)/x + 108/16?
True
Let m(j) = j**2 + 26. Suppose 0 = 4*b + p - 4*p, -4*p = 2*b. Is m(b) a multiple of 9?
False
Does 3 divide (-1)/(220/750 + (-2)/6)?
False
Let r(t) = -3 + 7 + 7*t**2 - 5. Does 6 divide r(1)?
True
Let j = 319 - 100. Does 31 divide j?
False
Let w be (-423)/27 - (-1)/(-3). Is 1 - (-3 + 0 + w) a multiple of 12?
False
Suppose 8*j = p + 5*j + 10, 5*p = -3*j + 40. Suppose -p*s = -3*v + 20, 3*v - 26 = -0*s + 2*s. Is v a multiple of 5?
True
Suppose 0 = -4*x - 2*b + 20, x = 4*b - 0 + 5. Suppose -5*i + x*l + 85 = 0, 0*i + 4*i = l + 62. Is 4 a factor of i?
False
Suppose -4 = t - 5*t, -t - 73 = -2*q. Let y = q - 19. Is 9 a factor of y?
True
Suppose -319 = 4*o - z - 1263, -2*z = 4*o - 944. Suppose o = -i + 5*i. Let l = i - 31. Is l a multiple of 14?
True
Suppose 42 = k + 4. Is 19 a factor of k?
True
Let x(w) = -w**3 + 4*w**2 + 4. Let h be x(5). Suppose 5*o + 153 = -4*v, -4*v + 3*o = -o + 144. Let t = h - v. Is t a multiple of 8?
True
Let f = 13 - 8. Suppose 2 - 17 = -f*t. Suppose t - 7 = -u. Does 4 divide u?
True
Suppose 11*r - 9*r = 150. Is r a multiple of 15?
True
Suppose -2*r + 100 = c, -4*r - 168 = -2*c - 0*c. Does 14 divide c?
False
Suppose 0 = -3*v - 570 - 93. Let x = 317 + v. Suppose 0*t + 4*t - x = 0. Does 8 divide t?
True
Suppose -4*p - 37 = -i, 88 = 2*i + p - 2*p. Suppose -n - 3*c + 3 = -0*n, -5*n = 5*c - i. Does 6 divide n?
True
Let a be (-2 - (-17)/3)*45. Suppose 4*i - a + 45 = 0. Is 13 a factor of i?
False
Let a = -99 - -669. Let o = -388 + a. Suppose -4*j + c = -4*c - o, -221 = -5*j + 3*c. Is 13 a factor of j?
False
Let z(k) = -k**3 - 7*k**2 - 3*k + 4. Is z(-7) a multiple of 21?
False
Let c = -73 + 137. Is c a multiple of 32?
True
Suppose -2 - 2 = -2*s. Suppose 3*g - 9 = -2*u + 72, -s*g = -4*u + 186. Is 21 a factor of u?
False
Suppose 5*t - 255 = 4*g - 95, 5*g + 4*t = -200. Let q = -15 - g. Suppose q = -h + 2*h. Is 8 a factor of h?
False
Suppose -y = -2*h - 10 - 19, 4*y + 28 = -h. Let f = 98 - 137. Let z = h - f. Does 8 divide z?
False
Suppose 14 = 5*i + 4. Let z be i + (-2 - (3 + -8)). Let q = z + 3. Is q a multiple of 4?
True
Let w(v) = -v + 1 + 3*v - 6. Suppose b + 4*b = 40. Does 5 divide w(b)?
False
Let w(y) = -y + 30. Let d = -10 - -14. Let j = d - 4. Is 8 a factor of w(j)?
False
Suppose -5*m - 88 = -9*m. Is 11 a factor of m?
True
Let q = -6 - -8. Let p(d) = -2*d**3 + 4*d**2 - 3*d. Let s be p(q). Does 11 divide (3 - -45)*(-4)/s?
False
Let j(s) = s**2 - 4*s + 4. Does 2 divide j(4)?
True
Suppose -4*o + 1 + 11 = 0, 0 = -u + 4*o - 13. Let x be u*(-6)/(-1)*1. Is 0 + (1 - x - 2) a multiple of 5?
True
Let f = 99 - 54. Is 2 a factor of f?
False
Let k(v) = v**3 + 10*v**2 + 7*v - 13. Let d be k(-9). Suppose -d*g + 23 = -2*h, g + 5 = -5*h - 12. Suppose g*j + 9 - 99 = 0. Does 15 divide j?
True
Suppose -5*k - 6 = -76. Suppose k = 3*o - 46. Does 10 divide o?
True
Does 11 divide ((16/(-6))/(-1))/(5/15