 Let a(i) = 9*i + 7. Let k be a(s). Let t = k + -87. Does 14 divide t?
False
Suppose 0 = 12*n - 5 - 7. Let x = 30 - 20. Let q = x - n. Is 2 a factor of q?
False
Is 32 a factor of ((-19351)/(-11) - (-32)/(-176))*1?
False
Suppose 3633 + 1427 = 11*d. Does 5 divide d?
True
Suppose 3*d + 465 = l - 132, l = -5*d + 557. Suppose 0 = -4*n + 5*i + l, -3*n - 4*i + 135 = -2*n. Is 13 a factor of n?
True
Let o(g) = -16*g - 25. Let q(a) = -2*a - 13. Let h(i) = -3*i - 13. Let y(r) = 6*h(r) - 5*q(r). Let w(j) = -3*o(j) + 5*y(j). Is 14 a factor of w(4)?
True
Let c(k) = k + 3. Let z be c(0). Suppose z*n + 9 = 0, -2*x + 0*n + 100 = -4*n. Does 11 divide x?
True
Suppose 1188*j - 1199*j = -2794. Does 4 divide j?
False
Let s = -9 - -14. Let i = s + -8. Let l(j) = 3*j**2 + 2*j. Does 9 divide l(i)?
False
Suppose 0 = -3*q - 3*n - 150, q = -3*n - 66 + 10. Let b = 137 + q. Does 13 divide b?
False
Let y be (0 - 1) + 12/(-2). Let s = -3 - y. Suppose 10 = n + d, 0*n + 25 = 3*n + s*d. Is n a multiple of 5?
True
Let m(w) = 0*w + 4*w**3 + 16*w**3 - w - 1 + 2*w**2 + 10*w**3. Does 3 divide m(1)?
True
Suppose -x - 5*m + 2494 = 0, 10*x + 7442 = 13*x - 5*m. Is 9 a factor of x?
True
Let r(g) = -3*g - 19. Let u be r(-8). Let o = u + -8. Is -1 + 7 + o + 3 a multiple of 4?
False
Suppose -3*x - 2*r + 6 = -16, 5 = -5*r. Let a(d) = d**2 - 3*d - 6. Let q be a(x). Does 23 divide (-51)/q - (-282)/4?
True
Suppose 0 = -4*w - 7*m + 8*m - 286, 5*w + 345 = -5*m. Let c = w - -95. Is c a multiple of 3?
True
Suppose -5*g - 2 = 3*x, 0*g - 2*g - x = 0. Suppose -3*c + 2*c - 3*f = -85, -c = g*f - 84. Suppose 5*q = 2*z - 87, 6*z - 4*z - c = 4*q. Does 9 divide z?
False
Let d be 14/35 + (-5)/(25/(-63)). Does 9 divide d + -1*(-4 - -2)?
False
Suppose 0 = 3*i, -3*m - 3*i = -0*m + 15. Suppose -10*c = -c + 81. Is (c/m)/(2/10) a multiple of 3?
True
Let m(f) = 2*f + 1. Let d be m(7). Let s = -11 + d. Suppose -s*n + 5 = -15. Is n even?
False
Let x(s) = 18 + 8*s - 4*s + 7 + 12*s - s**2. Is x(17) even?
True
Let q be -4 + (-4 - (-8)/12*9). Does 14 divide (-2 - 71*6)*q/4?
False
Let g(x) = -13*x - 5 + 7 - 1. Let i be g(-5). Suppose 289 = 5*j - i. Does 24 divide j?
False
Suppose 4*m - 16 = -8. Does 13 divide (-4)/(-4 + m) + 59?
False
Let s(n) be the first derivative of 2*n**3/3 - 3*n**2/2 + 6*n + 16. Is s(11) a multiple of 43?
True
Is (-684)/(-4) + (12 - 9) a multiple of 23?
False
Suppose 6*l - 2399 = -4*f + l, -5*f - 4*l + 3001 = 0. Let w = 859 - f. Let x = -159 + w. Is 33 a factor of x?
True
Let r(t) = -2065*t - 111. Is r(-2) a multiple of 20?
False
Let d(t) be the third derivative of -t**6/120 + 2*t**5/15 - 7*t**4/24 - 4*t**3/3 + 2*t**2. Is d(6) a multiple of 22?
True
Suppose 5*r = -10, -5*n + 2*r = -46 - 33. Suppose -2*l + 2*j + 54 = -2*j, -4*l = -3*j - 118. Let p = l + n. Is p a multiple of 27?
False
Let p(h) = 227*h**2 - 2*h + 1. Let t be p(1). Let o = t + -157. Is o a multiple of 12?
False
Let a(b) = -b + 17. Let t be a(13). Suppose t*h - 160 = 2*u + 3*u, -4*h + 2*u = -172. Is h a multiple of 9?
True
Suppose 0 = -12*h + 5*h + 1470. Does 14 divide h?
True
Let q = -66 + 930. Is 24 a factor of q?
True
Does 14 divide -4 + 1 + 10 - -49?
True
Let z(w) = w**3 + 5*w**2 - 4. Let o be z(-5). Does 25 divide 2 + -2 + (71 - o)?
True
Let y(o) = -3*o + 35. Let d be y(10). Let n(j) = j + 68. Let p be n(0). Suppose d*z = -20, 0 = -2*v + z + z + p. Is v a multiple of 13?
False
Let x(v) = -43*v - 552. Is 8 a factor of x(-32)?
True
Suppose -53*m = -56*m + 3. Is 33 a factor of -1*m*(-352 - -3)?
False
Suppose 4*p = -i + 1772 + 862, 4*p + 2*i = 2636. Is 37 a factor of p?
False
Let n be (822/(-4))/(24/(-32)). Suppose 2*g = 4*f - n, -4*g + 67 + 282 = 5*f. Does 13 divide f?
False
Suppose 3*r - 4*a = -2*r + 55, r = -2*a - 3. Suppose 393 = r*u - 4*u. Let h = u + -74. Is 30 a factor of h?
False
Let b = -5 + 9. Suppose 0 = -4*t - 3*p + 9, -5*t + 0*p - b*p = -12. Suppose -4*f - 138 + 366 = 3*o, -3*o = t. Does 19 divide f?
True
Let n be (-10)/6*(-3 - 0). Suppose -2 - 13 = n*z. Is 4 a factor of 2 + (z - -8) + -3?
True
Is 0 + (-6)/(-12) + (-325)/(-10) a multiple of 3?
True
Let l(u) = -5*u + 8. Let m be l(-8). Let d = m + -31. Is d a multiple of 12?
False
Suppose -5*p = 2*p + p. Suppose p*q = 4*q - 192. Does 12 divide q?
True
Let r = -4567 - -7258. Suppose -r = -3*g - 0*g. Is g/9 + 4/(-6) a multiple of 24?
False
Suppose -69*b = -82*b + 7020. Does 4 divide b?
True
Suppose b - 6*b = -210. Let s = -40 + b. Is s a multiple of 2?
True
Let a(w) = w**3 - 44*w**2 + 148*w + 96. Is a(41) a multiple of 19?
True
Suppose -187*z + 163*z = -1560. Does 14 divide z?
False
Suppose 0 = -32*g - 4*g - 2340. Suppose 2*n + 266 = 8. Let z = g - n. Is 13 a factor of z?
False
Suppose 5*u + 24 = y, -2*y - y - 5*u = 8. Suppose y*m = 5*m - 55. Does 14 divide m?
False
Let u(o) = 69*o**3 + o**2 + 2*o - 3. Does 40 divide u(1)?
False
Let n(o) = o**2 + 8*o + 7. Let l be 2/((-48)/21 - -2). Let h be n(l). Let i = 3 - h. Is 3 a factor of i?
True
Let c(v) = -18*v - 25. Let i be c(7). Let b = -95 - i. Does 12 divide b?
False
Suppose 2*j + j - 1294 = -2*k, 0 = 5*j + 4*k - 2158. Is j a multiple of 10?
True
Suppose 4*l - 5 = -37. Let d be (l/(-5))/(6/(-45)). Let w = d - -15. Is w a multiple of 2?
False
Is (-1)/3*-3 - -59 a multiple of 2?
True
Suppose -b + 2*x + 15 = 0, 0*x - 107 = -5*b + 2*x. Let f = 14 + b. Is f a multiple of 4?
False
Let a = -383 + 783. Is 18 a factor of a?
False
Suppose 10 = -0*n + 5*n. Suppose 4*w - n*w = 36. Let k = w + -10. Is k a multiple of 4?
True
Let z = 291 + -25. Suppose -28*u + 27*u = -z. Is u a multiple of 20?
False
Let y(i) = -33*i + 790. Is y(-25) a multiple of 7?
False
Suppose -266 - 178 = -4*b. Suppose -7*k + 12*k + 5*q = 265, 3*q = 2*k - b. Is 9 a factor of k?
True
Let v = -189 - -444. Is 10 a factor of v?
False
Let k(l) = -14*l - 19. Is 13 a factor of k(-3)?
False
Let h(z) = -z - 1. Let u be h(-10). Is 10 a factor of ((-300)/u)/(-5)*(-42)/(-4)?
True
Suppose 0 = 8*u - 4*u - 20. Suppose u*c - 4 = 81. Does 11 divide c?
False
Suppose -5*p = -3*p - m - 1069, -3*p - 2*m + 1614 = 0. Is 11 a factor of p?
False
Is 11 a factor of ((-28)/(-5))/(74/2035)?
True
Let d(p) = -p**2 + 20*p - 10. Does 3 divide d(7)?
True
Let o(j) = j - 6. Let m be o(10). Let z(l) = -27*l**3 + 46*l**3 - l**2 + 4*l - 17*l**3 - 3. Does 28 divide z(m)?
False
Let l(c) = 32*c**2 - 8*c - 37. Does 69 divide l(-10)?
True
Let o = 458 + -423. Is 2 a factor of o?
False
Suppose -c = -5*c + 16. Suppose -c*g + 5*i + 28 = 0, 5*g = 4*i + i + 40. Let z = 48 + g. Does 20 divide z?
True
Suppose -3295 = -8*v + 2585. Is v a multiple of 49?
True
Let p(v) = -v**2 - 13*v + 7. Let b be 6/((15/10)/(-3)). Is 4 a factor of p(b)?
False
Suppose 21*p - 10 = 19*p. Is 7 a factor of 4 + p/((-5)/(-26))?
False
Suppose -3*w = -4*w. Suppose 5*k + 2*k - 133 = w. Let v = -8 + k. Does 2 divide v?
False
Let t(z) = -3*z**3 - 3*z**2 - z - 9. Is 6 a factor of t(-3)?
True
Suppose -4*y - 6 = -5*l, y + 3*l - 3 = 2*l. Is 8 a factor of (y - 1) + (1 - -24)?
False
Suppose 126 = -0*c - 14*c. Suppose y + 220 = -3*y. Is (-6)/c*-3 - y a multiple of 19?
False
Let a(h) = h**3 + 3*h**2 + 3*h + 8. Is a(4) a multiple of 7?
False
Suppose -66*f = -71*f + 1145. Is 2 a factor of f?
False
Suppose 0 = 2*a - w - 557, 3*a + 72*w - 852 = 68*w. Is a a multiple of 6?
False
Let z = -485 - -863. Is 21 a factor of z?
True
Let r = -724 - -1668. Does 59 divide r?
True
Let f = 29 + -27. Suppose 5*q - f*q = 102. Is q a multiple of 17?
True
Suppose -6*r = -16*r + 3610. Is 19 a factor of r?
True
Let l = 113 + -107. Does 26 divide (2 - -4)*2*143/l?
True
Suppose -6*i + 3 = -3*i. Let b be (-1)/((-1)/3*i). Suppose y - 38 = g, b*y + 2*g - 48 = 66. Does 11 divide y?
False
Let l = -126 - -132. Suppose 0 = -l*u - 14*u + 780. Is 13 a factor of u?
True
Let h(u) = 12*u**2 - 11*u + 18. Let l be h(6). Let p = -216 + l. Is p a multiple of 14?
True
Suppose 126 = -22*i + 1512. Does 9 divide i?
True
Let a = 36 - 28. Let w = 2 + a. Suppose 9*n = w*n - 90. Is 30 a factor of n?
True
Let k = 87 + -158. Let c = k - -87. Does 3 divide c?
False
Suppose 25 = 4*s + 9. Suppose 2*k - s*a - 40 = 128, 5*a = 2*k - 169. Is 12 a factor of k?
False
Suppose 0*u + 5*u = 0. Suppose -2*f + 3*k = -111, u*f - 43 = -f + 4*k. Suppose 0 = -5*m - 15, m = -j + 3*m + f. Does 19 divide j?
True
Let n be -6*(-4)