ltiple of 22?
True
Let s(y) = 6*y**2 - y - 2. Let p be (-9)/15 - -2*(-56)/(-20). Does 6 divide s(p)?
False
Let r(u) = 32 - 43 + 65*u - 48 - 37 - 2. Is r(6) a multiple of 5?
False
Let i(j) = j**2 + 21*j + 62. Let r be i(-17). Let s(h) = -h**3 + 5*h**2 + 6*h - 5. Let z be s(r). Suppose 123 = -2*l + z. Is 11 a factor of l?
False
Suppose -5*h - 226 - 934 = -5*z, 0 = 3*h + 4*z + 703. Let k = h + 379. Is k a multiple of 12?
False
Let q(h) = 7*h + 12. Let z(b) = -b - 1. Let x(c) = -q(c) - 6*z(c). Let w be x(-13). Suppose w*d = 11*d - 128. Is 3 a factor of d?
False
Suppose -18*w + 2*g = -13*w - 51141, -5*w - 3*g + 51101 = 0. Is 89 a factor of w?
False
Let n be 1*(4/(-16) + 235/(-20)). Let j(b) = -4*b**2 - 6*b + 4. Let w(p) = 3*p**2 + 7*p - 4. Let m(c) = 2*j(c) + 3*w(c). Is m(n) a multiple of 8?
True
Let v = -364 + 1590. Suppose 4*d - j - 2972 = v, d - 3*j - 1055 = 0. Is d a multiple of 44?
False
Suppose 0 = -2*g + 5*m + 12823 - 3314, -4*m = 12. Does 93 divide g?
False
Let m be (77/28)/((-6)/4296). Let g = -1110 - m. Is 18 a factor of g?
False
Suppose 131*o = 124*o + 35. Is 3 a factor of ((-3940)/(-50))/(2/o)?
False
Let q be -10 - 15/(-6)*2. Let r(p) = 2*p**2 + 8*p + 2. Is r(q) even?
True
Suppose 0 = -7*t - 10*t - 18*t. Suppose c - 2*g - 264 = t, 5*c - 1356 = 4*g - 6*g. Is 15 a factor of c?
True
Let l = -11 - 1. Let o be ((-34)/(-4)*-2)/(-1). Let s = o - l. Does 9 divide s?
False
Let b(l) = -l - 2. Let d be b(-7). Suppose 2*u - 56 = 4*h, 5*u - 3*h - d = 121. Suppose 17*y + u = 18*y. Is 6 a factor of y?
True
Suppose 0 = 23*f - 28*f + 10. Does 3 divide f + ((-364)/(-130))/((-1)/(-25))?
True
Let f be 7/(-4 + -3)*1. Does 28 divide 4 - f - (27 - 358)?
True
Let y(k) = -2*k**2 - 6*k + 1. Let x(i) = -i**2 - 6*i + 2. Let d(v) = 3*x(v) - 2*y(v). Let l be d(6). Suppose l*f - 16 = 40. Is 2 a factor of f?
True
Suppose 2*g = -561 - 489. Let u = 46 - 31. Is 8 a factor of ((-12)/u)/(14/g)?
False
Let v(g) be the second derivative of 3*g**5/20 + g**4/4 - 11*g**3/6 + 12*g**2 + 128*g. Does 5 divide v(4)?
True
Suppose -47 = -4*j - 5*d, -4*j - 4*d = -0*j - 44. Let q be (-5828)/(-16) + (-2)/j. Does 7 divide q/(-6)*(-15)/10?
True
Is ((1 - 10) + -2)*(-150 + 1)*1 a multiple of 195?
False
Let a be 4 + -13 + (4 - -12). Let d(m) = 29*m**2 - 32*m + 23. Is d(a) a multiple of 20?
True
Let q = 1209 + 1503. Does 15 divide q?
False
Let z(k) = 2*k - 5. Let r be z(4). Suppose -r*a - 59 - 883 = 0. Does 13 divide a/(-8) + 0 + (-11)/44?
True
Let h = 3580 + -1440. Is 18 a factor of h?
False
Let t(q) = -q**2 + 7*q - 8. Let a be t(5). Suppose -a*b + 14 = 5*b. Suppose w - 23 = -b*r, 0 = -5*r - 0*r + 4*w + 51. Does 2 divide r?
False
Let a be 38/(-95) - 4324/(-10). Let n be (-20772)/(-63) + 6/21. Suppose 4*j - 3*x = x + a, n = 3*j - 5*x. Does 7 divide j?
True
Let g be (614/4)/(9/18). Let n = g + -132. Is 35 a factor of n?
True
Let q be 34/17*1304/(-4). Let i = q + 1034. Is 18 a factor of i?
False
Let k(w) = -5*w + 4. Let l(c) = c - 8. Let d be l(-12). Is k(d) a multiple of 11?
False
Is (-160*(-226)/(-12))/((-172)/258) a multiple of 190?
False
Let a = -4074 + 5340. Is a even?
True
Suppose -66*k = -67*k + 30. Let b = 0 - 16. Let q = k + b. Is 14 a factor of q?
True
Let v be 2/6 + 129/(-27)*3. Let s(q) = q**3 + 14*q**2 - q - 7. Let w be s(v). Suppose 0 = -w*b + 10*b - 24. Does 7 divide b?
False
Let h(n) = -24*n - 67. Let i be h(-3). Suppose 3*a - 162 = -b, 4*a = i*b - 2*b + 229. Is 11 a factor of a?
True
Suppose -40 = 19*l - 17*l. Let p be l/16 + (-3)/(-12). Let u = p + 20. Does 19 divide u?
True
Let o(d) = 3*d**2 - 10*d + 9. Let q be o(4). Let f(m) = 1 - 9*m + 0 + q*m. Is 7 a factor of f(5)?
False
Let w be (-4)/22 - 819/33. Let z = w + 46. Does 4 divide 1 - 1*(2 - z)?
True
Suppose -y - 5*j + 442 = -11543, -32 = 4*j. Is y a multiple of 5?
True
Let r = -816 - 576. Let u = r + 2552. Does 29 divide u?
True
Let x(y) = y**3 - 21*y**2 + 38*y + 7. Let q be x(19). Is 6 a factor of 1*(q + -8)/((-2)/202)?
False
Let o be 11/(2/(-2) - 6/(-3)). Suppose 2*r - r - 6 = -3*b, 4*r - b - o = 0. Suppose 0 = -3*i + 51 + r. Is i a multiple of 6?
True
Let p = 356 + 257. Suppose 0 = 7*d - 3447 - p. Is d a multiple of 24?
False
Let d = 339 - 322. Let h(l) = 0 + 0*l**2 - l**2 + 0*l**2 + 19*l + 22. Is 7 a factor of h(d)?
True
Let z = 22900 - 18363. Does 4 divide z?
False
Let t(d) = 2*d**3 - 86*d**2 - 148*d - 117. Is 21 a factor of t(45)?
True
Let y(n) be the first derivative of 1/3*n**3 + 14 - 5*n + 5/2*n**2 + 3/2*n**4. Does 19 divide y(2)?
True
Suppose 2*a = 13*a + 1144. Let t = a - -195. Is 15 a factor of t?
False
Suppose 106014 = 14*q - 90014 - 7070. Is q a multiple of 5?
False
Let q = -229 + 235. Suppose 4*j = q*j - 4, -4*c = -2*j - 888. Is c a multiple of 7?
False
Suppose -m = 10*c - 9*c - 20, -4*c + 5*m + 44 = 0. Is 50 a factor of ((-3474)/24)/((-6)/c)?
False
Let j(y) = y + 14. Let n be j(-6). Suppose -368 = 3*m - n*m + 4*z, -4*z = 8. Does 9 divide 54/m - (-786)/8?
True
Let w be (2/((-18)/(-21)))/(28/588). Suppose 1267 = j + 4*i, -48*j - i - 1242 = -w*j. Is j a multiple of 43?
True
Is 31 a factor of 1/5*21715705/83?
False
Let b(i) = -2*i**2 - 10*i + 238. Let s be b(0). Suppose -6*u + 7*u + 2*h = s, -4*h - 754 = -3*u. Does 42 divide u?
False
Let d(l) be the third derivative of l**5/60 - 3*l**4/8 + 13*l**3/2 + 68*l**2. Is 63 a factor of d(-16)?
False
Let v(x) be the first derivative of 14*x**2 - 28*x + 18 + 2/3*x**3. Is 9 a factor of v(-16)?
True
Let n(f) be the second derivative of -11*f**5/30 + f**4/6 + 11*f**3/6 - 8*f. Let x(s) be the second derivative of n(s). Does 17 divide x(-1)?
False
Let x(c) = -319*c**3 + c + 2. Let d be x(-1). Let w = -95 + d. Let b = w + -139. Is 26 a factor of b?
False
Let b(f) = f**3 + 11*f**2 - 2*f - 20. Let r be b(-11). Suppose 5*c = 2*o - 812, -o = -3*o - r*c + 812. Is o a multiple of 29?
True
Is 3 a factor of -23 + (-152592)/(-22) + 25?
False
Let b be ((-884)/(-6))/((-22)/(-132)). Let d = 987 - b. Is d a multiple of 5?
False
Suppose 64*z - 194165 - 176687 = 6*z. Is 46 a factor of z?
True
Does 12 divide (-5)/(8/3264*-5)?
True
Let h(y) = 2*y**2 - 257*y - 156. Is h(133) a multiple of 2?
False
Let x(n) = 2*n**2 + 89*n + 1236. Is 267 a factor of x(-19)?
True
Let b(y) = -13*y - 15. Let l be b(-3). Suppose l*w - 5*x = 27*w - 465, w + 2*x - 155 = 0. Does 3 divide w?
False
Let b(w) = -1035*w**3 - 5*w + 4. Let j be b(1). Let g = j + 1458. Is g a multiple of 52?
False
Let n = 749 - 444. Suppose -u + 292 = 4*w, 32 = u - 5*w - n. Is u a multiple of 6?
True
Let o = -63 - -67. Suppose -3*r - o*r = -378. Let n = 152 - r. Is n a multiple of 14?
True
Suppose -4*i + 34 + 200 = 3*d, -38*i + 37*i = 0. Is d a multiple of 4?
False
Let f = 930 + 9776. Is 106 a factor of f?
True
Suppose -108 = -4*w - 3*z, 36 + 34 = 3*w + 5*z. Is 31 a factor of (w/(-165) - (-6)/(-88))*-124?
True
Suppose 0 = 5*b + 4*x + x, -5*x = b + 16. Let r = 9 - b. Suppose -r*h = -7*h + 148. Does 9 divide h?
False
Suppose -108 - 256 = 4*s. Let f = s - -141. Is 50 a factor of f?
True
Let w = 801 + -850. Let i be (9 + -2)*1*2. Is 19 a factor of 495/7 - i/w?
False
Suppose 18 = 10*b - 172. Let h = -17 + b. Suppose -8*r + h*r = -138. Does 6 divide r?
False
Let d(p) be the third derivative of -5*p**4/12 - 7*p**3/6 - 6*p**2. Let h be d(-16). Let y = -90 + h. Does 21 divide y?
True
Suppose -3*s + 3*t + 23 - 2 = 0, 0 = 5*s + 2*t - 7. Suppose x + 1585 + 159 = -3*v, -3*v = -s*x + 1764. Let j = v + 844. Is j a multiple of 29?
True
Let y be ((-60)/16 + 4)*24. Does 17 divide (y - -1 - 2) + 34?
False
Let i be 9/((-297)/6) + 4580/22. Suppose -4*b = -i - 44. Is 22 a factor of b?
False
Suppose 3*u + 5*l - 2 - 34 = 0, -3*u - 2*l = -36. Suppose 3*d = -21 - u. Let n(s) = -s + 43. Is 6 a factor of n(d)?
True
Suppose -11 - 3 = -7*u. Suppose u*h + 10 = 0, 5*h - 529 - 274 = -2*d. Is d a multiple of 13?
False
Let s(v) = -74*v**2 - v + 2. Let f(t) = -t + 1. Let l(x) = 6*f(x) - s(x). Is 9 a factor of l(1)?
False
Let t(l) = 2*l**3 - 19*l**2 - 10*l + 8. Let u be t(10). Suppose 0 = -u*s + 6*s + 10. Suppose 0 = -3*g - 6*z + z + 378, 5*z = -s*g + 630. Is g a multiple of 13?
False
Let b(a) = 529*a**2 - 52*a + 331. Does 17 divide b(8)?
False
Let w(v) = 3*v**2 + 0*v**2 + 11*v**3 + 1 - v**2 + 9*v - 3*v**3 + 4*v**3. Does 23 divide w(3)?
False
Suppose 31174*d - 31188*d + 176960 