/(-10)?
True
Suppose -2*n + 67 - 63 = 0. Suppose 3*g = n*w - 529, g = -6*w + w + 1365. Does 12 divide w?
False
Let n(l) = 4*l**3 - l**2 - 2*l - 9. Let m = -118 + 122. Is 15 a factor of n(m)?
False
Suppose 0 = 5*c - 77 + 57. Suppose 5*b - 162 = 3*w, -3*w + 131 = c*b - 4*w. Suppose -35*x = -b*x - 78. Is x a multiple of 36?
False
Suppose 68 = -5*i + 143. Suppose i*j + 693 = 24*j. Does 8 divide j?
False
Let o be (6*3)/1*14. Let b be ((-1008)/54)/(-28)*((-1 - 1) + 8). Does 15 divide ((-3792)/o + b/(-14))*-6?
False
Let y = 5791 - 3001. Is y a multiple of 10?
True
Suppose -3*d = i - 293, d - 4*d - 595 = -2*i. Is i a multiple of 57?
False
Suppose -3*o + 2*o + 121 = 0. Let v = 124 - o. Suppose -v*g = 3*n - 9, n - 10*g = -6*g + 13. Is 5 a factor of n?
True
Is 25 - -827 - (28/(-2))/2 a multiple of 50?
False
Let g(u) = 37*u**2 + u - 1. Let m(i) = 8*i. Let v be m(-1). Let p = v - -7. Is 13 a factor of g(p)?
False
Suppose 87*f - 113*f + 47190 = 0. Does 11 divide f?
True
Let k be 100/(-4) + -1 + 2. Let r = k + 33. Is 19 a factor of (-969)/(-9) - 6/r?
False
Let m(u) = 103*u**2 - 6*u - 24. Let t(a) = 206*a**2 - 10*a - 49. Let d(c) = 7*m(c) - 3*t(c). Does 22 divide d(-2)?
False
Suppose 0 = -5*f + 3*p - 2*p, -5*p + 25 = 0. Does 12 divide (-4)/f - -1*(284 + -7)?
False
Is 80/(-15) - -6 - 413836/(-12) a multiple of 9?
False
Let x(w) = -154*w - 1364. Does 110 divide x(-21)?
True
Let a be 75 + (-9)/3 + 5. Suppose 5*x = f - 39, a = f + 2*x + 17. Let u = 143 - f. Is 48 a factor of u?
False
Suppose 0 = -16*m + 24*m - 80. Suppose m*s - 5408 = -6*s. Does 13 divide s?
True
Let f = -9 + 13. Suppose -4*l + 5 = 2*i - 11, -4*i + 10 = -3*l. Suppose f*p = 5*o + 356, l*p + o - 184 = 2*o. Does 7 divide p?
False
Suppose -24*x + 21820 = 2860. Suppose -13*g + x = -3*g. Does 4 divide g?
False
Let n(g) = 2*g**2 + 3*g - 6. Suppose -4 = 6*l - 7*l. Is 19 a factor of n(l)?
True
Let m(v) = 10*v**2 + 40*v - 50. Is 100 a factor of m(-29)?
True
Let o = 43 + -40. Suppose k = -o*g + 56 + 79, k + 129 = 3*g. Does 10 divide g?
False
Is 43 a factor of 102723*12/36 - -5?
False
Suppose -2*h + 4*r + 339 = -h, -3*r + 1672 = 5*h. Let y = -1014 + 894. Let g = y + h. Is g a multiple of 18?
False
Suppose -12 = 10*r - 52. Let a be ((-20)/(-25))/(0 - r/(-40)). Let o = 7 + a. Is o a multiple of 5?
True
Suppose -944 = -45*a + 37*a. Let t = 372 - a. Is 25 a factor of t?
False
Let k = 8891 - 1671. Does 89 divide k?
False
Suppose t - 5*y + 650 = -690, 6790 = -5*t - 5*y. Let f = -1051 - t. Is f a multiple of 10?
False
Let w(g) = 27*g + 28. Let z be w(11). Let x = -294 + z. Does 4 divide x?
False
Suppose 0 = i - 4*s - 12612, -2*i - 5*s + 27237 = 1987. Is 11 a factor of i?
False
Suppose 157102 = -594*x + 787*x. Does 29 divide x?
False
Let h(z) = z**2 + 32*z - 159. Let t be h(-29). Let b = -93 - t. Is 12 a factor of b?
False
Suppose 2*n - 5 = -1. Suppose i - 36 = -n*i - 4*h, -5*i = 5*h - 60. Suppose i*r - 3*r - 594 = 0. Is 4 a factor of r?
False
Let v(a) be the first derivative of -a**3/3 - 7*a**2 + 173*a + 126. Is v(-10) a multiple of 26?
False
Let l(c) = 33*c**2 - 15*c**2 + 23*c**2 + 32*c + 3*c - 66. Is 84 a factor of l(2)?
True
Let g(v) = v + 38. Let w be g(18). Let r = -55 + w. Let j(z) = 57*z + 3. Is j(r) a multiple of 5?
True
Let t = -15017 - -29349. Is 12 a factor of t?
False
Let p(q) = 123*q**2 + 149*q - 4. Does 62 divide p(-9)?
True
Let a = 370 + -280. Suppose -4*s + 4*g = -73 - 191, 5*g = -s + a. Is s a multiple of 14?
True
Suppose 4*d - 22 = -5*z + 3, -d + 10 = 5*z. Suppose -d*v - 15 = -2*l + 33, -4*v - 20 = 3*l. Let u = 50 - v. Is 13 a factor of u?
False
Is (-36179)/(-1012) + 2/8 even?
True
Let u = 54 + -45. Suppose 0 = -4*d - 4*y, -u = -2*d - 3*d + 4*y. Let g(z) = 91*z**2 - 4*z + 3. Is 12 a factor of g(d)?
False
Does 15 divide 11868/33 + 132/363?
True
Let o(g) = g**3 - 14*g**2 - 515. Does 7 divide o(25)?
False
Does 60 divide (6 + (-112)/12)*110580/(-50)?
False
Suppose -55*u = -3*y - 54*u + 25942, 0 = -3*y - u + 25940. Is y a multiple of 14?
False
Let u(r) = -r**2 + 6*r + 9. Let a be u(7). Suppose -a*w + 34 - 336 = 0. Does 10 divide (-3)/9 + w/(-3)?
True
Let o(m) = -4*m**3 + 5*m**2 + 4*m + 1476. Let l(n) = -n**3 + n**2 + n + 369. Let y(s) = 9*l(s) - 2*o(s). Is y(0) a multiple of 41?
True
Let v(m) = m**3 - 17*m**2 + 131*m - 9. Is 25 a factor of v(9)?
False
Is ((-156)/(-260))/(87708/87705 - 1) a multiple of 24?
False
Does 11 divide -282*(275/(-22) - -11) + 5*-1?
True
Let t = -180 + -61. Let p be 8*(16/56 - t/14). Suppose -i + 4*i - 5*j = p, 0 = 5*i - 3*j - 228. Is i a multiple of 9?
True
Suppose 15*p - 45 = 30. Suppose p*b = -5*y + 2815, -3*y = 15*b - 19*b + 2231. Does 28 divide b?
True
Suppose -2*u + 9*u - 4*u = 0. Does 62 divide 5 + (360 - (-7 - u))?
True
Let s(w) = -4*w**2 + 74*w - 2. Let y(x) = 6*x**2 - 112*x + 3. Let j(l) = 8*s(l) + 5*y(l). Is 19 a factor of j(12)?
True
Suppose 31*l - 34*l = -6. Suppose p - 454 = 5*k - 3*k, 0 = -5*p + l*k + 2302. Does 6 divide p?
True
Let d = 382 - -149. Suppose -4*x - 408 = -l - 2*l, x = 4*l - d. Does 3 divide l?
True
Suppose -3*s = 30*s + 3251 - 4703. Does 4 divide s?
True
Let l(v) = -2*v**3 - 20*v**2 + 4*v + 44. Let f be l(-10). Suppose -y = p - 34 - 68, -f*p + 303 = 3*y. Is 2 a factor of y?
False
Is 160/(55/11)*(4 - 2) a multiple of 16?
True
Let g be (-2377)/5 + 2/5. Let p = g + 1151. Suppose -4*b - 628 = -4*n, -5*n - 2*b + p = -130. Is n a multiple of 25?
False
Suppose 42 - 61 = -u. Suppose -u*c = 18*c - 3996. Is 9 a factor of c?
True
Let c(g) = -g**3 - 6*g**2 + 8*g - 15. Let i be c(-5). Is (-25536)/i - (-1)/(-5) a multiple of 29?
True
Suppose 0 = -2*c + 3*c + 1, 3*s = 2*c + 2. Does 60 divide (s + -1)*(-10 + -50)?
True
Let q(y) = -y**3 + 8*y**2 + 9*y - 12. Let h be 5*((-174)/(-30) - 5). Is q(h) a multiple of 8?
True
Let u = -54 - -55. Let p be -83 + 9*(-1)/(-3) + u. Let i = -28 - p. Is i a multiple of 24?
False
Is 13 a factor of (-87)/(-36)*1630 + (-24)/144?
True
Let w(h) = -949*h**3 - 4*h**2 - 50*h - 78. Does 26 divide w(-3)?
False
Let g(p) = 860*p**2 - 2. Let k be (-3*2/6)/1. Let b be g(k). Suppose 9*u = 6*u + b. Is 11 a factor of u?
True
Suppose -5*f + 4*f = -2. Suppose 2*z + 140 = p, 0 = z - f*z + 5*p - 88. Let l = z - -127. Does 13 divide l?
False
Let l = 9590 - 6675. Suppose 0 = -4*a + 5*h + l, -3*h = 5*a - 6*h - 3634. Does 11 divide a?
False
Suppose 12 = -6*n + 8*n, -5*v - n = -1566. Does 15 divide v?
False
Let j = 7958 - 4358. Suppose -4*x + j = 5*x. Suppose -b - 3*b + x = 0. Is 20 a factor of b?
True
Let l be 254 + -1 + -3 + -3 + 8. Let c(d) = -d**3 + 10*d**2 + 8*d - 10. Let w be c(9). Let p = l - w. Is 14 a factor of p?
True
Let v be 489*((-104)/39 + 2*1). Let n = -232 - v. Suppose -3*f - n = -400. Does 17 divide f?
True
Suppose 0 = -2*t + 8*t - 102. Suppose -t*g = -547 + 139. Is g a multiple of 8?
True
Let h(j) = -j**3 - 37*j**2 - 215*j - 10. Is h(-35) a multiple of 11?
False
Let q(w) be the third derivative of -w**4/12 + 11*w**3/3 - w**2. Let h be q(9). Is 32 a factor of ((24/9)/h)/(6/477)?
False
Does 26 divide ((-347)/12*-297)/((-4)/(-16))?
False
Suppose 2*t - 16789 - 9818 = -5*i, 4*t = -2*i + 10630. Does 13 divide i?
False
Let t(v) = 96*v - 6666. Is 20 a factor of t(81)?
False
Let o be (6 + 33/(-6))/((-2)/(-380)). Suppose 3*z = 4*t - 75, 4*z + o = -2*t - 5. Is (18/(-5))/3*z a multiple of 2?
True
Suppose -3*d + 5*d = d. Suppose d = 4*v - 16, 0*k + 5*k - 130 = 5*v. Let q = 54 - k. Is q a multiple of 8?
True
Suppose -2*n - f + 37105 = -80174, -4*n - 4*f + 234564 = 0. Is 29 a factor of n?
True
Let x(k) = -217*k - 472. Does 12 divide x(-30)?
False
Suppose 0 = 3*n + 12*n - 30. Does 5 divide n/(-13) + (-743)/(-13)?
False
Let z(w) = -10*w + 247. Let q(y) = -y**2 - 5*y + 4. Let r be q(3). Does 11 divide z(r)?
False
Let b(l) = l**2 + 3*l + 28. Let s(p) = 2*p - 21. Let d be s(7). Let v be -10 - d - 6*1. Does 5 divide b(v)?
False
Let r(b) = b**2 - 11*b - 12. Let n be r(12). Suppose l - 30 = 2*g + 157, 3*l + 5*g - 583 = n. Suppose -l + 16 = -7*x. Does 15 divide x?
False
Suppose t - 5*i = 881 + 869, -3*t = 5*i - 5370. Does 5 divide t?
True
Let z be (-16)/24 + 1/(6/4). Suppose z*i + 2*i - 165 = -5*u, 2*u + 60 = i. Does 7 divide i?
True
Suppose 0 = -8*n + 5*n + 4*h + 85, 76 = 4*n + 4*h. Suppose z - 20 = 3*w + n, 0 = 5*z - 3*w - 203. Is z a multiple of 5?
True
Su