t i = 1603 - 1027. Is i a multiple of 48?
True
Suppose 259*y = 257*y + 140. Suppose -5*d = i - 166, -4*d + 4*i = -6*d + y. Is 17 a factor of d?
False
Let h(f) = -f**2 + 14*f + 3. Let r = 34 - 20. Let v be h(r). Let y = v + 8. Does 5 divide y?
False
Let z be 0 + -4 + 2 + 4. Let m = 5 - z. Suppose 0 = -5*x + 5*o + 20, o + 46 = 4*x + m*o. Is x a multiple of 7?
False
Let p(f) be the first derivative of -19*f**2/2 - 15*f - 4. Is p(-6) a multiple of 12?
False
Let g(r) be the second derivative of r**6/120 - r**5/120 - r**4/6 - r**3/3 + 4*r. Let q(w) be the second derivative of g(w). Is 9 a factor of q(-3)?
False
Let n = -58 - -97. Let x = 69 - n. Does 15 divide x/12*(-1 + 13)?
True
Does 17 divide 19/(-2)*(-9 + -25)?
True
Let m(a) = -9*a - 8. Let q be m(-6). Let r(j) = -j**3 - 12*j**2 + 11*j - 22. Let o be r(-13). Suppose 2*t = -o*p + q, 4*p = 3*t + t + 40. Does 11 divide p?
True
Suppose -l + q = 2*q - 2937, -3 = 3*q. Is 34 a factor of l?
False
Let n = -118 - -73. Does 6 divide (-10)/(-3)*(-243)/n?
True
Let b = -166 - -534. Suppose -3*c = 4*s + 77 - 292, 0 = 5*c - 3*s - b. Is c a multiple of 12?
False
Suppose 4*m = 2*v + 6, -4*m + m - v = -7. Suppose 0*p - m*p + 174 = 0. Is p a multiple of 29?
True
Suppose 3*h - 38 = 28. Let k = 747 + -745. Suppose k*w = l + l + h, 2*w = 4*l + 24. Does 10 divide w?
True
Suppose -2*c + 6*c = 12. Suppose 0 = 2*q + f - 155, 5*f + 265 = 6*q - c*q. Is q a multiple of 40?
True
Suppose 43*v - 10393 - 22158 = 0. Is 81 a factor of v?
False
Let s(i) = 2*i**3 - 9*i**2 - 29*i + 36. Is 39 a factor of s(14)?
True
Let y(z) = z**2 + 14*z - 58. Does 14 divide y(-24)?
True
Let w(q) = 10*q - 105. Does 3 divide w(12)?
True
Let t be (1 + 5)*5/40*4. Suppose -3*b + t*u = -153, -b - 10*u + 7*u = -55. Is b a multiple of 6?
False
Suppose n + 86 = 3*u + 2*n, 116 = 4*u + n. Suppose 31*l = u*l + 25. Is l even?
False
Is (-15)/(4*(-9)/180) a multiple of 15?
True
Let h(i) be the second derivative of -i**3/6 + 7*i**2 + 19*i. Does 7 divide h(2)?
False
Does 47 divide (1 - 0)*(736 - 14/(-2))?
False
Suppose 278*b + 1701 = 279*b. Is b a multiple of 35?
False
Suppose -4 = -4*f + 8. Suppose 3 + f = -s. Let z = 0 - s. Is 3 a factor of z?
True
Suppose 2*j = 4 + 4. Let f(t) = 5*t**2 + 0*t + t**3 + 0 - 11 - j*t. Does 2 divide f(-5)?
False
Let q(h) = -h**3 - 7. Let d be q(0). Let y(m) = -m**3 - 8*m**2 - 9*m - 10. Let w be y(d). Suppose w*v - 3*o = 393, -o - 228 = -5*v + 255. Is v a multiple of 26?
False
Suppose 10*r = 28*r - 7830. Does 45 divide r?
False
Suppose 32*l = 27*l + 1555. Is 71 a factor of l?
False
Let n be (-273 + (0 - -2))*-1. Let z = n + -102. Is 11 a factor of z?
False
Let w(h) = -9*h + 281. Does 2 divide w(24)?
False
Suppose 11*c = -50*c + 20496. Is 56 a factor of c?
True
Let x(y) = 13 - 11 + 4*y - 12. Let s be x(6). Suppose 29 = 5*r + s. Is 2 a factor of r?
False
Suppose -5*i - 3*u = 25, 2*i - i - u + 5 = 0. Let o(y) = -6*y**2 - 5*y + 9. Let s be o(i). Does 20 divide s/(-2)*6/12?
False
Is 6 a factor of 351/2 - (6 - 170/20)?
False
Is 70 a factor of 4/120*-6 + (-16202)/(-10)?
False
Let d(r) = -r**3 - 10*r**2 + r + 14. Let z be d(-10). Let q(p) = 34*p. Is 34 a factor of q(z)?
True
Let c = -11 + 8. Let b be (-1)/((-2)/114*-3). Is 19 a factor of 1*b*9/c?
True
Let d(i) = 3*i - 10. Let b(j) = 2*j - 7. Let q(s) = 8*b(s) - 5*d(s). Let p be q(3). Let h(t) = 3*t**2 - 2*t + 7. Is 10 a factor of h(p)?
True
Suppose 0 = 3*h - 4*a - 544, -a = -4 + 5. Is 45 a factor of h?
True
Let k(y) = -y**3 - 6*y**2 - 2*y - 6. Let h = -8 + 12. Suppose -5*a = 2*z + 10 + 2, 5*z = h*a - 30. Does 6 divide k(z)?
True
Suppose -2*k = 3*x - 309, 434 = 3*k - 2*x - 62. Is 2 a factor of k?
True
Suppose 2*l + 3*m = 0, 0*m = -2*l - 4*m. Suppose 2*s - 3*q - 129 = 0, s - 2*q + 14 - 76 = l. Is s a multiple of 27?
False
Suppose 5*x + u = 21, -4*u + 7 = 2*x - 5. Let r = 22 - 12. Suppose x*h - r = 38. Does 3 divide h?
True
Let j(c) = 731*c**2 + 9*c - 3. Is 67 a factor of j(2)?
False
Let c = 5 + 1. Let r(b) = b**3 - 5*b**2 - 6*b. Let y be r(c). Suppose 2*l - 83 - 25 = y. Does 21 divide l?
False
Suppose 3552 = 41*h - 37*h. Is 37 a factor of h?
True
Let k = 190 - 90. Let o(d) = 4*d - 1. Let w be o(4). Suppose q - w = 5*i - k, q = -4*i + 77. Does 5 divide i?
False
Suppose -k + 418 = 5*h - 2*k, -3*k - 246 = -3*h. Suppose u + h = w, w - u = 2*u + 76. Is 11 a factor of w?
True
Let s be 7 + (8/(-4) - 3). Suppose -4*j = 2*z - 68, 5*z + s*j - 164 = -2*j. Is 8 a factor of z?
True
Let j be 6/(-9)*-690 - 5. Suppose 2*a - 281 = -3*m + 3*a, 0 = 5*m - 5*a - j. Is m a multiple of 8?
False
Suppose 665 + 545 = 11*k. Suppose -2*n - 7*u + 4*u = -69, -3*n + 2*u + k = 0. Is n a multiple of 9?
True
Let o = 4 + 44. Suppose o = v + 2*j, -2*j - 2*j = -v + 48. Does 12 divide v?
True
Let g = -554 + 1128. Is g a multiple of 82?
True
Suppose -3*r = -9, -2*w + 9 = 2*r - 5. Suppose w*m - m = 210. Is 14 a factor of m?
True
Let c(w) = 26*w**3 + 2*w**2 - 1. Let t(r) be the second derivative of r**4/12 + 7*r**3/3 - 7*r**2 + 4*r. Let i be t(-15). Is c(i) a multiple of 10?
False
Let g = 204 - 226. Suppose -5*n - 7 = -2. Does 4 divide (n + 0)/(2/g)?
False
Suppose 3*n + 16 = 7*n, 0 = -x - 3*n + 153. Is 12 a factor of x?
False
Let p be ((-5)/(-2))/((-2)/(-4)). Let l be ((-32)/2)/2 - -92. Suppose p*f = 2*f + l. Does 14 divide f?
True
Suppose -47*r + 9257 + 31680 = 0. Is 6 a factor of r?
False
Let v(d) = -2*d**2 - 2*d + 220. Is 22 a factor of v(0)?
True
Let q = 18 - 23. Let o be 12/(2 + q) + 28. Suppose -2*g = 4*f - o, 5*g - 2*f - 111 = -39. Does 7 divide g?
True
Is (4228/12)/(35/210) a multiple of 14?
True
Let y(k) be the second derivative of -k**5/20 - k**4/4 + 5*k**3/3 + 13*k**2/2 + 27*k. Is y(-7) a multiple of 26?
False
Suppose 3524 = 7*y + 703. Is y a multiple of 16?
False
Suppose 0 = b - 2*b + 5. Suppose -n + 6 = 3*m - 260, n = -4. Suppose 2*g + m = b*g. Does 9 divide g?
False
Let x = -1003 - -3887. Is 7 a factor of x?
True
Let l = -12 + 12. Let m be -2*3/(-12)*10. Suppose l*w + 25 = m*w. Is 2 a factor of w?
False
Let f(s) = s**3 + 8*s**2 - 11*s + 3. Let o be f(-8). Suppose -5*u + 234 = -5*p - o, 2*u = -3*p + 120. Is u a multiple of 9?
True
Suppose 3*f - 50 = 70. Suppose 6*n - n - f = 0. Suppose -o + 16 = x - 0*x, -x + n = -o. Does 8 divide x?
False
Suppose -1020 = -7*h + 2*h. Is 34 a factor of h?
True
Suppose 3*b = 7*b + 4, 2*j = -4*b + 48. Suppose -4 = d - s - 25, -j = -d - 4*s. Is d a multiple of 2?
True
Is ((-20)/(-8))/((-3)/(-942)) a multiple of 42?
False
Suppose -3*b = 15, 29 = -5*y + 6*y - 5*b. Let f be (-1)/(2/241)*-2. Suppose 0*j + 4*n - f = -5*j, 3*n - 192 = -y*j. Does 16 divide j?
False
Suppose -l + 5 - 1 = 0. Suppose 138 = 3*k + 3*t, -6*t = -k - l*t + 43. Does 22 divide (-860)/(-18) - (-10)/k?
False
Suppose 0*y - 5*q = -5*y, 2*y - 25 = -3*q. Suppose 4*f - 5*f = -2*a + y, -a = 3*f - 13. Suppose 2*o - 3*r + a*r - 41 = 0, 5*o = 5*r + 80. Is 15 a factor of o?
False
Suppose 4 + 17 = 3*u. Suppose u*j - 12 = 6*j. Is 12 a factor of j?
True
Suppose -4*o + 3*b + 32 = 0, 3*o - 5*b - 19 = -4*b. Suppose 1168 - 343 = o*m. Is 33 a factor of m?
True
Let w = 79 - 77. Let q = -18 - -36. Suppose a + q = w*a. Does 9 divide a?
True
Suppose 7*o - 3*o = -j + 3441, -2*o + 3*j + 1703 = 0. Is o a multiple of 14?
False
Suppose l = 3*f - 824, 0*f - 5*f = 4*l - 1396. Is 4 a factor of f?
True
Let l(t) = -t**2 - 7*t - 3. Let j be l(-7). Does 29 divide (j - (29 - 3))*-3?
True
Suppose -2*f - u + 88 = 0, -f - 4*f + 220 = -3*u. Let a be (-6)/33 - 168/f. Is 20 a factor of a + 17*(8 + -3)?
False
Let f(r) = 9*r - 42. Let a be f(-6). Let x = 0 - a. Is x a multiple of 16?
True
Let y be 2/4*4 - 3. Let d(p) = p**2 + 2*p. Let k be d(y). Does 12 divide -2 - (k + 0 - 13)?
True
Suppose 4*b = -0*b - o - 2, -b - 2*o - 4 = 0. Does 6 divide 22 - (-3 - (-1 - b))?
True
Let c = -20 - -23. Let g be (-7 + -2)/c - -85. Suppose 2*p - 22 = 4*u + 148, g = p - u. Is p a multiple of 14?
False
Suppose 0*k - 5355 = -5*k + 2*q, -5*k - 3*q = -5380. Is 68 a factor of k?
False
Does 22 divide (2 + (-68)/(-8))*18?
False
Let s = 60 + -41. Let y be 3/((-6)/(-4)) + s. Is 9 a factor of ((-54)/y)/((-3)/14)?
False
Suppose -32 = -2*d + 3*b, 2*d + 3*b = d + 25. Is 3 a factor of d?
False
Is 7 + -10 + 0 + 0 + 1708 a multiple of 55?
True
Let g be (-42)/(-3*1*(-11)/22). Suppose -j + 68 = j - 5*i