
Let j = -2056 - -3499. Suppose -9*u + j - 372 = 0. Is u even?
False
Suppose 8 = -2*y, -4*o + 6*o + 4*y + 308 = 0. Let k = 179 + o. Is 10 a factor of k?
False
Does 34 divide ((-458)/14)/(576/(-137088))?
True
Let y = -28 + 27. Let h(p) = -162*p + 6. Let q be h(y). Suppose 0 = 13*b - 19*b + q. Is 17 a factor of b?
False
Let w be 16/(-3)*(-6)/(-18)*-9. Is 18 a factor of (-32)/128 + (-2)/(w/(-1442))?
True
Let s be 5/((-25)/20) + -30. Let t(i) = -i**2 - 46*i - 109. Does 23 divide t(s)?
True
Let j(y) = -y**3 + 39*y**2 + 86*y - 142. Let q be j(41). Let b = 54 + 26. Let x = b - q. Does 29 divide x?
True
Let a(i) = -2*i**2 + 12*i + 2. Let z be a(-7). Let s = z - -333. Does 3 divide s?
True
Suppose -15*c + 709 = -39 + 118. Does 2 divide c?
True
Suppose -35 = -6*r - 11. Suppose -324 = r*u - 332. Suppose 0 = -4*w - 3*g + 589, -u*w - 3*w + 760 = -g. Is 17 a factor of w?
False
Suppose -5*i = 3*f - 16, -2*f - 4*i = -0 - 12. Suppose f*a = -81 - 123. Let y = 18 - a. Does 12 divide y?
True
Let i(f) = f**3 - 28*f**2 + 20*f - 9. Let v be i(27). Let g = 140 - v. Does 26 divide g?
True
Suppose 37 + 67 = 13*w. Suppose 4*o - 2*z - 1400 = 0, -4*o - w*z = -9*z - 1400. Is o a multiple of 55?
False
Let z be 32/10*10/4. Let n be (-2 + 16)/(z/12). Suppose 154 = n*d - 10*d. Does 14 divide d?
True
Let b = -11 + 15. Let k(q) = -q**2 + 34*q + 187. Let s be k(38). Suppose -b*d + 3*d + s = 0. Is d a multiple of 35?
True
Suppose -56*l + 240*l - 227336 = 243888. Does 28 divide l?
False
Let s(o) = -o**3 + 14*o**2 - 9*o + 18. Let i be s(14). Is 10 a factor of 48/6*-1 - i?
True
Suppose -535 + 220 = 5*i. Let r(j) = -j - 129. Let z be r(0). Let p = i - z. Does 22 divide p?
True
Let s(f) = -27*f - 25*f + 63*f + 20 - 24*f. Let w = -37 - -33. Is s(w) a multiple of 9?
True
Let d(m) = m**3 - 4*m**2 - 11*m + 35. Let v be d(5). Is (3 - (v - 18/4))*56 a multiple of 14?
True
Let g(k) be the third derivative of k**5/10 - 3*k**4/2 - k**3/6 + 8*k**2 - 3. Is 17 a factor of g(8)?
False
Suppose -4*o = -3*z - 11 - 8, 4*o - 13 = -3*z. Let g be -2*((18/4)/z + 3). Suppose 2*u - 3*y - 9 - 88 = 0, -g*u + 4*y + 147 = 0. Is u a multiple of 10?
False
Suppose -2*d - 10794 = -5*g + 5767, 0 = -2*g - 3*d + 6613. Is 7 a factor of g?
True
Let w(q) = -35*q + 6375. Is w(0) a multiple of 51?
True
Does 95 divide ((-252)/(-147))/((-398)/126 + 3)*-860?
False
Let o be 4119 - (-6)/9*30/4. Suppose -o = -18*f + 1384. Is 24 a factor of f?
False
Suppose -3*q + 4 = v, -7*q + 6*q - 12 = 3*v. Suppose -2*z + 60 = 2*h, z - q*h - 44 = 6. Is z a multiple of 3?
False
Let b(i) = i**2 + 26*i + 63. Let j = 130 - 122. Let t be -29 + 0 + -1 + (j - 4). Does 9 divide b(t)?
True
Let o(n) = -1045*n + 510*n + 27 + 519*n. Does 13 divide o(-4)?
True
Suppose 0 = -2*x + t - 37 + 64, 2*x - 12 = -2*t. Suppose 4*z = -z - 2*l, 5*z - 3*l - 25 = 0. Suppose z*a - x = 29. Is a a multiple of 7?
False
Let o(d) = 6*d**2 - 5*d - 6. Suppose -12*p + 6 = -54. Let h be o(p). Suppose -49 - h = -y. Does 10 divide y?
False
Suppose -o - 97 = -104, -2*i = -o - 8067. Is i a multiple of 11?
True
Let r = 291 + -297. Is 7/(-7) + r + 1075 a multiple of 12?
True
Let m = 26 - 28. Let n(f) = -29*f**3 + 4*f**2 + 2*f - 6. Is n(m) a multiple of 34?
True
Let q(n) be the third derivative of -n**6/120 + n**5/60 - 3*n**4/8 - 2*n**3 + 4*n**2 + 2*n. Is 12 a factor of q(-5)?
False
Suppose -13*v - 239963 + 570886 = -260239. Does 78 divide v?
True
Let h = 84 + 404. Let j = 796 - h. Does 14 divide j?
True
Let j(y) = 12*y + 24. Let o be j(-7). Let g = o + 44. Let s = 22 - g. Does 19 divide s?
True
Let r = -672 + 908. Suppose -3*x = 2*a - 376, 14*x - 5*a + r = 16*x. Does 4 divide x?
True
Let t be (8/(-1))/((-69)/(-138)). Let w(b) = b**2 - 8*b - 3. Is w(t) a multiple of 29?
False
Let c(f) = f**3 + 26*f**2 - 55*f + 34. Let v be c(-28). Suppose 97 = -v*k + 1141. Is k a multiple of 29?
True
Suppose 559129 = 40*r + 16729. Is 12 a factor of r?
True
Suppose -15*a - 2664 = 1401. Let u(x) = 67*x**2 + 4*x + 3. Let p be u(-3). Let q = p + a. Is q a multiple of 19?
True
Let w(o) = -11*o**2 - 80*o**2 - 22*o - 80*o**2 + 272*o**2 - 104. Is w(-4) a multiple of 16?
True
Let x(h) = 2*h**2 + 5*h + 1. Let p be x(-6). Let b = 1973 - 1894. Let r = b - p. Is r a multiple of 9?
True
Let t = 11307 + -6538. Does 16 divide t?
False
Let g = 286 + -69. Suppose -r + 20 = -g. Is r a multiple of 20?
False
Suppose 10*g = 2402 + 2628. Let f = g + -62. Is 33 a factor of f?
False
Let v(o) be the third derivative of o**5/30 - 11*o**4/12 + 55*o**3/3 + 167*o**2. Is 3 a factor of v(10)?
True
Let b(i) = i**3 - 6*i**2 - i - 45. Let v be b(6). Let h = 129 + v. Is h a multiple of 3?
True
Let h = 40620 - 25619. Is h a multiple of 86?
False
Suppose -3*k + 13*a = 8*a - 71733, a = 3*k - 71745. Is 165 a factor of k?
False
Let j = -666 + 661. Is (-183320)/(-200) + 8/j a multiple of 15?
True
Let n(f) be the third derivative of f**4/24 + 35*f**3/6 - 26*f**2. Let z be n(-14). Let a(t) = -t**2 + 21*t + 20. Is 4 a factor of a(z)?
True
Suppose -45*s + 48*s = 936. Let a be (0/(-3))/(-2) + 3. Suppose a*t = -0*t + s. Does 26 divide t?
True
Let l be (-10)/80 - (-337)/8. Is 58 a factor of 30779/l - (-3)/(-18)*-1?
False
Suppose -90*l = -88*l + 938. Is 40 a factor of (11 - l)*4/8?
True
Let b(i) = -i**2 - 3*i - 12*i - 13 + 4 + 9*i. Let h be b(-3). Suppose h = -2*n + 867 - 307. Is 20 a factor of n?
True
Let g = 1038 - -16577. Is g a multiple of 65?
True
Is (-1864)/(-2) - (6 + (15 - 24)) a multiple of 4?
False
Is 110 a factor of 8 + (-15 - -4) + 28493?
True
Suppose 746*x - 135228 = 742*x. Is x a multiple of 8?
False
Let g(v) = -v**2 - 9*v - 10. Let x be g(-7). Let k(t) = -t**2 + 9*t - 3. Let m be k(x). Let f = 33 + m. Does 9 divide f?
False
Suppose f + 2*r - 35 = 4*r, -2*f = -5*r - 75. Suppose -9*o - f = 11. Does 19 divide (-15)/(-10)*(42 + o)?
True
Let w(c) = 2*c**2 + 6*c + 23. Let h be w(-27). Suppose -q = 5*j - 473, 15*q = 18*q - 5*j - h. Does 64 divide q?
True
Suppose 104*i - 110*i = 24. Let r(d) = 71*d**2 - 10*d - 8. Does 73 divide r(i)?
True
Suppose 62*t - 690 = 57*t. Suppose q - 102 - t = 0. Is q a multiple of 48?
True
Let v = -71 + 68. Let g(h) = -h**2 - 8*h - 7. Let q be g(v). Does 18 divide 983/q - (-6)/48?
False
Suppose -96*r + 112434 + 135244 = -63746. Does 5 divide r?
False
Let l(k) be the third derivative of 161*k**5/60 + k**4/12 + k**3/6 - 13*k**2 + 7. Is l(-1) a multiple of 5?
True
Let f(m) = 5*m**2 - 154*m - 2508. Does 31 divide f(-19)?
False
Suppose -8*h + 0*h + 64 = 0. Let c = -53 - -137. Suppose -h*f = -4*f - c. Does 18 divide f?
False
Let y = -112 - -117. Suppose -2*m = -y*v + 610, -m + 136 = -2*v + 380. Does 9 divide v?
False
Let g(u) = -437*u + 92. Let s be g(8). Let c = s - -5136. Is c a multiple of 18?
False
Suppose 0 = 2*u + k - 78, -3*k = 3*u - 0*u - 123. Suppose 3*p - 334 + u = 0. Does 33 divide p?
True
Suppose 0 = -5*b + 3*o + 16, 0*o = 2*b - 2*o - 8. Suppose -64 = b*r - 284. Is 7 a factor of r?
False
Let u(o) = -o**2 + 26*o - 43. Let l be u(22). Suppose -l*i = 3*c - 43*i - 993, 0 = -2*c + 5*i + 681. Does 37 divide c?
True
Let c(n) = 6*n + 10. Let s be c(-3). Let g be (-4)/(-3)*(-12)/s. Suppose -5*d + 60 = -4*x, 2*x + g*x = 3*d - 36. Is d a multiple of 2?
True
Does 12 divide (-2*4507/6)/(((-493)/612)/29)?
True
Let b be -5 - (-4 - (5 + -1)). Suppose -5*f = 2*p - 1602, f + b*p - 963 = -2*f. Is f a multiple of 40?
True
Suppose -a - g + 200 = 0, g = 6*a - 8*a + 404. Is a a multiple of 17?
True
Let w = 9074 + -5639. Does 27 divide w?
False
Let z(a) = 3*a - 63. Let u be z(23). Let v(t) = 2*t**2 - 7*t + 14. Does 11 divide v(u)?
True
Does 42 divide ((-11470)/(-74))/(2/46)?
False
Suppose 0 = 39*s - 51*s + 48. Suppose 0*g + 2*g = 0. Suppose i + 3*o - 218 = g, s*i + 5*o = 8*i - 923. Is i a multiple of 13?
False
Let s = 27141 + -3088. Is s a multiple of 359?
True
Suppose -62*x - 9020 = -52*x. Let r = -198 - x. Does 17 divide r?
False
Let l = -2 + 4. Let z(j) = -5*j**3 + 50*j**2 - 8*j. Let k be z(8). Suppose k = -l*g + 10*g. Is 24 a factor of g?
True
Suppose -f + 22 = 2*k, 3*k - 44 + 5 = -3*f. Is 5 a factor of (5/2 + k/(-18))*128?
False
Suppose 4*d - 7*d - 50676 = -3*i, -4*d - 50678 = -3*i. Is 5 a factor of i?
True
Suppose -5*c + 0*c = 0. Let z be 669 + (-350)/(-105)*12/(-10). Suppose c*o = -5*o + z. Is 19 a factor of o?
True
Let j = 2