ide (-26)/b*(-9)/(36/(-80))?
False
Suppose -2*y = 2*y - 8, -3*i - 5 = 5*y. Let v be 3 + 4/i*(-15)/(-6). Is 17 a factor of (-1)/(v*3/(-54)) + -1?
True
Let s = 276 - 282. Is (9200/150)/((-2)/s) a multiple of 23?
True
Let h(s) = 208*s**3 + 3*s**2 - 61*s + 113. Does 7 divide h(2)?
False
Suppose -11*j + 97741 = -82835. Does 114 divide j?
True
Suppose 15 = 10*x - 5*x. Suppose 22 = -5*u - x, 2*u = i + 42. Let a = -43 - i. Is a a multiple of 7?
False
Let y = -325 - -313. Is (89 - 44) + y/2 a multiple of 6?
False
Let o(x) = -12*x + 37 - 72*x - 47. Let r be o(-5). Suppose r = 5*c + 5*u, 4*c - 127 - 207 = -u. Is c a multiple of 21?
True
Let h = -20 - -32. Let t = h + 48. Let y = t + -31. Does 6 divide y?
False
Let q(c) = c**3 + 13*c**2 - 21*c - 26. Does 3 divide q(-13)?
False
Suppose 175 = -5*p + 5*r, -3*p + 2*r - 4*r - 120 = 0. Let b = p + 45. Suppose -135 = -b*o + 131. Does 38 divide o?
True
Let d = 12503 + -8569. Is d a multiple of 3?
False
Let f be (-2 + 1/5)/(3/(-10)). Suppose f*z - z = -4*s + 1370, 5*z + 3*s - 1365 = 0. Suppose -a = 5*a - z. Is a a multiple of 9?
True
Let q(j) be the second derivative of -j**5/20 - 7*j**4/12 - 3*j**3/2 + 12*j**2 + 3*j. Let y be q(-8). Suppose -y - 74 = -2*n. Is n a multiple of 19?
False
Does 3 divide 105/(1 + 14) - -487?
False
Suppose -4614*u - 35708 = -4643*u + 218535. Is 11 a factor of u?
True
Let r = 349 + -347. Suppose -2*a - 2*a - r*s + 4088 = 0, 0 = -a + 2*s + 1012. Is 45 a factor of a?
False
Let h be ((195/15)/(-13))/(1/(-7)). Let f(p) = 264*p**2 - 2*p + 1. Let a be f(1). Suppose -h*n = -934 - a. Is 12 a factor of n?
False
Suppose -u + 4 = j - 3*j, -5*u = 2*j - 56. Suppose 2*f - 4*f = -u. Suppose 480 = f*w + 3*w. Is 12 a factor of w?
True
Let d be (2/8)/((-234)/48 - -5). Is (-6)/(-3)*3/d even?
False
Suppose 0 = -5*v + 5*h - 6 + 246, 2*h + 140 = 3*v. Let j = v + -44. Suppose j = 6*u - 71 - 97. Is 14 a factor of u?
True
Let a(p) = 2*p**3 + 3*p**2 - p - 2. Let j be a(-1). Suppose j*z = z. Suppose -7*g + 5*g + 174 = z. Is 29 a factor of g?
True
Suppose 261*y = 101*y - 71 + 871. Let d(q) = -q**2 - 20. Let z be d(0). Is ((-15)/y - z) + -3 a multiple of 14?
True
Let b(n) = 93*n**2 + 90*n - 1221. Is 7 a factor of b(12)?
True
Let r(k) = -6*k - 21. Let b be r(-4). Suppose 4*v - 29 = -b*n - 2, -4*v = -5*n - 19. Suppose 0 = -4*j - 3*x - v + 189, j + 3*x = 57. Is 7 a factor of j?
True
Let c(u) = 9*u**3 - 5*u**2 + 12*u - 13. Let p be (-9)/(-18) - (-3)/2. Is 12 a factor of c(p)?
False
Let s(g) = -g**2 - 11*g - 13. Let y be s(-9). Suppose -2*u = -b + 199 + 97, 0 = y*b + 3*u - 1428. Is b a multiple of 25?
False
Suppose -k - 8 = -7*f + 8*f, -3*k = -2*f - 21. Let j(b) = -170*b - 459. Is j(f) a multiple of 8?
False
Let r = 28 - -41. Let p = r + -37. Suppose 3*t - 46 = q + p, 18 = t - 3*q. Is t a multiple of 9?
True
Suppose -62*f + 73360 = -22*f. Suppose 4*t - f = -2*a - 68, 0 = t. Is 16 a factor of a?
False
Suppose 2*p - 34992 = -p - 2532. Is 47 a factor of p?
False
Let p(n) = -4*n**3 + 95*n**2 - 11*n - 29. Does 19 divide p(18)?
False
Suppose -10 = -2*r - b, -r + 17 = 2*r + 2*b. Suppose 7 = r*m + 1. Let p = 23 - m. Does 7 divide p?
True
Let g(p) = 3*p**2 + 46*p + 938. Is g(-29) a multiple of 6?
False
Let v(c) = 48*c + 18. Suppose -12*r + 8*r = -40. Does 17 divide v(r)?
False
Let k be (-51)/(-17) - (92 + 1). Let u = k + -9. Let o = u + 279. Is o a multiple of 47?
False
Let i be (-2)/(2*6/(-18)). Suppose 2*o + 5*a = 170, 2*o - 3*o - 3*a = -83. Suppose -4*m = -5*f - o, i*m - 72 = f + 2. Is 6 a factor of m?
False
Let c(g) = 14*g + 12. Let l be c(-1). Does 60 divide (7/2 + l)*(-2 + 428)?
False
Let t(g) = 180*g**2 + 6 + 6 + 230*g**2 - 13. Is t(-1) a multiple of 19?
False
Suppose 280*s - 1693318 - 804703 = 724219. Is 137 a factor of s?
True
Suppose y - 23 = -c - 0*y, -5*y = c - 15. Suppose -3*v + 3 = -2*l - 12, -5*v + 2*l = -c. Is ((180/16)/v)/(1/144) a multiple of 54?
True
Suppose 9*l + 48 = 10*l. Suppose 2*a + 4*b - l = 0, 4*b + 132 = 6*a - 2*a. Does 46 divide 4/a + 6476/30?
False
Suppose 0 = 5*d + 10, -8*d + 6*d = y + 6. Let a be 5*((-52)/(-20) + y). Suppose 4*f - 5*r = 243, -211 = -a*f - r - r. Is 28 a factor of f?
False
Let h(s) = 158*s**2 - 7. Let q be h(-2). Let i = q + -17. Does 16 divide i?
True
Let r(w) = w**3 - 10*w**2 + 12*w - 50. Let q be r(11). Let n = -104 + q. Does 9 divide n?
True
Suppose 810*c - 814*c - 2*j + 40394 = 0, -3*c = -3*j - 30309. Is 13 a factor of c?
False
Let q = -6407 + 2817. Is q*3/(-12) - (-2)/(-4) a multiple of 23?
True
Let a = 50 + -50. Suppose a = p + 4*p + 95. Let y = p - -27. Does 2 divide y?
True
Suppose -38*q - 1663 + 51861 = 0. Suppose 17*i - q = 3320. Is 39 a factor of i?
True
Let n(a) = 8*a**2 - 5*a - 7. Suppose 4*i - 9 = 5*o, -12 = 8*i - 10*i + 4*o. Does 16 divide n(i)?
False
Let b(m) = m + 1. Let i(d) = d**2 + 11*d + 13. Let q(u) = 5*b(u) - i(u). Let n be q(-4). Suppose -5*r - 6*x + 3*x + 751 = n, 775 = 5*r - 5*x. Does 19 divide r?
True
Suppose -3*n + 0*n = -5*k + 1, -2*k - 3*n + 13 = 0. Suppose v + 2*d - 36 = -k*d, -39 = -v - 5*d. Suppose -v*x - 240 = -28*x. Is 15 a factor of x?
True
Suppose -123*a + 762491 = -65422. Is 127 a factor of a?
True
Let i be (-3)/6 - (3515/(-10) - 1). Suppose -10*u - u + i = 0. Is (150/8)/(12/u) a multiple of 10?
True
Is 46 a factor of (-326)/(-11)*545/10 - (-30)/(-165)?
False
Suppose 0 = 5*n + i - 155, -n = 2*n + 5*i - 115. Suppose 12*y = 2*y + n. Suppose -445 = -5*k + y*p, -4*k + 239 = p - 117. Does 7 divide k?
False
Let v = 1667 + 1270. Is 31 a factor of v?
False
Let m = 23 - -203. Is 28 a factor of ((-5796)/345)/(1 - m/220)?
True
Let i = 269 - 267. Let g(t) = 9*t**3 - 5*t**2 + t - 1. Is 3 a factor of g(i)?
False
Let f(h) = h**3 + 29*h**2 + 72. Let o be f(-29). Let p(k) = -k**2 + 4. Let u be p(-8). Let q = o - u. Does 12 divide q?
True
Let b = -3396 + 5731. Does 26 divide b?
False
Suppose 0 = -8*c - 60137 + 358281. Suppose -52*v + 8*v = -c. Is 11 a factor of v?
True
Let a(w) = 2*w**2 - 15*w + 31. Let h(z) = -z. Let l(c) = a(c) + 4*h(c). Is l(17) a multiple of 11?
True
Let i(q) = 19*q + 15. Suppose 0 = -0*k - 2*k + 24. Let d = k - 7. Is i(d) a multiple of 22?
True
Suppose 2*l = 4*y + 20, 0 = 2*l + 3*l + 4*y + 20. Suppose 3*k = 8*h - 4*h + 269, l = 5*h - 20. Is k a multiple of 20?
False
Does 192 divide -42*((-29520)/28 - 20)?
True
Let l = -94 + 75. Does 7 divide -6*((-1235)/(-6))/l?
False
Does 45 divide 12 + 9251 + -5 + -23?
False
Let w(i) = 2*i + 1. Let n(p) = 8*p**2 + 7*p - 10. Let v(g) = n(g) + 6*w(g). Let c be v(-4). Let s = c + -4. Is 44 a factor of s?
True
Let r(l) = 774*l + 9. Let z be r(3). Suppose 22*g - 2443 = z. Is 5 a factor of g?
False
Suppose -k + n + 2*n + 64 = 0, 6 = -2*n. Suppose 0 = 5*c - x - 20, 8 = 2*c + 33*x - 38*x. Suppose 19 - k = -c*g. Does 3 divide g?
True
Let h = -159 + 163. Suppose 0 = 4*n + h*m - 836, 3*n + 2*m = -n + 826. Does 19 divide n?
False
Let v(w) = 6*w**2 - 11*w - 15. Let j be v(-11). Suppose -3*l - 485 = -4*c + 19, 5*l = 4*c - j. Let u = 266 + l. Is u a multiple of 10?
False
Let w(l) = l**3 + 6*l**2 - 18. Let o(h) = -2*h**3 - 5*h**2 + h + 19. Let g(i) = -2*o(i) - 3*w(i). Let t be g(8). Does 6 divide (t - 18/4)/((-6)/40)?
True
Suppose 0 = 5*d + o + 3469, -3445 = -5*d + 10*d - 5*o. Is d/(-14) - (-5)/10 even?
True
Suppose 16*d = -284 + 172. Is 2 a factor of (d + 16)/(-9) + 85?
True
Is (-2)/32 + -24 + (-1636118)/(-352) a multiple of 20?
False
Suppose 2*m = -r + 51, -m - 5*r - 42 = -2*m. Let g = 31 - m. Suppose 0 = c - g*w - 28, -3*c - 3*w - 24 = -63. Does 8 divide c?
True
Let x(i) = 2*i**2 - 30*i - 84. Suppose 14*g + 29*g = 903. Is x(g) a multiple of 8?
True
Suppose 0 = -3*n + 24, 0 = -16*f + 15*f + 3*n + 13462. Is 11 a factor of f?
True
Suppose -4 = 3*s + 29. Let q(g) be the second derivative of g**4/4 + 13*g**3/3 - 4*g**2 - 112*g. Does 13 divide q(s)?
False
Suppose z + 91 = 99. Suppose z*b - 5*i + 390 = 12*b, -101 = -b - 3*i. Is b a multiple of 9?
False
Let p be (20/5)/1 + 8. Suppose -p*y + 1300 = -1304. Is y a multiple of 7?
True
Let f(m) = 7*m - 18. Let n be (-6)/30 + 6 + (-1)/(-5). Let j be f(n). Suppose 2*p - j = 8. Is 4 a factor of p?
True
Let g(i) = 169*i + 52. Let u(f) = 5*f + 52. Let l be u(-10). Does 31 divide g(l)?
False
Suppose 111*j - 116*j - 2*y = -138397, 3*j = -5*y + 83042. Is 89 a factor of j?
True
Let q(