 -268*v**3 - v. Let h = -33 - -32. Let o be g(h). Suppose 7*i - 319 = o. Is 12 a factor of i?
True
Does 31 divide 40825/3 + 118/177?
True
Let n = -1276 - -4840. Suppose 0 = 7*m - m - n. Suppose -3*i - 2*t - 194 + m = 0, i = 2*t + 128. Is i a multiple of 34?
False
Let k(t) = -t**2 + 4. Let y be k(1). Let j(i) = 20*i**3 + 4*i - 2. Is 48 a factor of j(y)?
False
Suppose 96*b + 63*b + 1001459 = 2928380. Does 199 divide b?
False
Let r(n) = -n**3 + 2*n**2 + 17*n - 10. Let m be r(5). Suppose m = -4*c + 10*c - 384. Is c a multiple of 32?
True
Does 34 divide (-4)/(-3) + (-17)/(204/(-55688))?
False
Suppose 669514 = -205*q + 78*q + 2862677. Is q a multiple of 16?
False
Suppose 2*y - 316 = -i + 3*i, 2*y + 3*i - 301 = 0. Suppose 6*f = -41 + y. Suppose -f*u + 44 = -17*u. Does 7 divide u?
False
Suppose 11*j - 10806 = 6*j - 2*w, 0 = -5*j + 5*w + 10820. Suppose 8*r - j = -554. Is r a multiple of 36?
False
Let b be ((-17)/2 + 7)*(-4)/(-6). Does 3 divide (5*(-2 - b))/((-9)/63)?
False
Let i = 82 + -77. Suppose -u - 16 - i = 0. Is 59 + 1 - (-84)/u a multiple of 7?
True
Let b be 169/4 - 7*(-6)/(-168). Let z = 174 - b. Suppose -952 = -4*w - z. Is w a multiple of 26?
False
Let v(x) = x**3 + 6*x**2 + x - 16. Let w be v(-5). Suppose w*r = -20, 364 + 92 = u + 5*r. Is 12 a factor of u?
False
Suppose 0 = 2*w - 311 - 509. Suppose -h = -4*a + w, -4*a = -3*h - 352 - 62. Is 2 a factor of a?
True
Let o = -43 + 39. Let l be (0*(-1)/o)/(-2). Is (2 - -106) + l + -4 a multiple of 8?
True
Suppose 31824 = 27*u - 24*u. Is u a multiple of 42?
False
Let x(u) = u**3 - 2*u**2 - 15*u + 11145. Does 31 divide x(0)?
False
Let x = 49 - 49. Suppose -5*n + 1797 = -4*v, -3*n + x*n + 5*v + 1086 = 0. Does 21 divide n?
True
Let g(f) = f**2 - f + 80. Let y be g(0). Suppose 208*r = 304*r. Suppose r = -5*t + 4*z + y, 48 = 3*t + 3*z - 8*z. Does 2 divide t?
True
Let j(p) = p**2 - 7*p + 28. Let n be j(3). Is 5 a factor of n/(-4) - -81 - (-6)/(-2)?
False
Suppose 4*q + 3*z = 1345, -15*q - 4*z - 1040 = -18*q. Let m = q + 200. Is m a multiple of 18?
True
Let x(f) be the second derivative of -f**4/6 + 7*f**2/2 - f. Let p be x(6). Let m = p + 116. Does 11 divide m?
False
Let s(z) = 7*z**2 - 17*z + 3. Let h be s(-7). Suppose h = v + u - 4*u, 2*v - 3*u = 933. Is 36 a factor of v?
True
Suppose 6*t - 41 = -29. Suppose 5*m - 14*o = -17*o + 867, -3*m = t*o - 521. Is m a multiple of 20?
False
Let y(v) = 14*v**3 + 13*v**2 + v - 5. Let t be y(4). Suppose 13*l + t = 4743. Is l a multiple of 35?
True
Let r be ((-2 - -3) + 2)/(2/(-24)). Let a = 41 + r. Suppose -4*w + 171 - 65 = 2*i, a*i = -5*w + 125. Does 7 divide w?
True
Let f = 195 + -186. Let j = 4 + f. Does 2 divide j?
False
Suppose 3*d + 37 = 52. Suppose -222 = -3*z - v, 0*z - v = d*z - 372. Is 10 a factor of z?
False
Let q(m) be the second derivative of -m**5/20 - m**4/6 - m**3/2 - 2*m**2 + 12*m. Is q(-7) a multiple of 17?
False
Suppose 3*j = 7*j - 60. Suppose 5*c - j = -0*c. Suppose 2*i + c*i = f + 419, 2*f = -8. Does 21 divide i?
False
Let o(s) = s**2 + 46*s + 215. Let g be o(-6). Does 4 divide 20/g*(-545)/2?
False
Suppose 2*o = -o + 3*m - 9, 4*o + m = 13. Suppose -100 = -w + 5*h, 310 = -w + 5*w - o*h. Is 25 a factor of w?
True
Let v(u) = 7*u**3 - 16*u**2 + 10*u - 252. Is 120 a factor of v(14)?
True
Suppose 765 + 1395 = 5*l. Let k = -180 + l. Does 7 divide k?
True
Suppose -2*d - w + 4*w = -20, 5*w + 32 = 3*d. Suppose 4*n + 2*c = -144 + 958, -d*n + 829 = -c. Is 10 a factor of n?
False
Suppose -545*j + 547*j - 4100 = 2*k, -4112 = -2*j + 5*k. Does 6 divide j?
True
Let o(z) be the third derivative of -z**9/60480 + z**7/5040 + 5*z**6/12 - z**5/4 + z**2. Let r(w) be the third derivative of o(w). Is r(0) a multiple of 50?
True
Let z be (3/(-6))/(-1 - 7/(-8)). Suppose z*t = s - 58 - 83, -s + 5 = 0. Let b = -9 - t. Is 9 a factor of b?
False
Let t(k) = k**3 + 6*k**2 - k + 22. Let c be t(-6). Let l be (-28)/(-8)*5*c/2. Suppose -7 - l = -6*u. Is u a multiple of 25?
False
Let c(g) = 570*g - 1070. Is 40 a factor of c(7)?
True
Let p be 4/18 + (5250/135)/14. Suppose 0 = p*v + 2157 - 6921. Is 43 a factor of v?
False
Is 204 a factor of 8 - -16021 - (-70 + 81)?
False
Let o = -3310 - -3503. Let b be 0 + 2/(2/(-103)). Let u = b + o. Is 18 a factor of u?
True
Let q be 48/(-14) - 8/14. Let r be q*-4*5/(-40). Let d(m) = -11*m**3 + m**2 - 5. Is d(r) a multiple of 9?
False
Let w(p) = 2*p - 2*p + 81*p**3 - 1 - 2*p**2 + 3*p - p. Is 10 a factor of w(1)?
True
Let m = -33 - -93. Let a = -52 + m. Suppose 2*h = a*h - 54. Is 4 a factor of h?
False
Let f(s) = -82*s + 272*s + 0*s - 35. Is 14 a factor of f(3)?
False
Let s(t) = -1641*t - 7292. Is s(-29) a multiple of 59?
True
Let l(a) = a**2 - 16*a + 12. Let k(u) = u**2 + 16*u - 36. Let x be k(3). Is l(x) a multiple of 9?
True
Suppose 4518*j = 4519*j - 1170. Is 6 a factor of j?
True
Is ((-147 - -4) + -2*(8 + -4))*-143 a multiple of 25?
False
Let f(v) = v**2 + 10*v + 13. Suppose -2*t = -85 + 7. Let x be t*(-1)/2*8/12. Does 31 divide f(x)?
False
Suppose -92*j = -94*j - 4*d + 85090, -2*d = 4. Does 43 divide j?
False
Let l(c) = c**3 + 2*c**2 - 2*c + 3. Suppose 7*b - 2*b = -5*n, -5*n + 12 = b. Let d be l(b). Does 9 divide (-33)/(12/(-16) + d)?
False
Let i be (-8)/(-28) - 77608/(-28). Let f = -1632 + i. Does 76 divide f?
True
Suppose 42*s = -28*s + 88*s - 220644. Is s a multiple of 54?
True
Let w be (-1*3)/(5/(240/(-9))). Let q(a) = -a**2 + 18*a - 14. Let b be q(w). Is 7 a factor of b/(-45) - (-984)/10?
True
Let d(r) = r**2 - 2*r - 19. Let u be d(-4). Is 58 a factor of u/10 + (-3475)/(-10)?
True
Let j = -66 - -74. Let r(q) = -j*q + q**3 + 8*q**2 - 4*q**3 + 4*q**3 + 17 - 4. Is r(-9) a multiple of 2?
True
Let g be 9 - 2 - 32184/(-8). Does 26 divide g/(-20)*(-20)/5?
True
Suppose -62*u + 204*u = 1751854. Is 13 a factor of u?
True
Suppose -8186 = -h + 4*q, 5*h - 158*q + 153*q = 40840. Is h a multiple of 106?
True
Let s be 6*1/(1/(-64)). Let t(m) = 71*m**2 - 12*m - 18. Let n be t(-3). Let z = n + s. Is 13 a factor of z?
True
Let g(l) = l**2 + 4*l - 3. Let o be g(3). Suppose -o*h + 27*h = 45. Suppose 0 = -5*a + 3*b + 278, -h*a - 3*b = -b - 298. Is a a multiple of 7?
False
Suppose 5*w - 2*x = 26, -3*x = -2*w - 8 + 14. Suppose 2*d = 2*g - w*g + 2896, -g + 746 = -5*d. Does 18 divide g?
False
Let z(t) be the first derivative of 34*t + 1/4*t**4 - 2/3*t**3 - 2*t**2 + 30. Does 12 divide z(0)?
False
Is -2 + 11 - (-1 + 32574/(-3)) a multiple of 22?
True
Suppose -5*m - 7*m + 77096 = 24680. Does 14 divide m?
True
Let f(u) = 147*u + 155*u - 58 - 292*u. Is f(9) a multiple of 16?
True
Let h be 1 - (28 + 2)/5. Let a(x) = -7*x + 81. Is 6 a factor of a(h)?
False
Let o(q) = 16*q**2 + 9*q - 5. Let c = -52 + 59. Suppose -7 = -i + 5*x, -2*x - 13 = -2*i - c. Does 11 divide o(i)?
True
Let m(r) = -2362*r - 534. Is 18 a factor of m(-3)?
True
Does 63 divide 1512/(-24)*(0 + -197)?
True
Suppose 4*i + 3*i - 1939 = 0. Let d = i + -184. Is d even?
False
Let l(r) = -79*r - 90. Let u(v) = -118*v - 135. Let c(n) = -7*l(n) + 5*u(n). Does 17 divide c(-15)?
True
Let d = -218 - 85. Let q = -232 - d. Is q a multiple of 3?
False
Suppose 63*m - 72*m = -1395. Let a = 303 - m. Does 12 divide a?
False
Let q be 2/(-12) + 2*1467/108. Suppose 0 = 23*t - q*t - y + 3097, 4*t - 3092 = 4*y. Is 86 a factor of t?
True
Let n(z) = 12*z**2 + 3*z - 6. Let p be n(5). Suppose -4*y = -p - 171. Does 6 divide y?
True
Let s(p) = -8*p**2 + 5*p - 3. Let w be s(2). Let k = w - -21. Is 16 a factor of (k/10)/(24/(-1520))*3?
False
Let d(q) = 2*q**2 + 30*q - 648. Does 13 divide d(-40)?
True
Let p(n) = -n**3 - 13*n**2 - 15*n - 28. Let g be p(-12). Let s be (7 - (g - 6))*9/5. Suppose s*h - 1222 = -4*h. Is h a multiple of 12?
False
Let h be (-22)/4 - (-8)/16. Let f = h + 8. Suppose f*v + 67 - 307 = 0. Is v a multiple of 16?
True
Let i = 52 + -51. Let o(v) = 40*v**2 + 24*v - 25. Is 26 a factor of o(i)?
False
Suppose 0 = 3*k - 7*k + 12. Suppose 2*m - 200 = -k*i, 4*i + 3*m + 122 - 388 = 0. Suppose 0*a + c = 5*a - 162, i = 2*a - 2*c. Does 8 divide a?
True
Let n(h) = 6*h**2 + h + 23. Suppose 0 = -5*a + 5*m + 15, -m + 3*m = -a + 6. Is n(a) a multiple of 18?
False
Is ((-418)/(-627))/(2*(-1)/(-37245)) a multiple of 191?
True
Let p = 9172 + 4223. Is p a multiple of 19?
True
Suppose -83*k - 4172 = -189843. Does 11 divide k?
False
Suppose 0 =