e 2*w - 199 = -i, z = -w - 4*w - i + 496. Is w a multiple of 37?
False
Let c(m) = 25*m + 7 + 16*m + 2*m**2 - 36*m. Is c(-7) a multiple of 9?
False
Suppose 7*c - 21*c = -13804. Is 29 a factor of c?
True
Let s(k) = -3*k - 15. Let m be s(-3). Is 16 a factor of ((-16)/m)/(4/714*7)?
False
Suppose -2*r + 83 = -5*i, -4*i - 3*r + 42 = -6*i. Is (-4 + (-10)/i)*(1 - 7) a multiple of 9?
False
Let y(n) = 5*n**3 + 7*n**2 + 8*n + 11. Let z(b) = 14*b**3 + 21*b**2 + 23*b + 34. Let s(i) = 11*y(i) - 4*z(i). Does 6 divide s(-8)?
False
Let c(n) = -4 + 4*n + 4 + 11 - 1. Let t(q) = -1. Let a(l) = c(l) + 3*t(l). Is a(7) a multiple of 10?
False
Is 154 + ((-36)/19 - 26/247) a multiple of 19?
True
Is 20180/60 - (-3)/(-9) a multiple of 8?
True
Is 1/(-3) - (-4125)/9 a multiple of 37?
False
Let g(y) be the first derivative of 3 + 11*y - 9/2*y**2. Is 15 a factor of g(-5)?
False
Does 3 divide (-1197)/(-14)*((-3)/(-3) - -1)?
True
Let s = -250 + 2450. Does 22 divide s?
True
Suppose 6*s - 4 + 34 = 0. Is 402*3/(-30)*s a multiple of 35?
False
Is 1*42*-116*(-6)/9 a multiple of 28?
True
Suppose l + 1 = 2*f, f = -2*f + 3*l. Is (-31)/(-6) + f/(-6) a multiple of 4?
False
Suppose -2 = k - 10. Suppose 4*t + k = 0, 5*t + 21 = r - 0*r. Is r even?
False
Let j(n) = 89*n**2 + 12*n + 79. Is j(-5) a multiple of 44?
True
Suppose -2*m - 4 = -8. Suppose -2*l + m*x - 40 = 3*l, 0 = -l - x - 1. Let t(b) = b**3 + 6*b**2 - 5*b - 7. Is t(l) a multiple of 11?
False
Suppose -5*y + 13 = u, 0*u + 3*u + 6 = 0. Suppose 61 = -p + 6*p - 4*q, -5*q + 44 = y*p. Does 3 divide p?
False
Let j be ((-80)/60)/(4/(-6)). Suppose 0 = 4*h + 5*o - 118, j*h - o - 48 = 2*o. Is 8 a factor of h?
False
Let q(r) = 4*r - 34. Let w be q(10). Does 8 divide (1 - (-4 - -3)) + w?
True
Let a(l) = -5*l + 15. Let k = -2 - 23. Let z(c) = 20*c - 60. Let d(w) = k*a(w) - 6*z(w). Is 13 a factor of d(9)?
False
Let z(k) = -k**3 + 5*k**2 + 2*k + 4. Let r be z(5). Let q(v) = -3*v + 17. Let g be q(5). Suppose 3*x - g*x = r. Is x a multiple of 3?
False
Suppose 8*p - 1257 - 1511 = 0. Does 46 divide p?
False
Let k(h) be the first derivative of h**3/3 - h**2 - 55*h - 24. Is k(17) a multiple of 10?
True
Let v = -73 - -155. Let b(s) = -2*s**2 - 12*s + 3. Let n be b(-6). Suppose n*p = 2*l + v, -l + 31 = p + 2*l. Is 12 a factor of p?
False
Let z = -1093 - -1549. Suppose -5*d = -9*d + z. Is d a multiple of 38?
True
Suppose 0 = -3*a + 3*y + 179 + 70, -y + 391 = 5*a. Suppose -379 = -6*q - a. Is 9 a factor of q?
False
Let l(c) be the first derivative of -6*c**2 + 36*c + 3. Let w(p) = 3*p - 9. Let j(x) = 5*l(x) + 21*w(x). Does 6 divide j(5)?
True
Let c(s) = -2*s + 12. Let u be c(9). Is (-2)/(1/3*u/56) a multiple of 12?
False
Let r = 39 - 35. Suppose 177 = r*s + 4*u - u, -153 = -4*s + 5*u. Does 13 divide s?
False
Suppose -9*r = -14*r + 20. Suppose -5*k - 56 + 211 = 3*j, -111 = -r*k - 5*j. Does 14 divide k?
False
Let y(p) = -11*p**3 + p**2 + 22*p + 75. Does 9 divide y(-3)?
True
Is 49 a factor of (-9 + -26)*(-21)/3?
True
Suppose 4*s + 2*k - 576 = 0, 10*s - k - 292 = 8*s. Does 29 divide s?
True
Suppose 195 = q - 5*z, 0 = 3*q - 4*z - 153 - 432. Suppose 13 + q = 4*k. Is k a multiple of 12?
False
Suppose -5*l - 15 = -40. Let t be (-6)/(-15) - (-18)/l. Suppose t*y + 0*p = 3*p + 81, 2*y = p + 43. Is y a multiple of 8?
True
Let a = -96 + 173. Suppose 15*o + 104 = 11*o. Let j = o + a. Is j a multiple of 17?
True
Let p = -2 - -6. Let d(h) = h + 43. Let x be d(-6). Suppose p*r - 67 - x = 0. Is 8 a factor of r?
False
Let c be 3/2 + 60/24. Suppose -s - 3*i = -481 + 66, c*s + 2*i = 1710. Is 14 a factor of s/30 - (-1)/(-3)?
True
Is 4 a factor of ((-204997)/52)/(-13) - 3/(-4)?
True
Let z be (906 + -1)*(6/15 - 0). Let q = z - 251. Is q a multiple of 37?
True
Suppose -2*s + c - 49 = -6*s, -2*s + 14 = 4*c. Let d(h) = h**2 - 12*h + 30. Does 7 divide d(s)?
False
Let x = 8 + -9. Let z(s) = -66*s**2 + s + 1. Let i be z(x). Let g = 115 + i. Is 23 a factor of g?
False
Suppose 5*h - 362 - 518 = 0. Suppose 3*t = t + h. Is t a multiple of 18?
False
Let n(k) = 22*k**2 + 18*k + 35. Does 21 divide n(-4)?
True
Let b be (126/(-15))/(3/10). Let x = b - -30. Suppose 46 = x*s - 64. Does 11 divide s?
True
Let q(a) = a**2 + 15*a - 58. Let h be q(-18). Is 86 - (h - -5 - 3) a multiple of 44?
True
Let l = 143 + -75. Suppose l = d - 75. Is d a multiple of 11?
True
Let j(l) = -l**3 - 2*l**2 + l - 3. Let v be j(-3). Suppose v*h - 394 = -5*r, 4*h + 5*r = 9*r + 568. Is 14 a factor of h?
False
Let g(c) = c**3 + 7*c**2 + 9*c - 1. Let v be g(-4). Suppose 5*f + 5*z + 15 = 0, -3*z = -3*f - z - 29. Let d = v + f. Is d a multiple of 3?
False
Let i(t) = 3*t**3 + 10*t**2 + t + 1. Let c be i(-4). Let y = c - -65. Does 15 divide y?
True
Let t = 482 - 444. Is 19 a factor of t?
True
Suppose -2*r = 2*l - 7*r - 338, 4*l - 2*r = 676. Suppose 2*z - 3*t - 79 = 0, -4*z + l - 26 = -3*t. Let m = z - 17. Is m a multiple of 5?
True
Suppose 52 = -10*o + 202. Let s(y) = -y**3 + 16*y**2 - 10*y + 20. Is 20 a factor of s(o)?
False
Suppose 63 + 105 = -3*d. Does 21 divide d/(-6)*10/(100/135)?
True
Let o(d) = d**3 - 13*d**2 + 2. Let v be o(13). Suppose -w - 3*p + 101 = 0, v*p = -w + 4*p + 116. Is w a multiple of 10?
True
Let w(j) = -j**2 - 10*j + 18. Let b(p) = 6*p**2 + 50*p - 91. Let i(d) = 2*b(d) + 11*w(d). Does 12 divide i(20)?
True
Let i(p) = -p**3 + 4*p**2 + 8*p - 2. Let u be 3/6*(2 - 10). Does 23 divide i(u)?
False
Let a(w) = 400*w**2 - 9*w - 2. Does 6 divide a(1)?
False
Is 39 a factor of 4 + 1 + 500/5?
False
Let l(d) = -7*d + 1. Let h(f) = -14*f + 2. Let b(c) = 6*h(c) - 13*l(c). Is b(3) a multiple of 11?
False
Let t(x) = -x**2 + 7*x + 5. Let p be t(6). Let o = -8 + p. Is 14 a factor of -2 - (1 - 51/o)?
True
Suppose 2*w + 5 = 5*z - 3*w, 2*z = 3*w - 1. Suppose -g = 2*g - z*y - 132, -5*g + 220 = 5*y. Is 4 a factor of g?
True
Let t be 27/5 + 9/15. Suppose -2*u = -10 - t. Does 8 divide u?
True
Suppose -5*q - 8 = -q, 5*q + 10 = 2*g. Suppose g = 4*p + 7 - 131. Let z = -17 + p. Is 6 a factor of z?
False
Let a(n) = -14*n - 14. Is a(-4) a multiple of 9?
False
Let u(h) = -79*h**3 - 2*h**2 + 1. Is 3 a factor of u(-1)?
True
Suppose 5*i - 16 = -k - 1, 0 = k - 4*i + 3. Suppose -5*n + 3*g = -414, -2*g + 4*g - 424 = -k*n. Is n a multiple of 3?
True
Let l = -5 - -8. Suppose -w - 5*q = -66, l*w + 4*q = -w + 296. Does 24 divide w?
False
Suppose -3*q + 2*r = -176, 6*q - q = -3*r + 325. Let k = q + -46. Does 8 divide k?
True
Let k = 328 + -152. Let q = k - 37. Is q a multiple of 13?
False
Let c(n) = -5*n. Suppose -9*q - 31 = -8*q. Let r = q + 30. Is c(r) a multiple of 2?
False
Suppose 4*x - 5*u = 2 + 28, -11 = -x + 3*u. Is 24 a factor of x + -2 - -134*(0 - -1)?
False
Let v(s) = -2*s**3 + 10*s**2 - 19*s - 18. Let r(h) = 3*h**3 - 9*h**2 + 20*h + 18. Let l(k) = 3*r(k) + 4*v(k). Does 10 divide l(-14)?
True
Let w(l) be the second derivative of l**5/60 - 7*l**4/24 + l**3/6 + l**2 + 7*l. Let n(s) be the first derivative of w(s). Is n(-4) a multiple of 22?
False
Suppose 3*d - 5*g = -2*g + 72, 3*g = d - 34. Let b = d - -42. Does 10 divide b?
False
Let t be ((-22)/(-5))/(2/(-10)). Suppose -61 - 37 = 2*a. Let s = t - a. Is s a multiple of 10?
False
Let i(q) = q**3 - 7*q**2 + 9*q. Let z be i(4). Let c = z - -11. Is ((-2)/3)/(c/6) a multiple of 2?
True
Let s(d) = 4*d**3 + 173*d**2 - 32*d + 37. Is s(-43) a multiple of 14?
True
Let f be 1/((2/2)/((-15)/5)). Does 13 divide (-58 - 2/(0 - -2))*f?
False
Suppose 17 + 1 = v. Is 9 a factor of (-1 + 8/3)*v?
False
Suppose 235 = -0*z + 5*z. Suppose -30 = -2*j - 5*r + 44, -j - 5*r + z = 0. Suppose 5*q = 2*q + j. Is q a multiple of 3?
True
Let z(d) = d**3 - 5*d**2 + 6. Let g be z(7). Let w(i) = -2*i**2 - 8*i - 13. Let u be w(-7). Let s = u + g. Is s a multiple of 18?
False
Let f = -8 - -9. Let r = f - -16. Is 6 a factor of (1 + r)*(-3)/(-2)?
False
Let z(r) = -r**3 - 7*r**2 - 3*r - 4. Let t be z(-6). Let a = t - -27. Does 3 divide a?
False
Let q = -114 + 96. Let g(h) = h**3 + 20*h**2 + 20*h - 12. Is 12 a factor of g(q)?
True
Let g be (-7)/(-56) - (-639)/8. Suppose -f + g = 7*f. Does 5 divide f?
True
Let r(y) = -y + 42. Is r(0) a multiple of 21?
True
Let w(r) = r**3 - 5*r**2 - 7*r + 9. Let s be w(6). Suppose 0 = 5*m + 4*u - 43, -12 - 29 = -5*m - s*u. Is m a multiple of 4?
False
Let b = 6353 - 3350. Is b a multiple of 14?
False