- 15*r**2 + 15*r - 16. Let z be f(-14). Let l = z + 650. Is 12 a factor of l?
True
Let z(n) = 3*n + 1. Suppose 5*w + 30 = -30. Let u be 0/3 - -3 - w. Is 23 a factor of z(u)?
True
Let p(z) = -6 + z - 2*z + 17. Let i be ((-105)/14 + 6)*1*-4. Is 4 a factor of p(i)?
False
Let w = 52 + 290. Is 25 a factor of w?
False
Suppose 5*n + 25 = -4*j + 3*j, 0 = -4*n - 2*j - 26. Is 10 a factor of 192 - (-4)/16*n?
False
Let y be 16/(-6) + 3 - 37/3. Let i(t) = -t**3 - 9*t**2 - 4*t - 17. Let n(g) = g**2 - g. Let h(f) = -i(f) + 3*n(f). Is 2 a factor of h(y)?
False
Let t(k) = 4*k - 3. Let c be t(1). Let f(y) = 37*y**3 + 2*y - 1. Let n be f(c). Suppose -i + 1 = -n. Does 13 divide i?
True
Let z = -127 + 129. Suppose -z*r + 150 = -26. Is r a multiple of 11?
True
Suppose -19*a + 90*a = 234584. Is a a multiple of 56?
True
Let a(j) be the second derivative of j**4/12 - 8*j**3/3 - 3*j**2 + 9*j. Does 11 divide a(17)?
True
Suppose 1 = -2*f - 63. Let o = f - -41. Is o a multiple of 2?
False
Let d(u) = 4*u**2 + 123*u + 14. Let c(q) = 2*q**2 + 61*q + 7. Let z(r) = -5*c(r) + 2*d(r). Is 19 a factor of z(-29)?
False
Suppose 2*q + 234 = 1818. Does 36 divide q?
True
Let v = 89 + -87. Suppose -v*x - a = -362, 91 = -4*x + 4*a + 815. Does 33 divide x?
False
Suppose 9 = -3*u, -23 + 4 = 5*z - 2*u. Let x be (-4 - z)*-97 - 2. Let j = -62 - x. Is 10 a factor of j?
False
Let d(p) = -p**3 - 9*p**2 + 2*p + 2. Let l be d(-4). Let n = 201 + l. Does 26 divide n?
False
Let r(j) = -j + 9. Let y be r(-10). Suppose 468 = -y*f + 25*f. Is f a multiple of 13?
True
Let z(f) = -f**3 + 7*f**2 - 4*f - 8. Let h be (-24)/10*(-10)/4. Let n be z(h). Let o = n - -17. Is o a multiple of 12?
False
Suppose -10 = 5*m + 60. Let a = 21 + m. Suppose -3*v = -12, -v + a = -3*w + 48. Is w a multiple of 9?
False
Let n be (2 + -1)*368/12*3. Suppose -n - 8 = -2*l. Is 26 a factor of l?
False
Suppose 2*m + 1 = 7. Suppose -m*u = -0*u - 9. Suppose -160 = -q - u*q. Does 11 divide q?
False
Suppose -13*t + 32*t - 14079 = 0. Is t a multiple of 12?
False
Let a(d) = d**3 + d**2 + d + 3. Let t = -6 - -6. Let z be a(t). Suppose -63 - 63 = -z*b. Does 14 divide b?
True
Let t(c) = c**3 + 11*c**2 + 18*c + 8. Let m be t(-9). Suppose 0*q = -2*q + m. Is 3 a factor of q?
False
Suppose -3*a - 2 = -11. Let g be 9 + -8 + -5*a. Is (-6)/(-4)*g/(-3) a multiple of 4?
False
Let p = -12 + 38. Is (p/10)/(4/20) even?
False
Suppose 25 = -5*s + 65. Suppose 2*q + 3 = -x + s, -q - x + 3 = 0. Is (-9)/(-18) - (-47)/q a multiple of 24?
True
Let h(z) = -6*z + 16. Let t be -1 + 5 + 47 + 17. Let u be 20/(-30) + t/(-6). Is 22 a factor of h(u)?
True
Let y = 17 - 13. Suppose 5*d + 5*m = 65, -d + y = -m - 1. Does 9 divide d?
True
Is 25 a factor of (-24602)/(-8) - (80/64 - 1)?
True
Does 18 divide (-8)/24*102*-9?
True
Is 15 a factor of (-187)/(-1) - (11 + -8)?
False
Let i be 4/12 + 34/6. Is ((-112)/7)/((-4)/i) a multiple of 24?
True
Suppose -4 = -2*q, 5*i - q = 1779 + 5369. Is i a multiple of 26?
True
Suppose -h + 13 + 26 = 0. Suppose 3*c - 3*k = h, -2*c + k + 58 = 2*c. Let i = 45 - c. Is 14 a factor of i?
False
Suppose r - 4*d + 0*d - 757 = 0, -4*d = 0. Is r a multiple of 58?
False
Is (-1 + (-1)/2)/(3/(-1132)) a multiple of 25?
False
Suppose 2*w - 35 = -u, 3*u + 5*w - 109 = 3*w. Suppose u = -3*t - 68. Let r = -23 - t. Is 12 a factor of r?
True
Let v(c) be the second derivative of 40*c**3/3 - 2*c**2 + 6*c. Does 32 divide v(2)?
False
Let c be 18/45 + 1876/10. Let d = -101 + c. Let f = d - -4. Is 23 a factor of f?
False
Suppose 0 = 3*r - 6, -2*w - 3 = 2*r - 7. Suppose w*a = 5*a - 30. Suppose -v - 10 = -a*v. Is 2 a factor of v?
True
Let f(o) = 18*o + 920. Does 23 divide f(0)?
True
Suppose 158 = 9*z - 4. Suppose -3*d = -6*d + z. Does 3 divide d?
True
Let y(h) = 3*h - 2. Let g be y(7). Let v be -1 + -15 + (-15)/(-5). Let m = g + v. Is m a multiple of 3?
True
Let o = 1444 - 1314. Is o a multiple of 2?
True
Let h(x) = -4*x**2 - 3*x + 4. Let v(a) = a**2 - a + 1. Let b(d) = -h(d) - 5*v(d). Let k be b(6). Does 12 divide -17*(3/k - 3)?
False
Let p(f) = -5*f**3 - f**2 - 6*f + 5. Let z(r) = r**3 - r**2. Let a = 3 + 1. Let c(t) = a*z(t) + p(t). Is c(-5) a multiple of 10?
False
Let j(u) = 6*u**3 + u**2 + 2*u - 2. Suppose -3*v - 5*w + 23 = v, 2*w = 3*v. Is j(v) a multiple of 6?
True
Suppose g + 2*c = 2*g - 69, -c = 4*g - 321. Suppose g = 11*d - 207. Does 13 divide d?
True
Let g(v) = v**2 + 9*v + 10. Let s be g(-9). Let u = 8 + s. Suppose -3*w + 174 - u = 0. Is w a multiple of 26?
True
Suppose 0 = -3*i + 767 + 958. Is 13 a factor of i?
False
Let d(v) = -v**3 + 14*v**2 - 12*v - 5. Let m be d(13). Let t be (-3 - 0)/(9/6). Let z = m + t. Is 2 a factor of z?
True
Let v = 220 - 156. Is v a multiple of 32?
True
Is (-4812)/(-3) - -5*(-5)/25 a multiple of 68?
False
Let z = -3 + 219. Is z a multiple of 41?
False
Suppose 112 = 2*j + 2*w, -5*j + 0*j - 2*w + 289 = 0. Let k(v) = v**3 + 14*v**2 + 2*v - 5. Let a be k(-14). Let n = a + j. Is n a multiple of 9?
False
Let s = 5196 + -3312. Is 12 a factor of s?
True
Suppose m = -3*l - 6, l + 3 = -3*m - 3*l. Suppose 0 = 7*g - m*g - 384. Is g a multiple of 12?
True
Let f(u) = 14*u**2 - 47*u - 38. Let v(r) = -5*r**2 + 16*r + 13. Let j be (0/(-2) - 4)*1. Let s(d) = j*f(d) - 11*v(d). Is 9 a factor of s(6)?
True
Suppose -3*v + 0*v + 15 = 0. Suppose -v*o - 6 = 2*b - 0, -4*o + 5*b - 18 = 0. Does 2 divide ((-6)/(-14))/(o/(-14))?
False
Suppose g - 5*g = -4*h + 572, -2*h - 4*g + 268 = 0. Suppose 3*t - 265 = h. Is t a multiple of 15?
True
Let h(k) = -1. Let j(s) = -44*s + 99. Let p(t) = -198*h(t) - 2*j(t). Is 44 a factor of p(2)?
True
Suppose 3*l - 1251 = 4*a - 9*a, 0 = -3*l - 9. Is 9 a factor of a?
True
Let x = -3 - -3. Let g be (-16)/(-48) - 11/(-3). Suppose x = -g*d - 9 + 293. Is d a multiple of 13?
False
Let v = -360 + 1018. Suppose -v = -4*o - 4*j - j, 5*o + 3*j = 816. Does 44 divide o?
False
Suppose j + 4 - 85 = 5*m, 0 = -m - 5. Suppose 0*v = 4*v - j. Does 14 divide v?
True
Suppose -r - 4*w = 22, -5*r + 3*w + 7 = 48. Let j = r + 24. Does 12 divide j?
False
Let u = 6 - 4. Suppose -u*l + 65 + 79 = 0. Does 10 divide l?
False
Let g = -9 - 10. Let r = g + 24. Suppose 2*j - 7 - r = 0. Does 3 divide j?
True
Suppose 0 = -4*x + 1216 - 284. Is x a multiple of 7?
False
Suppose 2 + 0 = -2*d, 4*m - 5*d - 25 = 0. Let t(f) = -2*f - m + 5. Does 6 divide t(-3)?
True
Let h(x) = -17*x - 13. Let j be h(-5). Suppose 4*p + j = 7*p. Is p a multiple of 24?
True
Let s(d) = -61*d - 28. Is s(-4) a multiple of 10?
False
Let v be ((-13)/(208/(-24)))/((-3)/146). Suppose 3*o - z - 78 - 265 = 0, 2*z + 8 = 0. Let m = v + o. Does 10 divide m?
True
Let m = 1084 + -436. Is m a multiple of 35?
False
Let l be (-1727)/(-7) - 3/42*-4. Let g = l + 0. Does 19 divide g?
True
Suppose 0 = 5*i + 6*v - 4*v - 20, -5*i - v + 15 = 0. Suppose i*k + 2 = k. Is 7 a factor of ((-11)/5)/(k/10)?
False
Let z = -1177 - -3035. Is 58 a factor of z?
False
Let p(f) = f**3 - 7*f**2 + 3. Let k be p(7). Suppose 0 = 2*w - k*g + 4*g - 1, -5*g = w - 5. Suppose -5*m + 123 + 87 = w. Does 7 divide m?
True
Let m(l) = -30*l - 42. Suppose 0 = -3*w - 5*h - 42, -12 = 2*w - h - h. Is m(w) a multiple of 12?
True
Suppose 249 = 6*p - 417. Suppose 11*g - p = 10*g. Is 4 a factor of g?
False
Let f(w) = w**3 + 7*w**2 + 5. Suppose -4*j - 38 = 2*d, 8*d + 39 = -2*j + 3*d. Is 3 a factor of f(j)?
False
Let b = 418 + 137. Does 15 divide b?
True
Let b(r) = -93*r - 1. Let x be b(-1). Is 15 a factor of 18*(x/8 - 4)?
True
Let h(n) = 66*n + 403. Does 2 divide h(-5)?
False
Let n be 75/(-11) - 14/77. Let d(h) = 3*h - 3. Let j be d(n). Let v = j + 47. Does 6 divide v?
False
Suppose -3*j + 4*w = -460, -7*j + 2*j - 2*w + 810 = 0. Suppose -4*s = -5*m - j, 2*s - 3*m = -m + 78. Let k = -31 + s. Does 4 divide k?
True
Suppose 2160*f = 2170*f - 5110. Is 6 a factor of f?
False
Let v = 990 - 879. Is v even?
False
Suppose 1430 = 11*f - 6*f - 5*a, 2*f - 3*a - 577 = 0. Is f a multiple of 15?
False
Suppose -1550 = -5*a - 0*a. Suppose 5*t - 970 - a = 0. Is 32 a factor of t?
True
Suppose 84 = 8*l - l. Does 3 divide 9/(-16)*(-208)/l*4?
True
Let q = 653 - 623. Does 9 divide q?
False
Suppose -2*k + 1 = o, 0 = 4*o - 0*o + k + 10. Does 24 divide -70*(-8)/(-32)*(-1 + o)?
False
Let x(h) = h**3 + 4*h**2 - 3*h + 1. Let m = -39 + 35. Is 6 a factor of x(m)?
False
Let i = -25 + 2