/3 - 3*z**2. Suppose 5*r + 10 - 35 = 0. Is c(r) a multiple of 3?
False
Let f(n) = -6*n**3 + 4*n**2 + 6*n + 2. Is f(-2) even?
True
Let z(a) = 12*a**3 - 18*a - 2*a + 11 - 4*a**2 - 13*a**3 + 15*a**2. Does 23 divide z(6)?
False
Let q be (-4)/16 + 1*379/(-4). Let t = q - -191. Is t a multiple of 32?
True
Suppose 4*t = 4*i - 246 + 58, 4*t = 5*i - 233. Does 5 divide i?
True
Let j be (9 + 3)/(2/3). Does 4 divide (j/(-27))/((-2)/27)?
False
Suppose 9*l = 25*l - 3840. Does 40 divide l?
True
Let t be (-4 + 3)*(28/2)/1. Is (-4)/t - (-4110)/70 a multiple of 12?
False
Let u = -120 + 646. Does 14 divide u?
False
Let i(d) = -10*d - 20. Let s be i(-6). Suppose -s = -4*f - 8. Is f a multiple of 8?
True
Let i(l) = 7*l + 28. Let s be i(10). Suppose -26 + s = 3*x. Does 10 divide x?
False
Let f be -23 + 25 + -142 + -1. Let m = -137 - f. Is 2 a factor of m?
True
Let b(t) = -9*t - 14. Let i(f) = 3*f + 5. Let a(j) = 6*b(j) + 17*i(j). Is a(-4) even?
False
Suppose -10 = -17*m + 12*m. Suppose 2 = m*q, -4*q + 109 = 2*h + 25. Is 16 a factor of h?
False
Suppose 24*z - 22*z - 3510 = 0. Is 9 a factor of z?
True
Let f = -166 - -329. Is f a multiple of 7?
False
Is 68552/36 - 46/207 a multiple of 112?
True
Let v = 36 + -32. Suppose g - 7 + v = 0. Is 2 a factor of g?
False
Let o(t) = t**2 + t - 40. Let n be o(0). Let z be 1/((-4)/1872)*8. Does 25 divide z/n + 2/5?
False
Let x(g) = g**2 + 10*g. Let z be x(-9). Let o = z - -23. Is o a multiple of 3?
False
Let x = 17 - 14. Suppose x*k + y + 28 + 15 = 0, -2*k + y = 37. Let l = -9 - k. Is 2 a factor of l?
False
Suppose 606 = 4*l - 5*s, 4*l - 10*s + 14*s = 624. Does 8 divide l?
False
Let z be 12*((-6)/12)/(3/94). Let d = -65 - z. Is 27 a factor of d?
False
Let j(y) = -5*y**2 + 12*y + 6. Let c(z) = -4*z**2 + 12*z + 5. Let w(k) = -4*c(k) + 3*j(k). Let i be w(10). Let b = i + 70. Does 18 divide b?
False
Let v(b) = 258*b + 33. Is 8 a factor of v(3)?
False
Suppose 3*t = n + 50, 2*t - 27 = -4*n + 25. Is 10 a factor of (-8 - -14)*(2 + t)?
True
Let x(n) = -5*n**3 - 6*n**2 - 4*n - 20. Is 4 a factor of x(-6)?
True
Suppose 705 = 8*c - 3959. Is 12 a factor of c?
False
Let t(a) = -a**2 - 20*a - 46. Let s be t(-17). Suppose -s*f + 11 = -6*y + 4*y, -y = -f + 1. Does 2 divide f?
False
Does 4 divide -3*(11 + -9) + (-117)/(-3)?
False
Suppose 4*d = -16, 5*d + 83 = -3*l - 0*d. Let i = l - -181. Suppose -5*j + 35 = -i. Does 13 divide j?
True
Does 74 divide ((-210)/(-126))/(1/348)?
False
Let g(z) = -z**3 + 5*z**2 - 2*z + 7. Let h be g(4). Let a = 15 + h. Does 5 divide a?
True
Let i(g) = g**3 - 5*g**2 - 7*g + 8. Let x be 84/15 + (-2)/(-5). Let d be i(x). Is 11 a factor of -2*(177/(-6) + d)?
True
Suppose 2*o = 3*o + 2*m + 6, 0 = -5*o + 5*m - 45. Does 14 divide 4038/12 - (-4)/o?
True
Suppose 14 = -2*b - 0*b. Does 11 divide (-210)/49*(b - 0)?
False
Let x(r) = 20*r**3 + 2*r**2 - 4*r - 1. Let n(t) be the first derivative of t - 9. Let k(c) = 4*n(c) + x(c). Is k(2) a multiple of 42?
False
Let n(o) = o**3 - 30*o**2 + 86*o - 34. Is n(27) a multiple of 3?
False
Let l be 3*(4/(-12) - -2). Suppose l*k - 5*o + 25 = 0, -25 = -0*k - 2*k - 5*o. Suppose 5*t + 4*j - 136 = k, -30 = -t - 3*j + 5*j. Is 14 a factor of t?
True
Suppose 7*q - 308 = -0*q. Suppose 3*s + 2*o - 8 = q, 45 = 5*s - 5*o. Does 14 divide s?
True
Let d(a) = 3*a**3 - a**2 + 3*a - 2. Let b be d(1). Suppose 5*x - 100 = -5*s, b*s = 5*s - 4*x - 28. Is 4 a factor of s?
False
Suppose -10*r = -6*r - 24. Suppose -r*l + 4*l + 224 = 0. Is l a multiple of 28?
True
Suppose 2*d + 2*g - 99 - 19 = 0, -2*g - 242 = -4*d. Is d a multiple of 5?
True
Let i(r) = -192*r - 90. Does 30 divide i(-3)?
False
Let w = -1792 + 1815. Does 23 divide w?
True
Let r = -18 + 21. Suppose 0*f = r*f - 30. Is 15 a factor of 495/f - 1/(-2)?
False
Let z(t) = -2*t - 7. Let b be z(-6). Suppose 0 = 4*i + b*y - 15, -3*i = -2*i + 3*y - 2. Suppose -i*o = -0*o - 95. Does 17 divide o?
False
Let f(m) = -m**2 + 5*m + 11. Let a be f(6). Suppose -2*d - x + 226 = 2*d, -4*d + a*x = -238. Does 19 divide d?
True
Let w(b) = 93*b + 117. Is 36 a factor of w(3)?
True
Suppose 140 = 3*f + 4*y, 135 = 4*f + 5*y - 10*y. Suppose s = 3*s - f. Is 4 a factor of s?
True
Let c = -27 + 33. Suppose 0 = 2*n + 9 - 25. Is 11 a factor of 24*(c/n + 0)?
False
Let k = 18 + -16. Let v(o) = -8 + 10 - o**k + 12 - 2*o + 6. Does 20 divide v(0)?
True
Suppose -13*z + 217 = -277. Does 15 divide z?
False
Let x = 1 - -9. Let v be ((-32)/x)/(10/(-100)). Is 11 a factor of v + (-3 - (4 - 8))?
True
Let g = 250 - -23. Does 13 divide g?
True
Let j(z) = 7*z**2 + 0*z**2 + 0*z**2 + 2*z + 143 - 6*z**2. Is j(0) a multiple of 13?
True
Suppose -3028 - 836 = -6*g. Is 14 a factor of g?
True
Is 15 a factor of -1422*6/(-72)*(-20)/(-2)?
True
Does 39 divide (-396 - 1)/((-130)/(-20) - 7)?
False
Suppose 3*q - 415 = 5*c, 4*c - 4*q + 173 + 167 = 0. Let i = -65 + 30. Let y = i - c. Is 14 a factor of y?
False
Let v = -179 + 279. Does 25 divide v?
True
Let j be 1 - -1 - -1 - 1. Suppose j*s - 3*s - 19 = 0. Let a = s + 27. Does 8 divide a?
True
Let k(x) = -3*x + 35. Let r(y) = -3*y + 36. Let f(n) = -6*k(n) + 5*r(n). Let j be f(12). Suppose j*d + 3*o = 4*d + 120, -3*o = -d + 42. Does 18 divide d?
True
Let n be 27/2 + 13/26. Let j = -9 + n. Let h(c) = c**3 - 4*c**2 - 3*c. Is h(j) a multiple of 8?
False
Let s(c) = c**3 + 11*c**2 + 6*c + 5. Let a be s(-5). Let u = a + -73. Is u a multiple of 13?
True
Suppose -3*n + 11 = -2*x, 0 = x + 2*n + 2*n - 22. Suppose -13*a + 826 = -9*a + x*t, -3*a = -3*t - 633. Does 16 divide a?
True
Is -49*(-674)/22 - 74/407 a multiple of 39?
False
Let o(x) = x**3 + 7*x**2 - 13. Suppose t + 6 = -0. Is o(t) a multiple of 4?
False
Let n(y) be the second derivative of y**4/4 + 7*y**3/6 - y**2/2 - 5*y. Let x be n(-5). Let m = x + -1. Does 14 divide m?
False
Suppose -2*k - 5*h + 997 = 0, -4*k - k - 3*h = -2445. Is 27 a factor of k?
True
Let z(t) = t. Let g be z(4). Suppose 0 = g*j - 4*x - 1484, -j + 4*x = 5*x - 369. Does 6 divide j/40 - 1/4?
False
Let w(z) = -z**2. Let h(l) = -10*l**3. Let n(c) = -h(c) - w(c). Let f be n(1). Let r(u) = u**3 - 10*u**2 - 9*u + 11. Does 11 divide r(f)?
True
Suppose 0 = -4*y + 10*y - 18. Is 24 a factor of (y*-8)/(10/(-40))?
True
Let v(s) be the second derivative of -19*s**5/10 - s**4/12 + s**2/2 + 4*s. Let b be v(-1). Let y = b + 16. Is y a multiple of 9?
True
Suppose -5 = z, -13 + 483 = 3*t - z. Suppose -3*y + 6*y + t = j, 860 = 5*j + 2*y. Is 17 a factor of j?
True
Let v = -1347 - -2876. Does 115 divide v?
False
Suppose 524 = 3*r - 256. Is r a multiple of 20?
True
Let f(j) = j - 4*j - 3*j + 8*j - 11. Is 9 a factor of f(10)?
True
Let p(s) = 2*s**2 + 2*s - 11. Let f(o) = -5*o**3 - 2*o**2 + 1. Let w be 126/98 - (-2)/(-7). Let y be f(w). Is 10 a factor of p(y)?
False
Suppose 3*b = 8*b - 50. Suppose -372 = -12*h + b*h. Is 19 a factor of h?
False
Let r be 63 - (1 + (-3 - -2)). Let a = 118 - r. Is 15 a factor of a?
False
Let w(o) = o + 1. Let u be w(-7). Let d be -20*(-1 + u/(-4)). Is (d/15)/((-2)/243) a multiple of 9?
True
Let q(b) = -b**3 - 2*b + 13 + 0*b**2 + b**2 - 7*b**2 + 0*b**3. Does 6 divide q(-6)?
False
Suppose h - 2*i = -4*i + 164, 4*i + 668 = 4*h. Suppose 0*y - 4*y + 2*a = -h, -5*a = -5*y + 215. Is y a multiple of 6?
False
Let u = 62 - 68. Does 15 divide 861/6 + u/12?
False
Is 7 a factor of (-3)/(-7) - (-1)/((-7)/(-8348))?
False
Suppose -16*f + 13*f = -3. Let o be 1*0*f/(-3). Suppose -m + 37 = -5*v, o*m - m = v - 55. Does 13 divide m?
True
Suppose -49 = 3*i - 40, -2*f + 1701 = -3*i. Is f a multiple of 21?
False
Let s be (-1)/(-3 - -2) - 7. Let y = s - -182. Is 11 a factor of y?
True
Suppose 4*l = 2*l - 8, -5*n + 9 = 4*l. Let w(s) = -s**3 + 3*s**2 + 8*s - 2. Let r(h) = -1. Let j(m) = -4*r(m) - w(m). Is j(n) a multiple of 16?
True
Suppose -4*y + 432 = -2*y. Let f = y - 145. Does 18 divide f?
False
Is 4 a factor of (-4 + 6)*1*82?
True
Let o(u) = -4*u**3 - 3*u**2 - 2*u + 2. Let r be o(-2). Let k = r - -14. Suppose -4 = -m + k. Does 11 divide m?
True
Let y(h) be the second derivative of h**5/20 + h**4/4 - 2*h**3 - 9*h. Let c(u) be the second derivative of y(u). Is c(10) a multiple of 36?
False
Suppose -5*k + 193 = a, a = 5*k + 182 + 51. Does 4 divide a?
False
Let z(n) be the third derivative of 7*n**4/12 + n**3/6 - n**2. Let t(f) = f**3 + 23*f**2 - 25*f - 20. Let s be t(-24). Do