?
True
Let d = 23 + -15. Let r(s) = 3*s**2 - 14*s. Is r(d) a multiple of 10?
True
Let q be (-12732)/54 + (2 - (-40)/(-18)). Let z = -136 - q. Is 25 a factor of z?
True
Suppose 4*j + 8 - 12 = 0, -3*j + 723 = 5*l. Does 24 divide l?
True
Suppose i = -k + 106, 5*k - i - 412 = 142. Let d = k - 43. Is d a multiple of 10?
False
Suppose 3 = 2*i - 1. Suppose -i*h = 5*p - 425, 0 = -2*p - 2*p + 5*h + 340. Is 17 a factor of p?
True
Suppose -30*l + 1396 - 136 = 0. Does 3 divide l?
True
Let j(g) = -2*g - 52. Let v be j(-28). Let u(l) = 5*l**2 + 3*l - 24. Is 21 a factor of u(v)?
False
Let x be 12/8*4/(-2). Let o = x + 7. Suppose -s = o*w + s - 100, 2*s - 8 = 0. Does 23 divide w?
True
Let j = -78 + 52. Does 2 divide (-446)/(-26) - (3 + 74/j)?
False
Let j be 0 + 269 - (17 - 21). Let m = j + -144. Does 16 divide m?
False
Let x(v) be the second derivative of -11*v**3/6 + 3*v**2/2 - 20*v. Let o = 7 + -10. Is 11 a factor of x(o)?
False
Let t(f) be the third derivative of 7*f**5/30 - f**4/12 + f**3/2 - 5*f**2. Let r be t(2). Let d = -39 + r. Is 16 a factor of d?
True
Let h(v) = -4*v + 182. Is 13 a factor of h(34)?
False
Let z(p) = p**3 + 4*p**2 + 3*p + 4. Let g be z(-3). Suppose -33 + g = -x. Is x a multiple of 9?
False
Let b(o) be the second derivative of -3*o**3 + 2*o**2 + 31*o. Is b(-2) a multiple of 3?
False
Suppose -6*a + a = -310. Suppose x - 29 = a. Is 12 a factor of x?
False
Let l = -185 - -347. Does 14 divide l?
False
Let s = -6 - -18. Suppose -s*o + 7*o = -820. Does 12 divide o?
False
Let y(j) = 3*j**3 - 6*j**2 + 5*j + 10. Let u(f) = 13*f**3 - 24*f**2 + 21*f + 41. Let a(t) = -2*u(t) + 9*y(t). Let q = 226 - 220. Is a(q) a multiple of 8?
False
Let v(i) = -i - 1. Let j(a) = -28*a - 12. Let d(z) = -2*j(z) + 36*v(z). Does 11 divide d(5)?
True
Suppose -10*k + 1203 = -137. Suppose 826 = 10*p - k. Is 8 a factor of p?
True
Let w be (-3 + 3)*(3 + -2). Suppose -4 = -2*z - w*z. Suppose z*q + 7 - 31 = 0. Does 4 divide q?
True
Let c(l) = -l**2 + 14*l - 4. Does 4 divide c(10)?
True
Let c = -1356 + 2912. Does 8 divide c?
False
Suppose -17 + 6 = -y - 4*k, -9 = -3*k. Let x be (-42)/(-9) - y/3. Suppose -2*a - 4 = 0, 5*h - x*a - 53 = -a. Is h a multiple of 2?
False
Let t(u) = 56*u**2 + u - 3. Is t(3) a multiple of 56?
True
Let q = 38 + -41. Let i = q + 26. Is 17 a factor of i?
False
Suppose -19*u + 60996 = 15*u. Is u a multiple of 23?
True
Suppose -19*z = -20*z - 58. Let c = -30 - z. Is c a multiple of 12?
False
Suppose -l + 47 = -117. Let x = l + -116. Is 24 a factor of x?
True
Suppose 2*o - 1695 = -3*l, -2*l - 1690 = -5*o + 3*o. Is o a multiple of 47?
True
Suppose -2*f - 3*h = 2*f - 18, -2*h - 5 = -3*f. Does 21 divide 9*((-8)/f)/(4/(-14))?
True
Let h = 284 - 249. Is h a multiple of 7?
True
Let l(r) = -2*r + 6. Let t be l(0). Suppose 59 = t*u - 331. Is u a multiple of 13?
True
Does 38 divide ((-28)/12)/(111/(-108) + 1)?
False
Let b(x) = -x - 1. Let t be b(-4). Suppose 4*a = -t*m - 38, -5*m - a - 78 = 2*a. Let l = m - -84. Does 22 divide l?
True
Is (-198710)/(-45) - ((-222)/27 + 8) a multiple of 95?
False
Let l = 11 + -11. Suppose l = k - 9*k + 1312. Does 11 divide k?
False
Is 18 a factor of 5 - 51/3*-12?
False
Let z(y) = 14*y - 9. Let k(h) = -2*h - 10. Let u be k(-14). Does 27 divide z(u)?
True
Let c(i) = -i**2 - 10*i + 2. Let f be 45/(-6)*(-8)/(-6). Let s be c(f). Is 21 a factor of (-945)/(-18) + (-1)/s?
False
Let o = 1848 - 1089. Does 23 divide o?
True
Let b(w) = -3 - 3 - 163*w**2 + 162*w**2 - 17*w. Does 6 divide b(-15)?
True
Let r(b) = -3*b + 1. Let i be r(-8). Does 9 divide (-3 - (-465)/i)/((-4)/(-30))?
True
Let y(z) = 15*z - 5. Let n be y(4). Let j be 0/3 - (0/4)/4. Let t = n - j. Is t a multiple of 16?
False
Let j(b) = b**3 - 2*b. Let h be j(2). Suppose x - 3*p - 66 = 0, -h*x + 250 = x + 5*p. Is 18 a factor of x?
True
Let r(n) = n**2 - 15*n - 11. Let v be r(16). Suppose 7*i - 35 = 2*i + v*t, 5 = -i - 2*t. Suppose -i*q - w + 118 = 0, 2*q - 125 + 46 = -w. Does 26 divide q?
False
Let x(h) = -h + 1. Let a be x(0). Let m be 44/8 - a/2. Suppose -2 + 6 = -d, m*z = 3*d + 157. Is 11 a factor of z?
False
Suppose -49 = -y + 3*i, -i - 67 = -2*y + 16. Does 7 divide y?
False
Suppose 600 = -4*w + 7*w. Suppose 9*f - w = 4*f. Is f a multiple of 9?
False
Let j(o) = -o**3 - 9*o**2 - 5*o - 13. Let t be j(-9). Let v = t + -27. Suppose 0*y - v*y = -100. Is 20 a factor of y?
True
Suppose 6*r - 8*r - 10 = 0. Let m(x) = -x + 3. Let o be m(r). Suppose -37 = -q - o. Does 12 divide q?
False
Suppose 3*c = -8*b + 3*b + 19, 0 = -4*b - 5*c + 23. Suppose 732 = 3*d + 3*q, 0*d - b*q - 472 = -2*d. Is 30 a factor of d?
True
Let m be -2 + (6*-1)/(-2). Let k(p) = -5*p + 19*p + 7*p - m. Is 12 a factor of k(2)?
False
Suppose 276*g = 271*g + 1840. Is 15 a factor of g?
False
Let j(u) = u + 0*u**3 + u**2 + u**3 + 7*u + 2 + 8*u**2. Let m be j(-8). Let f = m + 34. Is f a multiple of 9?
True
Let a be 27 - (-3)/9*-3. Let g = 58 - a. Is g a multiple of 11?
False
Let k = 4 + -2. Let i(h) = 0*h - k + h + 2*h. Is 7 a factor of i(3)?
True
Suppose -5663 = 40*s - 86783. Is s a multiple of 26?
True
Let s = 29 + -27. Is 31 a factor of (s/3)/((-340)/114 + 3)?
False
Is (-1)/(3 - 1902*2/1266) a multiple of 95?
False
Let b(r) = r**3 - 7*r**2 + 5*r + 11. Let m be b(6). Suppose m*i - 186 + 43 = j, 0 = -2*i + 4*j + 68. Suppose 0 = 4*g - 32 - i. Is 4 a factor of g?
False
Let j = -23 + 22. Is 3*j + 46 + -6 a multiple of 6?
False
Suppose 4*f - 3*f - 132 = 0. Let k be -2 - (-5)/(-2)*-2. Suppose k*h - 7*h = -f. Does 11 divide h?
True
Let s(h) = 4*h - 27. Let k be s(7). Let u(c) = 157*c**3 - c**2 + 2*c - 2. Is u(k) a multiple of 26?
True
Let i(z) = -z + 34. Is i(-14) a multiple of 12?
True
Is 41 a factor of -5 + 10 + 225 + 6?
False
Let o(a) = -a + 14. Let z be o(-2). Suppose -z*x + 744 = -8*x. Is x a multiple of 13?
False
Let n be 3/(9/111) + -1. Suppose 0 = g - 5*g + n. Suppose 60 = g*k - 5*k. Does 5 divide k?
True
Suppose -215 = -4*a + 4*j + 717, -471 = -2*a + j. Let n = a + -119. Is n a multiple of 17?
True
Suppose -4*h - 6 = -3*h. Let g(z) = -z**3 - 6*z**2 + z + 2. Let t be g(h). Let f(j) = j**3 + 5*j**2 + 2*j - 2. Does 3 divide f(t)?
True
Let c(v) = 8*v + 2. Let u be c(1). Suppose -157 + 757 = u*w. Does 15 divide w?
True
Suppose -44*w - 55*w + 26037 = 0. Is 2 a factor of w?
False
Suppose -31827 + 92811 = 22*u. Does 63 divide u?
True
Let l = 38 - 37. Suppose 1 = h - l, t - 3*h - 24 = 0. Does 11 divide t?
False
Let r(m) = 28*m**2 + 81*m - 5. Is r(-5) a multiple of 29?
True
Let x = -24 + 2. Let c(o) = 29*o**2. Let u be c(1). Let j = u + x. Is j a multiple of 7?
True
Let f be (-1 + 2)/(6/18). Suppose -2*q - 725 = f*q. Let j = q + 211. Is 27 a factor of j?
False
Let s(n) = -n**2 + 6*n + 15*n + 9*n**2 - 8 - 14*n. Is s(3) a multiple of 17?
True
Suppose a + 2*a + 1 = -2*s, -27 = 4*s + a. Let m = s + 8. Suppose -3*h + h + 132 = m. Is 33 a factor of h?
True
Suppose 0*y = -3*c - y + 91, 0 = -3*y - 6. Suppose c = -66*n + 67*n. Is 3 a factor of n?
False
Suppose 0 = -5*d - 5 - 55. Let a(s) = -2*s**3 - 19*s**2 - 11*s - 11. Let q(y) = y**3 + 10*y**2 + 5*y + 5. Let h(g) = -2*a(g) - 5*q(g). Is h(d) a multiple of 13?
False
Let x(c) = c**3 + 16*c**2 - 79*c - 4. Does 42 divide x(-17)?
True
Let u(i) be the first derivative of 6*i**2 + 17*i + 20. Does 7 divide u(5)?
True
Let c be -5*(-1 + (-7)/(-5)). Let r = 29 - c. Suppose 4*p + 5*i = r, -2*i - 13 = -4*p - i. Is p a multiple of 4?
True
Let g(o) = o**3 - 17*o**2 + 29*o + 28. Let q be g(15). Suppose q*y = 58 + 72. Is 5 a factor of y?
True
Does 47 divide 1334 - 10/((-100)/90)?
False
Let j(c) = 17*c**2 - 29*c + 9. Is j(-9) a multiple of 96?
False
Let j = -1364 - -2022. Is 21 a factor of j?
False
Let k = 2408 - 77. Is k a multiple of 111?
True
Suppose -3*y = 5*x - 90, -3*y - x + 90 = x. Suppose 7*m + y = 8*m. Is m a multiple of 9?
False
Suppose -2*q - 71 + 103 = 0. Suppose -q*w + 21*w = 1330. Is w a multiple of 10?
False
Let j(s) = 2*s**2 - 3*s + 3. Let i be (0 - 34)*6/12. Let z = i - -14. Does 14 divide j(z)?
False
Let j(z) = 22*z - 12. Does 6 divide j(3)?
True
Let k(f) = -1 + 9*f - 12*f + 0*f. Let p be k(-1). Suppose 45 = p*l - l. Is 19 a factor of l?
False
Let v(j) = 6*j - 6. Let l(i) = -i + 5. Let c be l(-5). Let g be c + (-1)/(2/4). Does 14 divide v(g)?
True
Suppose -4*h = -6*h - 6. Does 19 divide 