*3 - 3*z**2 + 8*z + 18. Is q(-2) a multiple of 12?
False
Let a = -3802 - -6466. Is a a multiple of 11?
False
Suppose -19 = 3*b - 2*j, -5*j = 3*b - 4 + 9. Let c be (-23)/b + (-4)/(-10). Suppose 5 = c*s - 5. Is s a multiple of 2?
True
Suppose 0 = -4*d + 4*s - 24, 3*s - 30 + 8 = 5*d. Let i = d - -38. Is 18 a factor of i?
True
Let i(c) = c**3 + 2*c**2 - 5*c - 6. Let s be i(-3). Suppose w - 465 = -5*v, -2*w + s*w + 366 = 4*v. Is 21 a factor of v?
False
Suppose -3*x - x + 283 = r, 3*r - 129 = -2*x. Let v = x + 48. Does 20 divide v?
True
Let r(s) = -5 + 10 - 151*s - 7 - 1. Is 35 a factor of r(-1)?
False
Suppose c + 2*n - 81 = 156, -n = -4*c + 948. Suppose 174 = -2*a - 2*h, 2*a - h + c = 60. Let b = -50 - a. Is 13 a factor of b?
False
Is (-2 - (-1050)/12)*28/6 a multiple of 52?
False
Let u = 219 + 261. Is 20 a factor of u?
True
Suppose 1002 = 5*j - o, -210 = 9*j - 10*j - 3*o. Is j a multiple of 23?
False
Let h(o) = -103*o - 3. Let u be h(0). Let l(s) = 2*s + 2*s + 3*s**2 - 7 - 10*s. Does 6 divide l(u)?
False
Let i = 398 + -272. Does 14 divide i?
True
Let x = 135 + 45. Does 32 divide x?
False
Let a(n) = -20*n**3 - 14*n**2 - 6*n - 12. Does 10 divide a(-6)?
True
Let r(z) = z**3 - 4*z**2 - z + 11. Let l be r(4). Is 11 a factor of -165*((-14)/(-12))/l*-2?
True
Let j = 400 + -247. Is 8 a factor of j?
False
Let j = -83 + 61. Let s(p) = -p**3 - 22*p**2 - 3*p + 30. Does 9 divide s(j)?
False
Suppose -19 = -3*d - 25. Let u be ((-2)/(-4))/(d/8). Is (u/3)/(4/(-390)) a multiple of 12?
False
Let b(o) = 365*o + 5. Let y be b(1). Suppose 3*g - y = -2*g. Is g a multiple of 37?
True
Let f(c) be the first derivative of 3*c**2 - 11*c + 45. Suppose 0 = -2*y + 7 + 5. Is f(y) a multiple of 25?
True
Let w be 22/3*57/38. Let p(k) = -k**3 + 12*k**2 - 9*k + 2. Is 12 a factor of p(w)?
True
Suppose -3*h + 20 + 56 = -2*s, -5*s = -5. Let g = 86 - h. Is g a multiple of 10?
True
Is 12 a factor of -231*(0 - (-12)/(-7))?
True
Suppose 200 = -z - 4*z + m, -5*m = 0. Suppose -4*t - 332 - 12 = 4*j, 0 = 5*j - 2*t + 402. Let x = z - j. Is 14 a factor of x?
True
Let d be (10/6)/((-1)/(-3)). Let t(q) = q**2 + 26*q + 35. Let s be t(-25). Suppose s*b - 145 = d*b. Does 5 divide b?
False
Suppose -2*u - 3*q = 5, -6*q - 30 = -u - q. Suppose -21 = -r + 5*i, u*r + 2*i - 21 = 6*i. Let l = r - -43. Is 20 a factor of l?
False
Let t = -62 - -87. Let i = 25 - t. Suppose -3*j - 3 = n - 24, i = n + 4*j - 18. Does 22 divide n?
False
Let a(c) = -2*c - 16. Let k be a(-13). Let l = k - 0. Suppose 0 = -7*q + 157 - l. Is 6 a factor of q?
False
Is 11 a factor of (2/(-3))/((-46)/15387)?
False
Suppose 0 = 5*j + 2*w - 604, -5*j + 451 = 3*w - 155. Is j a multiple of 40?
True
Let s = -13 - -134. Does 12 divide s?
False
Let t(k) = k**2 - 13*k + 14. Suppose 0*d + 12 = d + p, 0 = 4*d + 5*p - 53. Let y = 21 - d. Does 6 divide t(y)?
False
Let w(i) = 7*i - 13. Let d be w(-6). Let h = d - -15. Let j = h - -90. Does 10 divide j?
True
Let l(z) = -12 - 31*z + 38*z + 29*z + 25*z. Is 19 a factor of l(3)?
True
Let u(r) = 11*r - 128. Does 25 divide u(17)?
False
Suppose -2*b = -6*b + 16. Suppose 5*j = 4*j + 4*u + 11, 0 = -b*j - 3*u + 6. Suppose 0 = -7*l + j*l + 88. Does 11 divide l?
True
Let v be 861*1 - (-2)/(-8)*4. Suppose 18*i + v = 23*i. Is 35 a factor of i?
False
Let a = 308 + -283. Is 25 a factor of a?
True
Suppose -322 = -5*c + 658. Suppose 8*s - c = s. Does 3 divide s?
False
Let h(d) = d**2 + 7*d + 6. Let q be h(-7). Let j be 1*-201*4/q. Let t = -58 - j. Is 19 a factor of t?
True
Let b(w) = w**3 + 11*w**2 + 6*w + 5. Suppose 28 + 12 = -4*c. Does 15 divide b(c)?
True
Let f = 817 - 542. Does 11 divide f?
True
Let t = -33 - -101. Suppose -i = 4*z + 14, -5*z + 39 + 54 = -3*i. Let b = t + i. Does 6 divide b?
True
Suppose 0 = -9*h + 5*h - 1032. Let j = -178 - h. Is j a multiple of 17?
False
Let i = -16 - -26. Suppose -4*u = -2*u - i. Suppose 5*k - 148 = 4*h, -3*k + 0*h + u*h = -81. Is k a multiple of 16?
True
Suppose 0 = -18*f + 12*f - 6. Is (f/(-2))/((-9)/(-1386)) a multiple of 11?
True
Does 4 divide 158 - (-10 - -6 - -6)?
True
Let c be 2 + 5*(-1 - -2). Let o be 0 + 4 - 4/(-12)*3. Let q = c + o. Does 6 divide q?
True
Let k be (-8 + -2 + 1)*-1. Suppose k*h - 4*h - 140 = 0. Does 9 divide h?
False
Let d be (-1)/((1 - (-3 - -2)) + -1). Is 11 a factor of 22 - (-5 - (d - 3))?
False
Let l(t) = 64*t**2 - 4*t. Is l(-3) a multiple of 8?
False
Let n be (-1)/5 + 171/(-45). Let i be (-10)/(-4)*(-8)/n. Suppose -122 = -3*f - i*r, -3*r - 74 = -2*f + r. Is f a multiple of 13?
True
Let d(x) = -101*x**2 - 3*x. Let s(q) = -51*q**2 - q. Let z(t) = 2*d(t) - 5*s(t). Is z(-1) a multiple of 9?
True
Let j = 36 - 34. Suppose 4 = -u + 4*n, -3*u + n = -j*u + 1. Is -5*(u/3 + -1) a multiple of 3?
False
Suppose -2 + 3 = -m, 0 = n - 4*m - 11. Is 285/n - (-14)/49 a multiple of 7?
False
Let x(n) = n**3 + 8*n**2 + 6*n - 1. Let v be x(-7). Suppose 2*g - 83 = -z, -2*g - v = 3*z - 95. Is g even?
True
Let j = 617 + 35. Is j a multiple of 56?
False
Let d(h) = -2*h**2 + 111*h + 11 + 5*h**2 - 105*h. Is d(-5) a multiple of 5?
False
Let a be -28*(-2)/(-20)*-50. Suppose a = 12*t - 100. Is 3 a factor of t?
False
Let l = 188 - 107. Let z = -21 + l. Does 12 divide z?
True
Let c = -95 - -67. Let z = -170 + 152. Let g = z - c. Is g a multiple of 10?
True
Suppose -7*u + 40 + 443 = 0. Does 23 divide u?
True
Suppose -3*y + 1 = 4. Let j(c) = -11*c**3 - 1. Let u be j(y). Does 23 divide 6/15 - (-526)/u?
False
Let m be (-4 - (-4)/1) + 2. Let z(s) = -4 + m + s + 7*s. Is 9 a factor of z(7)?
True
Let q(h) = h**2 - 4*h + 104. Is 63 a factor of q(-20)?
False
Let h(f) = f**3 - 5*f**2 + f - 8. Let g be h(4). Is (-10)/g*2*172 a multiple of 47?
False
Let f = 474 - 276. Is 3 a factor of f?
True
Let v = -20 + 229. Let z = v + -141. Does 34 divide z?
True
Let v be (-1)/3 - (-1626)/18. Suppose -155 = -2*d - 5*x, -3*d + 2*x + v = -190. Does 15 divide d?
True
Let g be 2/(-4)*2 - -137. Suppose 5*v = -g + 446. Let a = v - 35. Is a a multiple of 9?
True
Let g = -33 - -2. Suppose -3*m - 75 + 222 = 0. Let x = m + g. Is x a multiple of 5?
False
Suppose -2*m = -3*h - m + 13, 0 = -3*h - 3*m + 21. Suppose h*u = -2*u + 336. Does 7 divide u?
False
Suppose 16*y - 25*y = -4986. Is 3 a factor of y?
False
Let p(c) = c**2 + 9*c + 8. Let a be p(-7). Does 8 divide (1 + -2)/(a/84)?
False
Suppose 4*c - 15 - 113 = 4*q, 0 = 3*q + 9. Let s(n) = 57*n - c*n - 11 - 33*n. Is 6 a factor of s(-4)?
False
Let q(o) be the first derivative of o**3/3 + o**2/2 + 28*o + 36. Does 11 divide q(12)?
False
Let q be (-1 - 1) + 155 + -3. Suppose -q = 8*g - 13*g. Is g a multiple of 6?
True
Suppose -14 = -4*x + 2*y + 2, 0 = -2*x + 3*y + 16. Suppose -2*a = -x*n - a + 41, 3*a = 9. Is n a multiple of 11?
True
Is 15 a factor of ((-83)/(-2))/(-6 - (-104)/16)?
False
Let x(q) = 74*q**2 + q - 3. Let y be x(-3). Suppose 3*l = 6*l - y. Does 18 divide l?
False
Suppose -182 = -2*r + 4*x, 4*x = -r + 43 + 24. Suppose -t = -r - 58. Does 21 divide t?
False
Let j(d) = 4*d - 3. Let v be j(3). Suppose -5*s = -2*s - v. Suppose -g - g + f = -15, s*g - 5*f - 33 = 0. Is g a multiple of 4?
False
Suppose -z = 2*p - 907, -4*p + 2717 = 3*z - 2*p. Suppose 3*b + 365 = z. Is 18 a factor of b?
True
Let c(h) = 60*h - 203. Is 24 a factor of c(21)?
False
Suppose o + 73 - 7 = 5*n, 3*n + 3*o = 54. Let u = n - 11. Suppose 23 = u*l - 4. Is l even?
False
Suppose -7*r - 8 = -2*r - 2*j, j - 4 = -5*r. Let k be r - (-7)/((-7)/(-4)). Suppose s - 12 = n, n = -k*s - n + 36. Is s even?
True
Suppose 0 = 55*l - 52*l - 9. Suppose l*d = 66 + 87. Is 6 a factor of d?
False
Suppose -7*j + 6*j = g - 333, 0 = -5*g - 2*j + 1674. Is g a multiple of 7?
True
Let w be 2 - 7/(21/6). Suppose w = 4*g + g + 85. Let q = g - -24. Is 4 a factor of q?
False
Suppose 0*z = -i + 3*z - 5, -3*i = 2*z - 18. Suppose 16 = x + 3*w, -i*x + 2*x + 3*w = -23. Does 2 divide x?
False
Let o be 531/6 - (-2)/4. Suppose 0 = 6*l - 151 - o. Is 10 a factor of l?
True
Let u(a) = a**3 + 2*a**2 + a + 4. Let x be u(-3). Let b(l) = l**2 + 8*l + 16. Is b(x) a multiple of 4?
True
Let w(g) = -g**2 - 5*g**2 + 1 + 20*g**2 + 10*g**2. Let q be w(1). Let o = q - 16. Does 3 divide o?
True
Let s be 413 + 65/52 + (-2)/8. Let x = -194 + s. Does 11 divide x?
True
Let a be 128 + 1 + -4 + 3. Suppose -2*v + a = -4*m + 2*v, -2*m - 64 = -4*v. Is (m/(-12))/(