57)/(-18))?
False
Let i(d) = 824*d + 92. Is 6 a factor of i(5)?
True
Let b = 25942 - 11850. Does 13 divide b?
True
Let t = -15263 - -21633. Does 10 divide t?
True
Suppose 0 = 7*y + 354 - 46. Is 36 a factor of (-28534)/y + 3/(-2)?
False
Let y be (48670/40)/(2*(-2)/(-16)). Suppose y = 54*n - 23*n. Is n even?
False
Let p = -5180 - -10884. Is p a multiple of 35?
False
Suppose 255*f - 220*f - 72030 = 0. Is 7 a factor of f?
True
Let k(c) = c**3 + 10*c**2 - 6*c + 15. Let a be k(-6). Suppose -a = -8*p + 5. Let f = p - -1. Is 7 a factor of f?
False
Let w be (6 + (-42)/(-12))/(3/2850). Suppose 6*f + 19*f = w. Does 15 divide f?
False
Suppose 42 = -d + 3*d. Does 28 divide ((-152)/10 + 2)*(-490)/d?
True
Let s be (3 + (-68)/20)/((-9)/90). Suppose 36 = 5*o - 3*o + a, 4*o - s*a - 96 = 0. Is 10 a factor of o?
True
Let l be -2 - (-2)/(-3)*-3. Suppose -2*o - 3 + 7 = l. Suppose -5*b = -o*b - 5*s - 78, 12 = b + 3*s. Does 6 divide b?
False
Let q = -2917 - -1711. Let v be q/(-8) + -7*(-6)/168. Is v + ((-6)/(-1) - 2) a multiple of 25?
False
Let d be (-21)/7*(210/18)/(-7). Suppose 5*y - d*h = 1520, -9*h - 324 = -y - 13*h. Does 56 divide y?
False
Suppose 5*w - 71 = -a - 12, 4*a = -4*w + 44. Does 16 divide (w*-2)/(4/(8 + -88))?
True
Let j = 84 - 83. Let t(z) = 269*z**2 + z - 2. Let s be t(j). Suppose 4*d - s - 120 = 0. Is d a multiple of 14?
False
Let v(f) be the third derivative of 37*f**4/8 + 22*f**3/3 + 75*f**2. Does 59 divide v(2)?
False
Let x(q) be the first derivative of 20*q**3/3 + 3*q**2 + 6*q + 24. Let l(t) = -t**2 - 1. Let k(y) = 6*l(y) + x(y). Does 54 divide k(-3)?
True
Let a = -96 + 109. Let x = 20 - a. Does 7 divide x?
True
Suppose 141*q - 830798 + 92522 = 0. Is 17 a factor of q?
True
Suppose 4*g - 5*v - 5 - 17 = 0, -g + 4*v = -11. Suppose 11*h = -14*h + 10*h. Suppose p + 647 = g*l + 3*p, h = -4*l + p + 859. Is 43 a factor of l?
True
Suppose 0 = -4*a + 2*a - 2*b + 2858, 2*b = 4. Suppose -a - 2479 = -7*g. Is g a multiple of 65?
False
Let g(v) = 207*v**2 - 1268*v + 33. Does 15 divide g(14)?
False
Suppose n - 1 = 2*t, -2*t - 3*t = -5*n. Let a be 17/(-17) - n/(-1). Let f = 27 + a. Does 14 divide f?
False
Let s(t) = -29 + 66 + 21*t + 49 - 4*t + 38. Is 10 a factor of s(9)?
False
Let a(k) = k**2 + 2*k - 4. Suppose -3*o = -o + 120. Let h = o - -48. Does 8 divide a(h)?
False
Let g(p) = -555*p + 4332. Is g(-9) a multiple of 3?
True
Is (19864/(-78))/(3*(-3 + (-75)/(-27))) a multiple of 2?
True
Let p(d) = 59*d**3 + 17*d**2 - 69*d + 19. Is 25 a factor of p(6)?
False
Suppose -182 = -6*d + 178. Let r = 71 - d. Suppose -r*s + 7*s - 240 = -4*u, 3*u = 4*s + 177. Does 21 divide u?
True
Let h(u) = u**3 + 4*u**2 - 11*u - 4. Let v be h(-5). Let p = v + -17. Is 8/(p/14 + 2/(-14)) a multiple of 7?
False
Suppose 5*c + 20 = -10, 3*c - 111034 = -4*n. Is 130 a factor of n?
False
Suppose 9*n - 12*n = w - 468, -4 = n. Is w a multiple of 15?
True
Let d = -1336 + 2344. Suppose -12*r = -0*r - d. Suppose -4*h + 316 = -r. Is 17 a factor of h?
False
Suppose 8*y = 13*y + w - 11976, -3*y + w = -7176. Is 14 a factor of y?
True
Let n(b) = 3*b**2 + 41*b - 87. Let m(z) = 5*z**2 + 61*z - 131. Let v(p) = -5*m(p) + 8*n(p). Let s be v(20). Suppose 146 = 5*g - s. Is g a multiple of 33?
True
Suppose 85296 = 21*k + 16857. Is k a multiple of 31?
False
Is (11/(154/2506))/(7/707) a multiple of 36?
False
Let m(y) = 0*y - 4*y - y**3 + 6 + 8*y**2 + y - y. Suppose -56*w + 58*w - 12 = 0. Is 6 a factor of m(w)?
True
Let d(n) = 49*n + 1199. Let t be d(-16). Let a be ((-16)/10)/((-8)/20). Suppose 276 = 3*c - 4*j - 32, 0 = a*c - j - t. Does 8 divide c?
True
Let q(v) = -30*v - 26. Let z be q(-1). Suppose -3*m + 0*i - 2*i + 1086 = 0, -z*m + 1452 = 4*i. Does 30 divide m?
True
Suppose -34257 + 1039694 = 19*r - 40323. Is r a multiple of 43?
True
Does 124 divide 39/91 + 190927/77?
True
Suppose a - 17 = -4*a + g, 2*g - 2 = a. Suppose -4*y + a*p = -447 - 261, 0 = -y - 3*p + 197. Does 20 divide y?
False
Let j(v) = v**2 - 26. Let d be j(7). Suppose 13952 = d*h - 4678. Is h a multiple of 18?
True
Let s(d) = -5*d + 30. Let f be 14/49*-14 - 52/2. Is 4 a factor of s(f)?
True
Suppose 0*l = -6*l + 10800. Suppose -70*u = -60*u - l. Is u a multiple of 4?
True
Suppose -5*n + 4*m + 6620 = 0, 73*n + 5*m + 6625 = 78*n. Is 21 a factor of n?
False
Let q(t) = 5*t**2 + 21*t + 138. Does 77 divide q(-50)?
False
Suppose -9*n + 4*n = 0. Let b(m) = -m**2 - 15*m + 60. Does 4 divide b(n)?
True
Let w be 140/(-30)*6/(-4). Suppose b - w = -2. Suppose -5*h = -h - 20, -5*a + 440 = -b*h. Is a a multiple of 16?
False
Let t(h) = -h**2 + 32*h + 57. Suppose -5*g - 33 = -178. Is 48 a factor of t(g)?
True
Let w be (-2715)/(-11) - (-12)/66. Suppose 5*y + 3*l = -2*l + 275, 5*l = 4*y - w. Let h = y + -41. Does 4 divide h?
False
Let n be (30/(-12) + 2 + 1)*-6. Let v(m) = -61*m. Let a be v(n). Suppose -2*p + 25 = -a. Is 26 a factor of p?
True
Let i(p) = -26*p + 47. Let g = -63 + 55. Is i(g) a multiple of 11?
False
Suppose -23*s = -0*s + 29*s - 28704. Is s a multiple of 23?
True
Suppose 25 = 5*g, 0 = 3*b - 5*g - 8005 - 1486. Is 4 a factor of b?
True
Let c(g) = 3559*g + 95. Is 61 a factor of c(10)?
True
Let c(t) = 4*t**2 - 3*t + 17. Suppose 2*b + 12 = 5*q - 1, -5*q - 32 = 3*b. Does 40 divide c(b)?
False
Let g(c) = c**3 - 85*c**2 - 5*c - 822. Does 5 divide g(86)?
False
Suppose 0 = -5*i + 3*l + 4505, -111*l - 2697 = -3*i - 108*l. Is 4 a factor of i?
True
Suppose -3*p = -2*p - 4*u - 10, -2*u = -p + 6. Let m = 1 + p. Suppose -3*v = -3*c + 168, -m*c - v + 3*v + 173 = 0. Is 7 a factor of c?
False
Let u(m) = 6*m**2 - 129*m + 67. Does 73 divide u(22)?
False
Let a(q) = 7*q**3 - 11*q**2 - 18*q + 7. Let u(d) = 4*d**3 - 6*d**2 - 9*d + 3. Let h(f) = -3*a(f) + 5*u(f). Let w = 43 + -40. Does 7 divide h(w)?
True
Let r(s) = -20*s**2 + 48*s - 5. Let x be r(7). Let p = 1089 + x. Is p a multiple of 40?
True
Suppose 0 = 5*r - 2*q + 6 - 10, -4*q - 8 = 0. Suppose 2*y = 3*j - 3*y - 2713, 5*j + 2*y - 4563 = r. Is 13 a factor of j?
False
Let l(f) be the first derivative of f**5/20 - 4*f**4/3 + f**3/2 - 6*f**2 + 7*f + 14. Let h(o) be the first derivative of l(o). Is h(16) a multiple of 17?
False
Suppose 0 = 5*t + 10, 2*t = -5*o + 13351 + 32685. Is 8 a factor of o?
True
Let i(b) = b**3 + 8*b**2 + 2*b - 41. Let d = -454 + 448. Is 8 a factor of i(d)?
False
Suppose 12*f - 7*f = 45. Suppose f*t = 16658 - 4589. Does 21 divide t?
False
Suppose 144*d - 37501 = 140*d - q, -4*q - 18764 = -2*d. Is d a multiple of 193?
False
Let q(n) = 65*n**2 + 38*n + 55. Is q(12) a multiple of 16?
False
Let j = -451 + 407. Is 4 a factor of j/(-77) - 185/(-7)?
False
Let i(l) = l**3 - 34*l**2 - l + 30. Let s be i(34). Suppose -2*t = r - 0*r - 652, 3*t + 1290 = 2*r. Is 23 a factor of (r/(-20))/(s/10)?
False
Suppose 18*s + 16 = 22*s, 0 = 4*z - s - 39420. Does 88 divide z?
True
Let x = -476 - -213. Let a = -193 - x. Is a a multiple of 15?
False
Let y(c) = c**2 - 15*c + 36. Let r be y(12). Suppose -3*i + 226 = -r*n - n, 0 = -3*i + 3*n + 216. Is i a multiple of 7?
True
Does 107 divide -4 - (16 - 7) - -2188?
False
Let w = 937 - -981. Does 274 divide w?
True
Suppose 0 = 88*b - 92*b - 1312. Let j = b - -408. Is j a multiple of 6?
False
Let m = 5086 - -1607. Does 97 divide m?
True
Let c = -10032 + 11085. Is 242 a factor of c?
False
Let t(f) = f + 3. Let z be t(-3). Suppose z = 2*l + 438 - 1314. Suppose l + 30 = 4*a. Is a a multiple of 13?
True
Suppose -5*i + 1421 + 974 = y, 5*y - 11894 = 2*i. Is y a multiple of 7?
True
Let d(n) = n**2 - 19*n + 39. Let g be d(17). Suppose g*k - 10*k - 605 = 0. Let m = -41 - k. Does 10 divide m?
True
Is 4/6*135831/19 a multiple of 137?
False
Suppose 2*u = -8*u + 50. Let q(g) = 2*g**3 - 3*g**2 + 12. Let f be q(u). Let m = 360 - f. Is 26 a factor of m?
False
Let c(j) = -j**3 - 3*j**2 - j + 3. Let b be c(-3). Suppose 2*z = 2*a + b*z - 420, 0 = a + 5*z - 219. Does 5 divide 5*10/(-125) - a/(-10)?
True
Let r(p) = 34*p + 126. Let u be r(-3). Suppose 0 = j + 2*t - 32 - u, -j + 4*t + 26 = 0. Is 9 a factor of j?
False
Let f(p) = -p + 3. Let r be f(3). Suppose 4*h - 120 + 8 = r. Suppose 5*t = 7*t - h. Does 7 divide t?
True
Suppose -q - 5*m + 80 = -0*m, -400 = -5*q + 3*m. Suppose -83*p - 24 = -q*p. Let x(h) = -8*h - 15. Is x(p) a multiple of 7?
True
Suppose 2*i - 106 = -4*c, 4*i + 19*c - 24*c - 264 = 0. Is 