t?
False
Suppose -2*z = -4*w + 330, -83 - 76 = -2*w + 3*z. Suppose -22*p + w = -21*p. Is 28 a factor of p?
True
Let u = 4 - -2. Let h = -41 - -45. Suppose u*k - h*k = 52. Is k a multiple of 5?
False
Suppose -86 = -x - 18. Does 3 divide x?
False
Suppose 106 - 86 = 2*a. Suppose -4*p + 448 = a*p. Does 13 divide p?
False
Let i(o) = 3*o**3 - 23*o**2 + 16*o + 5. Let g be i(9). Let r = g - 329. Does 8 divide r?
True
Suppose 8 = 4*a, b + 2*a + 0 + 1 = 0. Let y(v) = -5*v + 7. Let z be y(b). Suppose -2*s = -4*s + z. Does 7 divide s?
False
Let n be ((-1)/(-2))/((-9)/(-54)). Suppose n*q - 688 = -q. Let p = -91 + q. Is 33 a factor of p?
False
Let r = -13 + 17. Suppose -5*a = -r*a - 4. Is 48 + (a/4 - 3) a multiple of 23?
True
Let z(c) = 4*c - 14. Let t be z(5). Is t/(-18) - 118/(-3) a multiple of 33?
False
Let d(h) = h. Let t be d(3). Suppose 2*u - t = 1. Suppose -u*p = 2*k - 64, p = -3*k + 13 + 27. Does 8 divide p?
False
Let z = 97 - 98. Does 2 divide z - (-6)/(-6)*-22?
False
Let p = 490 + -278. Suppose 5*d = d + p. Is 11 a factor of d?
False
Suppose -14*c + 59 + 459 = 0. Is c a multiple of 22?
False
Let s = -38 - -40. Suppose s*l + 72 = 180. Is l a multiple of 27?
True
Suppose -25 = -7*z + 52. Let d = z - -91. Does 18 divide d?
False
Is (-4 - (-3)/(-3)) + 268 + -3 a multiple of 36?
False
Suppose 0 = 4*w - 2*b - 640, -4*w - 3*b + 0*b = -640. Suppose 11*u - w = 12*u. Let d = -100 - u. Is 10 a factor of d?
True
Suppose 176*s = 165*s + 23023. Is s a multiple of 23?
True
Let m(j) be the third derivative of -j**5/60 + 3*j**4/8 - j**3/3 + 4*j**2. Let z(y) = y + 20. Let b be z(-14). Is m(b) a multiple of 4?
True
Let m(q) = q + 1. Let u(s) = -10*s - 13. Let j(a) = -14*m(a) - 2*u(a). Let v be j(-4). Let l(n) = -n**2 - 19*n + 6. Is l(v) a multiple of 18?
True
Suppose 0 = 5*j + 2*c - 88, -4*j + 0*c = -c - 60. Suppose -4 = -18*s + j*s. Let a = 20 - s. Is a a multiple of 9?
True
Suppose -6*g + 13 = 13. Suppose -3*w + 9 = -5*p - 12, -3*w + 4*p + 21 = g. Is 7 a factor of w?
True
Let z(u) = -u**3 + 5*u**2 + 10*u - 8. Let x be 1/(-3) + 248/(-12). Let w = x - -27. Is z(w) a multiple of 6?
False
Let o = 45 - 34. Suppose -5*m = o - 286. Does 5 divide m?
True
Let i = 1271 + 718. Is i a multiple of 117?
True
Suppose -4*r - 12 = 3*i, r - 2*i = -0*i + 8. Suppose r*w - 70 = -3*o - 2*w, 3*o - 98 = 5*w. Is 13 a factor of o?
True
Suppose t + 24 - 107 = 0. Suppose -7*h + 36 = -t. Is h a multiple of 7?
False
Let i(f) = 4*f**3 - 2*f**2 + 1. Suppose -6 = 3*h - 6*h. Suppose h = -m + 5. Does 13 divide i(m)?
True
Does 39 divide -1184*(-11 - (-171)/18)?
False
Suppose -h + 1 = -5*f, 2*f - 4*h = -h - 3. Suppose -3*s - 3*g + 15 = 0, f*s + 3*s - 4*g = 15. Suppose -s*t = 3*u - 76, -5*u + 41 = -4*t - 24. Does 15 divide u?
False
Let b be (-90)/(-12)*4/6. Suppose 15 = 4*l - b. Is l a multiple of 5?
True
Suppose 1327 = 5*d + t, -3*d + 2*t - 6*t = -786. Is d a multiple of 70?
False
Suppose 0 = -2*h + 5*h + 348. Let s = h - -163. Is s a multiple of 11?
False
Let c = -801 - -1280. Is 19 a factor of c?
False
Let h be (7/(-3))/((-3)/(-9)). Let u be (-21)/6*12/h. Suppose -u*p + 535 = -p. Does 29 divide p?
False
Suppose 5*k = 3*y - 215 - 433, 0 = 3*k. Is y a multiple of 24?
True
Suppose 0 = -2*q - 3*x, -5*q - x - 3*x + 7 = 0. Suppose 4*s - q*s - 58 = 0. Is s a multiple of 19?
False
Suppose -83*t + 78*t + 4480 = 0. Does 56 divide t?
True
Suppose 0 = -3*i + i + 144. Let c be i/16 - (-1)/2. Suppose -4*d + 1 = c*z - 43, 4*z + 2*d - 40 = 0. Is z a multiple of 12?
True
Let r = -44 - -59. Suppose -17*i = -r*i - 96. Is 22 a factor of i?
False
Suppose 10*s + 6*s - 15968 = 0. Does 18 divide s?
False
Let p = 31 + -26. Suppose 0*f - s + 397 = f, f - p*s - 415 = 0. Suppose -f = -4*l + 4*z, -z + 104 = 4*l - 271. Does 19 divide l?
True
Let k(g) = 7*g - 13. Is k(7) a multiple of 4?
True
Suppose -15120 = -5*u - 16*u. Is 48 a factor of u?
True
Is (((-119)/(-2))/1)/((-12)/(-360)) a multiple of 20?
False
Let n be (3*10/45)/((-1)/(-21)). Let f = 34 - n. Does 6 divide f?
False
Suppose 9*z - 10*z + 3 = 0. Suppose -3*d + 18 = z. Suppose d*u - 3*u = 102. Is 17 a factor of u?
True
Suppose -7307 = -5*c + 5*j + 4403, 2*j - 7011 = -3*c. Does 24 divide c?
False
Does 49 divide (205 + -198)/((6/(-238))/(-3))?
True
Suppose i = -2*i + 2*n + 3649, -5*n - 3637 = -3*i. Does 25 divide i?
False
Suppose 5*k + 4*b - 1562 = 360, 2*k = 5*b + 749. Suppose 0 = 3*g - k + 76. Is 12 a factor of g?
False
Suppose 0 = 4*s - 7*s + 54. Let j = s - 2. Is 4/j + 103/4 a multiple of 13?
True
Suppose 2*d + 216 = 2*w, -3*d - 444 = d + 2*w. Let v = d - -158. Does 12 divide v?
True
Suppose -x - 48 - 61 = 0. Let u(l) = 4*l - 123. Let y be u(16). Let m = y - x. Does 15 divide m?
False
Let b = -39 + -12. Is 1*346/6 + 34/b a multiple of 16?
False
Let p(f) = 18*f + 31. Does 54 divide p(5)?
False
Let c(m) = 4*m**3 - 20*m**2 + 17*m + 17. Let i(y) = y**3 - 5*y**2 + 4*y + 4. Let q(t) = 2*c(t) - 9*i(t). Let k be q(5). Is 5 - k/(-4) - -6 a multiple of 8?
True
Is 20 a factor of 3*(40/24 + (-2074)/(-6))?
False
Let d be (-3)/(-24)*(4 + 4). Suppose -4*m = -7 - d, 38 = 2*q + 3*m. Is 11 a factor of q?
False
Suppose 4*p = -12, 3*m - 9 - 12 = -5*p. Let n = m - 33. Is (-7)/n + (-34)/(-6) a multiple of 6?
True
Suppose 17*r - 538 = 57. Is r even?
False
Suppose 3*q - 111 + 3 = 0. Suppose -7*d = -13*d + q. Suppose -g + d*g - 145 = 0. Is g a multiple of 8?
False
Let d be (0/(-2))/1 - (-37 - -25). Let j(h) = h**2 - 12*h + 28. Is j(d) a multiple of 4?
True
Suppose -4*y + 2*p - 8 = -2, 0 = -3*p + 9. Suppose -5*j + 2*b + 1142 = 0, -4*j + 4*b = -y*j - 904. Suppose -s - j = -6*s. Is 18 a factor of s?
False
Let l be (-12)/8*(-68)/(-3). Let c = l - -92. Is 21 a factor of c?
False
Let j(h) be the third derivative of h**4/24 - h**3/2 + h**2. Let o be j(6). Suppose -16 = -4*y + o*y. Is y a multiple of 8?
True
Let h(m) = 165*m + 101. Is h(17) a multiple of 28?
False
Let z be (1*12*35/28)/(-1). Let l(j) = -j**3 - 16*j**2 - 17*j - 7. Is 23 a factor of l(z)?
True
Let v = 12 - 5. Let w(p) = -p**2 + 9*p - 14. Let b be w(v). Suppose 4*l - f = -b*f + 137, 5*l - 2*f - 172 = 0. Does 10 divide l?
False
Let f(d) = d**2 + 7*d - 23. Let i be f(3). Suppose -3*n + i*r + 200 = 11*r, -2*n - 4*r + 136 = 0. Is n a multiple of 10?
False
Suppose -2*y = 3*x - 3*y - 24, 0 = -y. Suppose -x*f = f - 468. Is f a multiple of 5?
False
Suppose 5*k = -0*k + 985. Does 7 divide k?
False
Is 6 a factor of 28/(-6)*(-6 + (-8550)/105)?
True
Let b = -464 + 1128. Does 8 divide b?
True
Suppose 3*q - 2*x - 874 = 0, q + 33*x - 30*x = 306. Does 21 divide q?
True
Suppose -20 = o + o. Is (-110)/(-2) + 10 + o a multiple of 11?
True
Let f be (16/2)/(18/747). Suppose -2*t - 4 = -12, -f = -5*k + 2*t. Suppose b + k = 3*b. Is 17 a factor of b?
True
Let o = 32 + 544. Suppose -a = -5*a + o. Is a a multiple of 8?
True
Let z(o) = 2*o**2 - 9*o + 14. Suppose 3*s - 13 - 5 = 0. Let k be z(s). Let f = k - -26. Is 11 a factor of f?
False
Let w = -1482 + 2319. Does 31 divide w?
True
Let c = -470 - -688. Let f = c + -122. Is f a multiple of 32?
True
Let y(c) = 8*c - 8. Suppose -v + 12*v - 66 = 0. Does 26 divide y(v)?
False
Let y(w) = -w**2 - 14*w - 24. Let t be y(-12). Let x(l) = -2*l**2 + 2*l + 18. Is 11 a factor of x(t)?
False
Suppose -6 = -2*o - 2. Let h(x) = 30 + 0*x**o + 6 + 21 + x**2. Is 15 a factor of h(0)?
False
Let l be 187 - 1*(-3)/1. Suppose -4*o - y + 152 = 0, -5*o = 4*y + y - l. Is 19 a factor of o?
True
Let z = -9 - -11. Suppose 2*j = 8, 5*v - z*j = 2*j + 109. Is 10 a factor of v?
False
Let h = 27 + -23. Does 5 divide h/((-2 + -3)/(-20))?
False
Let x be (2 + 1)/3 + 2. Does 9 divide x/(45/1221) + 2/(-5)?
True
Let r = 76 + -61. Is 14 a factor of ((-36)/r)/(2*9/(-420))?
True
Let y = 2 + -3. Suppose -5*i = -2*t + 968, -3*i - 4*t - 580 = -5*t. Is i/(-4) + y + -3 a multiple of 10?
False
Let t(k) = 11*k**2 + k - 2. Let i be t(-3). Suppose 0*l = 2*l + i. Let y = -31 - l. Is 8 a factor of y?
True
Suppose 172 = x + 168, 0 = -d - 2*x + 395. Is d a multiple of 2?
False
Let r be 2/2*(6 - 6). Is 14 a factor of -5 - -228 - (5 + (-2 - r))?
False
Suppose -171*v = -174*v + 2427. Is 37 a factor of v?
False
Suppose -9764 = -31*p + 1148. Does 22 divide p?
True
Let c(t) = 31*t - 2. Does 28 divide c(11)?
False
Let c(r) be the first derivative of r**4/4 + r**3 - 2. Let y