r + 85, 2*m + 3*r = 39. Is 14 a factor of m*(2 + (-5)/(-1))?
True
Let l be (-33)/44 + (-2)/8. Let i = 20 + l. Is i even?
False
Is 54 a factor of (-8)/192*-6 - 3231/(-4)?
False
Let l(f) = f**2 + 21*f + 294. Is l(0) a multiple of 49?
True
Let r = -2 - -1. Let c be (-81)/r*4/12. Suppose m - c = -7*x + 3*x, 0 = 2*m - 2*x - 4. Does 3 divide m?
False
Let k = -17 + 16. Is (-598)/(-78)*(-18)/k a multiple of 43?
False
Let m(s) = 2*s**2 + 10*s + 105. Is m(0) a multiple of 5?
True
Suppose 0 = 3*b + 5*k - 164 + 38, 4*b - 3*k = 168. Does 41 divide b?
False
Suppose 0 = -4*a - 0 - 8. Let h = 4 + a. Suppose -7*x + h*x = -55. Is 2 a factor of x?
False
Suppose 1292 = 65*x - 61*x. Is 16 a factor of x?
False
Let h(r) = 33 + 26 - 53 + 7*r + r**2. Let c be h(-6). Suppose c*k = 3*k + 2*d - 120, 3*d + 9 = 0. Is k a multiple of 20?
False
Suppose 0 = 10*p - 15*p + 1670. Does 14 divide p?
False
Let a(p) = -5*p + 44. Let i be a(8). Suppose c - i*k - 13 - 3 = 0, 2*k - 2 = 0. Is 5 a factor of c?
True
Let y be -1*(0/(-2) - 3). Suppose h - 4 = y*g + 6, 5*h - 2*g - 102 = 0. Suppose 126 = 4*s - 2*j, 4*j - h = -s + 14. Is 7 a factor of s?
False
Suppose r + 28 = 3*g - 52, -r = 3*g + 98. Let i = 6 - r. Does 19 divide i?
True
Suppose -18*d + 30*d = 9204. Is 60 a factor of d?
False
Let b(n) = 4*n**3 - 6*n**2 + 5*n - 2. Let s(g) = 3*g**3 - 5*g**2 + 4*g - 1. Let x(c) = -2*b(c) + 3*s(c). Let r be x(4). Suppose 47 = 2*l - r. Does 13 divide l?
False
Suppose -2085 + 5125 = 8*f. Is f a multiple of 20?
True
Let m(o) = 44*o - 20. Let k be m(-18). Is 34 a factor of (1/((-4)/k))/1 - -1?
True
Suppose 5*h + 3*v - 14 = 0, -2*h - h - 2*v + 8 = 0. Is 27 a factor of (240/14)/(h/42)?
False
Let w = 467 - 324. Is 14 a factor of w?
False
Let q(i) = -55*i - 72. Is 31 a factor of q(-4)?
False
Let q(d) = -3 + 10*d**2 - 1 + 0 + d + 23*d**2. Is q(-2) a multiple of 11?
False
Let z = -622 + 1236. Is z a multiple of 13?
False
Is 44 a factor of 2*(-3)/18 - 3301/(-3)?
True
Let i(f) = f**3 - 2*f**2 + f + 1. Let x = -22 + 24. Let v be i(x). Suppose -v*c = -29 - 52. Is 5 a factor of c?
False
Suppose p = 4*p + 3*v - 15, -2*p - v = -13. Does 5 divide 2 + 153/4 + (-2)/p?
True
Let j be 7035/28 + 1/(-4). Suppose 5*o + 11 = j. Is o a multiple of 14?
False
Suppose 3487 - 328 = 3*q. Is q a multiple of 27?
True
Let s(w) = -2*w + 33. Suppose -30 = 4*j + 18. Is 17 a factor of s(j)?
False
Suppose 0 = 3*g + v - 13, 19 = -0*g - g - 5*v. Is 6 a factor of (1/(-1))/(g/(-318))?
False
Suppose -2*p + 4*i + 52 = 2*p, 2*p + 4*i - 2 = 0. Suppose -2*b + 425 = p. Suppose b = -0*u + 4*u. Is 19 a factor of u?
False
Let g be -14*(-1)/(1 + 1). Suppose -g*w = -11*w + 336. Is 21 a factor of w?
True
Suppose 3*b + 63 = 186. Let i = 45 + b. Suppose 0 = -3*x - 5 + i. Is 9 a factor of x?
True
Suppose -d - 4*d = 390. Let h be 12/d + (-28)/(-13). Is (h/8)/((-8)/(-416)) a multiple of 13?
True
Suppose 0 = -2*x + 4*x + 24. Let u = x + 14. Does 13 divide 4*((-68)/(-8) - u)?
True
Let u = 1590 - 1500. Is 15 a factor of u?
True
Suppose 2*j = -3*j - z + 145, 3*z = 0. Does 7 divide j?
False
Let i = -801 + 1368. Is i a multiple of 7?
True
Does 2 divide (-17 - -18)/((-3)/(-489))?
False
Let i(r) = -r**2 - 5*r - 2. Let c = 3 - 6. Let f be i(c). Does 4 divide (f + -1)/(21/154)?
False
Suppose 11*z = 12*z - 1520. Suppose 5*b = 13*b - z. Does 13 divide b?
False
Suppose -123377 = -72*g + 83047. Is g a multiple of 61?
True
Let w = 7 + -12. Does 4 divide (-7)/(-3)*(-2 - w)?
False
Let j(x) = 14*x + 476. Does 26 divide j(18)?
True
Let w(h) = h**2 + 4*h. Let f = -2 + 4. Suppose 5*x - 30 = f*m, 4*x - m = 3*x + 9. Is w(x) a multiple of 19?
False
Suppose 7*r - 4*r = -5*q - 10, -3*q - 6 = -5*r. Suppose 4*i - 3*v - 6 = r, 7*i - 3*i = 4*v + 4. Is 194/6 + i/(-9) a multiple of 8?
True
Let k(z) = -z**3 + 7*z**2 - 7*z + 4. Let g = -1 + 7. Let p be k(g). Let h(o) = -2*o**3 - o**2 - 2*o - 3. Does 9 divide h(p)?
False
Let n(d) = d**3 + 3*d**2 - 3*d - 7. Let w be n(-3). Suppose -q - 21 = -w*q. Does 20 divide q?
False
Let t(q) = 2*q + 7. Let l be t(-11). Let a be (14/(-21))/(2/l). Suppose 2*g - 3*g = a*v - 22, v + 46 = 4*g. Is g a multiple of 6?
True
Let g = 5338 - 2832. Is 7 a factor of g?
True
Let j be 1/(-3)*(7 + -544). Suppose 3*h = -3*z + 465, 3*z + 5*h + j = 4*z. Let f = z - 89. Is f a multiple of 24?
False
Suppose f - 39 + 115 = 0. Let t = 88 + f. Is t a multiple of 5?
False
Suppose 0 = -4*u + z - 5, u - 4*z + 2*z - 4 = 0. Is 14 a factor of u/(-12) - 6/(36/(-83))?
True
Suppose 0 = -20*q + 17*q + 6. Let u be 320/15 + q/(-6). Suppose p - u = -3*k + 8, -5*p + 179 = -2*k. Is 7 a factor of p?
True
Let u(b) = 4*b**2 + 148*b - 77. Is 23 a factor of u(-40)?
False
Does 3 divide (1 - 1) + (655 - -23)?
True
Let v be 79 + 4/(-8)*2. Let l = 207 + -79. Let a = l - v. Is a a multiple of 9?
False
Let g = 36 - 36. Suppose g = k - 7 - 12. Does 4 divide k?
False
Suppose -2*c + 5*z = c - 5791, -3*c + 4*z = -5792. Does 23 divide c?
True
Suppose 0 = 3*i + 4*q - 7*q + 237, 0 = -2*i + 4*q - 154. Let w = i + 210. Is w a multiple of 43?
True
Let n = -143 + 142. Is 2 a factor of (-2*(n - -2))/((-3)/66)?
True
Let b(i) = -4*i + 4. Let u be b(4). Let t = u - -16. Suppose -t*f + 52 = -3*c, -f - 2*f + 3*c = -39. Is f a multiple of 13?
True
Let t(g) = 2*g**2 - 17*g + 60. Does 5 divide t(5)?
True
Let h = 486 - 247. Is h a multiple of 8?
False
Let b = 1554 + -1380. Is b a multiple of 6?
True
Let n(h) be the third derivative of -7*h**6/120 - h**5/20 + 5*h**4/24 + h**3/3 - 16*h**2. Does 9 divide n(-2)?
True
Suppose 97*x + 648 = 101*x. Let h = 348 - x. Does 31 divide h?
True
Suppose 0 = -3*p + 3*x + 1140, -6*p + 3*x + 759 = -4*p. Suppose w = -3*w - 3*d + p, 2*w - 218 = 4*d. Is w a multiple of 28?
False
Let c(u) be the third derivative of u**4/24 + 8*u**3/3 - 7*u**2. Is c(-4) a multiple of 12?
True
Let u = 10 + -6. Suppose 13 - u = o. Is 25 + -2*o/6 a multiple of 4?
False
Let m(b) = 7*b + 20. Let p be m(-8). Let k = -32 - p. Is 3 a factor of k?
False
Let h = 571 + -328. Let k = -47 + h. Does 14 divide k?
True
Let u = 60 - 64. Let a = 6 + -11. Is 13 a factor of (-51)/u + a/(-20)?
True
Suppose 0*j - 260 = -j. Suppose -11*a + 139 = 51. Suppose -3*b = -a*b + j. Is 13 a factor of b?
True
Let p = 43 - 24. Let o be 1*((6 - -2) + -5). Let w = o + p. Does 16 divide w?
False
Let b = 5 + -11. Let l be (34/(-4))/((-1)/b). Let x = 91 + l. Is x a multiple of 8?
True
Let j(r) = 30*r**2 - 3. Does 6 divide j(2)?
False
Suppose 11*l + 3*w = 12*l - 113, -3*l + 5*w + 319 = 0. Does 22 divide l?
False
Let f(q) = -q - 30. Let x be f(0). Let l = x + 68. Is 6 a factor of l?
False
Let u be (-156)/20 + (-8)/(-10). Let d(v) be the second derivative of -v**5/20 - 7*v**4/12 - v**3/3 - v. Is d(u) a multiple of 7?
True
Suppose 6664 + 4121 = 15*y. Is y a multiple of 12?
False
Suppose 0*g = -h - 3*g + 17, 2*h + 4*g - 26 = 0. Suppose 0 = 2*b - 4*b + 2, h*c - 93 = -3*b. Is 19 a factor of ((-184)/12)/((-4)/c)?
False
Suppose 3*c - 9 = -w + 2*c, 2*w - 4*c = 0. Suppose -2*o + 15 = 3*u, 12 = w*u - 2*u. Is 3 a factor of o?
True
Let v(x) = -2*x**3 - 13*x**2 + 6*x - 2. Let o be v(-7). Suppose -o*g + 276 - 16 = 0. Is g a multiple of 10?
False
Suppose 2 = 2*g - 4*j - 4, -2*g + 5*j + 5 = 0. Suppose -3 = 2*s - 3*s. Suppose k = 5*l + s*k - 31, -3*l = g*k - 30. Does 4 divide l?
False
Suppose 0*b - 130 = -5*b. Suppose -2*k + 4*k = 4*l - b, k - 29 = -5*l. Is 119/9 - l/27 a multiple of 13?
True
Suppose 29750 + 1186 = 12*w. Is w a multiple of 10?
False
Let p = 1214 - 374. Is 14 a factor of p?
True
Let m(u) = 2*u + 2. Let f be m(2). Let o = -5 + f. Let s(c) = 2*c**2 + 2*c - 1. Is s(o) a multiple of 2?
False
Suppose -11*u + 6*u + 1678 = r, u - 4*r - 344 = 0. Is 10 a factor of u?
False
Let s(n) = -2*n**2 - 4*n + 7. Let h be s(-4). Is (-213)/h + 6/(-9) a multiple of 16?
False
Let q be (-6)/(1 + 1) + 159 + 14. Suppose 10*t - 5*t = q. Is 12 a factor of t?
False
Let o(x) = 4*x**3 + 11*x**2 - 7*x - 8. Let p be o(-5). Does 22 divide (p/15)/(1/5*-1)?
True
Let h(d) = -d**3 + 12*d**2 - 8*d - 14. Let j be (50/(-75))/(3/(198/(-4))). Is 7 a factor of h(j)?
False
Let y(c) = 37*c - 11. Let a(j) = -38*j + 11. Let x(v) = 4*a(v) + 5*y(v). Let n be x(6). Suppose -3*d = -47 - n. Does 26 divide d?
True
Is 11 a factor of 2/33 + 210007/627?
False
Let i = -222 - -207. Let n be 60/((-2)/2*-1). Le