
Does 59 divide ((-3)/(-2) + 1)*(-315532)/(-191)?
True
Suppose -l - 4 = -7. Suppose 145 = 4*m - l*j + 46, 5*m - 2*j = 129. Let o = 126 - m. Is 11 a factor of o?
True
Suppose -72*v + 28 = -65*v. Is (-2)/(-2) - (2 + (-61 - v)) a multiple of 35?
False
Let v be -230*-6*6/24. Suppose 8*f + 7*f = v. Is 2 a factor of f?
False
Let n be 1/(-2) - (2095/(-10) + -5). Let v = 232 - n. Is v a multiple of 3?
True
Let b = 1070 + 375. Is 17 a factor of b?
True
Let f be -156*((-56)/3)/4. Suppose 6*x = 2*x - k + f, 0 = 4*x + 3*k - 728. Is 14 a factor of x?
True
Let p = -819 - -972. Suppose -p = -w - 39. Does 5 divide w?
False
Let l(n) be the third derivative of -n**4/12 + n**3/2 - 6*n**2. Let v be l(2). Does 21 divide v - ((1 - 1) + -1)*43?
True
Let z be (-3)/(-21) + 345/35. Suppose z*o - 5*o - 2805 = 0. Let q = o - 326. Does 17 divide q?
False
Is (-7 - 430/(-10)) + (-6)/(-1) a multiple of 7?
True
Suppose -10*f + 8*f + 3*y + 374 = 0, -4*f + 792 = 5*y. Suppose -3*i + f = -320. Is i a multiple of 13?
False
Let s(w) = w**3 + 12*w**2 + 9*w - 20. Let k be s(-11). Suppose -k*i = p + 3*i - 56, -5*p + 2*i = -226. Suppose -14 = -q + p. Is q a multiple of 6?
True
Let n = 1267 - 993. Is n a multiple of 2?
True
Let x = -10159 + 15368. Does 26 divide x?
False
Suppose 0 = 4*g - 3*r - 16306, -g - 5*r + 5341 = 1276. Does 23 divide g?
False
Let x = 47631 + -16440. Is x a multiple of 293?
False
Suppose -a - 92 = -3*r - 3*a, -4*r + 2*a + 118 = 0. Let j be (-14592)/1472 - (-4)/(-46). Let n = j + r. Does 5 divide n?
True
Let c = -41 - -41. Suppose -3*k + 221 = -3*h - 28, c = 5*k + 4*h - 460. Suppose 0*b - k = -2*b. Is 11 a factor of b?
True
Let p = -281 - -590. Suppose 720*w + p = 723*w. Is w even?
False
Suppose 68*y - 62*y - 84409 - 67211 = 0. Is y a multiple of 70?
True
Let g = 10143 + -4532. Is g a multiple of 27?
False
Let g(q) = 2 + 7*q**2 - 2*q**2 - 8*q - 2 - 28. Does 34 divide g(8)?
False
Suppose 0 = -2*r - 3*u + 12102 - 1338, u + 5372 = r. Is r a multiple of 24?
True
Is (-6 - (2 + 238))*((-483)/14 + 4) a multiple of 18?
False
Let c be (16/24)/((-4)/(-48)*4). Suppose -c*b = 4*b - 1842. Is 10 a factor of b?
False
Let x = -6702 + 7992. Is 5 a factor of x?
True
Let n = 120 + 304. Suppose 3*d = 2719 - n. Is 23 a factor of d?
False
Let y = -63 + 25. Suppose 24*m = 22*m - 36. Let u = m - y. Does 20 divide u?
True
Let b(k) = k**3 + 28*k**2 - 30*k - 14. Let u be b(-29). Let n be u/(-3)*1 + 3. Is 11 a factor of 16/1*(-23)/n?
False
Suppose 18 - 9 = 3*b. Suppose 6*s - b*s = 6. Suppose -k + 7 = 5*l, 0 = s*k - l + 5*l - 20. Is k a multiple of 12?
True
Is 3 a factor of 2 + 1 + 1900 + -243?
False
Let d(q) = -q**2 - 27*q - 132. Let w be d(-21). Let k(t) = 21*t**2 + 10*t - 12. Does 48 divide k(w)?
False
Is 11 a factor of (-10286)/(-1) + 78 + -83?
False
Suppose -536*s + 20048 = -529*s. Is s a multiple of 92?
False
Suppose -4*j + 194 = 3*i + 2*i, 0 = j - 5*i - 36. Suppose -2*o + 150 = -j. Let q = o + -40. Does 13 divide q?
False
Let b = -3 + 5. Suppose 0 = u - b + 1, 0 = -4*d - u + 33. Suppose -402 = -14*w + d*w. Is w a multiple of 15?
False
Suppose 0 = -5*l - 340 - 950. Let b = l + 365. Is 6 a factor of b?
False
Suppose -4*t + 5*t = -15*t + 198848. Is 27 a factor of t?
False
Let m be ((-10)/(-14))/(-5) - 670/(-35). Suppose -m*f - 6*f + 650 = 0. Is f a multiple of 3?
False
Let k(t) = t**2 - 10*t + 16. Suppose 3*o - 14 = -2*c + 4, 0 = 2*o + c - 13. Let u be k(o). Suppose u = -h - 4*h + 390. Does 26 divide h?
True
Let y be (-3 - -2) + (-2)/(6/(-207)). Suppose 1 = -4*w - 3*l + y, 4*w + 4*l - 72 = 0. Let f(g) = -g**3 + 11*g**2 + 29*g - 19. Does 5 divide f(w)?
True
Suppose 0 = -30*u - 18138 + 401808. Suppose 38*c - 10087 - u = 0. Is 7 a factor of c?
True
Does 10 divide ((-30237)/(-5) - 1) + (-354)/(-590)?
False
Let z = 9249 - 5374. Is 39 a factor of z?
False
Let v(o) = 2*o**2 - 22*o + 5. Let u be v(10). Suppose -74 = 3*i + 103. Let s = u - i. Is 9 a factor of s?
False
Let s(a) = -a**3 + 11*a**2 + a - 9. Let u be s(11). Suppose 3*l - 12 = -6. Suppose l*q - q - 30 = -5*c, u*c + 5*q = -11. Does 2 divide c?
False
Let v(m) = -m**3 + 12*m**2 + 15*m + 6. Let x be v(13). Let b = x - 26. Suppose 0 = -g - b*w + 2*w + 68, 5*g - 357 = -3*w. Is 18 a factor of g?
True
Is (-27)/63 + (-765)/70*-2402 + -5 a multiple of 15?
False
Suppose 5*c - 280225 = 5*a, -17*a = 10*c - 20*a - 560443. Does 245 divide c?
False
Let s(u) = -3163*u + 620. Is s(-8) a multiple of 178?
False
Suppose 2*s - 5*s - 5*u - 399 = 0, 5*u = 4*s + 567. Let k = s - -298. Is k a multiple of 16?
True
Let k(i) = 50*i + 4886. Is k(-17) a multiple of 35?
False
Let c(p) = -106 + 6*p**2 + 106 + 5*p**2 - 3*p. Let j = -7 - -5. Does 6 divide c(j)?
False
Let d = 705 + -1005. Does 25 divide (-13)/((-78)/d)*30/(-4)?
True
Is 37 a factor of 4/34 - 3699182/(-1598)?
False
Let a = -5260 - 5408. Is 6/21 - (-6 + a/49) a multiple of 2?
True
Let y(m) = 3*m + 98. Let f(k) = 5*k + 99. Let u(o) = 6*f(o) - 5*y(o). Does 23 divide u(13)?
True
Suppose 72*n - 14*n - 585480 = 223852. Is 170 a factor of n?
False
Let j = 279 - 476. Let b = -56 - j. Suppose 4*r - b = 3*r. Is r a multiple of 18?
False
Let f = -100 - -562. Let b = f + -183. Does 15 divide b?
False
Let i = -4179 + 6300. Does 47 divide i?
False
Let o(h) = -376*h + 1468. Is o(-32) a multiple of 10?
True
Suppose 0 = -2*v - 2*l, 3*v = 4*v + 2*l + 5. Suppose v*z = 5*w + 455, 6*z - 182 = 4*z + 5*w. Does 7 divide z?
True
Suppose 0 = -4*b - 3*u + 2140, 3*b + 1330*u = 1325*u + 1605. Is b a multiple of 59?
False
Let a(x) = 19*x**2 - 32*x - 38. Is 119 a factor of a(15)?
False
Let f(v) = 233*v**3 + 7*v**2 - 7*v + 7. Is 80 a factor of f(1)?
True
Suppose 0*a + a + 3*i + 12 = 0, -3*a - 1 = 2*i. Suppose -h = -t - 112, 4*t - 424 = -7*h + a*h. Is 5 a factor of h?
False
Let a(o) = -o**3 + 22*o**2 - 18*o + 18. Suppose -q = 3*m - 2*m - 22, -q = -4*m - 17. Let h be a(q). Let s = 109 - h. Does 10 divide s?
False
Let a(b) be the third derivative of 35*b**2 + 0*b - 1/3*b**4 + 7/3*b**3 + 1/60*b**5 + 0. Does 15 divide a(15)?
False
Let o be (2640/84)/11*14/4. Suppose o*n - 2460 = 4*n. Does 39 divide n?
False
Suppose -5*u - w - 829 - 1532 = 0, -3*u - 1423 = -w. Let o = u + 1023. Is 26 a factor of o?
False
Let p(s) = s**3 + 2*s**2 - 8*s + 3. Let t be p(-4). Suppose 3*k - a = -1, 0 = -k - t*a + 3. Suppose k = -10*w + 202 + 18. Does 4 divide w?
False
Suppose 5*t + 2289 = -2*t. Let g = t - -230. Let s = 162 + g. Is 24 a factor of s?
False
Let a(w) = -4*w**2 - w - 2. Let u be a(-3). Let s = -30 - u. Suppose -28 = s*h - 103. Is h a multiple of 4?
False
Let k(z) = 253*z - 4401. Does 12 divide k(33)?
True
Let x be (-4)/(-6)*(84/7 - 6). Let j(c) = 2*c**2 - 14*c + 13. Let q be j(17). Suppose 3*r + x*o = q, -2*r + 2*o + 377 = r. Does 41 divide r?
True
Let v be (2/(2/(-1)))/((-3)/(-3)). Let i(k) = -144*k - 4. Let o be i(v). Suppose 3*z - 505 = o. Does 8 divide z?
False
Suppose -15*l = -49 + 4. Suppose -5*p + z + 2164 = 3*z, l*z = 5*p - 2154. Is 18 a factor of p?
True
Suppose 4*r + g - 88088 = 0, -r + 2435 = -5*g - 19587. Does 22 divide r?
True
Let t = 280 + -276. Is 82 a factor of 7443/15 - (8/10)/t?
False
Let k = -127164 - -186084. Is k a multiple of 10?
True
Let u(x) = -x**2 + 5*x + 8. Let i be u(6). Let r(b) = 14*b - 7*b**2 - 25 - 2*b**2 + 8*b**i + b. Is r(10) a multiple of 5?
True
Let k = 126 + -124. Suppose 3*z - 7*z - 2*a - 74 = 0, 0 = k*z - 4*a + 12. Let y = z + 52. Is 12 a factor of y?
True
Suppose -471 = 24*t - 2199. Suppose 0*q - p = -q - 33, 4*q + p + 117 = 0. Is 20 a factor of (t/q)/((-2)/75)?
False
Let s be (-4)/(-12)*(1 - -14). Suppose -s*m + 9 = 2*u - 6, 3*u - 15 = -5*m. Suppose -7*r + u*r = -189. Does 9 divide r?
True
Suppose -5*r = -4*h - 58687 + 13640, -4*r + 3*h + 36038 = 0. Is 14 a factor of r?
False
Let m(g) = 24*g + 16. Suppose -4*i - 117 = 127. Let w = i + 67. Is 40 a factor of m(w)?
True
Let q = -48 - -327. Suppose 7*v - 874 = -q. Does 18 divide v?
False
Suppose -j + 1 = -29. Suppose -3*k - j = -8*k. Let n(p) = 2*p**2 - 4*p - 14. Is n(k) a multiple of 6?
False
Let u = -246 - -226. Let j = 3 - -9. Is u/j*-21 + 0 a multiple of 29?
False
Suppose -551409 = -14*i - 67359. Does 20 divide i?
False
Is 31 a factor of (-4)/(-3) - (-22978)/6 - (89 + -91)?
False
Let t(q) = 2*q**2 - 4*q - 1. Let m be t(-4). Let d(j) = -17*j - 65. Let k be d(-4