Does 31 divide p/(-60) - (1 - 158/5)?
True
Let c = -87 + 85. Let h be (-100)/(-6)*(-3)/c. Suppose 273 = h*z - 12*z. Is 5 a factor of z?
False
Suppose 76*b - 65*b + 374 = 0. Let i(a) = -a**2 - 44*a - 228. Is 26 a factor of i(b)?
False
Let l = 18325 + -11816. Is l a multiple of 34?
False
Let w be ((-52)/8)/13*-478. Let g = w - 80. Is g a multiple of 53?
True
Suppose 3*m = -6*m + 90. Let y = m - -134. Is y a multiple of 12?
True
Let p(s) = -7*s - 21. Let v be p(-10). Suppose v = -2*r + 1291. Is r a multiple of 27?
True
Let t(m) = m**3 - 6*m**2 + 5*m + 3. Let c be t(5). Let k be (-13 - -7)*c/(-6). Suppose 23 = k*d - 202. Is 25 a factor of d?
True
Let j(x) = -4*x - 29. Let v(b) be the first derivative of -3*b**2/2 - 19*b + 39. Let n(o) = -5*j(o) + 7*v(o). Does 2 divide n(5)?
False
Let f(h) = 109*h**2 + h + 2. Let c be f(-2). Let x(r) = -2*r**2 + 95*r + 647. Let s be x(-8). Let i = s + c. Does 39 divide i?
True
Let y be ((-21)/14)/(15/3490). Suppose x + 2735 = 4*o, -236 = o + x - 926. Let q = o + y. Is q a multiple of 21?
True
Let z be (-4)/(-3)*(-4941)/54. Let y = 167 + z. Is 5 a factor of y?
True
Let o = 177 - 49. Suppose h + g - o = 339, h - 3*g - 479 = 0. Is h a multiple of 14?
False
Let r(y) = 5*y - 20. Let f be r(4). Suppose -5*n + 78 + 62 = -5*d, 5*n - d - 128 = f. Does 5 divide n?
True
Is 4966/6 + 3 + (-15)/(90/(-8)) a multiple of 18?
False
Let h(b) = 37*b**2 + 16*b + 126. Is h(-11) a multiple of 109?
False
Let x(y) = y**3 - 5*y**2 + y + 9. Let c be x(4). Let r be c/3 + (-8)/(-2). Is 30 a factor of (r*-2)/(6/(-120))?
True
Let u(b) = -b**3 - 5*b**2 + 142*b + 31. Let k be u(-15). Let m(l) = -2*l**2 - 4*l - 11. Let t be m(-8). Let r = k + t. Is 22 a factor of r?
True
Let j = 4 + -4. Suppose j = -o + 207 - 113. Is o a multiple of 20?
False
Let p be ((-548)/(-8))/(3/42). Let x = -477 + p. Does 17 divide x?
False
Suppose 0 = -6*g + 8*g - 14. Let u be (0 + 1)/((-4)/(g + -11)). Let d(q) = 24*q**2 + 3*q - 2. Is 13 a factor of d(u)?
False
Suppose -5*v = 6*v - 5*v. Suppose v = 35*j - 22*j - 637. Does 6 divide j?
False
Let w = -322 - -694. Suppose -4*i = -8 + w. Let t = i - -151. Does 11 divide t?
False
Let m(a) = 13*a + 158. Let q be m(-12). Suppose -51 + 211 = q*s. Is 8 a factor of s?
True
Let i(v) = 202*v**3 + 21*v**2 - 22*v + 19. Is 13 a factor of i(4)?
True
Let q(r) = 10*r + 14*r**2 + 29*r**2 + 3*r**2 - 2 - 4 - 31. Is 11 a factor of q(3)?
True
Let g(h) = -818*h - 22. Let x be g(-4). Does 14 divide x/10 - (-10)/(-2)?
False
Let t(s) be the third derivative of 7*s**5/20 - s**4/24 - 2*s**3/3 + 24*s**2. Let m be t(2). Suppose -3*z + 5 = -5*x + m, -3*z + 46 = 2*x. Does 2 divide x?
False
Let c(k) = k**3 - 67*k**2 + 221*k + 398. Does 14 divide c(64)?
True
Let b(q) = -q**3 - 43*q**2 - 123*q - 90. Let l be b(-40). Suppose 3*u = -l*s + 35*s + 2604, 0 = -2*s. Does 7 divide u?
True
Let x = -4946 - -8404. Is 14 a factor of x?
True
Let x be (2 - (-78)/12)*6. Let k = x - 38. Is k a multiple of 2?
False
Suppose -144*w - 69724 = -311644. Is 7 a factor of w?
True
Suppose 22*f = 19*f + 72. Suppose -s = -5*z + 500, -z + 76 + f = 5*s. Is z a multiple of 2?
True
Suppose 0 = -10*h + 7*h - 3*q + 3, q + 3 = h. Suppose -4*c - 2*v + 1569 = -v, 0 = -2*v + h. Is 15 a factor of c?
False
Let f(x) = 2 + 69*x**2 - 3*x**3 + 11 - 58*x**2 + 4*x**3 + 2*x. Let b be f(-11). Let r = 43 - b. Is 3 a factor of r?
False
Let n be 10714/10 - 4/10. Suppose -2*m + n = 3*c, -4*m + 2102 = 18*c - 20*c. Does 48 divide m?
True
Suppose -v = -0*v + 5, -o = 5*v - 12888. Is 30 a factor of o?
False
Let r(g) = -2*g + 59. Let q be (2/(-12)*-2)/(14/(-210)). Let c be q*((-16)/30)/(-4)*-12. Is 13 a factor of r(c)?
False
Suppose -44 = 12*w - 23*w. Suppose -5*t + 3*r + 3445 = -282, -4*t + w*r = -2988. Does 32 divide t?
False
Suppose -18 = 4*u + 10. Let w(l) = -5*l**2 - 4*l + 28. Let d be w(u). Does 16 divide (-4)/18 + (-7)/(d/3030)?
True
Let r = 12369 + -8211. Is r a multiple of 29?
False
Let q be (-7)/(-1) + (20 - 24). Suppose -2*t + 276 = -q*x, 3*t - 3*x = 228 + 183. Does 3 divide t?
True
Let w(f) = 22*f**2 - 21*f + 65. Let z be 11/22*-8*(-2)/2. Is w(z) a multiple of 20?
False
Suppose 17 = 5*y - 13. Is 1*(-3)/y + (-4428)/(-24) a multiple of 23?
True
Let r(o) = o**3 + 16*o**2 + 27*o - 22. Suppose 6*a + 6 = -66. Does 11 divide r(a)?
False
Let y(g) = g**2 - 47*g - 376. Let o be y(54). Let x = 66 + -6. Suppose 5*f - x = o*f. Does 20 divide f?
True
Let p be ((-6)/2)/(2/(-6)). Is 13 a factor of (130/p)/(21/189)?
True
Let l(c) = -43*c**3 + 2*c + 10. Let a be l(-4). Suppose -4*t - a = -31*t. Is 17 a factor of t?
True
Suppose -i = 4*z - 16185 + 3980, 3*i = 4*z - 12185. Does 10 divide z?
True
Suppose -14403*g = -14426*g + 642114. Does 17 divide g?
False
Does 21 divide (-8)/(-280) - 7696148/(-1295)?
True
Let v = -2148 - -3572. Is v even?
True
Let m = 8800 - 5394. Is 35 a factor of m?
False
Let f be (-78)/(-15) - 6 - (-12)/15. Suppose -3*v - 349 - 305 = -5*x, f = -4*v - 12. Is 19 a factor of x?
False
Let n(u) = -u**3 - 14*u**2 + 19*u + 40. Is 17 a factor of n(-24)?
False
Suppose 4*x + 5 - 85 = 0. Let y be 1 + ((-42)/6)/(-7). Suppose -5*q = -y*r + x, 4*r - 6*q = -2*q + 28. Is r a multiple of 5?
True
Let w(z) = -81*z**2 - 2*z - 30. Let g(p) = 82*p**2 + 3*p + 36. Let t(u) = -5*g(u) - 6*w(u). Let c = 4 - 6. Is t(c) a multiple of 31?
True
Is 26 a factor of (2032*1/5)/(((-14)/20)/(-7))?
False
Let r(x) = -x**2 - 7*x + 26. Suppose -3*i + 32 = 2*i - z, -5*i - z = -28. Let l be (-14 + 20)/((-4)/i). Is 8 a factor of r(l)?
True
Suppose 0 = -12*m + 4863 - 16179. Let h = m + 1630. Is 14 a factor of h?
False
Suppose -58*q + 55*q + 3*i + 115302 = 0, -5*q + 4*i = -192172. Is 12 a factor of q?
True
Let v = 234 + 304. Is (-20)/(-50) - v/(-5) a multiple of 18?
True
Suppose 0 = -309*g + 323*g - 119969 + 34023. Is 19 a factor of g?
False
Let v(n) be the second derivative of 9*n**3/2 - 26*n**2 - 3*n + 5. Does 12 divide v(21)?
False
Let x = 2206 + -134. Is 185 a factor of x?
False
Let g be ((-9)/(-3) - -1) + 205. Let j = g - 74. Is 9 a factor of j?
True
Suppose -14033 = -7*r + 32706. Is 22 a factor of r?
False
Let a(y) = -19*y**2 + 39*y - 120. Let b(c) = -22*c**2 + 39*c - 119. Let i(r) = 7*a(r) - 6*b(r). Is i(13) a multiple of 10?
False
Suppose -2*w + 82 = x, -8 - 359 = -4*x + 5*w. Suppose 0 = 4*v + 8, 0*a - 4*v - x = -a. Does 6 divide a?
False
Let q(z) = 2*z - 5 + 16*z**3 - 3 + 5*z - 9*z**2 - 18*z**3. Does 16 divide q(-7)?
False
Let v = 4624 + -3719. Is 9 a factor of v?
False
Suppose 4*s = -3*k - 21003 - 25598, -5*s - 58237 = -k. Let g be ((-9)/(-4))/((-16)/s). Does 17 divide (g/105)/(2/20)?
False
Let g(j) = 125*j + 1963. Is g(7) a multiple of 45?
False
Suppose 0 = y - 4*m - 23, 0 = -19*m + 15*m - 20. Suppose -4*d + 0*o + 565 = -o, -y*o = 15. Is 8 a factor of d?
False
Suppose -7*q = -5*k - 5*q + 1089, -225 = -k - 2*q. Let r = -176 + k. Does 12 divide r?
False
Suppose 37*o - 3*w = 42*o - 27519, -8 = -w. Is o a multiple of 14?
False
Let a(c) = 160*c**2 - 2*c - 3. Suppose 3*n = 7*n - 8. Is 12 a factor of a(n)?
False
Let p(t) = 441*t - 97. Let h = 0 - -3. Is p(h) a multiple of 14?
False
Let f be 1 + 1 + 1*(-8 - 161). Let z = f - -201. Is 18 a factor of z?
False
Let q = -1555 - -2487. Suppose 3*j + j = 2*h - q, 0 = j + 3. Is h a multiple of 41?
False
Let f be (-294)/(-9)*176/56*9. Let d = f + -594. Is 5 a factor of d?
True
Let n = 39635 - 27407. Is n a multiple of 12?
True
Is 12868/4*(0 - (-7 - (-5 - -3))) a multiple of 163?
False
Let m = -12122 - -62766. Is m a multiple of 22?
True
Suppose 4*d = 177 + 103. Let p = 69 - d. Does 32 divide (-447)/(-2) + (p/2)/(-1)?
True
Suppose -4*s + x = -84, -2*s + 2*x + 59 = 11. Suppose -1452 = 8*n - s*n. Does 11 divide n?
True
Let c = 0 + -1. Let a be c - (-2 - -4) - -3. Suppose a = -0*b + 5*b - 350. Does 20 divide b?
False
Let c = -227 + 120. Let y = c + 293. Is 62 a factor of y?
True
Let c = 161 - 156. Is 15 a factor of 494 - c - (-1 - -3)/1?
False
Is 16 a factor of 108400/5*(-82)/(-205)?
True
Suppose 0 = -5*g + 3*a + 43402, 0 = -3*g - 0*g + 3*a + 26034. Does 52 divide g?
True
Let h be (2/(4/3))/((-33)/286). Let k(n) = 5*n**2 - 15*n - 299. Does 13 divide k(h)?
True
Let d = -50 + 58. Is 15 a factor of d/10*37 - 36/(-90)?
True
Suppose -g - 2 = 0, o - g + 4 = 19. Suppose -27*a + o*a + 2786 = 0. Is 12 a factor o