uppose 0 = x - z, -921 = -3*t + 2*x + x. Is 40 a factor of t?
False
Suppose -3*v + 1157 = -967. Suppose v = 5*g - 2*s - 1742, 1988 = 4*g + 4*s. Does 12 divide g?
True
Let z(q) = -19 - q**3 - 12*q**2 - 10*q + 0*q + 48 - 9. Is z(-11) a multiple of 4?
False
Suppose 0 = 25*w - 1282 - 143. Suppose 0 = -60*f + w*f + 1443. Does 26 divide f?
False
Let a = 68 - 63. Suppose -5*q + 2*w - 33 = 0, 9*q - a*q = -w - 16. Is 5 a factor of (-2 - -3)*(-1 + -6)*q?
True
Let k(d) = -3*d**3 - 3*d**2 + 2*d - 10. Let m(i) = -7*i**2 + 18*i + 18. Let h be m(-1). Is k(h) a multiple of 66?
True
Let x = 69 + -62. Let h be (-1 + (-3)/(-1))*(-273)/x. Is 28 a factor of 4/26 + (-10908)/h?
True
Let k be 0/(-2)*((-51)/12)/17. Is (2 + k)*-2 + 594 a multiple of 7?
False
Suppose 2*z = -0*z - 3*v + 23, -4*v = -5*z. Is 8 a factor of 1 - (-6 - z)*(-26)/(-4)?
False
Let i(o) = -o**2 + 28*o - 117. Let j be i(16). Let x be (-11 - -1)/(1/(-21)). Let y = x - j. Does 9 divide y?
True
Is -1 + ((-54558)/(-45) - 7/5) a multiple of 75?
False
Let i be (-3)/((-1)/(-7 - -6)). Does 27 divide (84/(-20) + i)*(-45)/6?
True
Let h(u) = 67*u**2 + 31*u - 30. Does 90 divide h(5)?
True
Let t(x) = 52*x**2 + 102*x - 424. Is t(19) a multiple of 15?
False
Let d be (-3)/9 + (718/3 - 2). Suppose d = -20*y + 21*y. Does 50 divide y?
False
Suppose 12563*z - 12621*z + 239772 = 0. Is 159 a factor of z?
True
Suppose -13820 - 126364 = -22*m. Suppose -m = -21*l + 15*l. Is 14 a factor of l?
False
Let r = 148 + -148. Suppose f - 590 = -r*f + o, -5*f + 3*o = -2954. Is f a multiple of 16?
True
Suppose -v - 12 = -h - 5, h - 10 = 2*v. Let j(f) = 44*f - 2. Let z be j(v). Let o = -36 - z. Is 29 a factor of o?
False
Let u(w) = -w**3 - 5*w**2 - 2*w - 1. Let v be u(-4). Let s be (-128)/6*v/2. Let k = s - 53. Is 13 a factor of k?
False
Does 8 divide (-16)/(-28) + 472340/133?
True
Let m(u) = -7*u - 45. Let h be m(-19). Suppose s - h = 2*n, -2*s - 3*n + 2*n + 156 = 0. Suppose p + 4*l - l = 74, 5*l - s = -p. Is 14 a factor of p?
False
Suppose 208*r - 207*r = 3*l - 67138, 89504 = 4*l - 3*r. Is 38 a factor of l?
True
Let j(v) = -2*v**2 - 3*v - 18. Let z(a) = 5*a**2 + 10*a + 54. Let k(n) = -11*j(n) - 4*z(n). Let i(m) be the first derivative of k(m). Does 23 divide i(11)?
False
Let l(j) = 188*j + 73. Is 75 a factor of l(4)?
True
Let h be (-5 - (0 + -5))*(-1)/(-3). Suppose u + u + 5*k = 127, -4*k + 20 = h. Suppose d = b - u, -d = -5*d. Is b a multiple of 9?
False
Suppose -12*b = -3231 - 1269. Let x = b - 215. Is 4 a factor of x?
True
Suppose -4*c + 2*l + 1952 = -3*l, 0 = -5*c + 3*l + 2440. Suppose 0 = 4*n - 5*g - c, -3*g = n + g - 143. Suppose 39 = -4*t + n. Is 6 a factor of t?
False
Suppose 13*x - 97917 + 15508 = 18198. Does 71 divide x?
True
Suppose -2*v - 3*v = 2*d - 58257, -58260 = -5*v - 5*d. Is 21 a factor of v?
False
Is (2/(-18)*15)/((-3)/3132*1) a multiple of 12?
True
Let s(a) = -248*a - 31. Let m be s(-4). Suppose 3*u + 5*n - 1445 = 0, 4*n - 5*n = 2*u - m. Is 40 a factor of u?
True
Is ((-177135)/6)/7*((-10)/(-50) - 9) a multiple of 11?
True
Is 10 a factor of 15725 - (11 - ((-5)/(-15))/((-6)/(-72)))?
False
Suppose -6*b + 11*b + 17975 = 4*k, 0 = -9*k + b + 40372. Does 39 divide k?
True
Let s(q) = 3*q + 7 - 2 + q**2 - 1. Let h be s(9). Suppose -10*r + 12*r - h = 0. Is r a multiple of 7?
True
Suppose 4*x - 3*i + 8*i = 20324, 3*x + i = 15265. Is 19 a factor of x?
False
Let h = 466 + -340. Let n be (8/10)/((-6)/(-30)). Suppose -n*o = 5*o - h. Does 2 divide o?
True
Let q(n) = 29*n**3 - 5*n**2 + 21*n - 65. Is q(4) a multiple of 5?
True
Suppose 24*p + 12*p = 6*p + 88380. Is 94 a factor of p?
False
Let m(u) be the first derivative of -35*u**2/2 - 59*u + 3262. Let r be (5 - -1)*(-3)/2. Does 16 divide m(r)?
True
Suppose -q + 571 = 2*v, 14*q - 9*q - 299 = -v. Suppose -5*g = -2*i + 89, 2*g + 46 = -4*i + v. Is i even?
False
Let w = -7 - -28. Let f(y) = y**2 - 13*y + 12. Let l be f(w). Is 9 a factor of l/3 - (-2 - 1)?
True
Suppose 8*j - 3*j - 4706 = -d, 2*d = -5*j + 4707. Is j a multiple of 66?
False
Suppose 2341*v - 2183*v - 2208840 = 0. Is v a multiple of 12?
True
Suppose 1049 = 12*r - 91. Let d = r - 61. Is d a multiple of 4?
False
Suppose -2*g = -n + 3358, -14*n + 17*n - 10054 = 2*g. Is n a multiple of 181?
False
Suppose m + 3*p - 5226 = -4*m, 2*p = m - 1053. Suppose 8*b = 3*b - 5*g + 2625, -m = -2*b - 5*g. Is b a multiple of 61?
False
Let l = 21076 - 16374. Is 28 a factor of l?
False
Suppose -i + 3*c - 2700 = -8376, 4*i = c + 22638. Does 46 divide i?
True
Suppose 2*w + 27 = 15. Let t(y) = -3*y**3 - 4*y**2 + y - 16. Does 14 divide t(w)?
False
Let n be ((-12)/(-102) + (-141)/(-102))*2. Suppose -c + 5*h = -n, -3*h = -5*h + 10. Let b = 61 - c. Does 2 divide b?
False
Is 18 a factor of (-5314)/(-5) + (-4095)/2275?
False
Suppose -84932 = -19*w - 15*w. Does 130 divide w?
False
Let y = -77 - -104. Suppose y*q - 26*q - 8 = 0. Is (-3358)/(-10) + q/40 a multiple of 42?
True
Let j = -152 - -68. Let o = j - 46. Is 1/(5 - (-649)/o) a multiple of 13?
True
Let c(u) = u**3 + 7*u**2 + 3*u + 1. Let g be c(-5). Suppose 3*j + g = 12*j. Suppose 242 = 5*b + j*d, 5*d + 60 = -5*b + 6*b. Is 10 a factor of b?
True
Let i = -3807 + 4519. Is 45 a factor of i?
False
Suppose 4*h - h + 5*u = 962, 3*h + 2*u = 950. Let n = -149 + h. Suppose -2*f + 76 = -2*k - 36, -3*f + n = -4*k. Does 40 divide f?
False
Suppose -3*r = -r + 3*v - 15, -4*r + v + 51 = 0. Let b(x) = 27*x + 103. Is 10 a factor of b(r)?
False
Is (-23)/69 + (-7)/(21/(-388)) a multiple of 4?
False
Let m = 554 - 353. Let u be 1035/(-6)*4/5. Let b = u + m. Does 7 divide b?
True
Suppose 38*a + 35*a - 215840 = 33*a. Is a a multiple of 19?
True
Let h = -46 - -42. Let s(p) = p**2 + 3*p - 1. Let y be s(h). Suppose y*q = 9, 2*q = 5*a - 72 + 18. Is 4 a factor of a?
True
Does 25 divide (-6)/14 + 172/(-14)*120879/(-198)?
True
Let j(l) = -49*l + 1456. Is 7 a factor of j(-3)?
True
Suppose 2*o - 5*a - 6562 = 0, -57*o + 56*o + 3*a = -3279. Is 15 a factor of o?
False
Does 20 divide 17*987 + (-25)/((-325)/78)?
False
Let n = 56 - 52. Suppose 0 = d - n*d. Suppose c + 2 + d = -l, 0 = l + 2*c + 7. Is l even?
False
Let u(z) = -6*z + 2. Let s(m) = -m**2 + 24*m - 37. Let h be s(18). Let b = 66 - h. Does 9 divide u(b)?
False
Let h(n) be the first derivative of 20/3*n**3 + 0*n**2 + 12*n - 5 + 1/2*n**4. Does 3 divide h(-10)?
True
Suppose d = j - 5, -6*d - 12 = -2*d. Suppose -12*l = j*f - 9*l - 295, 5*f = 5*l + 800. Is f a multiple of 31?
True
Suppose -5*n - 773 = -9*n - r, -4*n = -5*r - 791. Suppose -12*d + 4*x = -9*d - n, -2*x = 4. Is d a multiple of 20?
False
Suppose 10*n - 15*n = -5*t, 2*t - 3*n = -2. Suppose 4*v + 5*w - 63 = 0, 0*v = t*v + 2*w - 30. Is 5 a factor of v?
False
Let c = 4685 - -4597. Does 12 divide ((-3)/(-2))/(39/c)?
False
Suppose 2*t = g - 3347, 5*t + 4*g - 3381 + 11729 = 0. Is (-265)/(-106)*t/(-10) a multiple of 19?
True
Let d be (3/6)/(0 - (-1)/14). Suppose 3*z - d*z = -w + 100, 0 = 5*w + 5*z - 600. Suppose -w = 11*q - 545. Is q a multiple of 13?
True
Let u(l) = l**2 + 13*l + 24. Let w be u(-11). Suppose 0 = 4*b + w + 26. Let d = b - -214. Is 25 a factor of d?
False
Suppose -2*d - 177428 = 3*a - 6*a, -3*d - 3 = 0. Is 12 a factor of a?
False
Suppose -8*w + 12*w = 16. Suppose 4*y + 913 = w*j + 273, 3*j = 5*y + 476. Is j a multiple of 6?
True
Let o(v) = v**2 + 4*v + 3. Let n be o(-4). Suppose 0 = 2*a + 4*d - 14, a - d = n*a - 11. Does 5 divide 10/(-25) + 72/a?
False
Let p(u) = 14*u**2 + 113*u + 43. Is p(11) a multiple of 20?
True
Let x = 130 + -238. Let w = 731 + x. Is w a multiple of 56?
False
Suppose 2*n + 3 = -3*o - 0*o, 5*o + 3*n = -6. Is 42 a factor of 323/3 - o/9?
False
Let l(q) = -16*q**2. Let h be l(1). Let g(o) = -33*o + 53. Is 18 a factor of g(h)?
False
Let n = 28408 - 16403. Does 35 divide n?
True
Suppose t = p + 411 + 564, -3*t + 2*p = -2924. Is t a multiple of 2?
True
Suppose 17*n - 31*n = -28. Suppose -27 = n*q - 103. Does 5 divide q?
False
Let d = 20 + 9. Suppose d*v = 53*v - 9792. Is 33 a factor of v?
False
Let g(a) = 24 + 26 + 3*a - 2*a + 0. Does 8 divide g(12)?
False
Let o = 84 - 57. Suppose 3*g = 3*v + 63, 77 = -4*v + v - 4*g. Let s = o + v. Is 4 a factor of s?
True
Let o(v) = 3*v**3 - 5*v**2 + 4*v + 3. Let b be o(2). Suppose 2*g = -i - 10, -4*g - b = -g. Does 55 divide (-990)/(-6) + i/(-2)?
True
Suppose 