a factor of 64/1*(3 + (-4)/(-2))?
True
Let f(n) = 0 - 7*n**2 + 3*n + 3 + n**3 - 1 - n. Let u be f(9). Suppose 4*a + 2 = u. Does 14 divide a?
False
Suppose 0 = -4*c + 4, 4*d - 3*d - 134 = -2*c. Is 6 a factor of d?
True
Let f = -663 + 1251. Is 34 a factor of f?
False
Let o be 16/88 + (-46)/11. Let z(t) = -13*t - 4. Let k be z(o). Is 22 a factor of k + (-2)/(-6)*3?
False
Let t(v) = -6*v + 36. Let z be t(6). Suppose 0 = -3*k + 2*k + w + 93, z = 2*k - w - 186. Does 26 divide k?
False
Let d be 3/4 - (-210)/(-56). Let p be ((2 - 2)/2)/d. Suppose p*b + 2*b - 82 = 0. Does 9 divide b?
False
Suppose 2730 = 1134*u - 1127*u. Does 2 divide u?
True
Suppose -12*c + 11*c = -689. Suppose 0 = -3*o + 4*z + c, -2*o = 3*z - 0*z - 448. Suppose -5*w + 215 = -5*t, 3*t - 4*t = -5*w + o. Does 26 divide w?
False
Suppose -58 = 4*v - 0*h - 2*h, v - 5*h = -10. Does 17 divide 20/(v/(-3)) - -60?
False
Suppose 144*q = 115*q + 70499. Does 27 divide q?
False
Is (1495 - -4) + (12 - 3) a multiple of 58?
True
Let a(d) = 22*d**3 + 3*d - 2. Suppose -4*o + 4 = -2*o. Does 30 divide a(o)?
True
Let g(w) = -w - 3. Let r be g(-10). Suppose -2*j = 3*s - r, -4*s - 9 = -s. Does 4 divide j?
True
Let t = 29 + -15. Let d be ((1 - 2) + 2)*-3. Let u = t - d. Is 5 a factor of u?
False
Let h(o) = -1. Let y(g) = -7 - 3*g - 1 + 2. Let s(n) = 12*h(n) - y(n). Does 12 divide s(12)?
False
Suppose 10*x - 295 = 125. Suppose -5*r = -10, -4*l - 14 = 2*r - x. Is l a multiple of 3?
True
Let j(f) be the second derivative of f**5/20 - 4*f**4/3 + 19*f**3/6 - 21*f**2/2 + 13*f. Is 13 a factor of j(15)?
True
Suppose 5*n = 8*n - 18. Let s(r) = 2*r**3 + 5*r**2 - 7*r - 8. Let w(m) = -5*m**3 - 16*m**2 + 21*m + 23. Let i(u) = -8*s(u) - 3*w(u). Is 8 a factor of i(n)?
False
Suppose -5*k - 5*b = -1950, -3*k + 1135 = -0*k - 4*b. Does 35 divide k?
True
Let n(s) = 4*s**2 + 35*s + 13. Let q be n(-5). Let l(a) = a**3 + 6*a**2 + 4*a + 2. Let i be l(-5). Let d = i - q. Is 16 a factor of d?
False
Suppose 0 = 59*x - 6230 + 35. Does 35 divide x?
True
Suppose -779 = -13*t + 2133. Does 23 divide t?
False
Suppose -12*r + 9*r + 5*a + 2066 = 0, 2*a + 690 = r. Is r a multiple of 22?
True
Suppose 0*y = 5*a - 4*y - 1672, 2*a - y - 667 = 0. Suppose -4*w = -68 - a. Is w a multiple of 25?
True
Suppose -28 = -5*y + 5*x + 27, -y - x + 13 = 0. Does 2 divide y?
True
Suppose 5*w - 5*z + z = 405, 2*z - 81 = -w. Suppose -3*j = 5*x - 65, -x + w = 4*j - 0*x. Does 20 divide j?
True
Let y(u) = 107*u - 421. Is y(6) even?
False
Let i(g) = -9*g**3 - 14*g**2 - 14*g - 17. Let c(o) = 5*o**3 + 7*o**2 + 7*o + 9. Let h(j) = 11*c(j) + 6*i(j). Is h(9) a multiple of 16?
True
Suppose -20*f = -23*f + 78. Suppose 0 = -4*n + 5*i + f + 41, 5*n + 3*i = 56. Is n a multiple of 5?
False
Let s(w) be the first derivative of w**4/4 + 17*w**3/3 + 5*w**2 + 29*w - 14. Is 26 a factor of s(-16)?
False
Suppose -5*m - 440 = 5*m. Let n = -35 - m. Is 3 a factor of n?
True
Let k = 327 + -171. Does 13 divide k?
True
Let z(d) = 5*d**2 - 10*d - 55. Is 105 a factor of z(-14)?
False
Suppose -4*m + 54 = -3*u, 5*u = 5*m - 0*u - 70. Suppose -8*q - 900 = -m*q. Is 45 a factor of q?
True
Suppose 3*o = -20 - 16. Let t = -30 - o. Is t/(-45) - (-496)/10 a multiple of 25?
True
Suppose -2*z + 764 + 1130 = 0. Does 17 divide z?
False
Let h(s) = -7*s**3 + 4*s**2 + s - 13. Let k = 1 - 7. Let z(c) = 20*c**3 - 12*c**2 - 4*c + 38. Let q(g) = k*z(g) - 17*h(g). Is 3 a factor of q(5)?
True
Let i(d) = d + 3. Let s(v) = -2*v - 15. Let h be s(-11). Is 3 a factor of i(h)?
False
Let r = 5 - 3. Let n be ((-3)/(-6))/(r/(-84)). Let m = 77 - n. Is m a multiple of 30?
False
Suppose -3*h = -0*z + 5*z - 337, -z + 4*h + 49 = 0. Does 6 divide z?
False
Suppose -3*t - 3*z = -2370, 0 = 3*t - 3*z + 7*z - 2365. Suppose 0 = 11*w - 2478 + t. Is w a multiple of 9?
True
Let n(j) = 38*j + 0*j + 5 + 3*j - 7. Is 13 a factor of n(1)?
True
Suppose 4*w - 1573 = -7*y + 8*y, -12 = -4*y. Is w a multiple of 2?
True
Let k = -170 - -189. Let a be (-2 + 1)/(-1 + 2). Let d = k + a. Is 9 a factor of d?
True
Is (-236)/((-41)/10 + 4) a multiple of 10?
True
Let l be (0 + 2 - -2) + 186. Suppose -4*x + 4*f = -520, 4*f = -2*x + 69 + 215. Let b = l - x. Is 14 a factor of b?
True
Let o(p) = 4*p**2 - 7*p - p**3 + 7*p**2 - p**2 + 2*p**2. Let l = 29 - 18. Does 22 divide o(l)?
True
Does 64 divide (1/2 + 4)/((-3)/(-788))?
False
Is 22 a factor of 416731/296 - (-1 - (-14)/16)?
True
Let c(o) = -4*o + 9. Let v(s) = s**2 - 7*s + 1. Let h be v(6). Let k be c(h). Let b = k + -5. Is 8 a factor of b?
True
Suppose -7*r + 6*r = 0. Suppose 0 = 2*k - 0*j - j + 14, -4*k - j - 22 = r. Let q(s) = 2*s**2 + 7*s - 8. Is 5 a factor of q(k)?
False
Suppose 2*r + 188 = 4*t - 2*r, 2*r = -10. Let q = 57 - t. Does 5 divide q?
True
Let v(g) = 7*g**3 - 3*g**2 + 5*g - 10. Is 3 a factor of v(3)?
False
Is (2 - 105)/((-1)/(8/4)) even?
True
Let n be 6/(-9)*(-9)/(-1). Let o be (200/12)/(n/9). Let l = -17 - o. Is 4 a factor of l?
True
Let x = 101 + -108. Let k(u) = -2*u**2 + 7*u + 1. Let d(h) = -h**2 + 8*h + 1. Let s(a) = -3*d(a) + 2*k(a). Is s(x) a multiple of 5?
True
Let j = 69 + 40. Let d(a) = 5*a - 1. Let b be d(1). Suppose 0 = b*i - 2*m - 19 - j, 5*i + 4*m = 186. Does 19 divide i?
False
Is 20/15*((-4617)/(-2))/3 a multiple of 7?
False
Let y be 1402/(-4) + -1 + 2/4. Let c = 585 + y. Is c a multiple of 12?
False
Suppose -3*n = -u - 4*n + 22, -3*u - n = -62. Suppose 2*c + u = 54. Let p = 53 - c. Is p a multiple of 9?
True
Let z = -1485 - -2692. Is 24 a factor of z?
False
Let x = -7 + 4. Let o be ((-237)/(-9))/(x/9). Let t = -52 - o. Is 7 a factor of t?
False
Let k = 20 - 15. Suppose -3*d - c + 5*c = -40, 2*c = k*d - 48. Is d a multiple of 8?
True
Suppose 5*b + 71 = -79. Let z = b - -58. Is z a multiple of 14?
True
Let q = 1349 - 356. Is q a multiple of 127?
False
Let s be (-1 - (-2 + 3)) + 5. Let y(w) = -3*w**2 + 3 - w**s + 2*w**2 - 2 + w + 7*w**2. Is y(5) a multiple of 9?
False
Suppose 0*z - 3*z + 18 = 0. Let h be (0 - z/(-9))*-174. Let b = h + 217. Does 20 divide b?
False
Does 22 divide 1/(-5)*0 - (-638)/1?
True
Let d(o) = -o**3 + 6*o**2 - 4*o - 8. Let b be d(4). Is 12 a factor of (-704)/11*(-6)/b?
True
Suppose -5*o = -1 - 14. Suppose -3*f + 93 = o*x, f - 4*f = -9. Suppose -3*z + x = t, -2*t + 76 = -z + 20. Is t a multiple of 14?
True
Let p = 1790 + -110. Is p a multiple of 24?
True
Let m = 578 - 470. Does 6 divide m?
True
Let i be 1 + 2 - -4*1. Suppose -10*x + 735 = -i*x. Suppose 5*o + x = 2*t, 0 = t + t - 4*o - 242. Is t a multiple of 30?
False
Let j(f) = -19*f + 38. Is j(-6) a multiple of 5?
False
Suppose -5*l - 3*i - 1 + 10 = 0, 2*l = i + 8. Suppose -l*o + 43 = -179. Does 37 divide o?
True
Let y = 303 - 266. Is 37 a factor of y?
True
Suppose 54*a - 58*a - 144 = 0. Let x = a + 40. Does 2 divide x?
True
Let w = 621 - 619. Does 2 divide w?
True
Let j(i) = -i**2 - 6*i + 2. Let p = -59 - -54. Does 4 divide j(p)?
False
Let n = -90 - -294. Let s = -96 + n. Does 4 divide s?
True
Suppose 60 = 10*h - 15*h. Let x(o) = o**3 + 13*o**2 + 5*o + 2. Is 17 a factor of x(h)?
False
Let x(f) = 2 + 2*f + 4*f - 5*f + 12*f. Let q be x(-2). Does 17 divide q/108 + 308/9?
True
Suppose r - 82 = 2*o - 26, 272 = 5*r - 2*o. Does 27 divide r?
True
Suppose -9 - 16 = -5*q. Suppose q*k - 6*k + 88 = 0. Does 19 divide k?
False
Let r = 125 - 43. Let b be (-70)/(-25)*4/(12/105). Suppose 4*f + a = -0*a + r, 0 = -5*f + a + b. Is f a multiple of 14?
False
Let r(z) = z**3 + 7*z**2 - 10*z - 10. Let s be r(-8). Suppose -5*l + s + 89 = 0. Is l a multiple of 8?
False
Let a(h) = 10*h**2 + 9*h - 2. Let z = -15 - -11. Let m be a(z). Suppose 2*b - m = -3*x, 5*b - 158 = -3*x - x. Is x a multiple of 14?
True
Suppose 0 = -8*j + 517 + 563. Does 27 divide j?
True
Let n = 22 + -6. Suppose 3*g = 3*p - 4*p + n, -p = g - 2. Let j(z) = z**3 - 6*z**2 - 4*z - 7. Is 8 a factor of j(g)?
False
Let q(g) = g**2 + 33*g + 43. Is 25 a factor of q(15)?
False
Let x be ((2 - 0) + -1)*0. Suppose -1 = -3*b - 4*z, 2*b + 2*b - 4*z - 20 = x. Let r(c) = c**2 - c + 1. Is r(b) a multiple of 2?
False
Does 24 divide 599 - 4/4*-1?
True
Suppose f = -3*c - 13, -f = 3*f - 4*c - 12. Is (-130)/f - 4 - -2 a multiple of 24?
False
Suppose 0 = -4*o + 5*a + 588, 0*o - 164 = -o - 3*a. Is o a multiple of 4?
True
Suppose 0 = 21*u - 26*u + 3*g + 2803, -4*u + 2235 = 5*g. Is u a multip