 148 = -2*i. Let d = n - 24. Is 15 a factor of d?
False
Suppose l + 4*y = 612, -3*l + 5*y + 2427 = 608. Is l a multiple of 65?
False
Let j be -1 - 3 - (11 + -89). Suppose 5*b = j + 46. Is 6 a factor of b?
True
Let q(v) = v**3 - 9*v**2 + 16*v - 8. Let s be q(7). Let r(m) = m**3 - 7*m**2 + 6*m + 7. Is 2 a factor of r(s)?
False
Suppose 5*h - 3*m - 5 = -8*m, -m = -4*h - 16. Let k be h/((18/(-16))/3). Suppose 3*r + 170 = k*r. Is 12 a factor of r?
False
Let l(g) be the first derivative of 2*g**3/3 - g**2 + 16*g - 39. Is 20 a factor of l(4)?
True
Suppose -3*m - 2*v = -1706, 0 = m - 2*v - 333 - 241. Does 15 divide m?
True
Let f(h) = h**2 + h + 20. Let y be f(0). Suppose 13*l - 26*l + 598 = 0. Suppose -y*n + 22*n - l = 0. Is n a multiple of 11?
False
Let r = 162 - 51. Let w = r + -76. Is w a multiple of 7?
True
Does 8 divide 124 - (-4*(-3)/4 - -1)?
True
Suppose -7*q + 1146 = -5*q - 3*c, 0 = 4*q - 5*c - 2292. Is 16 a factor of q?
False
Suppose 21*f - 3*y = 17*f + 13673, -y + 5 = 0. Does 118 divide f?
True
Suppose -12*d + 3373 + 7067 = 0. Is 87 a factor of d?
True
Let p be (-2799)/(-2) + 0 + 3/6. Is 1/(-3 - p/(-466)) a multiple of 13?
False
Let f = -569 - -575. Does 4 divide f?
False
Is 12 a factor of (5 - (-12411)/(-36))*16/(-3)?
True
Let l(a) = -7*a**2 - 95*a - 8. Is 4 a factor of l(-13)?
True
Suppose 3*t - 28 = 38. Suppose 3*l - 169 - t = -j, -3*j + 588 = 4*l. Suppose a + 5*s - 71 = 0, -j = -3*a + 5*s - 67. Is a a multiple of 17?
True
Let r be (2/(-4)*1)/(10/120). Is 18 a factor of (4 - -12)*(-27)/r?
True
Suppose 3*a - 6*a + 9 = 0. Suppose 0 = -4*v - r + 139, 4*v - 124 = -a*r - r. Suppose v - 666 = -6*j. Is j a multiple of 35?
True
Suppose j = -p + 5, p + 0*j - 5*j - 5 = 0. Suppose -3*b + 125 = 4*c, -133 = -p*b + 3*c + 56. Suppose 133 + b = 4*o. Is 16 a factor of o?
False
Suppose -4*m = -25*m + 4809. Is m a multiple of 13?
False
Let t = -6 - 19. Let c = -19 - t. Is 6 a factor of c?
True
Let c = 110 - 110. Let f be (-16)/(-1 + (-11)/(-13)). Suppose 4*t + 0*b - 3*b - f = c, 0 = 4*t + 5*b - 104. Is 26 a factor of t?
True
Suppose -4*p = -0*p - 20. Suppose 6*c = p*c - 273. Let j = 385 + c. Is j a multiple of 28?
True
Let q be (-2 - 10)/4 - 8. Let a = q + 23. Does 7 divide (a/(-15))/((-1)/65)?
False
Does 30 divide (1024/12)/(-4)*714/(-28)?
False
Let x be 40/12*(-6)/(-5). Is 2 a factor of x + 0 + (0 - -8)?
True
Let r(p) = 16*p - 254. Does 8 divide r(21)?
False
Suppose -4*n + 8 = -60. Let h = -26 + n. Let u(y) = -y**2 - 11*y - 7. Is 3 a factor of u(h)?
False
Let p(a) = 12*a - 1. Let i be p(-1). Is 13 a factor of 8/((-2)/i + 0)?
True
Let c be -3 - 1/1*1. Is 2 a factor of -6*c/12 + 6?
True
Suppose 0 = -9*p + 4*p + 205. Suppose 5*o - p = 199. Is o a multiple of 4?
True
Suppose -4*q + 74 = f, -2*q - 128 = -f - f. Let i = f - 50. Is i a multiple of 12?
False
Suppose 5*k + 2 = -48. Let d = -16 - k. Is 8 a factor of (-4)/(8/d) + 9?
False
Suppose 3041 = 3*d + 2*s, -16*s + 19*s = -15. Is d a multiple of 13?
False
Let c(y) = -y**2 - 12*y + 2. Let q be c(-12). Suppose -o - o - 166 = -4*s, 98 = q*s + 4*o. Let k = 73 - s. Does 5 divide k?
True
Let m = -301 - -322. Does 7 divide m?
True
Suppose -54 = -18*x + 9*x. Suppose 2*o - 148 = 2*v, 0 = 3*v - x*v. Is 32 a factor of o?
False
Suppose -5*u = s - 37 - 85, u + 2*s - 19 = 0. Let y be ((-30)/u)/(4/(-10)). Does 15 divide y/(-1) - (-9 - 9)?
True
Let d = 621 - 256. Suppose 2*z - d = -3*x, -z = 2*x - 5*z - 270. Is x a multiple of 25?
True
Suppose 31*h = 62*h - 20708. Is h a multiple of 4?
True
Let q(v) = 11*v**3 - 14*v**2 + 3*v - 30. Does 22 divide q(4)?
True
Let o(m) be the third derivative of m**4/4 - 3*m**3 - m**2. Let u be 180/(27/3)*(-2)/(-4). Is o(u) a multiple of 11?
False
Let g(d) = d**3 - 6*d**2 - 6*d - 1. Let a be g(7). Suppose 4*u = -i - 4*i + 385, 350 = 4*u - 2*i. Suppose a = -2*k + u. Is k a multiple of 7?
True
Suppose 1 = 4*s - 7. Let i(a) = 2*a**2 + 3*a - 6. Let q be i(-4). Let t = q - s. Does 6 divide t?
True
Let q(p) = 9*p**2 - 14*p + 108. Is 26 a factor of q(8)?
True
Let i = -551 + 887. Suppose 19*a + i = 23*a. Does 28 divide a?
True
Suppose 3*k + 315 = s, 5*s = 3*k + 2*k + 1615. Is 3 a factor of s?
True
Suppose -76 = 10*i - 12*i - d, 4*i - 166 = 5*d. Is (44/(-2 + 1))/((-26)/i) a multiple of 8?
False
Let n be 16/(-10)*5*1. Let c = -706 + 492. Does 10 divide c/n + 1/4?
False
Suppose 8*o - 4*k - 184 = 5*o, -5*o = 4*k - 360. Is 32 a factor of 4*(0 - 1) + o?
True
Let k = -15 + 19. Suppose -x + 16 = k. Suppose 0 = -4*d + 4 + x. Does 4 divide d?
True
Suppose -k = 3*k - 12. Suppose 728 = 10*q + k*q. Does 11 divide q?
False
Let b(c) = 29*c**2 - 6*c + 8. Does 17 divide b(3)?
False
Is (-7 - 7)/(1/(-35)) a multiple of 70?
True
Let b = 2746 - 1369. Is b a multiple of 27?
True
Let s be (-2)/(-7) + (14220/(-21))/(-3). Is s/(-8)*-1 - 2/8 a multiple of 6?
False
Let k = -1420 - -2110. Is 23 a factor of k?
True
Suppose -9*w = -6 - 12. Is ((-18)/(-36))/(w/216) a multiple of 14?
False
Let v(a) = 93*a - 32. Does 22 divide v(2)?
True
Let x = 44 - 41. Suppose 198 = x*y - 78. Is y a multiple of 6?
False
Suppose 3*p - 5*p + 4*l - 134 = 0, 2*l = -3*p - 185. Let o(d) = -15*d**3 - 4*d**2 - d + 2. Let s be o(-2). Let v = s + p. Is v a multiple of 17?
False
Let c be ((-174)/5)/((-27)/270). Suppose 3*a + c = 4*a. Is a a multiple of 19?
False
Let x be 26/(-26)*24*2. Let v be ((-3 - -5) + -3)*x. Suppose -12*d = -13*d + v. Is 12 a factor of d?
True
Let j(m) = -26*m + 3. Let n be j(-4). Suppose 0 = 3*o - n - 67. Does 27 divide o?
False
Let b(v) = v**3 - 7*v**2 + 8*v + 5. Suppose -7 - 9 = -4*t - 2*n, -3*t = -2*n - 26. Let q be b(t). Let k(r) = 2*r - 20. Does 6 divide k(q)?
False
Suppose 3*t + 14 = -t - 2*p, -5 = -5*t + 5*p. Let v = 10 - t. Is v a multiple of 6?
True
Suppose -900 = 113*w - 122*w. Does 20 divide w?
True
Let n be (-2)/(6/9) - -191. Let j = n + -101. Is 29 a factor of j?
True
Is 22928/24 + (-10)/30 a multiple of 38?
False
Let k = 2755 + -1881. Does 5 divide k?
False
Let u = 30 - 24. Does 9 divide ((-100)/u)/(4/(-12))?
False
Let d(b) = -12*b**2 - 2*b + 11. Let m be d(-5). Let u = m - -511. Is u a multiple of 18?
False
Let a be (-20)/(-35) - (-122)/7. Let l(c) = c**2 - 16*c + 40. Is l(a) a multiple of 12?
False
Let s be 539/35 + 3/5. Suppose 4*w - s = -0. Suppose w*n + 26 = 2*d - 66, 0 = -3*d - 3*n + 93. Is 12 a factor of d?
True
Let a = 15 - 12. Let w(b) = b**2 - 7*b - 3 - 3 - a*b - 2*b**2. Does 10 divide w(-8)?
True
Suppose -295 = -2*s + 2*p - 45, -4*s + p + 500 = 0. Suppose 0*l + 779 = 4*l - 5*a, 0 = a - 1. Let o = l - s. Does 17 divide o?
False
Let x = -16 + 271. Is 14 a factor of x?
False
Let u be 1/8 + 111/8. Suppose b - 3 = 2*m - u, 28 = 5*m - 3*b. Suppose -273 = -m*f + 2*f. Does 26 divide f?
False
Let k = -40 - -21. Let r = 24 + k. Suppose 0 = -r*h + 3*h + 78. Does 13 divide h?
True
Let p be (-8)/(-44) + (-62)/(-22). Suppose 4*w = -p*h + 110, -4*w - w = -4*h + 157. Does 38 divide h?
True
Let z(f) = -2*f + 15. Let k be z(8). Let a(o) = o + 4*o**2 - 5*o**2 + 5*o**2 + 1. Is 3 a factor of a(k)?
False
Let s be -222*1 - (-2 + 3). Let t = s - -439. Is (t/40)/(6/20) a multiple of 9?
True
Suppose 12*w - 6*w = 72. Is 18 a factor of ((-478)/2)/(4*(-3)/w)?
False
Let s = 2 - 3. Let d be s*2/1 - -214. Suppose 6*t = 2*t + d. Is t a multiple of 12?
False
Suppose w = 82 - 28. Is w a multiple of 2?
True
Suppose 47 = -4*o - 117. Let a be (-21)/(126/480) - (3 - -3). Let b = o - a. Does 15 divide b?
True
Let t(n) be the second derivative of n**6/60 - n**5/60 - n**4/12 - 5*n**3/6 + n. Let g(u) be the second derivative of t(u). Is g(-3) a multiple of 22?
False
Let w = 443 - -120. Is w a multiple of 16?
False
Let a(m) = 3*m**2 - 18*m + 4. Let y be a(6). Suppose -18 = -2*v - y. Is v even?
False
Suppose 0*g = 2*g - 4*a - 8, 0 = 3*g + a - 19. Is 7 a factor of 35 + 0 - (-4 + g)?
False
Suppose -2*r + z - 63 = -6*r, -z = -3*r + 49. Is r/40 + 56/10 a multiple of 6?
True
Suppose g + 126 = -6*g. Let n = -18 - g. Suppose -3*t = -3*o - 333, 4*t = -n*t - 5*o + 489. Is t a multiple of 29?
True
Let m(i) = -23*i - 14. Is 28 a factor of m(-11)?
False
Let c(y) = y + 19. Let n be c(-9). Is 6768/45 - 4/n a multiple of 25?
True
Suppose -2*u + 2*g + 13 = -3*g, -3*g = 3. Suppose 3*a + d + 2 = 4*a, 0 = -4*d + u. Suppose -2*o - 194 = -a*t + 2*o, -2*o + 2 = 0. Is t a mul