= -12. Is 11 a factor of x?
False
Suppose 488 - 168 = 8*i. Does 10 divide i?
True
Let w = 4 + 11. Suppose w*j = 3*j + 732. Is 15 a factor of j?
False
Let v(f) = 3*f + 2. Let c be v(0). Is (-5 + c)*1*-2 a multiple of 6?
True
Let b be -276 + 0 + 0 + 4. Let s = -12 + 5. Is b/(-7) - 1/s a multiple of 13?
True
Suppose -4*g + 900 = 4*v, 4*g - 9*v - 860 = -5*v. Is 10 a factor of g?
True
Does 49 divide (-24)/(-8) - -1020 - (0 + -6)?
True
Let c(l) = 2*l**2 - 109*l + 55. Let x be c(52). Let m be 2/(-9)*-12*-42. Let a = m - x. Is 31 a factor of a?
True
Suppose -5813 + 1163 = -31*b. Is b a multiple of 4?
False
Suppose 13*g + 3 - 3 = 0. Suppose -13*w + 55 = -11*w + q, 3*w - q - 90 = g. Is 3 a factor of w?
False
Let c(a) be the first derivative of a**3/3 + 2*a**2 - 1. Let f be c(-3). Is 26 a factor of f*(-4)/(-12)*-67?
False
Let u be 4/(-10) - (-9207)/55. Suppose 0 = -3*q + 400 + 347. Let c = q - u. Does 13 divide c?
False
Let h(p) = 5*p**3 + 10*p**2 + 2*p + 4. Let x(w) = 9*w**3 + 20*w**2 + 3*w + 8. Let i(v) = -7*h(v) + 4*x(v). Does 11 divide i(-10)?
False
Let g(l) = -2*l + 6. Let v be (2/(-6))/(10/(-90)). Let n be g(v). Suppose n = -8*z + 6*z + 14. Is z a multiple of 2?
False
Let l(h) = -4*h + 9. Let c(j) = -2*j + 4. Let a(f) = 13*c(f) - 6*l(f). Let q be a(-5). Is (111/12)/(2/q) a multiple of 19?
False
Suppose g - 173 = -4*k, -2*g - 819 = -7*g + 3*k. Suppose -5*c + g - 30 = 0. Does 27 divide c?
True
Is 1091 - (-2 - (55/(-5) + 3)) a multiple of 37?
False
Let o be ((-12)/7)/(((-4)/7)/2). Let d(p) = 10*p**2 - 31*p - 6. Is d(o) a multiple of 24?
True
Let y = -3 + 6. Suppose o - 320 = -y*o. Let v = o - 56. Is v a multiple of 6?
True
Is 6470/15*1*(-2 - -5) a multiple of 75?
False
Let j = 1 - 9. Is 15 a factor of j/(-3 - 41/(-14))?
False
Suppose 2954 = 5*t + 2*s, 2*t - 2*s - 34 - 1156 = 0. Is 11 a factor of t?
False
Suppose -11*g - 10*g + 1134 = 0. Let a = 5 + -2. Suppose -3*d + g = a*d. Does 3 divide d?
True
Suppose -1779 = -3*i - 549. Is 41 a factor of i?
True
Suppose 0*l + l = 62. Does 2 divide l?
True
Let l(k) = k**3 - 7*k**2 - 9*k + 11. Let t be l(8). Suppose 0 = -t*m - 2*m + 15. Suppose 3*d = -3*c - d + 167, -4*c - m*d + 225 = 0. Is c a multiple of 16?
False
Suppose -3*r = 0, 5*c - 33*r = -36*r + 5440. Does 34 divide c?
True
Let z(g) = -g**2 - 18*g + 39. Is z(-17) a multiple of 4?
True
Suppose 0 = -5*b + 25 + 15. Let k = -57 + b. Let w = 69 + k. Is w a multiple of 10?
True
Suppose x + 5*y - 131 = 0, -168 = 5*x - 2*y - 958. Suppose 3*h = 7*h - x. Suppose 2 = -2*j, 441 = 5*t + 3*j + h. Does 27 divide t?
True
Let i = 233 - 271. Suppose -334 = -4*q - 3*s, -2 + 10 = 4*s. Let c = q + i. Is 11 a factor of c?
True
Let r(g) = 3 - g**2 - g - 2 + 0*g - 3*g. Let a be r(-3). Suppose -3*b - 12 = -a*b. Is b a multiple of 12?
True
Suppose 42 = 5*m + 12. Suppose 176 = 2*r + m*r. Does 11 divide r?
True
Let b(f) = f**2 + 4*f - 27. Let v(z) = 2*z**2 + z - 5. Let r be v(0). Let h(n) = n**2 + 3*n - 26. Let s(a) = r*h(a) + 4*b(a). Is 19 a factor of s(0)?
False
Suppose -2*j - 4 + 0 = 0, 141 = d + 2*j. Suppose -5*m + d = -115. Suppose 6*h - 2*h - m = 0. Is h a multiple of 13?
True
Does 33 divide 3/(-5) - (-4543)/5?
False
Let n(p) = -p**2 - 4*p - 5. Let b be n(-4). Let d be ((-10)/(-3))/(b/(-15)). Does 14 divide 26/5*(d + 0)?
False
Let s = -6 + -5. Let p(l) = l + 16. Let i be p(8). Let y = i + s. Does 4 divide y?
False
Let c be (1 - (-9)/(-6))*-8. Suppose -5*p - 3*u + 205 = 0, c*p - u - u = 142. Is p a multiple of 4?
False
Let j be 12/(-1 + (-8)/(-6)). Suppose 0 = 4*x - 0 + j. Let m = x - -38. Is 7 a factor of m?
False
Suppose 33*y - 3338 = 193. Is y a multiple of 24?
False
Let k(l) = -l**2 + 1. Let o(w) = -3*w**2 - 22*w - 24. Let f(z) = 4*k(z) - o(z). Is f(19) a multiple of 5?
True
Let l(a) = 2*a**3 - 5*a**2 + 5*a - 6. Let d(z) = -4*z**3 + 11*z**2 - 10*z + 12. Let g(o) = 3*d(o) + 5*l(o). Let x be g(7). Is 18 a factor of x/(-6) - 3/(-18)?
True
Let p(z) = 3*z**3 + 8*z**2 + 5*z - 96. Does 36 divide p(9)?
False
Suppose -593 + 116 = -4*o + 5*z, -5*o - 3*z = -587. Suppose -3*j = 2*f - o, 4*j - 62 = -f + j. Is f a multiple of 14?
True
Suppose 3*o + 370 = 8*o. Is o a multiple of 5?
False
Let q = -85 - -85. Let g = 9 + 4. Suppose -4*p + q*a + 3*a = -147, -p + g = 4*a. Is p a multiple of 24?
False
Does 3 divide 177 + 11 - (6 + -1)?
True
Let r(k) = k**3 - k**2 + 11*k - 11. Let j(s) = -s**3 + 3*s**2 - 13*s + 12. Let b(i) = -4*j(i) - 5*r(i). Suppose -7 = -5*a - 42. Does 8 divide b(a)?
False
Suppose 5*h - 25 - 87 = -3*k, -5*h + 2*k = -92. Suppose -2*x = 2*x - h. Suppose x*u + 2*m = 4*m + 56, 4 = 2*m. Is 6 a factor of u?
True
Suppose -3*j = -8*j. Suppose 0*u + 3*u + 5*a + 39 = j, 4*u + 52 = 3*a. Let i(d) = -d**3 - 14*d**2 - 16*d - 9. Does 10 divide i(u)?
True
Let y(w) = -w**2 - 10*w - 16. Let k be y(-7). Suppose k*g + 2*x - 295 = -3*x, 4*g - 212 = 4*x. Is g a multiple of 14?
True
Let p = -1452 + 2460. Is p a multiple of 7?
True
Let q(k) = -2*k**3 - 3*k**2 + 9*k + 18. Suppose -10 = 4*i - 3*l + 3, -l + 7 = -2*i. Is q(i) a multiple of 13?
False
Let m(x) = 41*x**2 - 2*x - 1. Let u = -6 + 5. Let o = u - 0. Does 21 divide m(o)?
True
Suppose -4 = -3*c + 11. Suppose -c*k = -3*k - 266. Suppose -3*h - 227 = -5*l, 3*l - 5*h = -0*h + k. Does 23 divide l?
True
Let h be (-14 + 11)*304/6. Let f = h + 240. Is f a multiple of 8?
True
Let v be (4/3)/(1/3). Suppose -2*o + 6*a - v*a = -22, 3*a = -4*o + 72. Does 11 divide o?
False
Let b be (300/(-9))/2*(-15)/10. Suppose l - b = -p + 52, -3*p + 231 = 5*l. Does 13 divide p?
False
Let y = 8 + 5. Let l = y - 5. Let h(j) = 6*j + 2. Is h(l) a multiple of 25?
True
Let u(k) = -7*k - 52. Let x be u(-8). Suppose x*m - 9*m + 735 = 0. Does 28 divide m?
False
Let s(n) = n**3 - 10*n**2 + 4*n + 2. Let c be s(10). Is 46 a factor of (46/2)/(21/c)?
True
Suppose 31 = 4*r + s, 3*r + 2*r - 20 = 5*s. Suppose q - 21 = -2*c - r, -c + 3*q = 7. Is c a multiple of 3?
False
Let z(x) = 7*x - 6*x + 27 - 3*x. Does 39 divide z(-6)?
True
Let i be 95/20 + -4 + (-714)/(-8). Suppose -b = -2*b + i. Does 19 divide b?
False
Let g(u) = -13 - 2*u + 25 - 4*u + 15*u**2 + u. Is g(3) a multiple of 33?
True
Suppose 4064 = 4*q + 4*m, 2*m = 6*q - 3*q - 3058. Is q a multiple of 102?
False
Suppose -5*n = -469 - 651. Suppose n = v - o, 4*v + o - 893 = 4*o. Does 25 divide v?
False
Let s(v) = v**3 - 6*v**2 + v + 30. Does 19 divide s(11)?
True
Let m(n) = 23*n**3 + 6*n**2 - 7*n + 9. Is 19 a factor of m(3)?
False
Let t be (-1)/(-2)*-5*(1 + -3). Suppose -t*r + 965 = 190. Is r a multiple of 31?
True
Let b = 7407 + -4292. Is 35 a factor of b?
True
Suppose 148 = 2*r + 2*b, 4*r + 11*b = 9*b + 298. Is r a multiple of 5?
True
Suppose 31 = r + 3. Suppose 56 = 3*o - r. Is 14 a factor of o?
True
Let r = 1764 - 1427. Does 19 divide r?
False
Suppose v + 3*s = 16, -2*v + 4 = s - 3. Suppose 3*t = 46 - v. Is 5 a factor of t?
True
Suppose 3*l - w - 173 = -6*w, -2*l + 3*w = -147. Is l a multiple of 6?
True
Suppose t = -3*p + 341, 2*p - 1623 - 56 = -5*t. Let x = 700 - t. Is x a multiple of 43?
False
Is 62 a factor of (-8)/20 + (-1134)/(-10)?
False
Suppose 24*o = 34*o - 800. Let j be 3/(-6) - (-5)/2. Suppose -j*c - 2*c + o = 0. Is c a multiple of 11?
False
Is 2 a factor of (-31)/((-6)/30*1)?
False
Suppose q + 198 + 49 = o, 0 = -3*o - 5*q + 725. Is 7 a factor of o?
True
Let d(p) = p**3 - 8*p**2 + 10*p - 16. Let y be d(7). Suppose y*o - 584 = 3*r, 0 = -2*o + 3*r + 9 + 230. Is o a multiple of 18?
False
Let s = 7776 + -2076. Does 25 divide s?
True
Let k(g) = 17*g - 6. Let o be k(4). Suppose 4*a = -194 + o. Let c = -10 - a. Is c a multiple of 3?
False
Let i(t) = t**3 - 11*t**2 - 2*t + 24. Let j be i(11). Suppose -j*q + 0*q = -366. Is q a multiple of 12?
False
Let v(b) = -57*b + 2. Let k be v(-2). Let d = 278 - k. Is d a multiple of 32?
False
Suppose 0*g = 5*f + 2*g - 133, 3*f + 5*g - 95 = 0. Let p = 37 - f. Suppose -4*c = -8*c + p. Is c a multiple of 2?
False
Let m = -1348 - -2444. Is 49 a factor of m?
False
Let r(l) = -l**3 + 3*l**2 + l. Let s be r(3). Let a = 22 + -4. Suppose -s*w + w = -a. Does 4 divide w?
False
Let b(h) = 2*h**2 + 4*h + 26. Is b(-7) a multiple of 6?
True
Let f(v) = -2*v + 21. Is 5 a factor of f(8)?
True
Let k(b) = b**2 + 3*b + 3. Let x = 0 + -5. Let t be k(x). Let d = t + 2. Is d a multiple of 15?
True
Let u(z) = z**2 -