
True
Let y(h) = -h**2 + 47*h + 166. Is 12 a factor of y(40)?
False
Let u = 27 - 24. Suppose -u*h + 4 = 1. Does 14 divide ((-105)/25)/(h/(-10))?
True
Let d(s) = 2*s**2 - 5*s + 4. Let x be d(2). Suppose 3*l + 5*z - x*z = 33, -3*z = 5*l - 57. Does 12 divide l?
True
Let g(f) = -3*f**2 - 2*f + 15. Let s be g(5). Let p = 100 + s. Is 13 a factor of p?
False
Let q = -7 - -7. Suppose q = -4*f - 4*s + 16, -s = 4*f - 40 + 12. Is 21 a factor of 42/(f/(-4)*-1)?
True
Let w(r) = -r**3 + 16*r**2 - 4*r - 5. Is w(8) a multiple of 19?
True
Suppose 17*q = 16*q - 4*i + 678, -5*i - 633 = -q. Is q a multiple of 35?
False
Suppose 3*t - 6 = 3. Suppose -20 = -t*k + k. Does 8 divide (4/5)/(1/k)?
True
Let a = -578 + 650. Does 9 divide a?
True
Let b(t) = t**3 - 29*t**2 + 35*t - 140. Is b(28) a multiple of 56?
True
Suppose 0*a - 2*a + 10 = 0. Suppose 2*x = -5*u - 26, -a*x = -0*u + 4*u + 31. Is (-276)/(-48) - 1/u a multiple of 6?
True
Let p = 419 - 379. Let h be (1 + 1)*23/(-2). Let b = h + p. Does 15 divide b?
False
Suppose 14*n + 1755 = 27*n. Is n a multiple of 5?
True
Suppose -173 = 5*f - 5*b - 1023, -2*f + 345 = -3*b. Suppose -3*c + y + f = 0, -2*y + 9 - 3 = 0. Is 28 a factor of c?
True
Suppose -5*g - 8 = -9*g. Suppose g*f - 60 = -f. Suppose 4*x - 6*x + f = 0. Does 10 divide x?
True
Let v be 3 + 1/(1 - 2). Suppose 0*f + 8 = -4*f, -v*f = 3*z - 308. Does 26 divide z?
True
Let i(x) = 3*x**2 - 25*x + 13. Let k be i(10). Suppose p + k = 5*z - 4*z, -4*p + 150 = 2*z. Is z a multiple of 3?
False
Let n(a) = -231*a**3 + a**2 + 2*a. Is n(-1) a multiple of 29?
False
Suppose -2*i = -2 - 2. Suppose 0 = 5*a - a + o - 523, i*o = -10. Does 12 divide a?
True
Let y = -77 + 86. Let b = 8 - 5. Is (y/b + -2)*19 a multiple of 7?
False
Let w = 240 - -147. Suppose -j + 3*c = 3*j + w, 4 = 4*c. Let b = j - -159. Does 20 divide b?
False
Let j = 47 + 20. Suppose -28 = -5*o - 38. Let s = j - o. Is 21 a factor of s?
False
Suppose -132*y = -143*y + 12100. Is y a multiple of 55?
True
Suppose f = -4*m - 20, -m - 4 = 1. Suppose -38*y - 9 = -39*y. Suppose -y*v + f*v = -360. Is v a multiple of 7?
False
Let q(l) = 5*l**2 - 22*l - 94. Does 4 divide q(-6)?
False
Let l = 6 + -4. Suppose l*g - g - 12 = 0. Does 3 divide g?
True
Let j(q) = 101*q**2 + q. Let g be j(-1). Suppose -12*p + 16*p = g. Does 5 divide p?
True
Let i = -20 + -50. Let s = -47 - i. Does 8 divide s?
False
Let m(y) = 8*y**2 - 30*y + 181. Does 15 divide m(12)?
False
Suppose -3 = 2*c - 1, 160 = 3*d - 4*c. Let f = d + -4. Does 7 divide f?
False
Suppose 0 = -j - 1 + 6. Suppose 12 = -k + j*k. Suppose 2*p + i = 98, 0 = -k*p + i + 196 - 44. Is p a multiple of 12?
False
Let h = -1 - 11. Let z = 16 + h. Suppose v = z*x - 78 - 20, -3*v + 114 = 5*x. Does 8 divide x?
True
Suppose -12*t = -0*t - 2676. Let j = t + -76. Does 21 divide j?
True
Is 1/((-144)/20 - -7) - -1436 a multiple of 50?
False
Let c(a) = -a**3 - 10*a**2 + 2. Let b be c(-10). Suppose 32 + 20 = b*w. Suppose -l - 2*l + 12 = y, -y + 4*l = -w. Is 18 a factor of y?
True
Suppose m + 33 = t, 2*m - 172 = -t - 4*t. Let g = -19 + t. Is 5 a factor of g?
True
Let k(b) = -4*b. Let f be k(1). Let q = -12 - f. Let c = 1 - q. Does 9 divide c?
True
Let c(j) = 15*j**2 - 14 + j**3 - 3*j + 44 - 23. Is c(-15) a multiple of 26?
True
Let u(x) = x**3 - 6*x**2 - 5*x - 6. Let t be u(7). Suppose 0 = -q - a + 51, -t*q + 4*q + 5*a = -240. Is 10 a factor of q?
False
Suppose 27*g - 2132 = 26*g. Does 16 divide g?
False
Suppose 3*t = 2*q + q - 312, 5*q + 2*t - 527 = 0. Suppose 0 = 2*b + s - q, 2*b - 2*s = -s + 99. Does 8 divide b?
False
Suppose -4*d = 24*y - 25*y + 2299, 11539 = 5*y + 2*d. Is 51 a factor of y?
False
Suppose 0 = -11*m + 990 + 110. Is 25 a factor of m?
True
Let v = 11 + -7. Let a(q) = 4*q**3 - 3 - q**2 - 147*q - 3*q**3 + 1 + 149*q + 6. Is 12 a factor of a(v)?
True
Suppose 0 = -h - 4*v + 3*v + 2, 5*h - v = 34. Suppose -112 = 5*u - h*u. Does 28 divide u?
True
Let z = -81 + 21. Let f be ((-8)/10)/(24/z). Suppose -x + 2*o = -12, -f*x = -7*x + 5*o + 50. Is x a multiple of 8?
True
Let o(c) be the first derivative of -7*c**2/2 + 8*c - 21. Suppose 3*w - 15 = 2*k, 3*k + 5*w = 2*k + 12. Is 6 a factor of o(k)?
False
Let u be (-10)/3*(-18)/15. Suppose -5*d + 122 = 2*x, -u*x + 3*x = 4. Is d a multiple of 8?
False
Let j = -356 - -514. Let q = -11 - -192. Suppose 3*h - q = j. Does 24 divide h?
False
Let k(x) = x + 8. Let t be k(-7). Let m(l) = -18*l**2 - l + 1. Let v be m(t). Is 18 a factor of (v/(-5))/((-6)/(-30))?
True
Let o(v) = -7*v**2 + 12*v + 20*v**2 - 11 + v**3 + v**2. Let r be o(-13). Suppose 4*s - x = -0*x + 140, -2*s = r*x - 70. Does 6 divide s?
False
Let z = 30 + 37. Let k = z - -106. Is k a multiple of 10?
False
Suppose -12 = 5*z + 48. Let j be (z/15)/((-2)/5). Is j*4/(-8)*-32 a multiple of 16?
True
Let w be 1/(-3) + 4*(-141)/9. Let z = 187 - w. Is z a multiple of 19?
False
Suppose -1054 = -2*t - 0*w + 5*w, 0 = 4*t + 3*w - 2082. Does 36 divide t?
False
Let r = 418 - 894. Is 17 a factor of (r/6)/((-30)/45)?
True
Let x be (6/(-9))/(4/(-18)). Suppose y - 71 = -w, 4*w + x*y - 220 - 68 = 0. Is w a multiple of 25?
True
Let z be (-4)/(-14) + 845/7. Suppose 250 = -3*o - 5*a, 2*o + 135 = 4*a - 39. Let m = z + o. Does 12 divide m?
True
Let r be (-10)/35 - 8/(-14)*88. Is (-144)/90*1*-1*r a multiple of 10?
True
Let v be (1 - 3) + -13 + 455. Suppose -2*u + 14 + 251 = 3*b, 3*u - v = 4*b. Does 20 divide u?
True
Let s = 63 + -39. Suppose -s = -0*f - f. Is f a multiple of 24?
True
Let o(u) = -95*u + 1. Let v(n) = 143*n - 1. Let s(w) = -7*o(w) - 5*v(w). Does 14 divide s(-2)?
True
Let x be 22/55 - 46/(-10). Suppose 4 = -3*p + 64. Suppose -p = -5*j, -x*d + j = -3*j - 29. Is d a multiple of 3?
True
Let k(h) = h**3 - h**2 + h - 1. Let m(n) = 3*n**3 - 2*n**2 + 3*n + 3. Let d(o) = -2*k(o) + m(o). Let l be d(0). Let i(f) = f + 7. Is 10 a factor of i(l)?
False
Let l be 0/8 - (0 - 2). Suppose -124 = l*h - 46. Let k = 83 + h. Is 13 a factor of k?
False
Let u be 6 + 2 + -5 + -1. Let x be u*2 - (-7 + 11). Let g = x - -39. Is 10 a factor of g?
False
Suppose 0 = -4*c + 7 - 3, 2*k = -5*c + 1181. Is k a multiple of 12?
True
Suppose -1473 - 7857 = -10*x. Does 27 divide x?
False
Let d(r) = r**2 - 7*r - 15. Let u be d(9). Suppose -u*w + 258 + 66 = 0. Does 14 divide w?
False
Suppose -4*a + 2*a + 210 = 0. Suppose 0*x = -x + a. Let c = x + -60. Does 29 divide c?
False
Let n(g) = 23*g**2 + 3. Let k be -2*3 + 18 + -15. Is 15 a factor of n(k)?
True
Let b be (-50)/(6/(-3 - 0)). Suppose 0 = -q - 4*q + b. Suppose -1 = l, q*k - 61 = -5*l + 49. Is 6 a factor of k?
False
Let j(i) = -i**3 + 6*i**2 + i - 7. Let v be j(6). Is 22 a factor of (-84 - 4)*v + 0?
True
Does 16 divide 510/8 - (1/4)/(-1)?
True
Suppose 0 = 2*z - 4, 0*z - 17 = -5*u + 4*z. Suppose 243 = u*j - 52. Let r = -33 + j. Is r a multiple of 12?
False
Is 86 a factor of 72248/56 + (-3)/21?
True
Let u(w) = 2*w + 9. Let j be u(-4). Is j/2*(14 - 3 - -1) a multiple of 6?
True
Let l be -3 + 6*(-12)/(-8). Suppose j + 10 = -5*d, -4*d + 3*j + 5 = -l. Does 2 divide (-12)/(-4 - d) - 0?
True
Suppose -5*z + 9180 = -5*l, 2*l + 1834 = 50*z - 49*z. Is 64 a factor of z?
False
Let l(c) = -c**3 - c**2 + 3*c - 4. Let d be l(-3). Suppose d*j = 8*j - 150. Is j a multiple of 25?
True
Suppose -38*x + 34320 = x. Is 16 a factor of x?
True
Let m(i) = 4*i + 1. Let k(r) = r**3 - 8*r**2 + r - 10. Let v be k(8). Let f be m(v). Let q = f + 12. Does 5 divide q?
True
Let b(n) = -162*n**3 + 81*n**3 - 3*n**2 - 3 + 79*n**3 - n. Is 12 a factor of b(-3)?
False
Suppose -31*n = -34*n + 7725. Is n a multiple of 16?
False
Suppose -3*p = -3*j - 1827 + 612, -4*p = j + 380. Let h = -191 - j. Is h a multiple of 12?
False
Let h(y) = y**3. Let f(g) = -14*g**2 - 15*g - 14. Let u(o) = -f(o) - h(o). Suppose 0 = -15*i - 20 + 245. Is u(i) a multiple of 7?
True
Let z(x) be the first derivative of 9*x**3 - 3*x - 15. Is 15 a factor of z(-2)?
True
Let b = -3 - -3. Suppose -3*g = -6*n + 2*n + 20, b = -3*g + n - 5. Suppose 6 = 3*i, g = d - 2*d - 5*i + 34. Does 12 divide d?
True
Suppose -73*c + 60*c + 21021 = 0. Does 11 divide c?
True
Suppose -3*x = -t + 1086, 13 = 3*t - x - 3261. Does 52 divide t?
True
Let z be ((-319)/(-22))/((-1)/(-4)). Let f = 85 - z. Is 23 a factor of f?
False
Let w(l) = -l**2 - 11*l + 16. Let x be w(-12). Suppose 154 = 3*i + 5*b, 3*b