- 2/(-2)) a multiple of 10?
False
Suppose 2*r = -u, -u - 5*r = 8 - 2. Suppose h = -4*s - 32, -h + u*h - 2 = 2*s. Is 7 a factor of 17 + s/(14/(-4))?
False
Suppose 1236 = 2*j - 2912. Is 105 a factor of j?
False
Let s be (-14)/10*-1*5. Let j = 12 - s. Suppose -135 + 345 = j*g. Is g a multiple of 21?
True
Is (-30)/(-75) - -1*1916/10 a multiple of 32?
True
Let r = -146 - -317. Is r a multiple of 13?
False
Suppose 50*l - 51*l = -74. Is 74 a factor of l?
True
Suppose -2015 + 167 = -11*q. Suppose 5*v - 5*f = 150, -5*v + 0*v - f = -q. Does 10 divide v?
False
Let j(m) = m**3 + 9*m**2 - 25*m + 5. Is j(-11) even?
True
Let h(q) = 2*q**2 - 41*q - 3. Let j be h(19). Does 36 divide 60/(-14)*(j - -18)?
True
Suppose 0 = 5*o + 9 - 24. Does 13 divide (-72)/(-16)*(-2)/o - -94?
True
Let r = 8 - 3. Suppose 2*o = -w - 4, 3*o - 2 = r*w + 18. Suppose o*m = 2*m - 30. Is 8 a factor of m?
False
Suppose 3*n - 172 - 713 = -5*f, 0 = -n. Does 32 divide f?
False
Suppose 163 = 2*u - r, 3*u - 2*r = u + 168. Let o = -25 + u. Is 5 a factor of o?
False
Is (56/6)/((-10)/(-555)) - -2 a multiple of 5?
True
Let q(y) = -y**3 - y**2 + 2*y - 3. Let g be q(0). Is 5 a factor of 6/18*g/(-2)*214?
False
Let p(g) = -5*g**3 - 3*g**2 - 16. Suppose 0 = -0*b + 3*b - 3. Let d(x) = -x**3 + x**2 + x - 1. Let s(u) = b*p(u) - 6*d(u). Does 10 divide s(10)?
True
Suppose 13*l - 29891 + 9741 = 0. Is 25 a factor of l?
True
Let a = 2 + 390. Does 7 divide a?
True
Let c be (9/4)/(15/280). Suppose 0 = -7*i + 2*i + 135. Let n = c + i. Is 23 a factor of n?
True
Suppose -13 = -4*f + 5*j, -2*f - 5*j - 31 = -0*f. Is 113 - (1 + 3 + f) a multiple of 14?
True
Let r(c) = c**3 + 7*c**2 - c + 10. Suppose 5*z - 3*z = -22. Let l = 4 + z. Is 13 a factor of r(l)?
False
Let c(v) = -10*v**2 + 10*v. Let u(d) = 3*d**2 - 3*d. Let h(f) = 2*c(f) + 7*u(f). Does 18 divide h(9)?
True
Is 0 - -168 - (1 + 2) a multiple of 11?
True
Suppose 3*p = 274 - 274. Let i(o) = o**2 - 3*o. Let t be i(3). Suppose p = q - t*q - 16. Does 8 divide q?
True
Suppose 0 = 4*i + 4*g - 36, -3*i + 17 = 4*g - 5. Suppose 7*a - 5*a - i = 0. Let f = a - -5. Is f a multiple of 4?
True
Let z = 156 - 68. Does 3 divide z?
False
Is -13*((0 - 5) + 7 - 28) a multiple of 26?
True
Suppose 133*j - 36 = 134*j. Is (90/j)/((-1)/114) a multiple of 15?
True
Suppose z = -2*c - 3*z + 18, 0 = 2*c + 3*z - 16. Suppose 6*n = 7 + c. Suppose 2*a = -d + 99, 2*a - 119 = -n*d - 3*d. Is 21 a factor of a?
False
Does 30 divide (-9)/(324/(-8)) + 20645/45?
False
Is 18 a factor of 41430/50 - (-3)/(-5)?
True
Suppose 0 = 35*p - 37*p + 10. Suppose p*s + 0 = 45. Does 9 divide s?
True
Is (-230)/30*(-81 - 6) a multiple of 25?
False
Let f(i) = -228*i**3 + 3*i**2 + 6*i + 12. Is f(-2) a multiple of 34?
True
Let p = -1 + 3. Suppose 0 = -p*z + 4 - 0. Suppose 4*g + z*q - 246 = 0, -q - 2*q + 69 = g. Does 20 divide g?
True
Suppose 5*b - 6 - 19 = 0. Suppose -5*u - 4*f + 160 + 45 = 0, -b*f + 99 = 2*u. Let y = 55 - u. Is 9 a factor of y?
True
Is -3 + 16/8 + (0 - -593) a multiple of 16?
True
Let u = -124 - -241. Let i = -47 + u. Is i a multiple of 13?
False
Let m = 103 - -300. Is 31 a factor of m?
True
Let o(h) = -318*h**3 + 5*h**2 + 15*h + 26. Does 40 divide o(-2)?
True
Let m(b) = -b**3 + 10*b**2 + 3. Let c be m(10). Suppose g + 125 = -i + 5*i, c*g + 105 = 3*i. Is 6 a factor of i?
True
Suppose 969 + 2787 = 4*f. Is 60 a factor of f?
False
Let b(o) = -2*o + 2*o + 5*o - 2*o. Let q(n) = -n**2 + 14*n - 22. Let g be q(12). Is b(g) a multiple of 3?
True
Let z be 4/2 - -4 - 2. Let j = z - -74. Is 13 a factor of j?
True
Let f be 91 + -2 + 5 + -6. Let h(i) = -i + 12. Let z be h(9). Suppose -4*x + f = z*l + l, l - 5 = 0. Is x a multiple of 16?
False
Suppose -3*b = -5*u - 4*b + 325, 0 = u - b - 71. Suppose 0 = 130*c - 127*c - u. Is 5 a factor of c?
False
Let o = 327 + -285. Does 8 divide o?
False
Let o(x) = 7 + x + 2*x - 3*x - x. Let n be o(3). Suppose n*y = -y + 25. Does 5 divide y?
True
Let s = 2 - -3. Suppose -2*k + 283 - 93 = 0. Suppose -k - 10 = -s*o. Is 17 a factor of o?
False
Let o(r) = -6*r**2 + 127*r - 16. Does 15 divide o(16)?
True
Let j = -2 - -5. Let m be 16 + 0 + -2 + 1. Suppose j*r = -0*r + m. Is r a multiple of 3?
False
Let k be 2 - (-1 - -4 - 3). Suppose -3*j = k*j + 65. Let n = -3 - j. Is 5 a factor of n?
True
Suppose n = 3*j - 8, -j + 4 = -0. Does 20 divide -26*(n - 5 - 3)?
False
Let r(l) = l**2 - 14*l - 12. Let b be -10 - 1/2*-2. Let i be r(b). Suppose o - i = -4*o. Does 14 divide o?
False
Let h = -13 - -330. Is h a multiple of 10?
False
Let c(j) = j**3 + 6*j**2 - 17*j - 3. Let k be c(-8). Let d(t) = -t + 15. Is 3 a factor of d(k)?
False
Suppose -3*f - m = -7531, 12*m = 5*f + 7*m - 12545. Is 100 a factor of f?
False
Suppose 423*q - 36 = 419*q. Is q a multiple of 3?
True
Let w(v) = -v**3 - 22*v**2 + 42*v + 10. Is 77 a factor of w(-24)?
True
Let g(u) = 18*u**3 - 2*u**2 - 3*u - 2. Let p be g(-1). Let i = p - -44. Is i a multiple of 25?
True
Suppose -3*v - 10 = -m - 2*v, 5*v = -25. Suppose 5*d - 4*i = -14, -4 = i - m*i. Is 4 a factor of d - 32/2*-1?
False
Let w(g) = 156*g - 207. Is 31 a factor of w(6)?
False
Let i(x) = -x**3 + 3*x + 6. Let n(m) = -2*m**3 + m**2 + 6*m + 11. Let h(t) = 7*i(t) - 3*n(t). Is 11 a factor of h(-5)?
True
Suppose 15*w - 1183 = 2*w. Let o = 105 - w. Is o a multiple of 14?
True
Let t = -75 + 145. Is 7 a factor of (t/(-3))/((-1)/3)?
True
Let f = -98 - -188. Is 10 a factor of f?
True
Let g = -11 - -2. Let p be (6/g + 2)*3. Suppose -d + 6 + p = 0. Is 5 a factor of d?
True
Let u be ((-90)/24)/((-2)/8). Let d = 17 - u. Suppose -48 = -h + d. Is 25 a factor of h?
True
Suppose 3*z + 3*w = 8*z - 563, z - 4*w - 116 = 0. Suppose -3*d - z = d. Is (-1068)/(-14) - (-8)/d a multiple of 19?
True
Suppose 7 = 3*g - 8. Suppose 3*b = g*m - 549, 2*m - 179 = -3*b + 49. Is m a multiple of 13?
False
Suppose 24*n = 85*n - 915. Is 13 a factor of n?
False
Let s = 7 + -5. Suppose 0 = 2*p + s*p + 52. Let t = p + 24. Is 11 a factor of t?
True
Suppose -10 - 4 = f. Let d = f + 17. Suppose -3*r = 0, d*s - 5*r - 37 - 35 = 0. Does 4 divide s?
True
Suppose -58 = -5*d - 8. Suppose 9 = b - d. Suppose 53 = 4*u - b. Does 6 divide u?
True
Let b(r) = -330*r - 4. Let m be b(-1). Suppose 111 + 230 = 4*q - o, 2*o - m = -4*q. Is q a multiple of 9?
False
Let w = 1042 + -558. Is w a multiple of 13?
False
Let b(x) = -6 + 6*x + 11*x**2 + 1 - 4 + x**3. Does 15 divide b(-8)?
True
Let p = -58 - -47. Let h = p - -21. Is h a multiple of 10?
True
Suppose -17*k + 9828 = 4*k. Is k a multiple of 39?
True
Suppose -8*l = -5*l. Let s = -38 + 64. Is s - (1 + l + -4) a multiple of 17?
False
Let g = -4 + 2. Let i be 19/g*(-6)/1. Suppose 4*l = -4*n + 38 + 18, -5*n + i = 4*l. Is 3 a factor of l?
False
Let m(y) = y**3 + 7*y**2 + y + 10. Let r be m(-7). Suppose 2*b - r*v - 3 = 0, -2*v + 3*v = 2*b - 5. Suppose -6 = -b*k + 3. Is k even?
False
Let u(s) = -289*s - 750. Is u(-11) a multiple of 35?
False
Suppose 0 = -16*s + 13*s - 18. Let r be (-1)/(-3) + 188/s. Let z = -4 - r. Does 9 divide z?
True
Let u be -4 + 10 + -4*1. Suppose 284 = 5*s + 3*x, 2*s + u*x = 6*x + 124. Does 18 divide s?
False
Suppose -3*h + 10 = -w - 1, 5*w = -5*h - 15. Is 4 a factor of h + -3 - (6 - 23)?
True
Suppose -5*n + 3*w - 20 = 0, 4*w - 24 = -4. Let f be (n - -2) + (-14)/(-2). Is 26/f - (-5)/(-20) even?
False
Suppose 24*x - 25*x + 90 = 0. Does 30 divide x?
True
Let l = -120 + 33. Let z = -56 - l. Is 2 a factor of z?
False
Does 14 divide 96/(-6)*358/(-8)?
False
Let h(t) = 6*t**2 + t - 2*t**2 + t**2 - 4*t**2 + 1. Is h(-6) a multiple of 11?
False
Is 45 a factor of (-160062)/(-296) - 6/8?
True
Let c = -82 - -40. Let n = c + 78. Is n a multiple of 11?
False
Let o = -937 + 1740. Does 73 divide o?
True
Let s = -347 - -587. Suppose -g + 10 - 3 = -2*f, 5*g - f = 17. Suppose -g*o - o = -s. Is 15 a factor of o?
True
Is 40 a factor of (-2450)/28*(-32)/10?
True
Let u(d) = 4*d**2 + 14*d - 10. Let p(m) = -m**2 + m + 1. Let s(x) = 3*p(x) + u(x). Let i(l) be the first derivative of s(l). Is i(10) a multiple of 15?
False
Suppose 39 - 2097 = -14*h. Does 12 divide h?
False
Let n = 82 + -54. Does 9 divide (116/8)/(7/n)?
False
Let b = -39 - -27. Let i = b - -27. Does 8 divide i?
False
Let l(u) = -u**2 - 36*u - 64. Is 16 a factor of l(-12)?
True
Let p be 2/(-6) - 128/(-24). Suppose 4*j + 2*m = -0*j + 116