e 24/9*(8 + 1)?
True
Let r be 156*(1 - 1/(-3)). Suppose -13*j = 2*j + 75. Is 2/5 - r/j a multiple of 14?
True
Suppose -3*m + 222 = -3*g, -5*m = -2*m - g - 222. Is 13 a factor of m?
False
Let r(t) = 10*t**2 + 2*t - 2. Let n(y) = 19*y**2 + 3*y - 4. Let f(b) = 3*n(b) - 5*r(b). Suppose 3*v + 2 = 2*v. Does 17 divide f(v)?
False
Suppose 0 = 2*y + 2*f - 34 - 4, 4*y + 2*f = 72. Suppose -5*o = -117 + y. Does 15 divide o?
False
Let a = 62 + -37. Suppose -9 + a = 2*t. Is 4 a factor of t?
True
Let l = 35 - 1. Does 7 divide l?
False
Suppose 3*q - 15 = 7*q - 5*h, -2*q = -5*h + 15. Suppose -3*y - 2 + 65 = q. Does 6 divide y?
False
Let l = 2 - -2. Let b be (-5)/4 + 1/l. Is 16 a factor of (-1 + 0)*b - -42?
False
Let u(j) = 2*j**2 - 3*j**2 + 4*j - 3 + 1. Let g be u(3). Suppose -5*n + g + 39 = 0. Is 4 a factor of n?
True
Let o(m) = m**3 + 5*m**2 - 4*m + 1. Let b be o(-6). Let p = 19 + b. Is p a multiple of 4?
True
Let w(u) = -90*u + 27. Let r(j) = 13*j - 4. Let b(m) = -27*r(m) - 4*w(m). Let q be b(5). Suppose q + 6 = 3*k. Is 17 a factor of k?
True
Let h(o) = 6*o - 7. Let p be h(3). Suppose -4*d - p = -291. Is d a multiple of 35?
True
Suppose 3*d - 1464 = -5*d. Is 13 a factor of d?
False
Suppose 49 = 2*o - 65. Is o a multiple of 9?
False
Let q(g) = 7*g - 1. Let b be q(1). Let d be ((-3)/b*0)/1. Suppose d = -l - 1 + 25. Is 12 a factor of l?
True
Suppose -192 = -5*y + 2*y. Is y a multiple of 17?
False
Let q(n) = 2*n**2 - 6*n. Let y be q(4). Suppose 0 = r - 0*r - y. Does 3 divide r?
False
Let w(v) = v**3 + v**2 - 3*v + 3. Is 11 a factor of w(4)?
False
Suppose 3*z = 2*k - 5, 2*k - 9 = z + 6. Suppose -3*s = 2*u + 2*u - 17, 0 = -2*u + k. Does 13 divide (10 - -3) + (s - -1)?
True
Let s be (3/2)/(3/4). Suppose 0 = 5*k + 2*y - 180, 5*k - 180 = -0*y + s*y. Is 18 a factor of k?
True
Let h = -27 - -56. Is h a multiple of 10?
False
Let o = 149 - 89. Is 20 a factor of o?
True
Let h(w) = -w**3 - 7*w**2 + 3*w + 1. Is h(-8) a multiple of 41?
True
Suppose -3*r + 6 = -0. Suppose 29 + 59 = r*g. Suppose 22 = -0*u + 2*u - 4*k, -4*u - 5*k = -g. Is 5 a factor of u?
False
Does 2 divide 5 + (-1 - (-6 - -3))?
False
Let p = 4 - -6. Let w(q) = 10*q - q**2 + 0*q**2 - 2 - 3 + 5*q. Does 17 divide w(p)?
False
Suppose x + 32 = 2*q, -3*x + 2*q - 38 - 74 = 0. Let i = x + 66. Is i a multiple of 13?
True
Is 7 a factor of 21/((-3)/(-9) + 2/3)?
True
Let c be 4/(-8)*2*6. Let t = c + 4. Is (2 + 30/(-4))*t a multiple of 9?
False
Is 46 a factor of 1292/14 + (-18)/63?
True
Suppose -4*z + 2*z + 22 = 0. Let j = -2 + z. Is 9 a factor of j?
True
Suppose -2*f = -7*f + 10. Suppose -f*l + 0*i = -2*i - 42, l + 5*i = 9. Is 5 a factor of l?
False
Suppose 3*b - 8 = -b. Let j be 131/2 + (-1)/b. Suppose 5*c = 25, -a - 3*c + j = a. Is a a multiple of 13?
False
Let y be (-3)/(50/(-56) - -1). Let f = -4 - y. Does 8 divide f?
True
Suppose 0 = -3*s - 0*w - 5*w + 149, s - 50 = -2*w. Does 17 divide s?
False
Suppose -5*c = -c - 16. Let k = 3 + c. Is k a multiple of 7?
True
Let i(q) = -q**2 - 7*q + 3. Let h be i(-7). Suppose 2*t = t + h. Suppose -11 = t*m - 4*m. Does 11 divide m?
True
Suppose -n + 2*z = -33, -5*z = n - 4*n + 98. Let p = n + -18. Is p a multiple of 13?
True
Suppose 0 = 3*h + 3*h - 18. Suppose -h*g + 77 = 17. Is 6 a factor of g?
False
Let x(c) = -c**2 + 10*c + 8. Let t = -9 + 12. Suppose o + 5*h - t = -2, 0 = -3*o + 2*h + 20. Is 19 a factor of x(o)?
False
Let z(x) = x - 5. Let w(u) = 2*u**2 + 5*u + 4. Let s be w(-3). Let v be z(s). Suppose d + 20 = v*d. Is 7 a factor of d?
False
Let y(z) = 6*z**3 - z**2 + z - 1. Let c be y(1). Let v(w) = w + 4. Let i be v(0). Suppose i*k - c*t = 92, -52 = -k - 3*t - 12. Does 14 divide k?
True
Suppose 5*f = 5*p + f - 60, f + 29 = 3*p. Is p a multiple of 8?
True
Let p = -12 + 12. Is (-7)/((-1 - p)/1) a multiple of 2?
False
Let a(p) = p**3 + 12*p**2 + 9*p - 6. Suppose -3*z - z + 5*w - 49 = 0, z = 4*w - 15. Let f be a(z). Suppose f = 4*q - 4. Does 4 divide q?
False
Let a be (-1)/(-3) + (-354)/(-18). Suppose -16 = -5*n - 4*h, 5*h = -5*n - 0*h + a. Suppose 0 = 5*w + 2*o - 103, n = -w - 3*o + 5*o + 23. Is w a multiple of 21?
True
Suppose 77 = 4*h - 51. Is h a multiple of 32?
True
Let i = -6 - -7. Let x = i - -2. Is x even?
False
Let i(z) = z**2 + 3*z - 5. Let q be i(-7). Suppose 5*t - 2*s + 49 = -s, -5*s = -t - 29. Let r = q + t. Is 7 a factor of r?
True
Let o(c) = -c**3 - 6*c**2 + 3*c + 4. Let w be o(-7). Suppose 3*m - w = -m. Let r = 6 + m. Does 6 divide r?
False
Let s(w) = w**2 - 5*w - 12. Let g = 30 - 20. Suppose 2*n - g = 8. Is 8 a factor of s(n)?
True
Suppose 4*r = 1 + 23. Is 3 a factor of r?
True
Let d be (3/2)/(6/(-112)). Let g = d + 32. Is g a multiple of 4?
True
Suppose 0 = 2*m + 3*i - 47, -2*i + 26 = -3*m + 4*m. Does 8 divide m?
True
Suppose -2*p = 3*p - 35. Suppose -4*d - 5*y - p = 0, 19 - 7 = 3*d - 2*y. Suppose z - 42 = -d*z. Does 14 divide z?
True
Suppose 4*m + 72 = -2*a, -38 = -2*a - 5*m - 114. Does 14 divide a/((0 + -3)/3)?
True
Let h(k) = 3*k**3 - 27*k**2 - 8*k - 23. Let v(o) = 4*o**3 - 40*o**2 - 12*o - 34. Let t(z) = 7*h(z) - 5*v(z). Is t(-10) a multiple of 23?
True
Let y(l) = -l**2 + 8*l - 3. Let x be y(5). Does 3 divide x - (-1)/3*-6?
False
Let j be (2 + (-2)/1)/1. Let b(p) = p**3 + p + 44. Is b(j) a multiple of 12?
False
Suppose 2*j + 3*j + 45 = -3*o, 3*o - 36 = 4*j. Does 26 divide 34/((-3)/j*2)?
False
Let k(h) = -2 - 3*h**2 + 9*h**2 + 2 + h. Let r be k(-1). Suppose o = -r*d + 29 + 16, -o - 9 = -d. Does 7 divide d?
False
Let j(d) = -d - 1. Let w(m) = -2*m**2 + 9*m + 11. Let o(q) = -2*j(q) - w(q). Does 23 divide o(8)?
False
Let w = 98 - 39. Does 27 divide w?
False
Let v(f) = -f**2 - 6*f + 5. Let h be v(-6). Let t = -3 + h. Suppose -t*a = 3*a - 140. Is 14 a factor of a?
True
Let c = 33 + -15. Let v = 7 + c. Is 14 a factor of v?
False
Suppose 2*j = -2*r - 2*j + 64, -3*j = 2*r - 62. Is 8 a factor of r?
False
Suppose -3*r + 4*a = -82, -5*a = 4*r - 7*r + 80. Is 7 a factor of r?
False
Suppose 3*s = 163 - 73. Is 10 a factor of s?
True
Suppose 209 = 4*x + 5*t, 4 = 5*t - 21. Does 23 divide x?
True
Let y be (0 + -2 - -3) + -3. Let s = 14 + y. Is s a multiple of 12?
True
Let f(u) = -13*u - 4. Let r be f(-7). Let w = r - 52. Does 13 divide w?
False
Let z = -179 - -352. Is 39 a factor of z?
False
Let z(n) = -8 - 10*n**2 + n + 22*n**2 - 9*n**2. Is 27 a factor of z(-6)?
False
Suppose -192 = -g - g. Let t = -49 + g. Does 22 divide t?
False
Let h(n) = n**2 - 3*n. Is 10 a factor of h(-5)?
True
Let b(y) = y + 5. Let a(v) = -v**3 - 6*v**2 + 3*v. Let i be a(-6). Let s be (-22)/(-3) + (-12)/i. Is 4 a factor of b(s)?
False
Let y be (2 + 0)/(1/(-25)). Let f be (-184)/(-10) - (-20)/y. Suppose -h = -3*h + f. Is h a multiple of 3?
True
Suppose -2*k + 48 = 4*k. Is k even?
True
Let o(z) = 11*z - 3. Let k(d) = -d**3 - 7*d**2 + 9*d + 11. Let f be k(-8). Is 10 a factor of o(f)?
True
Let f(y) = 2*y - 6*y + 2*y. Let x = -1 - 8. Is 16 a factor of f(x)?
False
Let g(k) = k**3 - 9*k**2 - 9*k + 4. Let o(q) = q**3 - 4*q**2 + q + 2. Let h be o(2). Let c be -2 + 10 - (h + 2). Does 7 divide g(c)?
True
Let x be (-146)/(-10) - 8/(-20). Let j = x - 4. Is j a multiple of 11?
True
Let k be 45/6*40/6. Suppose 0*a - 20 = -2*a + 2*u, 3*a + 2*u - k = 0. Is 7 a factor of a?
True
Let l = 5 + -9. Let r be (-156)/27 + l/18. Let z(v) = 2*v**2 + 10*v + 6. Is z(r) a multiple of 14?
False
Suppose 6*w - 706 = -34. Is 7 a factor of w?
True
Suppose 4*s = -0*s + 44. Let l be (21/14)/((-3)/8). Let n = l + s. Does 7 divide n?
True
Let u = -19 - -35. Does 8 divide u?
True
Suppose f = -j + 78, 0 = -5*j + 4*f - 3*f + 390. Does 26 divide j?
True
Suppose -116 = -z + 61. Is 59 a factor of z?
True
Let f(i) = 2*i**2 + 22*i - 42. Is 27 a factor of f(-17)?
True
Let v = 123 + -42. Let m = v + -39. Does 14 divide m?
True
Suppose 2*m - 32 = 5*l, 3*m - 4*l = 57 + 5. Let d = m + -37. Let w = d + 20. Is 9 a factor of w?
True
Suppose 3*x = 2*x. Suppose x = 3*c - 29 - 55. Is 14 a factor of c?
True
Let t be 3/((-9)/(-60)) - -2. Suppose 3*l - y + 6*y = 87, 4*y - t = -l. Is 12 a factor of l?
False
Let b(t) = -3*t**3 - 2*t - 1. Let c be b(-1). Let o(a) = -62*a + 10. Let k be o(7). Does 21 divide k/(-10) - c/10?
True
Let r(l) = 52*l - 1. Does 29 divide r(2)?
False
Let o be (7 + -2)*1/1. Suppose p - o*l + l + 6 = 0, p = l. Suppose -2*j - p*j = -68. Do