ultiple of 27?
False
Suppose -13*z = -43 - 100. Is 3 a factor of z?
False
Let o = 131 + -95. Suppose 148 = 3*t - 5*m, 2*t + o = 3*t - 5*m. Is t a multiple of 7?
True
Let a(y) = y**3 - 10*y**2 + 9*y + 6. Let i be a(7). Let h = 162 + i. Does 14 divide h?
True
Suppose 288 = 4*n - 312. Let c = n + -60. Suppose 2*x = -0*x + c. Does 10 divide x?
False
Let v(x) = x - 7. Let z be v(5). Let y(h) = -13*h**2 - h + 1. Let t be y(z). Let q = t + 69. Is q a multiple of 5?
True
Suppose -2*d - 1 = -9, 2*c = 4*d - 24. Is (-182)/c + (-2)/4 a multiple of 9?
True
Suppose 6*h - 2*h = h. Suppose h = -5*r - 20, -2*p + 0*p - 4*r + 26 = 0. Does 4 divide p?
False
Suppose -32 = -2*l - 0*l. Let j(c) = c**3 - 16*c**2 + 4*c - 12. Is 13 a factor of j(l)?
True
Let c(t) = t**3 + 18*t**2 - 19*t + 40. Let n be c(-19). Suppose 6*y = 11*y - n. Does 8 divide y?
True
Let g(t) = 3*t**2 + 16*t - 26. Let n be g(-11). Let l = n - 83. Is l a multiple of 15?
False
Is 4*-32*(-5 + -31 + 15) a multiple of 96?
True
Let k = 1545 + -585. Is k a multiple of 32?
True
Suppose 0 = -i - 0*i + 58. Suppose -i = -s - 2. Is s a multiple of 14?
True
Let y = -867 - -2156. Does 11 divide y?
False
Let u be (-12)/(-42) - -47*(-22)/(-7). Suppose 2*l = -4*p + 7*p - 432, -2*l = -p + u. Is p a multiple of 9?
False
Does 4 divide (-15*20/250)/((-6)/2140)?
True
Suppose 6 = 2*w, -4*u - w = -5*w + 60. Is -21*((-34)/12 - (-6)/u) a multiple of 28?
False
Let m(p) = -p + 10. Let d be m(10). Suppose 15 = -5*v - d. Is 16 a factor of (8/(-6))/(v/36)?
True
Suppose 4*t - 4*n = 20 + 4, 0 = -5*t - 2*n + 16. Suppose -t*c = -119 - 145. Is c a multiple of 11?
True
Suppose -2*i = 3*a - 5, -3*i - 8 = -4*a - 41. Let k(o) = o - 3. Does 4 divide k(i)?
True
Suppose d + 10 = 9. Let a(m) = -25*m**3 - 2*m**2 - m. Let x be a(d). Let g = x - 8. Does 15 divide g?
False
Let a = -49 - -47. Suppose f + 4*f - 245 = 3*b, -3*f - 77 = b. Does 13 divide a/(-8) - 5580/b?
False
Let h(v) = -v**3 + 9*v**2 - 9*v + 13. Let c be h(8). Let g = 2 + c. Is g a multiple of 2?
False
Suppose 0 = -g + 3*l, 0 = -7*g + 3*g - 4*l + 16. Let y be (g + -6 - -2) + 267. Does 9 divide (-2)/(-5) + y/10?
True
Let a = 27 - 23. Suppose -a*c + 82 = 3*v - 2*v, -5*c + 3*v = -111. Is c a multiple of 3?
True
Suppose 5*s = 5*t - 9850, -4*s + 1201 + 4688 = 3*t. Is t a multiple of 9?
False
Suppose 4*h = 5*p - p - 3116, 0 = -3*p - 2*h + 2347. Does 9 divide p?
False
Let r be (-63)/(-42)*(0 - 228). Let s be r/(-5) + 18/(-45). Let m = s - 34. Is 17 a factor of m?
True
Suppose 5*u = a + 1 - 9, 15 = 5*a. Let o = 4 + u. Suppose d = k + 43, -3*d + 6*d = -o*k + 135. Does 22 divide d?
True
Let a be ((-38)/(-10) - 1)/(2/5). Suppose 224 = a*l + 28. Does 7 divide l?
True
Suppose -d = 3*o - 14, 2*o - 3*d + 3 = -2*o. Is 2/(o/3 - 161/163) a multiple of 30?
False
Let p(h) = 4*h**2 + 27*h + 118. Does 28 divide p(-13)?
False
Let w(s) = -9*s**2 + 8*s - 16. Let b(z) = 5*z**2 - 4*z + 8. Let h(c) = 11*b(c) + 6*w(c). Is h(7) a multiple of 22?
False
Let a(i) = 222*i - 12. Is 55 a factor of a(6)?
True
Suppose o = 5*o + 52. Let x = o + 52. Suppose 3*q - x = 15. Is 13 a factor of q?
False
Suppose 461 = 7*p - 5*p + 3*z, -p = z - 232. Is 3 a factor of p?
False
Let g = -5 - 25. Let k = 6 + -9. Is (g/(-25))/(k/(-50)) a multiple of 6?
False
Let d(w) = 11 + 0*w**2 + 3*w**2 - 10*w**2 + 2*w + 3*w**3. Does 9 divide d(4)?
True
Suppose -3*p = -3*f + 1320, -f + 5*p - 127 = -567. Does 88 divide f?
True
Is (188/517)/(4/374) a multiple of 2?
True
Let g(u) = 3*u**2 - 9. Suppose -15*h - 70 = -5*h. Is g(h) a multiple of 46?
True
Suppose 0 = 89*a - 85*a - 1680. Is a a multiple of 15?
True
Suppose 141 = 4*j - 2*c + 3*c, 3*j = 4*c + 120. Let f = 17 + j. Let z = 108 - f. Does 11 divide z?
True
Suppose 2 = k + t, 8 = 4*k + 2*t + 3*t. Let u(s) = s**2 - 3*s + 6. Let q be u(2). Suppose -2*n - 2*z + 60 = k*z, q*n + 4*z - 124 = 0. Does 8 divide n?
True
Let y(n) = 56*n**2 - 21*n + 34. Does 29 divide y(3)?
False
Let c be 103/(-6) - 3/(-18). Let s = 25 + c. Does 3 divide s?
False
Suppose 3*t - 5*m = 68, 0 = -0*m - m + 5. Is t even?
False
Let h = -6 + 16. Suppose a - h = 5*z, 7 = 3*a - 4*z - 34. Suppose 0 = a*k - 17*k + 52. Is 13 a factor of k?
True
Let z(q) = -13*q + 278. Is z(0) a multiple of 35?
False
Let x be (-3 + (-27)/(-6))*12. Let d = x - 13. Suppose 0 = -5*q - 0*i + i + 171, -d*i = 5*q - 195. Is q a multiple of 7?
True
Let i be 1*-1*(-45)/5. Does 16 divide i/15*1 + (-254)/(-10)?
False
Let p = 1507 - 743. Is p a multiple of 22?
False
Let p(k) = -405*k - 65. Is p(-3) a multiple of 10?
True
Let x(r) = r**3 - 6*r**2 - r + 7. Let d be x(6). Suppose 215 + d = 3*p. Does 12 divide p?
True
Suppose 0 = 5*o + t - 9 - 0, 0 = 4*o - t - 9. Suppose -291 = -o*a - a. Let q = a + -47. Does 17 divide q?
False
Let z(t) = -t**2 + 8*t. Suppose -3*u = -h - 4, -2*h + 4*u = 3*h - 24. Let i be z(h). Suppose 0*b + 5*b + 210 = 5*k, i = -3*k - 5*b + 86. Does 32 divide k?
False
Suppose -4*h = -2*h - 8. Suppose r + 20 = -5*p + h*r, 5*p - 5*r = -30. Does 21 divide (18/12)/(p/(-42))?
True
Let b(t) = t**3 - 5*t**2 - 8. Suppose 15 = j - 0*j. Suppose -5*o + 15 = -j. Is 8 a factor of b(o)?
False
Let t be (-30)/12 + 3/(-2). Let g(b) = -4*b**3 - 9*b**2 - 2*b - 7. Let r(w) = -7*w**3 - 17*w**2 - 5*w - 15. Let n(x) = 5*g(x) - 3*r(x). Does 9 divide n(t)?
False
Let w(t) = -t**2 - 10*t - 14. Let h be w(-8). Let i(j) = -h + 3*j + 5*j**2 + 3*j - 4*j + 5*j. Is i(3) a multiple of 21?
False
Let a(l) = -4*l - 1. Let y(k) = -k**2 + 8*k + 5. Let i be y(8). Suppose i = -q - 4*q. Is a(q) even?
False
Suppose -103 = -5*z - 3. Let f = z - 18. Does 3 divide (1 - -11)*2/f?
True
Let d(w) = w**2 + 4*w - 12. Let p be d(-6). Suppose 4*t + 0 - 20 = p. Suppose 0 = 4*q - t*m - 341, 2*q + 3*m - 138 = -m. Does 19 divide q?
False
Let x(g) = -19*g - 11. Let m(i) = -i**3 - 10*i**2 - 16*i - 4. Let p be m(-8). Does 27 divide x(p)?
False
Let v(y) = -y**3 - 5*y**2 + 5*y - 2. Let f be v(-6). Suppose 5*k - 195 = 5*h, -k - 11 + 47 = -f*h. Is k a multiple of 5?
True
Suppose 4*q - 12 = 0, 3*z + 5*q = -3 - 3. Is z - -4 - (-3 + -38 - 0) a multiple of 22?
False
Let v(p) = -5*p**3 + 2*p**2 - 2*p - 1. Is 19 a factor of v(-2)?
False
Is 12 a factor of 16 + -14 + 67/1?
False
Let i(o) = 47*o + 5. Let d be i(5). Suppose -4*y = -0*y - d. Is 15 a factor of y?
True
Let f be -1 - (-2 + 2) - -9. Is 14/2*(-4 + f) a multiple of 17?
False
Suppose -5 = 3*s - 14. Suppose 5*d - 120 = -w, s*w - 125 = -3*d + 199. Is 21 a factor of w?
True
Let q(g) = -13*g**2 - g + 2. Let k be q(1). Does 31 divide (93/k)/((-2)/8)?
True
Suppose 4*i = -4*u + 2*u + 200, 3*u + i = 320. Suppose -10 = -2*j, -b + 3*j = -0*b + 12. Suppose 0 = -4*p + 4*s + u, 2*s - 69 = -b*p - s. Is 21 a factor of p?
False
Suppose q - 3*q + 8 = 0. Suppose -3*c = -5*h + 1, -q*h = 5*c + 12 - 35. Suppose 4*m = -5*j + 125, 2*m + 48 = c*j - m. Does 7 divide j?
True
Suppose -d - 5*m + 457 = 0, 0 = -9*d + 4*d - 3*m + 2175. Does 27 divide d?
True
Let x = -967 - -3133. Does 86 divide x?
False
Let b be 6/(-48) - (-1)/8. Suppose -t - t + 4 = b. Does 6 divide (t/(-4))/((-7)/84)?
True
Suppose 6*j - 2*j = 612. Let z = -65 + j. Is z a multiple of 22?
True
Let d(a) = -a. Let g(t) = -t**2 + 9*t - 2. Let z(i) = d(i) + g(i). Let o be z(7). Suppose 4*r - 64 = -4*x, o*x - 78 = -5*r + r. Is 7 a factor of x?
True
Suppose 16*q + 10 = 18*q. Suppose -5*m + q*k = -0*m - 190, 148 = 4*m - 2*k. Is 15 a factor of m?
False
Let v = -44 + 39. Is 46 a factor of v - (1 + -3 - 279)?
True
Suppose 2*p - 401 = 5*f, 3*f + 120 = -2*p + 497. Is p a multiple of 11?
False
Let l(v) = 205*v + 26. Does 11 divide l(1)?
True
Suppose z = 25*z - 15936. Is z a multiple of 10?
False
Let j = 234 - -268. Is j a multiple of 21?
False
Let u = 864 + -383. Does 88 divide u?
False
Let b(x) = -5*x**3 - 6 - 5*x**2 - 22*x + 8*x**3 + 30*x. Is 18 a factor of b(3)?
True
Let d = 154 + -45. Is 2 a factor of d?
False
Let x = -192 - -392. Is 3 a factor of x?
False
Let b = -56 - -53. Let l(d) = -d**3 + 6*d**2 + d + 3. Let u be l(5). Let i = u - b. Does 13 divide i?
False
Let h(r) = r**3 + r**2 - 4*r + 3. Let s be h(2). Suppose 56 = -s*d + 9*d. Suppose 17 + d = 5*v. Is 8 a factor of v?
False
Suppose 4*h - 152 = -2*b, -3*b - h = 2*h - 231. Is b a multiple of 5?
False
Let z = 203 - 292. Let b = 54 + z. Is 35 a factor of 7/b - 351/(-5)?
True
Suppose