True
Let o = -347 - -48. Let u = o + 441. Is 40 a factor of u?
False
Let f = -184 - -181. Is 5*(-424)/(-20) + f a multiple of 22?
False
Suppose -20359 = -121*i + 1688 + 10623. Is i a multiple of 2?
True
Suppose 0 = 113*v - 93*v - 2640. Does 6 divide v?
True
Let s be (-4)/(-20) - 84/20. Does 101 divide (-24 + -7 + 7)*101/s?
True
Let b(y) = -y**2 - y + 245. Let f be b(15). Suppose -2 = -a - a. Suppose 2*d = -f*o + 231, -2 = 3*o + a. Does 29 divide d?
False
Let p = 93 - 93. Suppose 1615 = 5*h + 3*m, p*h - 4*h + 5*m = -1292. Is 19 a factor of h?
True
Suppose l = 5*v - 0*l - 479, l = -4*v + 376. Let k be (v/10*-22)/(-1). Suppose -2*y = 4*p - p - k, p = y - 97. Does 5 divide y?
True
Let k be (2/4)/(1/14). Let p be k + (-9)/(-6)*(-4 + 2). Does 3 divide (-4 - -68)/p - 1?
True
Let q(k) = k**3 - 6*k**2 + 7*k - 4. Let b be q(5). Let n be b - (1 - 1)*1. Suppose 510 = -0*w + n*w. Does 15 divide w?
False
Suppose 4*g + 5*r = 9, -g = -0*g + 2*r. Suppose -g*v = -v - 1825. Suppose -x = -5*y + v, -8*y + 3*y + 355 = x. Does 12 divide y?
True
Let p(q) = -7*q - 28. Let m(n) = 15*n + 57. Let f(d) = 4*m(d) + 7*p(d). Let r be f(-24). Let h = 410 + r. Is 37 a factor of h?
False
Let n(a) = -a**3 - 19*a**2 + 113*a - 123. Does 57 divide n(-36)?
True
Let d(o) = -36*o**2 + 294*o - 41. Let s be d(8). Let z be 2*(2 - (-23)/2). Let w = z + s. Does 17 divide w?
True
Let f = -13 + -1. Let l be f/91 + 4/26 + 7. Does 15 divide l/((-105)/40)*-6?
False
Let w(v) = -9*v + 105. Let q be w(14). Let u(s) = -34*s - 118. Is 19 a factor of u(q)?
False
Let o(d) = -3*d + 47. Let s be o(16). Let t(b) = -13*b**2 - b. Let l be t(s). Let z(p) = p**2 + 12*p + 42. Does 3 divide z(l)?
True
Suppose -5*u = -4*b - 24 - 24, 39 = 4*u - 3*b. Suppose 16*r = u*r + 75296. Is 31 a factor of r/64 + 2/(-16)?
False
Suppose 46*s - 56978 + 5918 = 0. Is 74 a factor of s?
True
Is 30 a factor of 3587 - -2*(-5 - 44/(-8))?
False
Suppose -4*h = -2*f, 7 = -3*h + 3*f + 1. Suppose -16 = -5*g - 3*s, -h*g + 5*s - 6 + 0 = 0. Suppose -5*w - 3*c + g*c + 109 = 0, 2*c = -3*w + 64. Does 4 divide w?
False
Let y = -35638 - -48840. Is y a multiple of 14?
True
Is 4 a factor of (-133950)/(-525) - 1/7?
False
Suppose -56*q - u = -53*q - 6478, q - 5*u = 2170. Is 4 a factor of q?
True
Suppose -43767 + 53981 = 15*z - 96211. Does 126 divide z?
False
Let l = -4022 - -5164. Is l a multiple of 50?
False
Does 10 divide (-30)/(3/(-30)*((-744)/(-92) - 8))?
True
Suppose -3*s + 985 = -5*f, 2*f = -7*s - 319 + 2631. Is s a multiple of 10?
True
Let s(n) = 4*n**2 - 16*n - 199. Does 21 divide s(19)?
False
Is 44 a factor of ((-33)/(-231))/((-2)/(-7)) - 34285/(-2)?
False
Let k be 12/4 + (-2)/(6/(-159)). Let g be k - (-2)/(-4)*-2. Let u = g - 41. Does 3 divide u?
False
Is 275782/117 + (4 - 148/36) a multiple of 11?
False
Is 40314/(-10)*(-70)/42 a multiple of 7?
False
Let v(x) = -6*x**2 + 24*x - 7. Let s be v(8). Let c = s - -318. Let t = c - 47. Is t a multiple of 9?
True
Suppose 0 = 21*f - 5*f - 7696. Suppose -f + 3745 = 16*o. Is o a multiple of 4?
True
Suppose -47 = -16*x + 49. Is ((x - 8) + -2570)/(-2) a multiple of 9?
False
Let h = 19 - 10. Let x be (2 + (-51)/h)*3. Is (-36)/21*(4 + x) a multiple of 12?
True
Let j = -3 + 28. Suppose j = 5*x + 5, 0 = 5*t - x - 716. Suppose 24 - t = -5*q. Is 24 a factor of q?
True
Let b = 2138 + -920. Suppose 4*x - a - b = 455, -3*x + 1249 = 5*a. Is 22 a factor of x?
True
Suppose 94*f = 317412 + 439476. Is f a multiple of 22?
True
Let b = -5914 + 6202. Is 12 a factor of b?
True
Suppose -2*m = 1147 - 1165. Suppose -8*x + m*x - 5*q = 351, 0 = x + 2*q - 316. Is x a multiple of 16?
False
Let q = 653 - 652. Does 26 divide (-1)/(-6) + ((-5718)/(-36) - q)?
False
Let t(o) = -250*o + 3710. Is t(-20) a multiple of 65?
True
Suppose -6407 = -2*x + 5*s, 11223 = 3*x + 2*s + 1603. Is x a multiple of 187?
False
Suppose -5*b = -5*o - 125, -7*b = -2*b - o - 121. Suppose -28*w = -v - b*w + 48, -5*w = 4*v - 108. Is 12 a factor of v?
False
Suppose 0*t = 5*w - t + 831, 680 = -4*w - 3*t. Let j(y) = 136*y - 217. Let c be j(4). Let q = w + c. Is 32 a factor of q?
True
Is (168/14 + -2926)*3/(-2) a multiple of 141?
True
Let i be (-2)/3*(-1416)/4. Let b = 352 - i. Let m = -97 + b. Is 11 a factor of m?
False
Let y(v) = -v**3 + 7*v**2 - v - 2. Let l be 1 + 5 - 15/5. Let u = 9 - l. Does 28 divide y(u)?
True
Let t = 154 - 107. Is 31 a factor of (0 - (-724)/(-10))/(t/(-235))?
False
Let q = -29 + 33. Suppose -q = 3*p - 10. Suppose -2*h + 80 = p*v, -4 = -3*h + h. Is v a multiple of 5?
False
Let l = 6812 - -3803. Is 15 a factor of l?
False
Let o = -65 - -68. Suppose d - 2*d = -5*g + 2991, 0 = o*g + d - 1793. Is 46 a factor of g?
True
Suppose -4*r = -16 - 8. Suppose -r*m + 5124 - 204 = 0. Does 12 divide m?
False
Let z(h) be the third derivative of h**6/120 + 3*h**5/20 + 11*h**4/24 - 4*h**2. Let d(f) = -2*f**2 + 51*f + 19. Let x be d(26). Is 7 a factor of z(x)?
True
Let k = -46436 + 70972. Is k a multiple of 227?
False
Suppose -c = -1705 - 8063. Is c a multiple of 11?
True
Let d = -404 - -283. Let u be 0 + -259 + -2 + 0. Let n = d - u. Is n a multiple of 36?
False
Suppose z + 5*g = 9*g + 9, 0 = 5*z - 5*g. Does 63 divide (-4)/z*9339/22?
False
Let q(o) = -2*o**2 - 12*o + 35. Let p be q(-8). Suppose p*i + a - 1318 = 0, -i + 341 = a - 101. Is 6 a factor of i?
True
Let j be 2/17 + (-7128)/187. Let u(a) = -26*a + 7. Let k be u(2). Let w = j - k. Is 7 a factor of w?
True
Let c be (-21890)/(110/(-11)) - (-1 + 0). Let i = c - 1464. Is 21 a factor of i?
False
Suppose c + 0*c - 6 = 0. Let b be (-50)/(-12) - (3 + (-17)/c). Is 15 a factor of 10/b*24/2?
True
Let l be (108/8)/3 + (-2)/4. Suppose -l*x + 125 = f, -4*f + 2*x + 559 = f. Does 8 divide f?
False
Suppose 4*o = -2*p + 6*p - 60, p - 4*o = 18. Suppose -y = y - p. Let f = 77 - y. Is 7 a factor of f?
True
Let v(x) = -3*x**2 - 2. Let z be v(2). Let o(m) = 5*m**2 + 26*m + 57. Let i be o(-4). Let r = i - z. Is 15 a factor of r?
False
Suppose 3*h + 4121 = -4*g, 5*h = -0*h + 5. Let k = g - -1783. Does 47 divide k?
True
Let x = -22 - 6. Let r = 118 + x. Suppose 0 = a - 6*a + r. Is a even?
True
Let v = -173 - -268. Suppose 5*o = 0, 3*i + 3*o - 70 = 50. Let z = v - i. Is z a multiple of 5?
True
Let j = -279 + 573. Let z = -238 + j. Is 56 a factor of z?
True
Let o be 18/(-30) - (-3 - 92/20). Is (42/o - 5)*327 a multiple of 26?
False
Let m = 31 - -23. Let h = 81 - m. Let a = 127 - h. Is a a multiple of 10?
True
Let l = 16574 + -8366. Does 16 divide l?
True
Is 16 a factor of 6151 + (133/2660 - (-101)/(-20))?
False
Suppose -180*k - 4 = -182*k. Suppose -32 = -o + 5*j + 95, 5*o - k*j = 750. Is o a multiple of 9?
False
Let u = -36 + 58. Let l be (-32)/(-176) + 5936/u. Suppose 0 = 4*g + 2*g - l. Is g a multiple of 15?
True
Let r(d) be the second derivative of -d**4/12 + 2*d**3 + 836*d**2 - 169*d. Does 17 divide r(0)?
False
Suppose -4*s - 29450 = -p, -5*s + 6302 - 94673 = -3*p. Does 24 divide p?
False
Suppose 4*q - 3*c - 85416 = -8*c, 0 = -2*q - 4*c + 42714. Is 37 a factor of q?
True
Let t(j) = j**2 - 9*j - 37. Let s be t(13). Suppose -m - s = -2*m. Let w = 35 + m. Is w a multiple of 3?
False
Suppose 3*x + 5*m - 18 = -1, 5 = 2*x - 3*m. Suppose w - 2*w - 20 = -x*t, w = t - 5. Suppose 3*y - 549 - 27 = w. Is y a multiple of 37?
False
Let a(c) = -15*c + 140. Let f be a(9). Suppose f*m = 4*p + 543, 0 = -0*m - 5*m + 3*p + 541. Is m a multiple of 6?
False
Suppose 0 = -4*n - 0*n + 16. Suppose -3*k - n*s = 294, -393 = 2*k + 2*k + 5*s. Let j = k + 112. Is 2 a factor of j?
True
Let q(n) = -2*n**2 + 84*n - 155. Let l be q(40). Suppose -36 = -5*m - 11. Suppose 2*z - w - 107 - 36 = 0, -l*z + 365 = -m*w. Is z a multiple of 35?
True
Let f = -81461 + 144077. Is f a multiple of 11?
False
Let x(v) = 796*v**3 + 5*v**2 + 718*v**3 + 2 - 7*v - 791*v**3. Is x(1) a multiple of 46?
False
Suppose 256*g - 26*g - 2044574 = 128926. Is 21 a factor of g?
True
Suppose 0 = 4*o + 163 + 29. Let s = -44 - o. Suppose 18 = y + 5*q, -q = -5*y + s*y + 12. Is y a multiple of 2?
False
Suppose -3*i = -12*s + 15*s - 5190, i - 8638 = -5*s. Is s a multiple of 15?
False
Suppose 226 - 230 = -4*m. Does 24 divide (m - (-3 - -5)) + -3 - -44?
False
Suppose -89*g + 71*g - 144 = 0. Let k(d) = 7*d**2 - 24*d - 35. Does 11 divide k(g)?
True
Let j = 19529 + -12170. Is 31 a factor of j?
Fal