 1. Let r be s(-3). Suppose 61 = -4*l + r. Suppose -i = -0*i - l. Is 12 a factor of i?
True
Let v = -235 + 450. Suppose 0 = 4*u - 6*o + 4*o - 490, -2*u - 5*o + v = 0. Suppose 4*q + q - u = 0. Does 5 divide q?
False
Let l = -312 - -424. Is l a multiple of 16?
True
Suppose -3*p = -0*p - 15. Let z be 24/15 + 2/p. Suppose 0 = 4*l - z*v - 26, 3*v = l - 2 - 12. Is l even?
False
Is 4 a factor of (4 + -5)*(113 + -1)/(-7)?
True
Let l = 18 - -5. Let z = l + 12. Is 11 a factor of z?
False
Let f be 0/(1 + 1) + 476/(-4). Let j = -66 - f. Is j a multiple of 16?
False
Let n = -1044 - -1185. Is 7 a factor of n?
False
Suppose -3*x - 2*x - 125 = 0. Let s = 35 - x. Suppose 3 = h - w - 3*w, -4*w = -4*h + s. Is 13 a factor of h?
False
Let t = 9 + -9. Suppose -5*o + 390 = -t*o. Suppose 3*p + o = 4*p. Is 20 a factor of p?
False
Let c(x) = 2*x + 1. Let u(s) = s**3 - s**2 + 1. Suppose 3*y + 4*w + 6 = 0, -2*w - 2*w = 12. Let n be u(y). Is c(n) a multiple of 11?
True
Let a(o) = 15*o - 2 + 9*o + 11*o. Is a(4) a multiple of 23?
True
Let v = 2011 + -1625. Is 17 a factor of v?
False
Suppose 0 = -9*b + 11*b + 220. Let h = 143 + b. Is h a multiple of 22?
False
Let n(l) = l**2 - 7*l + 2. Let h be n(6). Does 9 divide (-1280)/(-90) - h/(-18)?
False
Let p = 412 + -979. Let n = -224 - p. Does 49 divide n?
True
Suppose -29*i - 5850 = -48480. Is i a multiple of 5?
True
Suppose 0*b - 7686 = 2*b + 5*j, -2*b + 3*j = 7686. Does 39 divide (8/(-22))/(-2) + b/(-99)?
True
Let k be 4/(-30) + 1*6209/105. Let f = k + -51. Is f a multiple of 8?
True
Let d = -285 - -621. Does 14 divide d?
True
Let z(v) be the third derivative of -v**3 - 1/20*v**5 + 2*v**2 + 0 + 1/12*v**4 + 1/120*v**6 + 0*v. Does 8 divide z(4)?
False
Let w(n) = n**2 + 2*n. Let r be w(-3). Suppose j - 28 = r. Is j a multiple of 3?
False
Let y(r) = -3*r**2 - 17*r - 14. Let o(k) = k**2 + 8*k + 7. Let u(t) = -7*o(t) - 3*y(t). Let q be u(5). Let v = q - -39. Is 19 a factor of v?
True
Let x(a) = a**2 - 8. Let q be x(-6). Suppose 9*m = 11*m - q. Does 2 divide m?
True
Suppose -3*w + i - 214 = -6*w, 0 = -4*w + 2*i + 282. Suppose 0 = -0*u - u + 3*n + w, 3*u - 143 = -5*n. Is 13 a factor of u?
False
Suppose 0 = -g + 93 - 41. Does 6 divide g?
False
Let b = -1415 + 1493. Does 29 divide b?
False
Let l(b) be the first derivative of b**3/3 - 3*b**2/2 - 14*b + 9. Does 8 divide l(-5)?
False
Let d be 10/4*60/25. Suppose 0 = -k + d*k - 15, 2*k - 10 = -2*x. Let f = x - -23. Does 5 divide f?
True
Let d(i) = -87*i + 13. Is 52 a factor of d(-7)?
False
Suppose 5*c - 1114 = z + 2277, -c + 3*z = -667. Does 17 divide c?
False
Suppose 4*i + w = 1753, i + 2*w - 555 + 115 = 0. Is 7 a factor of i?
False
Let p(y) = 13*y**2 + 5*y - 2. Let s be p(3). Suppose -4*z + 2*z = -s. Is 5 a factor of z?
True
Let h(b) = -b**3 + 40*b**2 + 19*b + 10. Does 70 divide h(40)?
True
Let c be (3 - (-18)/(-4))*-2 - 128. Let d = 245 + c. Is d a multiple of 10?
True
Let t(b) = 3 + 3 + b**2 - 6. Let s be t(-3). Suppose s*n = 8*n + 94. Does 14 divide n?
False
Let m be (2/3)/((-42)/(-693)). Is 2 a factor of (1/3)/((11/39)/m)?
False
Let s(v) = 3*v - 10. Is s(12) even?
True
Suppose 0 = -z - 3*z + 8. Let q be (9 + 1)*1/z. Suppose -4*t = -6*w + q*w - 113, 3*w = 5*t - 136. Is 7 a factor of t?
False
Let y(t) = 2*t**2 + 8*t + 9. Let b be y(-7). Let v = b + -38. Is v a multiple of 2?
False
Suppose -2*a + 4*w - 11 = 13, 3*w = 15. Let c be (-16)/((-15)/10 - -1). Does 12 divide a + 5 + c*1?
False
Suppose 0 = -3*m + 2*u + 711, 5*m - 711 = 2*m + 5*u. Does 28 divide m?
False
Suppose -3*m - m = -12. Suppose 6*g = g + 270. Suppose 0 = m*y - 0*y + 4*b - 103, -2*y + b + g = 0. Does 5 divide y?
False
Let x = 2172 - 1512. Does 60 divide x?
True
Let u be (-27)/(-6) + (-1)/(-2). Let s be ((-3)/u)/(6/(-30)). Suppose 2*c = 5*v - 449, 3*v = -s*c + 8*c + 277. Is v a multiple of 18?
False
Let j = 2305 - 99. Is 30 a factor of j?
False
Let u = -663 - -472. Let p = -307 - u. Let r = p + 194. Is r a multiple of 13?
True
Suppose 5*i = -5*v - 5, i + v = 2*v + 5. Let k(z) = 2*z**2 - 4. Let p be k(i). Suppose p*y = -c + 3*c + 158, 5*y + 5*c = 220. Is 8 a factor of y?
False
Does 51 divide ((-188)/6)/(1*(-22)/429)?
False
Let y be (1/((-2)/152))/(8/(-8)). Suppose 67*n - 63*n = y. Does 2 divide n?
False
Let x(s) = 2*s - 28. Let q be x(15). Suppose 3*k = 2*d + 642, -k = -q*d - 203 - 7. Is 36 a factor of k?
True
Let v = 82 + -122. Let s = 28 + v. Is 8 a factor of (s/21)/2*-28?
True
Suppose 4*p = 2*r - 124, 3*p + r - 2*r + 92 = 0. Let b = p + 94. Is b a multiple of 4?
True
Is 10618/30 + ((-304)/(-60) - 5) a multiple of 59?
True
Let l = 1502 + 538. Is 24 a factor of l?
True
Suppose 5*j = 4*a - 47, 5*a + 3*j - 34 = j. Let c(i) = i**3 - 7*i**2 - 5*i - 16. Does 2 divide c(a)?
True
Let l = 53 - 21. Let b = 35 - l. Suppose 0 = p - 0*p - 3, -p = -b*y + 21. Does 4 divide y?
True
Let s(v) = 208*v**2 - 5*v - 5. Suppose 36*b + 2 = 34*b. Is 13 a factor of s(b)?
True
Let w(p) be the third derivative of -1/24*p**4 + 1/3*p**3 + 1/12*p**5 + 0 + 0*p - 1/120*p**6 + 2*p**2. Does 14 divide w(4)?
True
Let w be (-68)/(-6) + 14/21. Let p = w + -10. Suppose 5*r + p*f + f = 83, -21 = -r - 5*f. Is r a multiple of 8?
True
Suppose 4*y = 4*t - 4, 5*t + 6 = 1. Let d = 5 + y. Does 10 divide (45/12)/(d/40)?
True
Let f = 887 + -277. Does 44 divide f?
False
Suppose -5*b + w = -2554, -3*b + 417 = 3*w - 1101. Does 30 divide b?
True
Suppose -5*b + 1 + 9 = 0. Suppose 7*y - 3*y = 264. Suppose b*k = -k - 4*v + y, -2*v = k - 20. Does 8 divide k?
False
Let z(q) = -q**3 - 9*q**2 - 13*q - 13. Let n be z(-9). Suppose a - 128 = n. Does 50 divide a?
False
Let w be -3*(905/(-15) + 0). Suppose 3*n - 555 = -g, 0*n - n = -g - w. Does 46 divide n?
True
Suppose 3*d + 1911 = 3*g, g + 30*d - 649 = 34*d. Is 7 a factor of g?
False
Let s(p) = -p. Suppose h + 4 = 0, -3*h = 4*c - 3 + 27. Let f be s(c). Is 8 a factor of (4 - -14) + (f - 5)?
True
Suppose 0*f = 2*f. Suppose 3*a - r - 40 = 0, f*r + 40 = 4*a + 2*r. Does 3 divide a?
True
Let s = 154 - 115. Does 19 divide s?
False
Suppose r + 10 = 3*r. Let g(q) = -11*q**2 - 5*q - 17. Let x(t) = -6*t**2 - 2*t - 9. Let h(z) = r*x(z) - 3*g(z). Is h(-4) a multiple of 10?
False
Let k(h) = 91*h**2 + 26*h + 56. Does 16 divide k(-2)?
True
Let z(j) = 2 - 7*j + 3*j**3 + 1 - 11*j**2 - 2*j**3 + 5*j**2. Let g be z(7). Suppose -5*n - 5*q + 54 + 1 = 0, -57 = -5*n - g*q. Is n a multiple of 12?
True
Let n(z) = -2*z - z**2 - 4*z**2 - 10*z**3 - 9 + 11*z**3. Is n(6) a multiple of 9?
False
Let b(f) = f**3 - 6*f**2 - f + 6. Let r be b(6). Suppose r = 2*l - 223 + 59. Is 8 a factor of l?
False
Suppose 0*m + 2*w - 51 = m, -2*m = 5*w + 93. Let j = m + 109. Is 20 a factor of j?
True
Suppose 2*p - 6 = -g, 4*p = -3*g + 6*g - 38. Let o be (-2)/(1 - 8/g). Let h = 3 - o. Is h a multiple of 9?
False
Suppose -k - 2 = -n, -2*k + 9 = -5*n - 2. Let i = 12 + k. Suppose 190 = i*m - 90. Does 28 divide m?
True
Does 57 divide 9225/6 - 138/(-92)?
True
Does 19 divide 53220/140 - (-1)/(-7)?
True
Let x be (6/(-5))/(2 + (-116)/60). Let i = x - -24. Does 6 divide i?
True
Let t(l) = -l**2 - 5*l - 4. Let p(n) = -n. Let f(k) = 6*p(k) - t(k). Let c be f(-4). Suppose -j + 0*j + c = 0. Does 11 divide j?
False
Let r(p) be the first derivative of 19*p**2 - 5*p - 20. Is 15 a factor of r(2)?
False
Suppose -24 = 6*k - 9*k. Suppose 3*a - 2*p + k = 0, -3*a - 5*p = 24 - 2. Is 7 a factor of a/((-16)/20) + 2?
True
Let s(m) = m**2 + 6*m + 4. Let a be s(-6). Suppose 0*p = a*p + 4. Is 9 a factor of 9*(-1 - -3 - p)?
True
Let c be (4 - 7)*(0 - (-1 + 0)). Is (-1)/c*2 + 1764/27 a multiple of 10?
False
Let b = 973 - 463. Does 12 divide b?
False
Let q be 28/6 - 8/12. Let m be (-2)/(-1)*58/q. Suppose m = -4*a + 149. Is a a multiple of 15?
True
Suppose 0 = 8*b - 1653 + 21. Does 19 divide b?
False
Is 25 a factor of (1 + 564/(-10))/(26/(-130))?
False
Let o(m) = -47*m - 238. Is o(-10) a multiple of 15?
False
Suppose -90 = -2*d - 5*w, 2*w = 3*d + 5*w - 117. Suppose 0 = -d*o + 31*o + 460. Does 22 divide o?
False
Suppose u - 2*i + i = 0, 0 = u + 3*i - 8. Let a be (2*1/u)/(-1). Is 23 a factor of 92/(-8)*2/a?
True
Suppose -62 = -10*g + 78. Suppose 17*u - 27 = g*u. Is 7 a factor of u?
False
Let t = 321 - 102. Let n = t + -84. Is 45 a factor of n?
True
Let j = 339 - 192. Is 7 a factor of j?
True
Let l = 349 - 323. Is l a mul