t f = 1178 + -656. Is f a multiple of 58?
True
Is 3 a factor of (-2)/(12/198*-1)?
True
Let n = 3113 - 411. Is 6 a factor of n?
False
Let q be 0/((-9)/(-3) + -4). Suppose q = -4*a - 5*g, -a + 4*g = 2*a. Suppose 4*w + a*w = 264. Is 22 a factor of w?
True
Let u(p) = p**3 - 6*p**2 + 6*p - 2. Let g be u(5). Suppose 3*s + g*h - 8 = -2, 4*s - 3*h - 29 = 0. Is s a multiple of 5?
True
Suppose 29*w - 23265 = 14*w. Does 37 divide w?
False
Suppose -4*p = -m - m + 796, 0 = -5*m + 5*p + 1995. Suppose -5*o = 5*x - m, -o - 401 = -5*x - 5*o. Is 27 a factor of x?
True
Is 19 a factor of (-19968)/(-30) - (-42)/(-70)?
True
Let g be 3560/30*(-3)/(-2). Suppose g = 5*a - 132. Does 5 divide a?
False
Let q(b) be the third derivative of -b**7/2520 + b**6/80 - b**5/20 - 5*b**4/24 + 2*b**2. Let i(u) be the second derivative of q(u). Is 5 a factor of i(6)?
False
Suppose 29 = 5*f + 4*z - 3, -2*f + 20 = 4*z. Let s(x) = 14 - f*x + 3*x + 1 + 0. Does 9 divide s(0)?
False
Suppose -26*y - 1118 = -27*y. Does 13 divide y?
True
Let r(u) = 3*u + 7. Let b be r(-3). Does 13 divide 6573/168 - b/(-16)?
True
Let q(o) = 6*o**3 - 6*o**2 + 9*o + 36. Does 90 divide q(6)?
True
Let v = 4411 - 1326. Is 33 a factor of v?
False
Let p be 6*((-9)/6)/3. Let f(a) = -2*a**2 - 3*a - 3. Let r be f(p). Does 25 divide r/(-20) + (-904)/(-10)?
False
Let b(k) = 2*k**3 - 18*k**2 + 6*k + 6. Let l be b(9). Suppose c + a + a - 1 = 0, 4 = -3*c + a. Does 3 divide (1/c)/((-4)/l)?
True
Suppose 6*m + 11*m - 2*m = 0. Suppose m*x + 792 = 12*x. Is 8 a factor of x?
False
Let j(i) be the third derivative of i**6/120 + 2*i**5/15 + i**4/24 + i**3 + 3*i**2. Is 8 a factor of j(-7)?
True
Suppose 50*i - 22606 = 100244. Does 63 divide i?
True
Let y(a) = -a**3 + 15*a**2 - 7*a + 8. Let v be y(14). Suppose -3*r + 6*r - v = -c, 3*c - 366 = 3*r. Let u = c - 49. Does 23 divide u?
True
Let n(a) = -15*a**3 - a**2 - a. Let b be n(-1). Suppose -24*k = -28*k + 52. Suppose -b*p + 36 = -k*p. Is 8 a factor of p?
False
Suppose 5*n - 1262 = -u + 2*u, 5*u - 998 = -4*n. Is n a multiple of 42?
True
Is 46/(-8)*(-480 - (-1 - 3)) a multiple of 15?
False
Let t be 1 - -1*(-2 - -1). Let f = 15 + -14. Suppose q - 12 = -3*j + f, -2*q + 4*j + 6 = t. Is q a multiple of 3?
False
Let o = 155 + 1501. Is 24 a factor of o?
True
Let h(m) = -m**2 - 11*m - 12. Suppose -5*d - 37 = 5*w - 2, -3*w - 5*d = 17. Let f be h(w). Is ((-15)/(-10))/(f/28) a multiple of 5?
False
Is 13 a factor of 8848/36 - 4/(-18)?
False
Suppose 4*t = 5*q + 31 + 21, -5*q = -3*t + 44. Suppose t = -g + 2*m + 21, 2*m = -5*g + 101. Is g a multiple of 3?
False
Let k = -157 + 271. Is 13 a factor of k?
False
Suppose a - 3*a = 3*q - 5562, -3*q - 3*a = -5559. Is q a multiple of 74?
False
Suppose 0 = 3*y - 5*y - 184. Let a be 24/(-60) - y/5. Let t = 32 - a. Is t a multiple of 14?
True
Is ((-48)/(-7))/(78/20202) a multiple of 21?
False
Suppose 14*w - 1288 = 7*w. Is w a multiple of 27?
False
Let m(q) = -23*q + 45. Does 76 divide m(-17)?
False
Let c be 1 - 5 - (-182)/(-7). Let f = c + 30. Suppose 4*b + 5*k - 313 = f, 0*b = -2*b + 2*k + 134. Does 18 divide b?
True
Suppose 5*i - 12 = u, 3*i - 14 = i + 5*u. Let q = i - 0. Suppose -6*w - q*n + 82 = -2*w, n = -w + 20. Does 18 divide w?
False
Suppose 2*k = -3*x + 429, -4*x = 3*k + x - 645. Suppose 5*b + 4*y = -k, b + 4*y = 2*b + 66. Let j = b + 66. Is 10 a factor of j?
True
Let a = 443 - 477. Suppose -140 = 5*g - 5*j, -g + 133 = -6*g - 2*j. Let m = g - a. Is m a multiple of 3?
False
Suppose 2*r - 3150 = -8*r. Is 31 a factor of r?
False
Let n be (-10)/(1 + (-3)/1). Suppose n*w - 140 = 5*p, 0 = -w - 2*p - 3*p + 40. Is 10 a factor of w?
True
Let b = 9 - 3. Suppose b*w - 4 = 4*w. Suppose -w*d + 9 - 1 = 0. Does 4 divide d?
True
Let z = 488 - 321. Suppose -z = -7*f + 246. Does 5 divide f?
False
Suppose -2*t = -4*n, 0*t + 2*t = 3*n + 2. Suppose t*z + 152 = 2*q, -5*z + 0*z = 5*q - 410. Is 20 a factor of q?
True
Let w(d) = -d**2 + 5*d - 2. Let z be w(2). Let v be (-2)/(-8)*z*-1. Does 29 divide ((-97)/1)/v*1?
False
Is 11 a factor of -93*(396/27)/(-4)?
True
Let z(c) = c - 7. Let n be z(9). Suppose -5*u - 4*i + 404 = 0, 0*u + n*u - 160 = -2*i. Is 13 a factor of u?
False
Suppose -1510 - 1758 = -3*g - 4*p, -g = -4*p - 1068. Is g a multiple of 26?
False
Let c(h) = -h**3 + 19*h**2 + 43*h + 15. Is c(21) a multiple of 2?
True
Suppose -4*u - 574 = -2*i - 2*u, 573 = 2*i - 3*u. Suppose c = -5*k + 153, 2*c - i = 4*k + 74. Is 27 a factor of c?
False
Let a(o) = o**3 - 8*o**2 + 8*o - 13. Let b be a(7). Let x(q) = -q**2 - 5*q + 13. Let v be x(b). Let p(n) = n**2 - 4*n - 13. Does 8 divide p(v)?
True
Suppose 7 + 15 = 2*k + 2*v, -4*v + 4 = 0. Suppose k*t - 7*t - 12 = 0. Suppose -5*j + t*p + 185 = -p, 113 = 3*j - 5*p. Is 18 a factor of j?
True
Suppose -57 = 2*i - 5*i. Suppose -8*j - 96 = -20*j. Let k = i + j. Does 9 divide k?
True
Let f(o) = o**3 - 13*o**2 + 16*o - 18. Let u be (16/10)/(8/60). Is 5 a factor of f(u)?
True
Suppose -4*q + 6 = -2*n, 0*q - 23 = -2*q + 5*n. Is (q - -6)/(16/64) even?
True
Let l = -460 + 646. Is l a multiple of 5?
False
Let q = -54 - -64. Suppose m + 5*y = 27, -12*y - 196 = -4*m - q*y. Is 11 a factor of m?
False
Let x(t) = -80*t**3 + 4*t**2 + 7*t + 1. Is 34 a factor of x(-2)?
False
Let j = 3408 - 1474. Is j a multiple of 11?
False
Let q(y) be the third derivative of -1/3*y**3 + 3/4*y**4 - 1/60*y**5 + 0 + 0*y - 11*y**2. Is q(10) a multiple of 39?
True
Suppose -1 = -4*d - 5*b - 197, -4*d - 196 = b. Let v = d + 82. Is 4 a factor of v?
False
Let u(m) = 9*m**2 + 23*m + 5. Is u(12) a multiple of 19?
True
Let b(u) = -2*u - 38. Let r be b(-16). Suppose -3*k = 17 - 128. Let p = r + k. Is p a multiple of 13?
False
Suppose -4*p = 2 - 18. Suppose -8 + 34 = 3*n + 4*l, 13 = p*n + l. Is 13 a factor of (14/21)/(n/117)?
True
Let t be 13 + 4*(-6)/(-8). Let s(k) = 7 - 2*k**3 + 3*k**3 - 9*k + t*k**2 - 9*k**2. Is 6 a factor of s(-8)?
False
Suppose -7200 = -5*i + 3*v, i - 592 - 848 = -2*v. Does 9 divide i?
True
Let g(f) = -f**2 + 10*f - 10. Suppose 3*v = 2*i + 13, 0*v + 2*v = 2*i + 6. Let j be g(v). Let o = j - -25. Is o a multiple of 12?
True
Suppose 7*w + 62 - 293 = 0. Does 7 divide w?
False
Let o(v) = 8*v + 12 - 5*v + 4*v - 4*v. Let m be o(-11). Let c = m - -51. Is c a multiple of 10?
True
Suppose 0*x = -3*x + 141. Let w = 96 - x. Let n = -16 + w. Is 11 a factor of n?
True
Suppose 0 = j - 6 - 14. Suppose -j*s + 24*s = 300. Does 15 divide s/3 - 0/3?
False
Suppose -2*o - 4*b = -o - 446, -5*o + 2293 = -b. Suppose p - 110 = -g, o = 4*g - 5*p + 3*p. Is g a multiple of 13?
False
Suppose 3*r + 1449 = 5*t - 1544, 5*r = -5. Is t a multiple of 46?
True
Suppose h - u = 58, -15*h + 8*h = -u - 388. Is h a multiple of 11?
True
Let c = 199 + -109. Is 6 a factor of c?
True
Is 9 a factor of (39 - 37)*27/2?
True
Suppose -j = -d - 0*j + 3, 1 = 5*d + 2*j. Suppose 4*t = 19 + d. Is t even?
False
Suppose 0 = -2*u + 15 - 5. Is 161/35 + 2/u a multiple of 3?
False
Let d(m) = 24*m + 6. Let b(z) = -9*z + 5. Let s be b(0). Does 42 divide d(s)?
True
Suppose 5*f - 19 = 11. Suppose f*d - 38 - 10 = 0. Is d a multiple of 2?
True
Suppose -o - 13 = -w + 4*o, 0 = -3*o - 12. Does 28 divide ((-110)/w)/(1/7)?
False
Let q(u) = -u**2 + 8*u - 15. Let c be q(7). Is 19 a factor of c/6*342/(-4)?
True
Suppose -3 = 12*v - 9*v. Let j = 10 - v. Is 4 a factor of j?
False
Suppose w - 5*i = 928, -w - 307 = 5*i - 1235. Does 16 divide w?
True
Suppose 22*h = 5*h + 1224. Is h a multiple of 18?
True
Let f(w) = w - 1. Let o be f(5). Let d be (o/10)/(5/25). Let c = d + 7. Does 7 divide c?
False
Let z(w) = -2*w + 21. Let v be (-122)/(-18) + (-26)/(-117). Is z(v) a multiple of 6?
False
Suppose -d + 50 = 4*u - 245, 5*u - 3*d = 356. Let w = -81 + 124. Let l = u - w. Is l a multiple of 14?
False
Let g(m) = -m - 7. Let l be g(-5). Is (-14092)/(-130) - l/(-5) a multiple of 12?
True
Let s(g) = 13*g**2 + 3*g + 25. Let r(y) = 7*y**2 + 2*y + 12. Let f(v) = -11*r(v) + 6*s(v). Is f(-6) a multiple of 26?
True
Suppose 165*b - 161*b = 1368. Does 66 divide b?
False
Suppose 0 = o + 5*n - 941, -131 + 129 = -2*n. Is 12 a factor of o?
True
Let k = -11 - 42. Let r = 79 + k. Suppose 0 = 3*a - r - 34. Is a a multiple of 10?
True
Let f = -33 - -33. Suppose f = 2*z + 2*v - 310, -4*z + 180 = -3*z - 4*v. Suppose 6*p - z = 56. Does 36 divide p?
True
Suppose 15 = 5*o - 