0798480/660 + (-1)/(-11)?
False
Let n = -125 - -60. Let m = 89 + 92. Let q = m + n. Does 13 divide q?
False
Suppose -2*r + 45530 = 2*g, 6*r + 3*g - 91060 = 2*r. Is r a multiple of 29?
True
Suppose -185 = -3*f - 2*f. Suppose 11*m = -274 - 45. Let d = f - m. Is 3 a factor of d?
True
Let n = 5693 + -3353. Is n a multiple of 45?
True
Suppose 9*d = -5*d + 2450. Suppose 5*j = -4*c + 206 + 169, 5*j = -2*c + d. Is 8 a factor of c?
False
Suppose i + 2*d = 10285, -1834*d = i - 1835*d - 10279. Is i a multiple of 6?
False
Suppose 6*y = -y - 4*y + 688424. Does 42 divide y?
False
Let i = -11 + -1. Let h = i - -24. Is h - (4 + -1 + -1) a multiple of 5?
True
Let f = 3132 + -1936. Does 7 divide f?
False
Does 9 divide 578 + -8 - (16/(-20))/((-4)/20)?
False
Let d = -516 - -505. Let l(q) = -2*q**3 - 8*q**2 + 25*q + 4. Is l(d) a multiple of 12?
False
Let v = -57 + 62. Let b be -9 + v - 6/(-1). Suppose -102 = -3*r + 5*i, r - 5*i + b*i = 30. Does 13 divide r?
True
Let j be (-10)/12 + 276/72. Suppose -4400 = -j*z - 19*z. Is 50 a factor of z?
True
Let x(p) = p**3 + 6*p**2 + 2*p - 28. Let q(d) = -d**3 - 5*d**2 - 3*d + 27. Let n(r) = -5*q(r) - 6*x(r). Let f be n(-11). Is 31 a factor of (f - 6)/2*(-155)/3?
True
Let n(m) = m**3 + 16*m**2 - 18*m - 15. Let b be n(-17). Suppose -b*l + 10 = 6. Suppose -4*y + l*x = -70, 3*x = 5*y + x - 90. Does 5 divide y?
True
Let n(w) = 87*w - 161. Let j be n(5). Let t = -192 + j. Does 60 divide t?
False
Suppose q = 13 - 11. Suppose 4*r - 98 = -i, -q*r = 3*i - 38 - 216. Is 7 a factor of i?
False
Suppose 0 = -0*w - 9*w - 678 - 6. Let z(b) = b**2 + 4*b - 3. Let g be z(2). Is 1010/g + (4 - w/(-18)) a multiple of 21?
False
Is (-19)/76*6*4628/(-6) a multiple of 17?
False
Suppose -3*o - 111 = -5*a, 0*a = -3*o - a - 93. Let b = -28 - o. Suppose -5*g + 605 = -3*n + 119, b*g = 4*n + 384. Does 21 divide g?
False
Let j(r) = r - 4. Let a be j(4). Let v = a + 153. Suppose 0 = 4*f - 55 - v. Is f a multiple of 9?
False
Suppose 2*i + 53 = -5*s, -2*s - 3*i + 15 = -5*s. Let y be 0*(-3 - 3/(s/6)). Suppose y = -3*c + 4*c - 180. Is c a multiple of 12?
True
Suppose -22*q - 31*q = -4081. Suppose o - 30*c = -28*c + q, 243 = 3*o - 3*c. Does 2 divide o?
False
Suppose 9*s - 54 = 18. Suppose -2*i - 3*d = -791 - 51, 4*d = s. Is i a multiple of 11?
True
Let f = 3679 - 3324. Is f a multiple of 7?
False
Let q(t) = t**2 + 24*t - 78. Let z be q(-32). Suppose 26 = -2*o + z. Is 5 a factor of o?
False
Let f be (-2)/5 + 33/(-275)*-95. Suppose 4*x - f*a + 16*a = 3155, -a + 2369 = 3*x. Is x a multiple of 10?
True
Let a(b) be the second derivative of -b**8/6720 + b**7/840 - 11*b**4/6 + 12*b. Let g(z) be the third derivative of a(z). Is 5 a factor of g(-3)?
False
Suppose -46800 = -19*f - 21*f. Does 13 divide f?
True
Let h(f) = 141*f - 1592. Does 62 divide h(90)?
True
Let h = 353 + -381. Is 13 a factor of 1464 - ((-40)/(-35) - (-4)/h)?
False
Suppose 43 + 45 = -g - 5*h, -2*h - 144 = 2*g. Let w = g - -101. Is (4 + -7)/(-3) + w a multiple of 17?
True
Suppose -244 = 15*u - 64. Let b(l) = 2*l**2 - 8*l + 72. Is 33 a factor of b(u)?
False
Suppose -9*u + 5*u = -60. Suppose 3*q - 3*b = -6, b + u = -4*b. Is ((-54)/(-60) + 2/q)*22 even?
False
Let r(x) = 6374*x**2 + 14*x + 19. Is 19 a factor of r(-1)?
False
Suppose -6732 = -9*a - 13*a. Suppose -3*i - 5*k = -10*k - a, 5*i - 532 = k. Is 6 a factor of i?
False
Let k(w) = w + 12. Let m be k(-9). Let t be (-48)/(-120) - (-36)/10 - 6. Is t*((-243)/6 - m) a multiple of 10?
False
Suppose 2*l - 5 = k, 7*l - 8 = 3*l + 4*k. Let u be 8/12*l/(-2). Is 6 a factor of (3*u)/((-10)/260)?
True
Suppose 0 = -3*r + 5*g + 36, -3*r - 1 + 25 = -g. Suppose 5*k - 2090 = -5*f, -2*f + 6*f + 2*k - 1668 = 0. Suppose 0 = r*y - 270 - f. Is y a multiple of 16?
False
Suppose 22*a + 6 = 24*a. Let j be -25*((-26)/(-10) - a). Suppose -j*y + 69 = -31. Is 5 a factor of y?
True
Let a(b) = 12495*b**3 - 3*b**2 + 3*b. Let g be a(1). Suppose -g = -16*r - 19*r. Is 17 a factor of r?
True
Suppose -2*h - y - 339 = 0, 3*h = 2*y - 0*y - 519. Let k be h + -6 + (1 - 2). Let s = -98 - k. Is s a multiple of 20?
True
Suppose 4*p = 3*p - 3*c + 56, 5*p - 2*c - 263 = 0. Let v = 32 + p. Does 49 divide v?
False
Let d = 505 + -501. Suppose -x - 33 = -d*z, z - 4*x - 16 = -4. Does 4 divide z?
True
Let t = 7026 + -1266. Is t a multiple of 144?
True
Let l be (-8)/(-6) - (-8)/3. Suppose 0 = l*i, h = 4*h + 2*i - 264. Is h a multiple of 12?
False
Let y(v) = -2*v**2 - 17*v - 17. Suppose 0 = 9*t + 32 + 40. Let r be y(t). Let u(c) = c**2 + 5*c + 30. Is u(r) a multiple of 6?
True
Suppose 8143 - 330 = 13*j. Let g = j - 370. Does 48 divide g?
False
Suppose -5326 = -10*x + 394. Is x a multiple of 3?
False
Let r(t) = t**3 + 2*t**2 - 4*t - 5. Let c be r(-2). Suppose 4 = -m, -s - 176 = -c*m + 96. Let q = -38 - s. Does 41 divide q?
True
Suppose -5*z = -o + 2368, -4*z + o = 3*o + 1886. Let r = 993 + z. Is r a multiple of 40?
True
Let k(m) be the third derivative of m**5/20 - 17*m**3/6 + 4*m**2 - 10. Is 9 a factor of k(-6)?
False
Suppose o + 0*o = 5*z + 7, 3*o = -z + 21. Is 45*(88/(-24) + o) a multiple of 11?
False
Suppose -24*m + 157*m - 1886073 = 0. Does 87 divide m?
True
Suppose -80*t - 168*t + 475912 = 0. Does 17 divide t?
False
Let b(f) = f**3 + 7*f**2 + 6*f + 6. Let p be b(-6). Suppose -4 = -2*k, 3*l - 2*k + p*k = 3515. Does 32 divide l?
False
Let x = 123 + -329. Let o = x + 253. Is o a multiple of 34?
False
Let x be (30/5 + 16)*-12. Let r = 351 + x. Does 4 divide r?
False
Suppose -39*q = -30575 - 820. Is 9 a factor of q?
False
Is 37 a factor of (-7 - -105)*(-6 + 1529/22)?
False
Suppose -5*u + 529 = 4*i, -4*i = -3*u + u + 206. Is 7 a factor of u/(-5)*82/(-3)?
True
Let n = 15133 - 8133. Does 25 divide n?
True
Suppose 3*d = 5*f - 205, 0 = -3*d - d. Suppose f*j - 30*j = 7766. Is j a multiple of 41?
False
Suppose 7*m + 73*m = -4*m + 968772. Is 9 a factor of m?
False
Let l(o) = -2*o**2 + 89*o - 42. Let g be l(44). Is g/(4 + -3)*(19 + 2) a multiple of 10?
False
Suppose 24 = 28*b - 26*b. Is 46 a factor of (-1)/6 + 4418/b?
True
Let m be 8058/15 - -3 - (-11)/(-55). Suppose -c + 6*c = 4*c. Suppose 4*d + 5*d - m = c. Is d a multiple of 10?
True
Let d(q) = 24*q**2 - 2*q + 6. Let x be (-40)/(-15)*(-3)/(-4). Is d(x) a multiple of 20?
False
Suppose 0 = 8*g - 359 - 73. Suppose 2*i - 15*n = -16*n + g, -3*i + 86 = 4*n. Is 3 a factor of i?
False
Let r(x) = 220*x - 5. Let z be r(2). Suppose -6*m = -z - 105. Is m a multiple of 30?
True
Does 9 divide ((-60)/(-75))/(-2)*-8235?
True
Let s(i) = 30*i - 441. Let k(a) = -10*a + 146. Let x(c) = 7*k(c) + 2*s(c). Is x(-18) a multiple of 16?
True
Suppose -7934 = -2*u + 3*a, 4*a + 3561 - 15428 = -3*u. Does 6 divide u?
False
Let i = -7 - -8. Let s be 196/(-2)*(-18)/(-21)*i. Is 12 a factor of (-185)/(-3) - 7/s*-8?
False
Suppose -4*p + 2174 = 3*y, 26*y - 738 = 25*y - 4*p. Does 6 divide y?
False
Let v be 2 + 51/(-24) + 65949/104. Suppose -4*b + v = o, 2*o + 3*o = 2*b - 328. Does 16 divide b?
False
Suppose -61*g + 132*g = 7029. Does 2 divide g?
False
Suppose 11 = 5*l - 9. Let a(r) = 33*r - 1613. Let w be a(49). Suppose -810 = -w*c + 3*u, 315 = 4*c - l*u - 493. Is c a multiple of 13?
False
Suppose -22*o = 21*o - 11223. Suppose 0 = 272*m - o*m - 8712. Does 22 divide m?
True
Suppose -1915*l + 6754 = -1913*l - 4574. Does 6 divide l?
True
Is 7 a factor of 6358 + -3*95/(-57)?
True
Is (-2)/10*97395/(-43) a multiple of 25?
False
Suppose -4*r - 3*q + 2378 = -5848, 6*r - 5*q - 12320 = 0. Is r a multiple of 14?
False
Let v(a) = 5*a**3 - 3*a**2 - 32*a + 239. Does 15 divide v(6)?
False
Suppose 6 = -3*y, 0 = 4*z - 13*y + 9*y + 1008. Let u = z + 474. Does 11 divide u?
True
Suppose 0 = -13*y - 25*y + 52326. Is 11 a factor of y?
False
Let r(l) = 776*l**2 + 53*l - 108. Does 141 divide r(2)?
True
Suppose -51 = 7*i - 126 + 54. Suppose r + 6 = 5*m, -2*r + 5*m - m = 0. Suppose 0 = i*g - 4*c - 75, -3*c = -r*g + 129 - 29. Is 5 a factor of g?
True
Let p be 40*4 - (141 + -124). Suppose 0 = 2*t + 2*u - 3*u - 611, 0 = -3*t - 5*u + 910. Let k = t - p. Is k a multiple of 6?
True
Suppose -5*f - 3*t - 748 = -10427, -5*t - 5821 = -3*f. Does 255 divide f?
False
Let w be -139*(-1 + 5 + -2). Does 57 divide 7 - (w + 5 + -5)?
True
Suppose -12*h + 15*h = -2*t + 85091, 141801 = 5*h - t. Is h a multiple of 79?
True
Let f = 16564 - -9538. Does