(-20)/(-8)*-370?
False
Let p(r) = 2 + 3*r**3 + 0*r**3 + 7*r**2 + 10 - 2*r**3 + 3*r. Let d be p(-8). Let a = -46 - d. Is 15 a factor of a?
True
Let b(c) = 3*c**2 + 3 - 4*c + 5 + 1 + 9*c**3 - 6. Is 24 a factor of b(2)?
False
Suppose 0*b - 4*b - 5*v - 181 = 0, -v - 161 = 4*b. Let z = b + 61. Is z a multiple of 21?
False
Let v = -37 - -23. Let b = v + 16. Suppose 69 - 21 = b*y. Is y a multiple of 12?
True
Let d(l) = -238*l + 2. Let o be d(-2). Let w = o - 313. Is 28 a factor of w?
False
Suppose -7*i + 4*i = -789. Let a = i + -145. Is 14 a factor of a?
False
Let t = -7 + -1. Let z(c) = -4*c - 10 + 18*c**3 + 8*c**2 - c**3 - 16*c**3. Does 17 divide z(t)?
False
Let x = 261 - 177. Suppose r = 3*r - x. Suppose z = -z + r. Is 21 a factor of z?
True
Let f = -4 - 10. Let o be ((-21)/f)/((-3)/(-6)). Suppose o*a + 5*k = 82, -3 = 3*k - 9. Does 6 divide a?
True
Is 19 a factor of (-16826)/(-26) - (77/(-91) - -1)?
False
Let c(i) = -i + 12. Let v be c(8). Suppose 2*l - 12 = -v*b, 5*l = -5*b - 1 + 11. Let o(x) = 7*x + 8. Is o(b) a multiple of 9?
True
Suppose 0 = -0*u - u - 3, 3*u + 54 = 5*x. Suppose -3*k + x = 0, 0 = -0*w - 2*w + 2*k - 52. Is 20 a factor of 40/(-15)*(-1 + w)?
False
Suppose 0 = 2*w + 5*o - 58, 32 - 123 = -5*w + o. Let t = w + -11. Is 3 a factor of t?
False
Let i(y) = -y**3 + 17*y**2 - 10. Let p(z) = -z**2 - 1. Let k(l) = -i(l) - 4*p(l). Is k(13) a multiple of 14?
True
Is 1815 + -7 - (-9 + 5) a multiple of 24?
False
Does 9 divide 1316 + (-7)/(-14)*(4 - 12)?
False
Let s = -21 + 49. Let q be 3 - s*1 - 0. Is 25 a factor of 3/((3/q)/(-3))?
True
Let s = -15 + 30. Let v = s + -1. Let l = v + -5. Is 9 a factor of l?
True
Let u = 648 - -52. Is 20 a factor of u?
True
Suppose -3*k + 0*z - z = 8, 4 = z. Does 11 divide (-783)/(-36) + (-1)/k?
True
Suppose 18 = -x + 4*p, -3*x + 3*p + 0*p - 36 = 0. Does 8 divide 162/5 + x/25?
True
Let v = 34 + -29. Suppose -255 = -4*b - v*t, -11 - 50 = -b - 4*t. Is 13 a factor of b?
True
Let x = 60 - -50. Suppose -2*q + 2*i = -x, -i + 5*i - 116 = -2*q. Is 8 a factor of q?
True
Suppose c - 1710 = 4*g, 3*g + 4*c = 5*g + 862. Let n(m) = 15*m**2 + 2*m + 1. Let r be n(-1). Is g/(-49) + 4/r a multiple of 6?
False
Let m(h) = 2*h**3 - 14*h**2 - 6. Suppose -3*w - 15 = 0, 0*v + 3*w + 36 = 3*v. Let t be m(v). Is 4 a factor of ((-18)/(-3))/((-9)/t)?
True
Let i = 13 - 11. Let u(p) = p**2 - 4*p + 3. Let b be u(5). Let q = b - i. Is q even?
True
Suppose 2*s - l - 52 = 3*l, 4*s + l - 149 = 0. Suppose 2*f - 4*i - s + 8 = 0, 0 = 4*i + 12. Suppose -f*x = -5*x - 195. Does 13 divide x?
True
Suppose 0 = g + 3 - 8. Suppose 4*k - 57 = 3*o, -3*o - g*k + 0*k - 30 = 0. Let c = 43 + o. Is 7 a factor of c?
True
Let z be (-14)/(-8) - (-4)/16. Suppose -5*f + 6 = z*a, -5*f = -2*a - 0 - 14. Does 7 divide (f/4)/((-3)/(-126))?
True
Suppose 0 = 6*u - 65 - 61. Is 21 a factor of u?
True
Suppose 0 = 4*m + m - 2*u - 4, -4*m - 5*u = -23. Suppose 178 = -4*j - m*o + 930, -j + 170 = 5*o. Is 18 a factor of j?
False
Suppose -4*v + 2*j = -262, v - j + 5*j - 88 = 0. Let m = v - 24. Is 44 a factor of m?
True
Let v(h) = 5*h**2 - 21*h - 23. Is 13 a factor of v(11)?
True
Let l be 74/(-26) - 2/13. Let n(w) = 4*w**2 + w + 4. Let i be n(l). Suppose 0 = 2*s - 35 - i. Does 12 divide s?
True
Let q(l) = l**3 + l**2 + l - 30. Let c be q(0). Suppose -190 - 72 = a. Is 22 a factor of a/(-12) + (-5)/c?
True
Let v = 36 + -37. Let j be 2 + -1 - (v + 2). Suppose j = -0*z - z + 20. Is z a multiple of 6?
False
Suppose -4*p - a + 3 = 0, 3*p - 5*a - 35 = -4. Suppose -4*t = -p*r + 25 + 1, -3*r = -4*t - 31. Suppose -r*j = 67 - 197. Is j a multiple of 26?
True
Does 79 divide 825 + -1 + (-120)/(-30)?
False
Let n(z) = z**2 - z + 4. Let y be n(6). Suppose 0 = 4*j - 4*d - 24, -y = -3*j - j - d. Let f = 44 - j. Is 12 a factor of f?
True
Suppose -253*r + 6656 = -249*r. Is 64 a factor of r?
True
Is 20 a factor of (1 + 22)/(50/500)?
False
Suppose 0*z - 8 = 2*z. Let p(v) = -2*v - 2. Let r be p(z). Suppose i = 2*d + r + 8, 15 = i - 3*d. Is i a multiple of 6?
True
Let x be ((-2)/6)/((-5)/15). Let o be (-9 + 4)/(x/3). Is 18 a factor of (91 - o/5)/2?
False
Let c(g) = g**2 - 14*g + 35. Let s be c(11). Suppose -s*p + 298 = -22. Is 32 a factor of p?
True
Let s(d) = -7*d - 11. Suppose 9*j + 57 = -105. Is 20 a factor of s(j)?
False
Let q(c) = c**2 + 8*c - 1. Let t = -24 - -17. Let s be (t - -4) + (0 - 8). Does 13 divide q(s)?
False
Let y(b) = 2*b**2 - b. Let z be y(1). Let n be ((-14)/35)/(z/(-15)). Let m(d) = -d**3 + 8*d**2 - 7*d - 4. Does 13 divide m(n)?
True
Suppose 1427 - 465 = 4*o - 2*d, -4*d - 496 = -2*o. Is o a multiple of 4?
False
Suppose 2*v + 4*d + 28 = 148, 5*v - 282 = -d. Is v a multiple of 5?
False
Suppose -3*b = -0*b. Suppose 0 = -h + q + 1, q - 3*q + 2 = b. Suppose x - 10 = h. Does 4 divide x?
True
Let u = -471 - -3791. Does 20 divide u?
True
Let b(k) = 5*k - 2*k - 2 + 18*k**2 + 36*k**2. Does 16 divide b(-2)?
True
Suppose -5*t + 5*l = -0*t - 6990, 5592 = 4*t + l. Is 78 a factor of t?
False
Let z = -44 + 47. Suppose -z*g - 864 = -11*g. Does 12 divide g?
True
Suppose -3*i = 3*q - 15, 4*i + 0*q = 5*q + 65. Suppose s - i = -4*s. Suppose 4*f = -3*a + 235, -s*a - 78 = -3*a - f. Does 10 divide a?
False
Suppose 5*o - 50 = 5*h, 5*o - 34 = 4*h + 6. Is (-104)/h*1/2*10 a multiple of 13?
True
Let p(c) = c**2 + 14*c + 13. Let j = 19 + -35. Does 8 divide p(j)?
False
Let r be (-3 - -3) + -3 + 15. Let q = -15 - -27. Let o = q + r. Does 8 divide o?
True
Let z(v) = v**2 + 6*v - 8. Let f be z(-7). Let q(w) = -11*w**3. Let p be q(-1). Is 6 a factor of f - (-1 - -3 - p)?
False
Suppose 4*u = -3*l - 21 - 2, 18 = -4*u - 2*l. Does 10 divide (u/6)/((-8)/1536)?
False
Suppose 1223 = 8*p - 777. Does 10 divide p?
True
Let l(j) = 2*j - 16. Let b be l(8). Suppose b = -36*s + 33*s + 153. Is 12 a factor of s?
False
Suppose 5 = -4*y - 2*l + 25, 4*y - 28 = -4*l. Let t(o) = o**3 - 3*o - 3. Is 15 a factor of t(y)?
True
Let g(d) = -27*d. Let f be g(-3). Suppose -z + f = 4*r, -3*r + 5*z = -8 - 24. Suppose -3*s - 4*a = -r - 87, 3*s - 151 = 5*a. Does 7 divide s?
True
Suppose -3*a = -4*c + 12, -4*c = -a + 3*a - 12. Suppose 3*f + 20 = c*i - 1, 4*f + 1 = -5*i. Suppose 5*x - 33 = 2*d, i*x - 4*d = 2*x + 21. Is 5 a factor of x?
True
Let b = -560 + 379. Let z = 124 + b. Is (-27)/(-36) - z/4 a multiple of 6?
False
Suppose 3*q = 4*v + 308, -q = 3*v - 13 - 107. Is 2 a factor of q?
True
Let s = 6 + -1. Suppose s*m + 58 = 4*h + 6, -2*m - 46 = -3*h. Let b = h - 14. Does 2 divide b?
True
Let t(m) = 72*m**3 + m**2 + m + 1. Let n be t(-1). Let r = n + 160. Does 15 divide r?
False
Suppose -12675 = 2*n - 6*n - 5*f, -2*n = 3*f - 6339. Is n a multiple of 15?
True
Suppose 40*a = -13*a + 27401. Is a a multiple of 11?
True
Let y(q) = q**3 + 5*q**2 - 7*q - 4. Let i be y(-6). Suppose -2*u - 3*u - 2*z = -157, 2*z = i*u - 74. Does 26 divide u?
False
Let l be (-16)/(-6)*(-18)/(-12). Suppose -4 - 12 = -l*m. Suppose 25 = 5*h + 3*g + 5, -4*h + m*g + 16 = 0. Is 3 a factor of h?
False
Suppose 0 = -9*v + 97 + 335. Does 16 divide v?
True
Suppose -4*f + 27 + 121 = 0. Suppose 13 = -4*a + 17. Suppose 2*x - f = -a. Is 18 a factor of x?
True
Let k be (3 - -5)*10/(-4). Is 20*(-25)/k - 0 a multiple of 12?
False
Suppose -28 = i - 3*i. Let m be 13/4 + i/(-56). Suppose 0 = m*r + 5 - 59. Is r a multiple of 6?
True
Let h(i) = -i**3 + 2*i**2 + i. Let t = 20 + -21. Let l be h(t). Is 16 a factor of 55 + -3 + l/2?
False
Let p(t) = -t**2 - 10*t - 6. Let r be p(-8). Suppose -2*o + 50 = -r. Does 7 divide o/4*(-40)/(-12)?
False
Suppose -9*r + 1227 = -7188. Is r a multiple of 11?
True
Let d = 710 - 399. Suppose 3*r = 136 + d. Is 15 a factor of r?
False
Let g(q) = 29*q - 1. Let c(b) = -b**3 - 2*b**2 + 4*b + 6. Let t be c(-3). Suppose t*u - s + 0 + 2 = 0, s - 7 = -2*u. Is g(u) a multiple of 7?
True
Suppose -2*x + 3*b = 6, -8*x - 2*b = -3*x - 23. Let u be -16*(0 - x/6). Let g(t) = t**3 - 6*t**2 - 9*t - 8. Is g(u) a multiple of 16?
True
Suppose 0 = -5*l - 3*p + 22, 17 = 5*l - 5*p - 13. Suppose 4*n + 0*n = w - 13, -l*w - n = -107. Suppose -x - 3*y + w = 0, -4*x + 50 = 4*y + 6. Is x even?
True
Let n be 0 + -2 - 8/(-2). Suppose -4*c + 319 = 3*w - 7, 3*w = -6. Is 21 a factor of c + (n - 2)/1?
False
Suppose -260 = -6*m + 4*m. Suppose y + z = 129, m = 2*y - 3*z - 123. Is y a multiple of 16?
True
Let c(v) = -