(24/10)/(c*(-6)/60)?
True
Let m(v) = -v**2 - 20*v - 22. Let f be m(-18). Suppose -2*o + g = -312, f*o - 9*o - 750 = -5*g. Is 14 a factor of o?
True
Let k(g) = -14*g**2 - 7*g - 4. Let u(o) = -13*o**2 - 7*o - 5. Let z(j) = 2*k(j) - 3*u(j). Is z(-4) a multiple of 32?
False
Suppose -8 = -2*o - 0*o + 2*b, -4*o + b = -1. Let u(i) = -7*i**3 + i**2 - i - 1. Let c be u(o). Suppose 0 = -l - 0 + c. Is 4 a factor of l?
True
Suppose 4*y - 4*w - 1800 = 0, -20*y + 4*w - 930 = -22*y. Is 35 a factor of y?
True
Suppose -30*u + 2804 = -2596. Is 15 a factor of u?
True
Suppose -3087 - 3266 = -3*v + 4*l, -2 = l. Is v a multiple of 11?
False
Let o(a) = -31*a. Let l(v) = v + 1. Let u(n) = -2*l(n) + 2*o(n). Let s be u(1). Let t = 6 - s. Does 24 divide t?
True
Let s(h) = -h**3 + 9*h**2 + 2*h - 2. Let y(r) = -r**3 + r**2. Let a(g) = -s(g) + 4*y(g). Is 22 a factor of a(-3)?
True
Let w(f) = -f**2 - 5*f + 43. Is 3 a factor of w(-9)?
False
Let o = 99 + -53. Let q = o + -26. Does 2 divide q?
True
Let v(m) = -17*m - 16. Let j be v(-5). Let w = j - 22. Is 14 a factor of w?
False
Does 6 divide (-3884)/(-24) - 30/36?
False
Let j be -2*(3/(-6) + -1). Suppose 0 = v, -m - j*v - 2*v + 6 = 0. Is 3 a factor of -2*(0 - m/4)?
True
Let c = -78 + 329. Is c a multiple of 58?
False
Suppose 8*f = 6*f - 8. Let y be f + 6 + 0 + 79. Suppose -22*i + y = -19*i. Is 13 a factor of i?
False
Let u(y) = -y**3 - 3*y**2 + 7*y - 27. Is 18 a factor of u(-9)?
True
Let w be 10/3*(-36)/24. Let i be w/(-3) - 2/(-6). Suppose 3*y + 5*r = 4*y - i, -5*y + 110 = -5*r. Is y a multiple of 27?
True
Suppose -3*y + 136 = 5*f - 2, 141 = 3*y + 4*f. Suppose -2*v - 2*n + 138 = 0, -279 = -3*v + 4*n - y. Does 12 divide v?
True
Let y(n) = 16*n - 69. Let h be y(23). Suppose -4*m + 5*o + 212 = -2*m, -h = -3*m - 2*o. Is 8 a factor of m?
False
Suppose 25 - 605 = 5*w. Does 12 divide w/10*20/(-8)?
False
Let j(f) = f**3 - 8*f**2 - f + 11. Let l be j(8). Suppose 2*y = l*y - 2. Is 2 a factor of (-5)/(-30)*y*39?
False
Let p = 12 - 11. Let v(f) = 2*f**2 + 4*f - p + 1. Is v(-4) a multiple of 6?
False
Suppose 8*c - 16 = 4*c. Let o(m) = -m**3 + 4*m**2 + 3. Let j be o(c). Suppose -200 = -j*x - 2*x. Does 10 divide x?
True
Let b(j) = j + 1. Let p(o) = -2*o + 6. Let l(i) = 5*b(i) - p(i). Let r = 4 - 3. Does 4 divide l(r)?
False
Suppose -3*q + 0*r + 9 = -3*r, -3*r - 9 = 0. Does 6 divide q - (3/2)/((-6)/248)?
False
Suppose 3*x + 4*r - 2052 = 0, 0 = -3*x + 15*r - 18*r + 2052. Is 36 a factor of x?
True
Suppose 0 = 3*a - 5*y - 142, 11*a - 4*y = 8*a + 140. Is 2 a factor of a?
True
Suppose 3*f + 5*v + 19 = 4*f, 4*f - v = 38. Suppose -4*t - 1 + f = 0. Is (-58)/((-5)/20*t) a multiple of 29?
True
Let i be (-3 + 4)/(3/(-180)). Let y = i + 84. Is y a multiple of 12?
True
Suppose -5 = -2*c + 9. Let t(u) = -u + 1. Let p be t(c). Does 24 divide (p/(-4))/((-5)/(-90))?
False
Suppose 52 = 3*f - 4*x + 204, -3*f = 3*x + 159. Let s = -9 - -25. Does 13 divide -2*2/(s/f)?
True
Suppose p + 291 - 811 = 0. Does 52 divide p?
True
Let p(f) = -f**3 + 4*f**2 + 7*f - 2. Let r be p(6). Let b be 12/16 - (-166)/(-8). Let m = b - r. Is 6 a factor of m?
True
Let x(v) = -v**2 + 11*v - 19. Let a be x(8). Does 10 divide (-16)/(-4)*a/1?
True
Let z(d) = 7*d**3 + 15*d**2 + 12*d + 11. Let y(x) = -19*x**2 + 6*x - x**3 + 4*x**3 + 5 + 26*x**2. Let r(o) = -9*y(o) + 4*z(o). Is 9 a factor of r(5)?
False
Let u be (-1 + 3 - 8)/(-2). Suppose 4*z = -4*r + 136, u*r - 11 = -z + 93. Does 9 divide r?
False
Suppose 2*p + 493 = 3*l, 5*p = 2*l + 2*p - 337. Is 7 a factor of l?
True
Suppose -g - 1341 = -2*f + 2225, -3*f - 3*g + 5367 = 0. Does 23 divide f?
False
Let s(p) = 2*p - 7. Let f = 18 + -13. Let u be s(f). Suppose -u*h = -2*m - 2*m - 127, -2*h - m + 70 = 0. Is 16 a factor of h?
False
Suppose 7*u = 13*u + 156. Let z = -10 - u. Does 3 divide z?
False
Let f = -17 + 22. Let n = 73 + f. Is 29 a factor of n?
False
Let j(t) = 2*t**3 - 3*t**2 - 11*t + 9. Is 9 a factor of j(4)?
True
Suppose -3280 = -4*q + 4*h, 1 = 4*h + 5. Is 35 a factor of q?
False
Let q = -570 - -576. Is 3 a factor of q?
True
Let q(s) = -428*s - 404. Is 54 a factor of q(-7)?
True
Suppose 3*j - 2*m - 174 = j, 3*j + 3*m - 279 = 0. Is 7 a factor of (j/(-25))/(4/(-10))?
False
Let c(u) = 8*u - 3 + u**2 + 0*u + 0. Let n be -14 - ((-4 - -7) + -6). Is 8 a factor of c(n)?
False
Suppose 0 = -7*u + 280 - 28. Does 2 divide u?
True
Let x = 415 - 240. Suppose 16 = -4*d, 0*r = -r + 5*d + 144. Let n = x - r. Does 26 divide n?
False
Let k = 6 - 18. Let b be ((-3)/12)/(3/k). Is 15 - 1 - 0 - b a multiple of 7?
False
Let q(k) be the third derivative of -k**7/5040 + k**6/48 + 2*k**5/15 + 6*k**2. Let r(h) be the third derivative of q(h). Is r(-12) a multiple of 9?
True
Let o be (-199)/(-7) + ((-20)/7)/(-5). Suppose -7*u + o = -34. Is u a multiple of 3?
True
Let l(i) = -i**2 + 60*i - 180. Is l(50) a multiple of 15?
False
Let p(i) = -9*i + 8. Suppose 0 = 3*o - f + 35, o - 2*f = -0*o - 20. Let x be p(o). Let r = x - 65. Does 8 divide r?
False
Let h(i) = -17*i - 9. Let z be (-30)/(-4)*(-2)/3. Let j be h(z). Suppose 0*c + c + 132 = 5*r, -3*r - c + j = 0. Does 8 divide r?
False
Let x(d) = 4*d**2 + 12*d - 14. Does 24 divide x(-10)?
False
Suppose -10*f = -15*f. Suppose 2*g - 160 - 72 = f. Does 29 divide g?
True
Let m(v) = 6*v**2 - 3*v - 4. Let g be m(-1). Suppose g*l = -0*l + 495. Does 11 divide l?
True
Suppose -1 = o + 7. Let n = 28 - o. Let k = 49 - n. Is 3 a factor of k?
False
Suppose 80*a - 81*a = -391. Does 23 divide a?
True
Let b be (-12)/(-18) + (-116)/(-6). Let t = b + -17. Does 33 divide t/7 + (-2796)/(-42)?
False
Let j be (-1)/(3/3) - -10. Suppose -t + 11 = 2*u, -u + 0*u = -5*t + 44. Is 200/j - 2/t a multiple of 11?
True
Suppose 18*m = 4885 + 5987. Is 37 a factor of m?
False
Suppose -8*x + 13*k + 13185 = 8*k, 9 = 3*k. Does 33 divide x?
True
Is 9 a factor of (-171)/38*12/(-9)*89?
False
Suppose 3*v - 4 = v, -4*k + 26 = 5*v. Suppose -6 - 14 = -k*t. Let n(l) = 18*l - 9. Is 31 a factor of n(t)?
False
Let h(u) = u**3 + u**2 - 6. Is h(6) a multiple of 7?
False
Let f = 15 - 25. Let g be (-16)/f + 4/10. Suppose 24 = g*w + 4*w. Is w even?
True
Suppose u = 5*f - 87, 4*u + f = -233 - 10. Let t = u - -94. Does 3 divide t?
False
Suppose -56*d + 59*d - 201 = 0. Does 2 divide d?
False
Let z = 837 - 354. Does 21 divide z?
True
Let j = -706 - -1201. Is 11 a factor of j?
True
Let j(f) = 49*f**2 - f. Suppose 4*v - 3*l + 5 = -5, 0 = 4*l - 8. Is j(v) a multiple of 20?
False
Suppose -11*f = f - 1872. Is f a multiple of 12?
True
Let b(a) = -a**2 - 15*a - 11. Suppose 4*i - i = -36. Does 5 divide b(i)?
True
Let a be 21 - 17 - (0 + 1). Suppose 0 = -w - 4, -492 = v - 5*v + a*w. Is v a multiple of 15?
True
Let f(t) = -2*t**3 + 84*t**2 - 80*t + 27. Is f(41) even?
False
Suppose 35*b - 49456 = 13*b. Is 4 a factor of b?
True
Let z(d) = 3*d - 84. Is 57 a factor of z(47)?
True
Suppose 3*c = -4*y + 2119, -2*c = 8 - 18. Is y a multiple of 16?
False
Suppose -4*v = -2*h + 222, -270*v + 15 = -273*v. Does 13 divide h?
False
Suppose 0 = -o - 1, -q + 3*o - 42 = 4*q. Let i be ((-6)/(-18))/((-1)/q). Suppose 132 = -i*j + 7*j. Is j a multiple of 11?
True
Suppose -5*i = c - 69, 2*c - 5*i = 7*c - 365. Is 25 a factor of c?
False
Let l(a) = 11*a - 3. Let z be l(-3). Let x = -12 - z. Is 16 a factor of 120/(-18)*x/(-10)?
True
Suppose -h + 1152 = -68*w + 70*w, -2*w + 1152 = -2*h. Does 48 divide w?
True
Let b(g) = -g**3 + 13*g**2 - 6*g + 16. Let i(z) = -3*z - 12. Let y be i(-8). Is 22 a factor of b(y)?
True
Let x(a) = a**3 - 22*a**2 + 12*a + 23. Is x(24) a multiple of 13?
False
Let o = 53 - -80. Suppose o*u - 130*u - 39 = 0. Does 13 divide u?
True
Let k(g) = -g**3 + 7*g**2 + g - 3. Suppose u + 2*u = 15. Is k(u) a multiple of 13?
True
Suppose -10*x + 5 = -9*x. Suppose 4 = v - 4*a + 21, x*v = 3*a. Suppose v = -3*s, 5*z - 4*z - 41 = s. Is 10 a factor of z?
True
Let l(u) = -41*u + 409. Is l(6) a multiple of 2?
False
Let f = -4769 + 8463. Is f a multiple of 146?
False
Let s = 2725 + -1935. Is 43 a factor of s?
False
Let y = -14 + 16. Suppose -5 = y*a - 3. Does 17 divide a/(203/68 - 3)?
True
Let s be (-161)/(-35) - (-6)/(-10). Suppose -s*h + x = -659, -h - 357 = -3*h - 5*x. Suppose -h = f - 3*f. Is 19 a factor of f?
False
Let v(t) = -t**3 - t**2 - 1. Is 2 a factor of v(-2)?
False
Suppose 3*o = 2*o + 6. Suppose o