se
Suppose -10 = v - 3*p - 0*p, 5*v + 4*p = 26. Suppose -4*y = -4, -122 = -2*a + v*y + 2*y. Let s = a + -21. Is s a multiple of 14?
True
Let i be (15/20)/(1/16). Let t(m) = m**3 - 12*m**2 - 5*m - 14. Let p(y) = -y**3 + 12*y**2 + 6*y + 15. Let x(d) = -2*p(d) - 3*t(d). Does 10 divide x(i)?
False
Let x = 2108 + -938. Does 9 divide x?
True
Let g(j) = 2*j**2 - j + 11. Let n be g(-4). Let o = n + 47. Is o a multiple of 16?
False
Suppose -4*j - 19 = -51. Let v = j - -10. Is v a multiple of 13?
False
Let w = 1113 - 642. Does 16 divide w?
False
Let q(l) = 4*l - 36. Let u be q(19). Let w = u + -3. Is 9 a factor of w?
False
Suppose 5*r = 3*p - 1, 3*r = 3*p + 2*r - 5. Suppose -l = 5*k + 18, 7*l - 40 = p*l + k. Is l a multiple of 4?
False
Let r(x) = 58*x - 12. Let m be r(4). Let k = m + -145. Is 22 a factor of k?
False
Let s(y) = -y**3 + 8*y**2 - 8*y + 7. Let a be s(7). Suppose 2*w + a*l = 3*l + 227, -w - 4*l = -86. Suppose 0 = -5*m - 10, 3*r = 4*m + m + w. Does 17 divide r?
False
Let x = -402 - -1643. Suppose 735 = 3*z + 3*l, -z + x = 4*z - 3*l. Does 19 divide z?
True
Suppose -b - 11 = 5*u, -2*u = 6*b - 2*b - 28. Suppose 0*y = 3*y - b. Let i = y - -6. Is 9 a factor of i?
True
Let f be (10/(-30))/(-2*(-3)/36). Let b(l) = -l. Let h(d) = -4. Let j(x) = 2*b(x) - h(x). Is j(f) a multiple of 4?
True
Let i be -8*(0 + (-6 - -3 - -2)). Suppose i*r = 52 + 108. Is r a multiple of 11?
False
Let g = -59 + 58. Let j(z) = 29*z**2 + 2*z + 2. Is j(g) a multiple of 6?
False
Is 10 a factor of 18/99 + (-7692)/(-44)?
False
Suppose 0 = 3*t + 3*m - 5520 - 456, 4 = m. Is t a multiple of 71?
True
Suppose -25*s + 27*s + 3*f - 650 = 0, -666 = -2*s + 5*f. Does 49 divide s?
False
Let c be (-3)/((-9)/(-102)) - 3. Let s = c - -53. Is s a multiple of 8?
True
Let d be (-3 - -4) + 3 + -6 - 0. Is 11 a factor of (((-702)/(-24))/(-9))/(d/16)?
False
Let o(r) = -6*r**3 - 4*r**2 - 4*r - 2. Let s = 0 - -1. Let p be s/(3/(-12)) - -2. Is o(p) a multiple of 19?
True
Let q be -3 + (4 - 4) + 13. Let v be (-400)/6 + q/15. Let g = 126 + v. Is g a multiple of 13?
False
Suppose -4*c = 3*d + 6, 4 - 12 = 4*d - 5*c. Let x(k) = -k - 2. Let o be x(d). Suppose 5*a - 5*t - 75 = -0*t, o = -3*a - 4*t + 17. Is 11 a factor of a?
True
Let z(y) = y**2 + 2*y - 31. Let r(f) = -f**3 - 19*f**2 - 18*f + 6. Let l be r(-18). Is 10 a factor of z(l)?
False
Let f(l) = l**3 - 4*l**2 - 7*l. Let y be f(6). Suppose x - y = -3*t - 2*x, 0 = -5*t - 3*x + 60. Is t a multiple of 15?
True
Suppose l = 2*l - 1. Let v be l/3 - 644/(-12). Suppose 2*s - v = -2*q, s - 79 = -3*q - s. Is q a multiple of 5?
True
Let j = 1781 + -1202. Is j a multiple of 23?
False
Let w(q) = 158*q + 10. Is 56 a factor of w(1)?
True
Let f(b) = 2*b**3 - 3*b**2 - 3*b - 3. Let n be f(4). Is 12 a factor of 7420/n + 3 - (-4)/(-26)?
False
Let q = 10 - 17. Let r be (-7)/2*4/q. Is 15 a factor of 24*(r - (-1)/(-1))?
False
Suppose -2*u + 4*a = 2, -u - 3*a + 4 = -0*u. Is 21 a factor of (1 - 2/1) + 126 + u?
True
Suppose 0 = -6*f + 3*f + 2*z + 4, 4*z = 4*f - 8. Let j = 15 - f. Suppose 125 = 4*l - j. Is 9 a factor of l?
False
Suppose -y - 9 = 12. Is (-14)/(-49) - 981/y a multiple of 19?
False
Let x = -47 - -56. Suppose x*w - 4*w = 360. Is 24 a factor of w?
True
Is 9 a factor of 9*234*7/14?
True
Let d be (776/16)/(-2 - (-15)/6). Let u = d + -58. Does 2 divide u?
False
Let p = -84 + 189. Let o = -66 + p. Does 12 divide o?
False
Suppose -30*j + 1925 = -23*j. Is 5 a factor of j?
True
Let r(h) = 108*h - 42. Is r(4) a multiple of 39?
True
Let h(u) = -23*u + 2. Let d be h(1). Let p = d - -44. Is 13 a factor of p?
False
Suppose g = -g - 70. Let f = -294 - -166. Let w = g - f. Is 20 a factor of w?
False
Suppose 5*b = -3*h - 555, -5*b + 2*b = -h - 199. Let k = -120 - h. Is 16 a factor of k?
False
Suppose 5*d - 5*l - 175 = 0, 4*d + 2*l - 154 = -l. Does 20 divide d?
False
Suppose 5*i = 2*i + c + 1513, c = 5*i - 2521. Is 72 a factor of i?
True
Let a(h) = -h**3 - h**2 + 7*h + 6. Let o be a(-3). Suppose 6 = o*x - 6, -2*x = 4*q - 168. Is 20 a factor of q?
True
Let g(t) = -8*t + 17. Let w be g(-8). Let x = 113 - w. Does 14 divide (x/12)/4*123?
False
Let k be -2*2/((-8)/10). Let p be 3/(-1 + -2) - -7. Suppose k*o + p*u = 4*u + 202, 4*u - 110 = -3*o. Is 14 a factor of o?
True
Let n(h) = -h**3 + 9*h**2 - 6*h + 20. Let x be 12 - (-16)/(-1 + -3). Is 36 a factor of n(x)?
True
Let c(o) = 2*o**3 - 62*o**2 + 8*o - 134. Is c(31) a multiple of 6?
True
Let r(j) = 13*j**3 - 5*j**2 + 22*j + 4. Does 47 divide r(3)?
True
Let w = -63 + -30. Let v = 155 + w. Is 12 a factor of v?
False
Is 12 a factor of 1*-30*62/(-4)?
False
Let v be (1 + 0)/1*-1. Does 16 divide (9*(-13 + 7))/(2/v)?
False
Let c = 192 - 89. Does 33 divide c?
False
Suppose 0 = -5*s - 3*t + 5869 - 1822, -4*s - t = -3239. Is 81 a factor of s?
True
Suppose 3*k + d = 2*k + 1638, 3*k + 2*d = 4914. Is k a multiple of 91?
True
Let d(o) be the first derivative of o**4/4 + 2*o**3/3 + 12*o + 19. Is d(5) a multiple of 11?
True
Let j = 304 - 159. Is 11 a factor of j?
False
Let o be (-9)/((18/124)/(-3)). Let j = o - 100. Is j a multiple of 27?
False
Suppose -2*y = 5*a - 4484, y - 192 = -5*a + 2060. Is 4 a factor of y?
True
Let i = 110 - 58. Let p = 92 - i. Is 8 a factor of p?
True
Suppose -2*g = -3*c - 324, 4*g + g - 5*c = 810. Let u = 176 + g. Is 13 a factor of u?
True
Suppose -2*i + 8 = o - 0*i, 5*i = 20. Suppose 3*z - 6 = y, 4*z = -o*y + y + 7. Is 13 a factor of y/7 + 658/49?
True
Let v be 0 - -3 - (-1 + 1). Suppose 0 = -b - v*b + 8. Is b/6 - (-114)/9 a multiple of 13?
True
Let q = -927 - -1334. Is 15 a factor of q?
False
Let q(h) = -h**2 + 6*h - 13 + 24*h - 11. Is q(26) a multiple of 10?
True
Suppose 0 = -i + 4*n - n + 5, -4*i + 3*n - 16 = 0. Is 176 - (3 + i) - 5 a multiple of 14?
False
Let t(d) = -d**3 - 27*d**2 + 5*d - 49. Is t(-28) a multiple of 28?
False
Let l = 236 + -128. Does 4 divide -8*(-2)/2*l/24?
True
Let g = -17 - -13. Let y(l) = -l + 1. Let t be y(g). Does 17 divide (t/(15/(-102)))/(-1)?
True
Suppose 4*p = -4*j + 2*p + 708, -5*p + 545 = 3*j. Is j a multiple of 9?
False
Suppose -27 = -5*a + 213. Suppose 7*q - 22 = a. Is 2 a factor of q?
True
Let n = 501 - -705. Is 6 a factor of n?
True
Suppose 2*q + 3*m - 1 = 0, q - 2*m + 10 + 0 = 0. Is 9 a factor of 90/(-2 + (-12)/q)?
True
Let w be ((-24)/10)/(2/(-10)). Let o = -22 - -22. Let k = w + o. Is k a multiple of 6?
True
Let q = -32 - 12. Let f = 12 - q. Does 19 divide f?
False
Let b = 85 - 130. Let s = -15 - b. Is 15 a factor of s?
True
Suppose -11*k + 13*k - 984 = 0. Let m = -267 + k. Does 15 divide m?
True
Let x(z) = 2*z - 7. Let d be x(5). Suppose 0 = -7*t + d*t. Suppose t = -3*h + 31 + 38. Is h a multiple of 10?
False
Suppose -2*o - 1990 = -3*a, 7*a - 3*o = 9*a - 1305. Is 20 a factor of a?
True
Let j(r) = r**3 - 7*r**2 - 6*r - 6. Suppose -p + 3 = -3. Suppose v - 2 = p. Is 10 a factor of j(v)?
True
Let n(z) = 12*z**2 - 6*z - 3. Does 21 divide n(4)?
False
Let d = 19 - 12. Let j = 70 - d. Is 11 a factor of j?
False
Suppose 1 = -q - 14. Let v = q - -17. Suppose z = 3*c + 6*z - 81, -v*z = 6. Is 16 a factor of c?
True
Suppose 5*d + 85 = -5*c, 4*d - 2*d + c + 33 = 0. Let r = d + 23. Is r even?
False
Let a = -1060 + 1800. Is a a multiple of 10?
True
Let c(y) = 370*y**2 - 2*y + 2. Is c(1) a multiple of 8?
False
Let j = -2456 - -3529. Is 7 a factor of j?
False
Let u = 25 - 23. Suppose u*r = v - 130, -2*r - 195 = r - 4*v. Let y = 105 + r. Does 17 divide y?
False
Let z(x) = -x**2 + 7*x - 6. Let h be z(6). Suppose 3*o = -h*o. Suppose -2*f + o*f = -50. Does 17 divide f?
False
Is 5 a factor of 2/(9*9/11421)?
False
Suppose -10 = 3*w - 8*w. Suppose w*b - 95 = -z, 0 = 2*b + 4*z - 132 + 34. Is 10 a factor of b?
False
Suppose 0*c = -3*c + 84. Suppose 0 = -0*m - 7*m + c. Let w = 9 - m. Is w a multiple of 5?
True
Let o = -45 + 47. Suppose 0 = o*t - 3*y - 40, 5*y - 16 = -2*t + 24. Is 5 a factor of t?
True
Let f(c) = -81*c - 1. Does 30 divide f(-4)?
False
Suppose -2*l - 7 = -1. Let c = 2 - l. Suppose c*p - 62 = -7. Is p a multiple of 11?
True
Let j(h) = 14*h**3 - 3*h**2 - 5. Let n(p) = -p**2 - p - 1. Let t(f) = j(f) - 3*n(f). Is 15 a factor of t(1)?
True
Let b be 56/10 + (-14)/(-35). Suppose b = 2*a + 2. Suppose 2*d + 5*m - 40 = 0, -a*d - d = 3*m - 51. Is d a multiple of 15?
True
Let p(u) = 3*u**3 - 3*u**2 - 4*u + 197