 (26/(-4))/((-1)/n)?
True
Let g(x) = -7*x - 2. Let p be g(-10). Suppose 8*t = 1252 + p. Is t a multiple of 11?
True
Let h(q) = 5*q + 5. Let x be h(4). Let s = 45 - x. Is 9 a factor of (-9 + 0)/((-15)/s)?
False
Suppose 4*r + d = 2*r + 74, 0 = 4*r - 2*d - 148. Suppose -n - 3*n - 3*j = -r, -n = 4*j - 6. Is n a multiple of 2?
True
Let s(k) = k**2 + 11*k + 2. Let w be s(-11). Suppose w*z - c - c - 134 = 0, -5*z = 3*c - 375. Does 12 divide z?
True
Suppose -145*t + 135*t + 2710 = 0. Is t a multiple of 32?
False
Suppose 2*x - 248 + 8 = 0. Is 6 a factor of x?
True
Is 463 - (4/(-8) - 28/8) a multiple of 76?
False
Let v(d) = 7*d - 9. Let f be (-2)/4 - 3/2. Let l = 4 - f. Does 16 divide v(l)?
False
Suppose 40*f = 12765 - 3165. Is 6 a factor of f?
True
Suppose 4*i - 2 - 10 = 0. Let g(r) = 6*r**3 - 3*r**2 - 2*r - 1. Is 32 a factor of g(i)?
True
Let a(z) = 0 - 2 - 1 - 2 - 25*z**2 + 23*z. Let i(r) = 12*r**2 - 11*r + 2. Let x(c) = 6*a(c) + 13*i(c). Does 15 divide x(-3)?
False
Let x(d) = -2*d**2 + 4*d + 5. Let t be x(4). Let a = 14 + -41. Let i = t - a. Is 4 a factor of i?
True
Suppose 0 = -4*q + 20, 7*w - 79 = 3*w - 3*q. Let z be 98/(-8) + (-4)/(-16). Let o = z + w. Does 2 divide o?
True
Let t = -74 + 43. Let r be (t*3)/((-12)/16). Is 25 a factor of r/(-2)*(-2)/4?
False
Suppose 12 = 4*n + 2*v - 3*v, -3*n + 3*v + 18 = 0. Suppose i = -3*m + 75, n*i - 2*m - 142 = -0*i. Does 8 divide i?
True
Let p be ((-3)/3)/1*-21. Let i = -37 + p. Let j = 33 + i. Is 10 a factor of j?
False
Let p be 28*16 + 27/9. Suppose -43 = 6*v - p. Does 15 divide v?
False
Suppose 5*h = -5*r + 3*r + 1585, -2*r = -h - 1555. Does 65 divide r?
True
Suppose z = 4*i + 170, -3*z + i + 155 = -2*z. Let s be z/20*(-116)/(-6). Suppose 2*d - s = -3*d. Is 25 a factor of d?
False
Let d(k) = -247*k + 33. Is d(-3) a multiple of 49?
False
Let y(u) = -u**2 - 5*u - 4. Let s be y(-4). Suppose -5*j + 25 = -s*j. Suppose 0 = -q - j*c - 9 + 37, 3*q + 5*c - 104 = 0. Is 19 a factor of q?
True
Let w(t) = -t - 2*t + 4*t + 5*t. Let p be w(1). Let x = 14 + p. Is 19 a factor of x?
False
Let s(j) be the third derivative of j**6/120 + j**5/6 + j**4/2 + 7*j**3/6 + j**2. Let a be s(-8). Let m = a + -20. Is 16 a factor of m?
False
Let i be 2*(-4 + 7/(-2)). Let y = i + 5. Let a = 34 + y. Is a a multiple of 18?
False
Let f be 2/(-7) - (-149324)/(-98). Is 36 a factor of 38/(-95) + f/(-10)?
False
Let s(z) = 3*z - 4. Let k be s(2). Suppose k*o + 174 = 5*o. Is o a multiple of 9?
False
Let s(q) = -12*q**3 - 14*q**2 + 24*q + 108. Is 12 a factor of s(-6)?
True
Let a be -4*(-5)/(-50) - 124/(-10). Is (-1)/(6/(-201)) - a/8 a multiple of 4?
True
Suppose 3*g - 3415 = t, 0 = 12*g - 11*g - t - 1135. Does 44 divide g?
False
Let q = -1227 - -2139. Is 117 a factor of q?
False
Let m = -12 + 60. Let w = m + -15. Let p = 39 - w. Does 2 divide p?
True
Suppose -x - 2*a - 4 = 9, -19 = x + 4*a. Let w = -19 - x. Is -1 + 4 + -2 - w a multiple of 6?
False
Let x(j) = j**2 - j. Suppose -5*r + 2*u = 22, 3*u - 7 = -2*r + 3*r. Let p(l) = 8*l**2 - 4*l. Let o(w) = r*x(w) + p(w). Does 16 divide o(-2)?
True
Suppose -93 = -o - 6*f + 8*f, f + 474 = 5*o. Is 4 a factor of o?
False
Suppose -3*c - 111 = -4*m, -79 = -4*m + m - 2*c. Let x(b) = b**3 - 28*b**2 + 27*b + 17. Is x(m) a multiple of 3?
False
Suppose 2 + 0 = 3*m + 2*x, 0 = -3*m + 5*x + 16. Let s(y) = -3*y**3 + 4*y**3 + m*y**2 + 1 + y**2 + 0*y**2 - 4*y. Is 7 a factor of s(-3)?
False
Let b(u) = -190*u - 3. Let l be b(-1). Suppose l = -d + 4*k, -653 = 4*d + 3*k - 0*k. Let z = d - -242. Is 13 a factor of z?
False
Let j(l) = 34*l + 21. Let m(h) = -h + 1. Let v(q) = -j(q) + 4*m(q). Does 11 divide v(-2)?
False
Let i = -13 + 11. Let r be 5 + i/(6/9). Suppose r*j = -3*k + 4 + 29, -3*j - 4*k = -51. Is j a multiple of 10?
False
Suppose -2*g = -5*u + 16, 4*u - 22 = -6. Suppose -n - 5 = -0*n, -g*n - 10 = -5*r. Suppose r = -7*z + 5*z + 30. Is z a multiple of 4?
False
Let c(l) = -l**3 + 7*l**2 - 3*l - 12. Let d be c(6). Let x be 3/d + (-14)/(-4). Suppose 252 = 4*m - x*q, 5*m - 3*q = 208 + 101. Does 10 divide m?
True
Let g(b) = -b**2 - 27. Let y be g(-11). Let u = -67 - y. Let t = u - 46. Does 11 divide t?
False
Let u(f) = -2. Let d(k) = -6*k - 75. Let y(i) = d(i) + 4*u(i). Is 17 a factor of y(-28)?
True
Let x = 27 - 12. Is 2 a factor of x?
False
Suppose t = -2*y + 7*y + 700, -675 = 5*y + 4*t. Let f = y + 275. Is f a multiple of 17?
True
Suppose 2*a + 2*a = -2*g - 82, -2*a - 134 = 4*g. Let i = -27 - g. Is i even?
True
Suppose 5*g + 4*d - 77 = 0, 8*g + 5*d = 7*g + 7. Is g a multiple of 6?
False
Let s = 18 - 35. Suppose -4*a + 2*w - 244 = 0, -3*w + 93 = -5*a - 212. Let k = s - a. Does 24 divide k?
False
Suppose 4*h - 5*r - 1 = 0, 3 - 26 = -5*h - r. Let v(z) = z**3 - 2*z**2 - 3*z + 3. Is 13 a factor of v(h)?
False
Suppose 106 = -10*j - 104. Let r = -1 - j. Is 4 a factor of r?
True
Let g be (3/(-12))/(3/12). Let l be 9 - (6/2 - g). Suppose l*f + 0 + 73 = 3*w, 78 = 2*w + 4*f. Is w a multiple of 16?
False
Suppose 2*r = -2 + 10. Suppose 2*t - r*o - 262 = -o, 5*o = -t + 157. Suppose 5*c + v - t = 0, 3*c = 2*c + v + 31. Does 14 divide c?
True
Is 998*(-3 - (-14)/4) a multiple of 43?
False
Let k(l) = 91*l - 281. Is k(13) a multiple of 22?
True
Let d = -24 - -26. Suppose 0 = d*m + 11 - 57. Let x = m - 11. Is x a multiple of 4?
True
Let l(p) = 2*p**3 + 30*p**2 + 13*p - 65. Is 19 a factor of l(-13)?
False
Let f = 922 + -324. Is f a multiple of 14?
False
Suppose 0 = 5*x - 20 - 80. Let g = x + 12. Is g a multiple of 30?
False
Suppose 2*u + 2*u - 608 = -4*x, u + 583 = 4*x. Is (x - 1)*(2 - (-12)/(-8)) a multiple of 17?
False
Let i be (18/15)/((-3)/(-10)). Let l(b) = 7*b**2 - 5*b - 4. Is l(i) a multiple of 22?
True
Let b = 18 + -13. Let q(f) = -b + 13 + f + 3. Is 6 a factor of q(9)?
False
Suppose -3*i - 1 = -h, i + 3 = 3*i + 3*h. Let d = i - -55. Does 13 divide d?
False
Let p = -20 - -38. Is -11 + p - (3 + 1) a multiple of 2?
False
Suppose 2*p - c = 44, 0 = -p - p - 3*c + 36. Does 3 divide p?
True
Suppose -33 = 2*n - 61. Let d = n - -2. Is 5 a factor of d?
False
Suppose 0 = 19*i - 26*i + 1225. Is i a multiple of 7?
True
Suppose 0 = -2*j + 7*j - 195. Suppose -2*t = -4*h + t + j, -3*t = -2*h + 27. Is 3*40/h + 3 a multiple of 4?
False
Suppose h = -5*z + 75, -3*z + 2*h + h + 45 = 0. Suppose -l = 4*s - 107, -3*l + 47 + 22 = 3*s. Let t = s - z. Is 3 a factor of t?
False
Let p be 6*(0 + (-14)/(-12)). Suppose -8*b + p*b = r - 18, 2*b - 21 = 3*r. Is b a multiple of 2?
False
Suppose 0 = -4*t + 2*b - 1460, 5*t - 3*b + 1825 = -0*t. Does 2 divide -7 + t/(-10) - (-3)/2?
False
Let h = -1583 + 2655. Is h a multiple of 16?
True
Is 21 a factor of 426 + 7/((-70)/60)?
True
Let w = -384 - -214. Is ((-4)/((-16)/w))/(6/(-12)) a multiple of 13?
False
Suppose -2*j - 3*n = -953, -4*j - 2*n + 2399 = j. Is j a multiple of 32?
False
Is 148 a factor of ((-74)/8)/(102/(-45696))?
True
Suppose 3*f + 3 = -0. Let g be 135 - f - 24/6. Suppose j = 2*m - g, 4*m + 4*j - 132 = 2*m. Does 22 divide m?
True
Let k(f) = 5*f**3 + 3*f**2 - 5*f + 6. Is k(2) a multiple of 13?
False
Let t(u) = 3*u + 38. Let m be t(-12). Does 4 divide m/(-15) - 362/(-15)?
True
Let z(g) = 3*g**2 - 3*g - 14. Does 10 divide z(-7)?
False
Suppose -7*f - 238 = -5*f. Let d = -49 - f. Is d a multiple of 10?
True
Let p be ((-204)/8)/((-6)/8). Suppose -6 = -0*n + n + 2*z, 2*n - z - 13 = 0. Suppose -n*f + p = -y, -3*f = 2*f - 5*y - 35. Does 3 divide f?
True
Let z(u) = 10*u**2 + 6. Is 24 a factor of z(3)?
True
Let h(r) = -r**3 - 3*r**2 + 5*r. Let o be h(-4). Let d be (-80)/(-44) + o/(-22). Does 10 divide (-70 - -2)*(-1)/d?
False
Suppose -5 + 7 = -f. Let v = 13 + f. Is 3 a factor of v?
False
Let m(v) be the second derivative of -v**5/20 + v**4/6 + v**3/3 - v**2 + v. Let i be m(-2). Suppose 5*s + 330 = i*s. Is s a multiple of 16?
False
Let g = 1058 - 623. Is 15 a factor of g?
True
Let r = 83 + 401. Does 19 divide r?
False
Let n be 15/18 - 836/24. Suppose 3*c - 1 = -43. Let s = c - n. Is s a multiple of 20?
True
Suppose 0*g = -4*g + 16. Is g/((-16)/(-276)) - 0 a multiple of 23?
True
Let l(a) = 8*a + 101. Does 8 divide l(13)?
False
Let m be 2282/42 - (-2)/(-6). Suppose 0 = -5*d + 7 + 13, m = w + 3*d. Is 6 a factor of w?
True
Suppose 0 = 4*v + v. Does 33 divide 87 + 11 - v/(-2)?
False
Let r(l) = 345*l**2 - 15*l + 26 + 40*l - 3