 2, 3*t = 4*o - k. Is o a multiple of 12?
True
Let n = -157 + 259. Is 34 a factor of n?
True
Let b = 768 - 575. Does 2 divide b?
False
Let z(q) = q**2 - q - 5. Let b be z(7). Let j = b + -16. Is 21 a factor of j?
True
Suppose -2*b - 510 = -s, s + s + b = 1030. Suppose -5*k - 109 = -s. Does 17 divide k?
False
Suppose 0 = 4*q - 6*q - 8. Let n(w) = w**2 - 4*w - 6. Does 3 divide n(q)?
False
Let g be 1 + (-6)/(-8)*4. Suppose 0*c - 2*c = 4*q - 20, -40 = -3*c + g*q. Suppose 3*r - c = 2*r. Does 4 divide r?
True
Let k be 10*((-18)/15)/(1/15). Let d = k - -350. Is 34 a factor of d?
True
Let x(u) = u**2 + 16. Let b be x(-12). Suppose -5*c = -c - b. Suppose -c - 108 = -4*k. Is k a multiple of 14?
False
Let j be 2/(-3) + (37/(-3) - -2). Let b = 153 + j. Is 43 a factor of b?
False
Let a = 9 + -5. Suppose a*s - 15 = -s. Is 7 a factor of (11/3)/(s/9)?
False
Let i(c) = c**3 + 13*c**2 + 7*c - 12. Let t be (4/(-6))/((-10)/(-180)). Let g be i(t). Suppose g = -3*h + 4*h. Is 12 a factor of h?
True
Let t(k) = 5*k + 219. Is t(-24) a multiple of 11?
True
Let j = 351 - -413. Is 2 a factor of j?
True
Let w = -194 + 285. Let n be (-39)/w + (-146)/(-14). Is 2 a factor of (-4)/n - (-204)/10?
True
Let b(q) = -q**3 + 4*q**2 + 11*q + 22. Is 4 a factor of b(6)?
True
Suppose 6*u - u = 2*a - 219, 0 = -a + 4*u + 114. Is a even?
True
Let r(y) = -y**2 + 8*y - 12. Let g be r(5). Suppose -g*m - 30 = -4*n, 0*n + n = -3*m. Suppose n = -3*q - 3*b + 54, 0 = 5*q + 2*b - 77. Does 14 divide q?
False
Let f be 0 + (-7 + 3)*-14. Suppose -5*a + 2*t = 5*t - f, -2 = a + 5*t. Does 13 divide a?
True
Suppose 18*b - 66 = 7*b. Suppose b*x - 771 = -291. Does 40 divide x?
True
Let x(n) = 165*n + 132. Is x(7) a multiple of 13?
True
Suppose 0*w + 400 = 4*w. Let t = w - 29. Does 25 divide t?
False
Let a = 139 - 27. Let x = -78 + a. Suppose -5*f = -4*i + 124, i + f - 3*f = x. Is 13 a factor of i?
True
Let q be (9 + -8)*(2 + -1 + -5). Does 3 divide q/(-10) + 136/10?
False
Suppose 0*f + 2*f = 0. Suppose f*m = -2*m + 386. Suppose 208 = 3*a + 2*v, 2*a - v = -a + m. Is a a multiple of 22?
True
Let v = 24 - 17. Suppose -v*t - 344 = -9*t. Is t a multiple of 43?
True
Let f be 6 - 3 - -2 - 3. Suppose -5*i + 36 = -f*i. Suppose -a + i = a. Does 5 divide a?
False
Suppose r = -2*y + 29 - 7, 4*r - 2*y = 68. Let v = -19 + 13. Let d = r + v. Is d a multiple of 6?
True
Does 19 divide (-39 - -1)*((-23)/2)/23?
True
Suppose -4*p - 18 = g - 3*g, 5*p = -2*g. Let c be (-5)/(-2) + p/(-4). Suppose 5*i - 82 = -c*m + 138, 3*i + 274 = 4*m. Does 13 divide m?
False
Let k be -4 + -42 + 2/(-1). Let j be k/(-22) + (-8)/44. Suppose -q + 6 = j. Is q a multiple of 2?
True
Let x = 14 + -14. Suppose -7*l + 2*l + 25 = x. Suppose 3*o - 3*j = 222, -l*o = -4*o + 2*j - 77. Is 25 a factor of o?
True
Suppose -5*v + v - 100 = 0. Let t = v + 150. Suppose -3*j + 93 = 4*k, j = -3*j - 5*k + t. Is j a multiple of 7?
True
Suppose -4*s - 38 = -118. Let a = 43 - s. Is a a multiple of 17?
False
Let q be (-3)/12 + (-97)/(-4). Let g = 18 + -29. Let v = q + g. Is 8 a factor of v?
False
Let g(m) = m**2 + 9*m + 6. Suppose -31*z = -28*z + 54. Is g(z) a multiple of 21?
True
Suppose -2*c - 7345 = -5*o, -1477 = -29*o + 28*o + 2*c. Does 17 divide o?
False
Suppose -s = 4*w - 103, 5*s = 2*w + 2*s - 69. Suppose -4*d - w = -5*d. Does 9 divide d?
True
Suppose 3*n = -5 + 8. Suppose -n + 2 = v. Does 5 divide (v/(-2))/(9/(-522))?
False
Suppose 51*l + 833 = 58*l. Is 17 a factor of l?
True
Let y(f) = -9*f + 54. Suppose -l = 4 + 1. Does 26 divide y(l)?
False
Let g(t) be the third derivative of t**5/60 + 3*t**4/8 - t**3 - 28*t**2. Is g(-18) a multiple of 26?
True
Suppose -3*q = 3, 2*l + 15*q - 382 = 13*q. Does 6 divide l?
True
Let m = -30 - -43. Suppose -2086 = -m*t - 175. Does 49 divide t?
True
Let m(s) = 573*s + 273. Does 21 divide m(4)?
False
Suppose -2*i + 29 = -3. Let g be ((-24)/i)/((-6)/8). Suppose -4*f = -g*f - 208. Is f a multiple of 29?
False
Let k(d) = 4*d + 3. Let w(a) = a**2 - 9*a - 7. Let f(q) = 13*k(q) + 6*w(q). Does 25 divide f(-2)?
True
Let k = 545 - -592. Is 46 a factor of k?
False
Is (-1068 - -6)*((-9)/2)/9 a multiple of 28?
False
Let o be (-3 + 1)*3/(-2). Suppose -3*c - o*y = 132, -3*y + 82 = -2*c - 2*y. Let k = c + 74. Is k a multiple of 8?
True
Let g be 2/3 - 544/24. Let l = g - -70. Is l a multiple of 10?
False
Let v(n) = 4*n + 38. Let m be v(-9). Let q = -1 - -69. Suppose 4*w - m*w - q = 0. Is w a multiple of 12?
False
Is 5/4 - (-4064)/128 a multiple of 11?
True
Let j(m) be the second derivative of -m**4/12 + 7*m**3/6 + 2*m**2 - 6*m. Is 10 a factor of j(5)?
False
Let a = 42 - 40. Is 14 a factor of -2 + (3 - a)*(-7 - -191)?
True
Let s = -1623 - -3018. Is 93 a factor of s?
True
Is 0/2 + 16*96/6 a multiple of 32?
True
Suppose 9*t + 2*t = 0. Suppose 7*z - 3*z - 952 = t. Is 34 a factor of z?
True
Let a = -477 - -747. Is a a multiple of 30?
True
Let u be 7 + -3 - (-30)/(-2). Let b = -7 - u. Suppose b*c = -a + 72, 0*a - a - 99 = -5*c. Is 11 a factor of c?
False
Let d(x) = x**3 - x**2 - x + 5. Suppose -6*z + 3*z = 0. Let r be d(z). Suppose -58 = -r*s + 52. Does 22 divide s?
True
Suppose x - 8 + 3 = 0. Suppose 4*z + 529 + 27 = 4*u, 4*z = -x*u + 659. Is 27 a factor of u?
True
Let l(k) = k**3 - 252. Let g be l(0). Suppose 103 - 131 = 7*j. Is 13 a factor of g/(-10) - j/5?
True
Let m = -558 + 1221. Suppose -1311 = -4*v - 3*f, -3*v + 5*v = f + m. Does 22 divide v?
True
Suppose 3*q = x - 13, -x = 3*q - 0*q + 23. Is 10 a factor of q/(-8) + (-1185)/(-20)?
True
Suppose 4*b = -5*m + 6250, 0 = 69*b - 68*b + m - 1562. Does 24 divide b?
True
Suppose 3*d = -0 - 30. Let u be -3 + 2*134/(-4). Is 12 a factor of u/4*8/d?
False
Suppose -286*l = -285*l - 806. Is 12 a factor of l?
False
Let o(y) = -y**2 + 9. Let k be o(0). Let l(f) = 3*f - 21. Let z be l(k). Suppose t = z*t - 195. Does 5 divide t?
False
Suppose 5 = z, -10 = n + 5*z + 4. Let f = -37 + 104. Let g = n + f. Does 14 divide g?
True
Suppose 2*d - 4964 = 2*s, -12*s - 4943 = -2*d - 17*s. Is 20 a factor of d?
False
Suppose -2*k + 3*d = -2327, 2*k - 5*d = 3073 - 736. Is 124 a factor of k?
False
Let p = -381 + 1277. Is 28 a factor of p?
True
Let v be -1*24*((-35)/(-15))/(-7). Suppose v*r - 42 = 5*r. Is r a multiple of 14?
True
Suppose 0 = -h + 5*h + 68. Let s = h - -30. Is 8 a factor of s?
False
Let v = -406 - -468. Does 8 divide v?
False
Let y be (1 - -3 - 0) + 1556. Is 30 a factor of y/14 - 18/42?
False
Let b(h) = 4*h**2 - 23*h - 5. Let x be b(6). Suppose -x = -2*m + 25. Is m a multiple of 7?
False
Let g = -116 - -80. Let d = 50 + g. Is 14 a factor of d?
True
Suppose -4*z = -3*s + 25, -2*s + 10 = 5*z - 6*z. Suppose -5*q = -s*q - 60. Suppose 4*x + x - q = 0. Is 4 a factor of x?
False
Let h = -50 - -50. Suppose h = -2*x + 4*z + 188 - 10, 3*z = 2*x - 178. Is 31 a factor of x?
False
Let r = 868 + -462. Is 14 a factor of r?
True
Let d = -2111 + 2184. Does 47 divide d?
False
Let n(g) = -19*g + 80. Does 52 divide n(-4)?
True
Let t be (-1)/(-2) + 34/(-4). Let c be (-76)/t*(-2)/(-1). Is c/(-2)*(-15 + 13) a multiple of 4?
False
Suppose -2*a + 2380 = 5*a. Suppose 11*r - 6*r = a. Is 17 a factor of r?
True
Is 9 a factor of ((-43819)/(-116))/((-2)/(-16))?
False
Suppose 5*s - 20 = -p, s = -2*s + 9. Suppose 9*w = p*w. Suppose w = y - 7 - 1. Is 3 a factor of y?
False
Is 2 a factor of (-460)/(-14)*((3 - 5) + 9)?
True
Let g be (6/(-2) - -27) + -3. Let j = 21 - g. Suppose 5*a - 116 = -2*c - 2, 5*c - 2*a - 227 = j. Does 15 divide c?
False
Suppose 0 = 5*s - 3*c - 2*c - 360, 0 = -2*s - 4*c + 168. Is s a multiple of 2?
True
Suppose 3*s + 0*s + 39 = 0. Let l = -11 - s. Suppose -6*m + 104 = -l*m. Does 13 divide m?
True
Let a be (-2)/11 - (-506)/121. Suppose 0*u + 40 = a*u. Does 6 divide u?
False
Let d = -287 - -422. Is 9 a factor of d?
True
Let o(i) = 4*i - 3*i**2 - 5*i + 7*i + 2*i**2 + 4. Let k be o(-7). Let s = k + 123. Does 9 divide s?
True
Let f(z) = 17*z + 79. Is 12 a factor of f(13)?
True
Suppose -4*x - r - 955 = -9*x, -3*r = -15. Is 4 a factor of x?
True
Let z(w) = 2*w**3 - 7*w**2 - 3*w + 3. Let m be z(5). Is (m/36)/((-1)/(-24)) a multiple of 6?
True
Let g(l) = -l + 75. Does 20 divide g(-25)?
True
Let q be 14*7*4/32*4. Let u = -8 + 13. Let h = u + q. Is 15 a factor of h?
False
Let p(j) = 628*j**3 - 5*j**2 + 2*j + 2. Is p(1) a multiple of 33?
Tru