68196, -3*t = -2*d - 3*d + 68188. Does 20 divide d?
True
Suppose -5 = -4*y - 5. Suppose y*q - 5*q + 171 = -3*g, -g = 2. Suppose -2*r = -q - 11. Is r a multiple of 4?
False
Let f be ((-6)/6 + 0)/((-6)/54). Suppose 889 + 182 = f*u. Is u a multiple of 15?
False
Let l(m) = 3534*m**2 - m - 3. Let y be l(-1). Suppose 844 - y = -28*h. Does 24 divide h?
True
Suppose -3*h + 129 - 39 = 0. Let o = 9 + h. Let r = o - 30. Does 9 divide r?
True
Suppose 18802 = 6*y + 17*y - 5877. Does 59 divide y?
False
Let f(h) = 11*h**3 - 12*h**2 - 56*h + 3. Is f(8) a multiple of 47?
False
Does 10 divide 4 + 14 + -7 - 7 - -559?
False
Suppose 66*j = 1183 - 259. Suppose -1993 = -j*z + 149. Is z a multiple of 9?
True
Suppose 5 = -11*f + 12*f. Suppose -f*b = -5*m - 6*b + 914, -b = -m + 178. Does 27 divide m?
False
Let j(u) = u**3 - 4*u**2 - 8*u + 5. Let l be j(6). Suppose l = o - 19. Suppose -3*q = -2*n - q + o, 4*q = 3*n - 71. Is n a multiple of 8?
False
Let q(z) be the third derivative of 31*z**4/12 - 38*z**3/3 - 29*z**2. Does 22 divide q(6)?
False
Let z = 3283 + -2423. Does 7 divide z?
False
Let v = -139 - -331. Let c = -4095 + 3963. Let a = v + c. Is 18 a factor of a?
False
Suppose 219694 = -16*b + 581524 + 235498. Does 123 divide b?
False
Let w(z) = 2463*z + 2946. Does 66 divide w(10)?
False
Suppose 10388 = 21*i - 4480. Is 6 a factor of i?
True
Let c be (2 - -5)*((-1542)/(-21) + -8). Let v = c - -30. Is 6 a factor of v?
False
Let h = 4845 + -166. Does 108 divide h?
False
Let l(o) = 12*o**2 - 60*o - 532. Is l(-27) a multiple of 167?
False
Suppose 0 = -y + 37 - 25. Suppose 61 = -y*c + 3361. Does 46 divide c?
False
Let y(p) = -p**3 + 16*p**2 - 13*p - 13. Let j be y(15). Suppose -j = 6*v - 5. Let k(d) = -22*d**3 + 3*d**2 + 2*d - 5. Is 45 a factor of k(v)?
False
Let o(p) = 1688*p - 4124. Is o(15) a multiple of 28?
True
Let n(d) = 2*d**2 - d. Let j(a) = -8*a**3 + 14*a**2 - 37*a + 3. Let f(x) = -j(x) + n(x). Is 24 a factor of f(5)?
False
Let j = -65 - -72. Suppose 0 = j*w - 11*w + 2324. Is 83 a factor of w?
True
Is 75 a factor of 2*(13 - (14 - 7524))?
False
Let i(r) = 190*r**2 - 5*r + 4*r + 100 - 100. Let f be i(-1). Suppose 5*p + 4*x + 31 = f, 2*p = -5*x + 64. Is 12 a factor of p?
False
Let j(t) = 79*t**2 + 100*t - 27. Does 6 divide j(9)?
True
Let j(v) = -v**3 + 9*v**2 + 4*v - 49. Let k be j(9). Is (207/2)/((26/(-8))/k) a multiple of 37?
False
Suppose 2*n = 4*r + 394, -3*n = -6*n - 4*r + 641. Suppose -2*i = -5*g + 802, -5*g + 592 + n = i. Is g a multiple of 16?
True
Let q be 10751/78 - 1/(-6). Let j = q - -54. Does 32 divide j?
True
Let y = -18 + 30. Let j = y + -96. Is 21 a factor of j*(0/(-5) - 1)?
True
Suppose 846 + 189 = 3*f - 3*u, 5*f - 1709 = u. Is 98 a factor of f?
False
Let k(a) = 2*a + 11. Let h be k(-6). Let s be (h - -2 - 3)/(4/(-6)). Suppose 2*p - s*b - 203 = 0, 4*b - 129 = -5*p + 413. Is 6 a factor of p?
False
Suppose 460*t - 475*t = -198900. Is t a multiple of 85?
True
Suppose 34*t - 1030170 = 239594. Is 142 a factor of t?
True
Suppose 110 = 5*v + m, 3*v + m = 33 + 33. Suppose 6*r = -v + 70. Does 5 divide r?
False
Let x = 5682 - 5317. Suppose p - 16 = 2*y - 7*y, -3*y - 2*p = -11. Suppose 19 + x = y*g. Is g a multiple of 32?
True
Let m = -192 - -192. Suppose -4*l - 3*r + 743 = m, 2*l - 3*r - 375 = -8*r. Is 13 a factor of l?
False
Suppose -2262 - 5338 = 8*b. Let m = b + 1670. Does 45 divide m?
True
Suppose 3*v - 4*v + 504 = 2*l, -3*v = 2*l - 1528. Let d = -438 + v. Is 15 a factor of d?
False
Let v = -158 - -93. Let p = v - -126. Suppose -203 = -3*i + 5*h, i + 0*h = -5*h + p. Is i a multiple of 6?
True
Let a = 2383 - -55. Does 106 divide a?
True
Let y = 4380 - 2146. Is y a multiple of 56?
False
Let t(z) = 4955*z**3 - z**2 + 31*z - 50. Does 24 divide t(2)?
True
Let w(r) = 12*r**3 + 6*r - 7. Let g(p) = 4*p - 46. Let h be g(12). Does 8 divide w(h)?
False
Let c be -4 - (-1 - -3 - 1193). Suppose -12*k = -349 - c. Is k a multiple of 32?
True
Suppose 2*m + 6 = 0, -337 = -r - m + 429. Let l = -460 + r. Is 43 a factor of l?
False
Let i be (-1 + 21)*(-15)/(-20). Let n(l) = 8*l - 117. Does 2 divide n(i)?
False
Is 2 a factor of (-34032)/(-22) + 26/286?
False
Suppose 7179 = 68*w - 139701. Is 48 a factor of w?
True
Let i = 73 - 65. Suppose -12*b + i*b = 2*l + 34, 0 = -l - 5*b - 20. Let n(m) = -5*m - 41. Does 5 divide n(l)?
False
Does 3 divide (4 - 20/42*9) + (-21758)/(-154)?
True
Let g(u) = u**3 + 11*u**2 + 23*u + 146. Let j be g(-10). Suppose -14*q - 224 = -j*q. Is q a multiple of 5?
False
Let q = 1 + 43. Suppose 20 = 8*h - q. Is 4/h + 43/2 a multiple of 19?
False
Let k(q) = -q**3 - 9*q**2 - 6*q + 19. Let p be k(-8). Suppose -4*v - 13 - p = -4*i, 4*i = -v + 1. Is (-8)/v*102/8 a multiple of 17?
True
Let w = 1280 - 188. Suppose -13*t = -7*t - w. Is 27 a factor of t?
False
Let m be (-68)/(-8) - 3/2. Suppose m*i + 60 = 12*i. Does 11 divide i/(-6) + (-138)/(-3)?
True
Let f = -16 - -21. Suppose -f*y + 0*r = -2*r - 2663, -4*y + 2108 = 4*r. Does 59 divide y?
True
Let k = -2250 - -3131. Does 20 divide k?
False
Is 4 a factor of (3 + (-1539)/3)/(20 - (-1776)/(-88))?
False
Let u be (10/3)/(7600/(-1896) + 4). Let z = 570 + u. Is 7 a factor of z?
True
Let i(k) = k**2 - 10*k + 20. Let q be i(5). Is 6 a factor of 82 - q/5*-6?
False
Let q(p) = 3*p**2 - 14*p - 25. Let z be q(-9). Let t = 716 - z. Is 12 a factor of t?
True
Let q(t) = 606*t - 618. Is 111 a factor of q(23)?
True
Suppose -4*r = 3*r. Suppose 5*v + r*v + 120 = 4*h, -3*v = 12. Does 25 divide h?
True
Suppose -82 - 14 = -16*l. Suppose r - 2 = 0, -9*f + l*f + 878 = 4*r. Is f a multiple of 12?
False
Let f = -46 + 43. Let b(c) = 2*c**2 + 16*c + 8. Let n(q) = -q**2 - 16*q - 8. Let r(m) = f*n(m) - 2*b(m). Is r(14) a multiple of 8?
False
Let o(p) = 370*p**2 - 57*p + 445. Does 27 divide o(7)?
False
Suppose 0 = -41*u + 32*u + 1278. Does 10 divide (1/((-2)/40))/(u/(-1349))?
True
Let i be (-3)/(140/32 + -4). Let f be (-4)/i*(98 - 2). Let p = -12 + f. Is 6 a factor of p?
True
Suppose -175 = 2*w - 171. Let a(d) = -55*d**3 - 3*d**2 - 9*d - 15. Is a(w) a multiple of 30?
False
Let j(u) = 5*u + 16. Let d be j(-2). Does 14 divide 232 - (-2 + 6 - d)?
False
Let r(t) be the first derivative of -15/2*t**2 - 37 - 1/3*t**3 + 14*t. Does 16 divide r(-10)?
True
Let b(g) = -45*g - 825. Is b(-61) a multiple of 24?
True
Let f be ((-24)/32*4)/(-1). Suppose i + f*d + 1104 = 4*i, -4*i - d + 1457 = 0. Is 50 a factor of i?
False
Suppose -2*b + 2*j - 8 = 8, -j = 3*b + 4. Let o be (10/(-4) + 0)*(19 - b). Does 8 divide (352/o)/((-2)/15)?
True
Let q be -3 + (26 + -12)*(-1 + 0). Let m(t) = -21*t + 75. Is 27 a factor of m(q)?
True
Suppose -14*s = -7*s - 35. Suppose s*f + h = 906, -2 + 6 = -h. Let b = f - 70. Is b a multiple of 29?
False
Let i(u) = -3*u**3 + 6*u**2 + 123*u + 21. Is 18 a factor of i(-12)?
False
Let l = 1149 - -24901. Does 25 divide l?
True
Suppose 147 = 2*f + 137. Suppose 4*x - 3*z + 0*z = 623, 329 = 2*x - f*z. Does 18 divide x?
False
Let v(a) = a - 1. Let b(u) = 4*u**2 + 4 + u**3 - u - 2*u**3 + u - 4*u. Let o(n) = -b(n) + v(n). Does 45 divide o(5)?
True
Let w = 1192 - -6008. Is 36 a factor of w?
True
Suppose 206407 = 149*u - 273969. Is u a multiple of 62?
True
Let v be (-3)/5 - (-4774)/(-35). Let t(x) = -19*x + 19. Let i be t(14). Let j = v - i. Is j a multiple of 11?
True
Suppose -4*t = -5*g - 5146, t + 5*g - 1543 = -269. Is 12 a factor of t?
True
Let v be (138/4)/((-3)/(-30)). Suppose 2*a + 4*t = 626, t = 2*a - 286 - v. Does 9 divide a/5 - 3/(-1)?
False
Let k(n) = -196*n - 49. Is k(-53) a multiple of 7?
True
Suppose -18*r + 174015 = -5*r - 50859. Does 31 divide r?
True
Let f = -312 + 324. Suppose -4*s = 2*v, 14*v - 3*s - 28 = f*v. Is v a multiple of 4?
True
Let f = 1023 + -699. Suppose 2*o + f = -o. Let b = -74 - o. Does 11 divide b?
False
Suppose -2*t = 8, -3*t = 16*m - 17*m + 7104. Is m a multiple of 36?
True
Let l be 11/(22/16) + (1 - 0). Suppose -19 = -l*k + 26. Suppose 4*m - g - 32 = -3*g, k*g = 5*m - 55. Does 5 divide m?
False
Let z(b) be the third derivative of b**8/20160 - b**7/560 + 2*b**6/45 + 29*b**5/60 + 6*b**2. Let l(m) be the third derivative of z(m). Does 9 divide l(16)?
True
Let l = -16 + -24. Is (-7 + (-632)/l)/((-4)/(-10)) a multiple of 11?
True
Let b = 488 + 48. Suppose -5*y = -4*m - b, -4*y - 3*m + 0*m + 404 = 0. Suppose -5*r + 354 = y.