2. Suppose 30 = 5*m + 5. Let u be c(m). Let b = u + -23. Does 45 divide b?
True
Suppose -z = t - 55, z + 3*t + 165 = 4*z. Let u = z + 216. Is u a multiple of 7?
False
Is (-2*9/36)/((-7)/155694) a multiple of 5?
False
Suppose d + 1631 = -5*c, -4*c - 5*d - 792 - 517 = 0. Let i = c + 806. Is 7 a factor of i?
False
Let m(i) = -37*i + 25*i + 40 - 42*i - 141. Is m(-6) a multiple of 16?
False
Let k(q) = 7*q**2 - 5*q + 24. Suppose 17 = 4*b - 5*i, 0 = -7*b + 2*b + i + 37. Suppose -6 = -r + 5*g + 18, -5*r - 3*g + b = 0. Is k(r) a multiple of 22?
False
Suppose 173 = 2*h + 5. Let u = h - -22. Is 26 a factor of u?
False
Let r = 663 + -998. Let z = -232 - r. Does 28 divide z?
False
Let i(n) = n - 17. Let c(m) = m. Let q(b) = 3*c(b) + i(b). Let p be 4/(-16) + (-98)/(-8). Is 8 a factor of q(p)?
False
Let b = 913 - -47. Suppose j + 6*p - 325 = 3*p, -3*j - 4*p + b = 0. Suppose j = 2*r + 2*r. Is r a multiple of 16?
False
Suppose v + 9*v - 19460 = 8*v. Is v a multiple of 35?
True
Suppose -2*o = 4*c - 1440, 4*c - 3600 = 2*o - 7*o. Suppose -88*x - o = -97*x. Is 8 a factor of x?
True
Let q(x) = -x**2 + 11*x + 16. Let m be q(13). Let k be ((-12)/m)/((-8)/(-20)). Is 28 a factor of k + -5*(2 - (24 - 1))?
False
Is 6*((-2294)/(-12) + (-58)/87) a multiple of 44?
False
Let v be (45/((-20)/4))/(-1). Suppose 5*s = 3*w + 14 + 25, w = s - v. Suppose 0 = -2*p - s*b + 4*b + 58, 2*p - 40 = 4*b. Is 3 a factor of p?
False
Suppose -239*u + 307784 = -81*u. Is 13 a factor of u?
False
Suppose 8*a - 10*a - v + 9 = 0, -2*a + 2*v - 6 = 0. Suppose -46 - 132 = -c - a*l, -c = 3*l - 173. Is 7 a factor of c?
False
Let r be 113 + (-36)/16 + 2/8. Let z be r + (-3 - -6)*-1. Let a = z - 87. Is a a multiple of 3?
True
Suppose -200*g + 541218 + 232689 + 2662893 = 0. Is 70 a factor of g?
False
Let m(z) = 71*z + 1582. Does 3 divide m(-5)?
True
Suppose -1634*v + 1794*v - 248960 = 0. Is 4 a factor of v?
True
Let n = 15090 + -11526. Is n a multiple of 18?
True
Let u(n) = -2*n**3 - 26*n**2 + 18*n + 122. Is 31 a factor of u(-23)?
False
Let i(b) = b**3 + 4*b**2 - 4*b + 5. Let t be i(-5). Suppose 5*a + t*a + 135 = 0. Is (6105/a)/(-5) + (-2)/9 a multiple of 14?
False
Suppose -3*n + 5*r + 20097 = -2707, 0 = -n - 4*r + 7624. Is n a multiple of 13?
False
Let p be -4*(-2 + 0 + 30). Let j = p + 112. Suppose j = 14*x - 4*x - 1670. Is 6 a factor of x?
False
Is ((-448)/7)/2*(-85 - (0 + 3)) a multiple of 44?
True
Suppose 4*y - 342 = -5*r + 1272, y - 1 = 0. Is (45/6)/(69/r) a multiple of 7?
True
Let y(x) = 444*x - 922. Does 6 divide y(5)?
False
Let x(f) = -823*f + 10. Let b be x(-9). Suppose -2792 + b = 5*l. Is 13 a factor of l?
False
Suppose i - 282 = -282. Suppose 2*g + i*g + 2234 = 3*x, g = -x + 753. Does 34 divide x?
True
Let h(l) = 516*l**3 + 2*l**2 - l. Let w be h(1). Let b = w - 117. Does 8 divide b?
True
Let q(h) = -1181*h - 8231. Is 13 a factor of q(-48)?
False
Suppose 2*o = 51 - 23. Suppose -2*t + 4*q + 4 = -o, -2*q + 8 = 0. Is t a multiple of 4?
False
Suppose -12 = -3*n, -2*l - 5*n = -4*n - 1534. Suppose -3*f = -11*v + 13*v - 452, 0 = -5*f - v + l. Is 14 a factor of f?
True
Suppose 68186 = 3*u + m, 2303 = -2*u - m + 47759. Is u a multiple of 44?
False
Let u = 21599 + -21035. Does 94 divide u?
True
Let n(h) = 68*h**2 + 123*h + 261. Does 36 divide n(21)?
True
Suppose 3*f = -5*o + 117, -5*o = -4*f - 9*o + 156. Suppose -45*t + 4698 = -f*t. Is t a multiple of 14?
False
Let b(z) = 872*z**3 + 2*z**2 + 18*z - 34. Is 15 a factor of b(2)?
False
Suppose 0 = -3*s - 14 + 38. Let l(m) = 13*m + 66. Is l(s) a multiple of 10?
True
Suppose 3*z + 39 = -2*q, q - 14 = -4*z - 66. Let n(j) = 2*j**2 - 14*j + 18. Does 18 divide n(z)?
False
Suppose 0 = -11*t - 10*t + 63. Suppose -t*m + 5*w + 1259 = 0, 2*m - 4*w - 584 = 256. Is m a multiple of 19?
True
Let j(d) = -41*d + 20. Let i be ((-2)/4)/(7/84). Let x be j(i). Suppose x = 3*v + 4*v. Does 19 divide v?
True
Let v(f) = -80*f**3 - 2*f**2 + 5*f - 6. Let b be v(-3). Suppose -798 = -3*j + 4*u, 791 = -5*j - 5*u + b. Is 7 a factor of j?
True
Let m(z) = -z**3 + 11*z**2 + 2*z - 17. Let c be m(11). Suppose 289 = c*s + 2*g, 2*g + 169 = 3*s + g. Does 7 divide s?
False
Suppose 0 = 49*k + 25*k + 204395 - 511717. Is k a multiple of 3?
False
Suppose 2*v + 24 = 14*v. Suppose v*y - 8*y = -138. Let z = y + 93. Does 10 divide z?
False
Let d(r) = r**2 + 8*r + 28. Let b be d(-3). Suppose 2*z - 25 = y - b, 0 = 3*z - 5*y - 25. Suppose z*t = -5*n + 1185, 4*n - 880 - 95 = 5*t. Is 12 a factor of n?
True
Let c(q) = -380*q + 1985. Does 2 divide c(4)?
False
Suppose f = -2*u + 3534, 0 = 5*u + 24*f - 21*f - 8836. Does 112 divide u?
False
Let q(m) = 17*m**2 - 19*m + 34. Suppose -5*d + 2*d + 12 = 0. Is 4 a factor of q(d)?
False
Let l(v) = 2*v**2 + 6*v - 12. Let u(t) = t**2 + t + 7. Let w be u(0). Suppose w*y + 37 = -19. Does 22 divide l(y)?
False
Is 35 a factor of 9 + (-2493)/279 - (26322060/(-124))/5?
True
Is 18 a factor of 28/(-4 + 82/20)?
False
Suppose 4*p - 28 = 2*u, 6 = p + u + 2. Let y be (1 + 3)/(p/2 - 1). Suppose -5*h - 4*a + 1043 = -2*a, 3*a + 421 = y*h. Does 12 divide h?
False
Is ((-13)/286*-17083)/((6/(-32))/(-3)) a multiple of 186?
False
Let g(u) be the second derivative of -41*u**5/20 + u**3/3 + u**2 + 4*u - 14. Let h = -2 - 0. Is 16 a factor of g(h)?
False
Let k = 465 - -1761. Suppose -17*l + k = -3*l. Is l a multiple of 13?
False
Let x(i) = -338*i - 8. Is x(-151) a multiple of 45?
True
Let x(v) = -v**3 + 19*v**2 + 43*v - 52. Suppose -5*n + 4*p + 120 = 0, p + 5 = -0. Does 24 divide x(n)?
True
Let p = -612 + 371. Is 12 a factor of -1*p/2 - 9/18?
True
Let h(s) = 3*s - 7. Let n be h(0). Let k be (3/14 - 1/2)*n. Is 8 a factor of (4/3)/((-104)/(-51) - k)?
False
Suppose -255 + 145 = -10*q. Suppose -4 - q = -5*v, 545 = 2*c + v. Does 36 divide c?
False
Suppose 4 - 16 = -3*l + 4*q, 5*q - 16 = -4*l. Suppose -2*p = -5*n + 2530, -5*n + 2098 = -l*p - 422. Does 12 divide n?
False
Suppose -240 = -8*r - 2*r. Suppose -3600 = -r*v + 16*v. Is 30 a factor of v?
True
Let b = 473 + -289. Let z = b - -61. Is z a multiple of 50?
False
Suppose -2*l = 5*h - 26749, 0 = 1251*h - 1248*h - l - 16056. Is h a multiple of 11?
False
Suppose 14*p = 17*p - 2076. Suppose -y - y = -p. Suppose 3*q = 7 + 5, y = 3*g + 4*q. Does 25 divide g?
False
Is 11/(1 - 24579/24624) - (-12)/15 a multiple of 35?
True
Suppose -y - 1974 = -y - y. Is y a multiple of 3?
True
Let r(n) = 1950*n**3 + 3*n**2 + 12*n - 15. Is r(1) a multiple of 26?
True
Let i(z) = 22*z + 76. Let r(s) = -3*s + 2. Let y(f) = -i(f) - 3*r(f). Does 2 divide y(-16)?
True
Let o be (-2)/(0 + (-2)/5). Let y be (-2)/o - (228/(-20) - -2). Suppose -y + 63 = 3*n. Does 8 divide n?
False
Let z = 78 + -46. Let n be z + (-3 + -2 + 11)/2. Suppose 12*c - n - 73 = 0. Does 3 divide c?
True
Let i = -41 - -46. Suppose 2*o + 9 = i*o, 0 = -x - 3*o + 15. Suppose -2*q + 424 = x*q. Is 11 a factor of q?
False
Suppose -3*b + 3*v + 429 = 0, -b = 19*v - 15*v - 133. Let a = b - 35. Is 12 a factor of a?
False
Let w be 6 + -2 + 0/(-5). Let s(b) = 4*b - b**3 - 7*b - w*b + 7*b**2 + 5. Is 13 a factor of s(4)?
False
Suppose -5*t = 9*t - 3920. Suppose 0 = 6*f - 3244 + t. Is 19 a factor of f?
True
Suppose 0 = 387*h - 382*h - 3805. Let t = h - 446. Is 9 a factor of t?
True
Is 6 a factor of -2*3 + (3/(-15) - 42847/(-35))?
True
Let y(u) = -5*u**2 + 14*u - 53. Let l(x) = -4*x**2 + 20*x - 52. Let j(f) = 2*l(f) - 3*y(f). Does 59 divide j(6)?
True
Suppose -28 = 5*w - 98. Does 13 divide 273/w*2*-1*-2?
True
Let z = 35 + -19. Let n = -8 + z. Suppose -4*j - n = -5*j. Is j a multiple of 8?
True
Suppose -374*p + 381*p = 51387. Does 48 divide p?
False
Let r be ((-174)/9)/((-6)/81). Suppose 0 = -7*x + 72 - r. Let p = -13 - x. Is 2 a factor of p?
True
Suppose o = -4*z + 18696, -2*o = -31*z + 34*z - 14017. Is z a multiple of 16?
False
Let d(c) = c**3 - 115*c**2 - 733*c - 20. Is d(-6) a multiple of 17?
False
Suppose -20*c - 5*x = -16*c - 1672, 1640 = 4*c - 3*x. Does 69 divide c?
False
Let h = -306 - -445. Let g = 149 - 212. Let n = g + h. Does 19 divide n?
True
Suppose -73 = 58*u + 43. Let p(y) = -y**2 - 4*y + 7. Let m be p(-5). Does 15 divide (u/(8/m))/((-9)/1998)?
False
Let l be 2/6 - 5/15. Suppose -2*a = -o - 256, l*a + a - 5*o - 137 = 0. Let i = -55 + a. Is 9 a factor of i?
True
Suppose -96*b + 91*b + 20 = 0. Suppose 4*w = 5*n - 3