alse
Let i(g) = -g - 12. Let r(o) = 6. Let l(b) = -2*i(b) - 5*r(b). Let q be ((-3375)/(-30))/(-25)*(-4)/3. Is 4 a factor of l(q)?
False
Let h(s) = -s**2 + 5*s - 4. Let q be h(2). Suppose 7*m - 375 = q*m. Does 7 divide m?
False
Let w be 116/9 + (-102)/(-918). Let b = -42 + 69. Let n = b - w. Does 9 divide n?
False
Suppose -13*o = -0*o - 52. Suppose o*r = 0, x - 12 = 5*r + 5. Is x a multiple of 4?
False
Let p(v) = v**2 + 3*v - 4. Let j be p(-8). Suppose -4*q - j = -5*q. Is 9 a factor of q?
True
Suppose -2 + 46 = -4*m. Let t(h) = -8*h + 7. Let o be t(m). Suppose -3*f - 12 = 0, o = 2*b + b - 2*f. Is b a multiple of 9?
False
Let t be 6/10 - (-501)/15. Let y = 83 - t. Is y a multiple of 7?
True
Suppose -4*b + 3*y = y - 12, -2*b + 5*y = -14. Is 11 a factor of ((-198)/(-3))/(-1 + b)?
True
Let y(w) = 6*w + 109. Is y(13) a multiple of 16?
False
Let u = 6120 + -3365. Is u a multiple of 95?
True
Is (-32)/((-504)/248 - -2) a multiple of 8?
True
Let l(x) = 6*x**2 + 12*x - 65. Does 17 divide l(9)?
False
Let q = 31 - 26. Suppose -5*a - 2*x = -226 - 283, q*a - 501 = 2*x. Is a a multiple of 13?
False
Is (-226)/(-4) + 57/38 a multiple of 58?
True
Let u(v) = -12*v - 1. Let q(r) = 47*r + 4. Let l(z) = 6*q(z) + 22*u(z). Is l(3) a multiple of 7?
True
Let v = 41 + 179. Is v a multiple of 11?
True
Is 90 a factor of ((11 + -58)*1)/((-2)/10)?
False
Let f(h) = -7*h**2 - 4*h + 58. Is f(0) a multiple of 19?
False
Let r(z) = 3*z**2 + 43*z + 14. Let g be -17*(12/3 + -3). Does 15 divide r(g)?
True
Suppose 4*o + j - 1408 = 2371, -2*o + 1872 = 4*j. Does 22 divide o?
True
Let d be 78/(-4)*20/15. Suppose k - u + 20 = -1, 4*k + 76 = 2*u. Let z = k - d. Is 3 a factor of z?
True
Suppose -4*l - 1 + 309 = 0. Let o be (l/(-14))/((-1)/2). Suppose -a + o = -15. Is 11 a factor of a?
False
Suppose 2*p = 6*p + 212. Let w(s) = -3*s**2 - 2*s - 1. Let i be w(-1). Is 10 a factor of 1/(i - p/26)?
False
Is 25 - (-120)/(-10) - -129 a multiple of 28?
False
Suppose -m + 2 = -17. Let x = -59 - -129. Let r = x - m. Does 19 divide r?
False
Suppose 7426 - 1270 = 3*x. Does 114 divide x?
True
Let z be -12 - (1 - 1 - 1). Let q = -8 - z. Suppose 9 = q*y - 6. Is y a multiple of 3?
False
Let p = -1032 - -1390. Is 9 a factor of p?
False
Let x = -80 + 85. Suppose 2*k + 2*k - x*q - 336 = 0, -3*k = 3*q - 252. Is k a multiple of 12?
True
Let b = 1974 + -1390. Does 12 divide b?
False
Let t = 146 - 97. Is t a multiple of 22?
False
Let n(l) = -2*l + 27. Let k be n(14). Is 50 - (0 + -3 - k) a multiple of 26?
True
Suppose 2*z = -302 + 858. Is 23 a factor of z?
False
Does 87 divide (-120 - -116) + 1*5253?
False
Let k(b) = 3 - 2*b**2 - 2*b**2 - 4*b + b**2 + 4*b**2. Is 3 a factor of k(7)?
True
Let t = 411 + -385. Does 22 divide t?
False
Let k = 1168 - 505. Does 18 divide k?
False
Suppose 0 = -6*a - 3536 + 12356. Is 15 a factor of a?
True
Suppose -4*d = -c + 1528, 16*c - d - 7564 = 11*c. Does 9 divide c?
True
Suppose 28 = f + 6*f. Suppose -5*r + r - f = 0. Does 26 divide 72/((-8)/(-4) + r)?
False
Let g be 9/(27/(-2))*9. Let d(w) be the third derivative of -w**6/120 - w**5/15 + w**4/24 - 2*w**3/3 + 4*w**2. Does 10 divide d(g)?
False
Suppose -j = -28 - 3. Let d = j + -61. Let i = 48 + d. Does 18 divide i?
True
Let o(t) = -3*t + 3. Let m be o(3). Let b(d) = d**3 + 7*d**2 + 7*d + 9. Let y be b(m). Let p(j) = 2*j**2 + j - 2. Is 8 a factor of p(y)?
False
Suppose 3*a = -17*a + 200. Is 4 a factor of a?
False
Let k(s) = -s**2 - 11*s - 8. Let t be k(-10). Suppose 4*p = p + 3*c - 30, -c = t*p + 14. Let n = p - -38. Does 10 divide n?
True
Suppose -2*j + 1 + 3 = 0. Suppose j*s - 187 = -5*g, -3*s = -0*g + 5*g - 283. Is 24 a factor of s?
True
Let i = 88 + -84. Let n = -8 + 18. Suppose i*g = 16, -p + n = -0*p - 3*g. Is p a multiple of 11?
True
Is 50/(-75) - 4324/(-6) a multiple of 3?
True
Let y be -5*6/(-25)*-50. Let o = -8 - y. Does 9 divide o?
False
Let m be 116 + (0 - (3 - (6 - 3))). Let y = -75 + m. Does 9 divide y?
False
Let b(c) = -2*c**2 - 91*c - 89. Is b(-37) a multiple of 12?
True
Let o = -3452 - -5786. Does 47 divide o?
False
Let n(r) = 7*r - 2. Let c be n(1). Does 3 divide (-3 + -3 + c + -13)/(-2)?
False
Let o(a) = a**3 - 10*a**2 - 10*a - 11. Let g be o(11). Suppose -2 + g = -h. Suppose -113 = -5*c - 0*c - h*t, 0 = -4*t - 4. Is c a multiple of 23?
True
Suppose 4*j - 12 = 4*m, -3*m + 0 = j - 3. Suppose 0 = -2*u - j*u + 205. Suppose -u = -z - 0*z. Does 19 divide z?
False
Suppose 0*k - 2*k = 0. Suppose -4*v + k = -20. Suppose -5*u + 54 = x, -v = u - 2*u. Does 29 divide x?
True
Suppose 4*t - y - 2323 = 0, 0 = -3*y + y + 2. Is 24 a factor of t?
False
Let c = -8 + 5. Let h(q) = 7*q**2 + 11. Let a(m) = 3*m**2 + 5. Let d(f) = -9*a(f) + 4*h(f). Is d(c) a multiple of 6?
False
Let d(p) = 68*p**2 - 17*p - 27. Is 12 a factor of d(-3)?
True
Does 11 divide (-1081)/(-9) + (-6)/54?
False
Let a be 3/((-2)/((-12)/(-9))). Let j(i) = 9*i**2 + 5*i + 4. Is 6 a factor of j(a)?
True
Let o(z) = -2*z - 14 - 10*z + 3*z + 33. Is 16 a factor of o(-5)?
True
Let c be (9/(-15))/(2/(-40)). Is (100/40)/(1/c) a multiple of 17?
False
Suppose 0 = -7*r + 359 + 2189. Is 7 a factor of r?
True
Let s(l) = -175*l + 193. Is 13 a factor of s(-13)?
False
Suppose -3*d + 0*d - 4*c + 23 = 0, 4*d - c = 37. Suppose -4*r = -d*r + 1055. Is r a multiple of 31?
False
Suppose 4*a + x - 255 = 0, a - 322 = -4*a + 2*x. Let f be -1 - (-2)/2*a. Suppose -2*u - 3*t = u - f, -3*u = t - 57. Does 6 divide u?
True
Suppose -5*n + 28 = r, 4*r - 31 - 5 = -n. Let s be (-12)/20 - (-14)/(-10). Let t = s + r. Is 3 a factor of t?
True
Let v(c) = 6*c**2 + 14*c + 9. Let x be v(-7). Suppose x = 5*m - z, z - 188 = -4*m - 3*z. Suppose -4*n = -2*n - m. Is n a multiple of 6?
False
Let a(f) = 3*f**2 - 6*f + 240. Let r(y) = -2*y**2 + 4*y - 160. Let m(x) = -5*a(x) - 8*r(x). Let j be m(0). Is 10/35 + j/14 even?
True
Let r(n) = -6*n - 26. Let t be r(-5). Is (t - 2308/(-20)) + (-6)/15 a multiple of 17?
True
Let p = -224 + 368. Does 5 divide p?
False
Let a(i) = -14*i**2 + 20*i + 14 + 0*i**3 - 7*i + i**3. Let m = 6 - -7. Is 6 a factor of a(m)?
False
Suppose 213 - 35 = j. Let w = j - 70. Is w a multiple of 6?
True
Let t = 60 + -49. Let y(f) = f**3 - 10*f**2 + 8*f - 19. Is y(t) a multiple of 38?
True
Does 5 divide 3 - 58*27/(-6)*1?
False
Suppose -4*j + g + 33 + 7 = 0, 20 = 2*j + g. Suppose -161 = -6*i + 67. Let y = i + j. Does 16 divide y?
True
Suppose 4*h + 30*h = 15062. Is 8 a factor of h?
False
Let o(b) = -7 + 2 + 6*b + 15 + 11. Is o(15) a multiple of 22?
False
Suppose 25*s = 12*s + 3627. Does 29 divide s?
False
Suppose 29*x - 26*x - 99 = 0. Is x a multiple of 11?
True
Suppose 0 = -24*d + 48*d - 9048. Does 29 divide d?
True
Is (-27)/2*832/(-96) a multiple of 39?
True
Is 11 a factor of (-116)/(-6 + 3 + 2)?
False
Let l(m) = m**2 - 1. Let s(g) = 4*g**2 + 6*g - 4. Let p(v) = 6*l(v) - s(v). Is p(7) a multiple of 18?
True
Let n(t) = -9*t**3 - 38*t**2 - 7*t + 6. Is 23 a factor of n(-9)?
False
Suppose 4*k = 3*c + 1424, -4*k + 492 + 932 = -2*c. Let x = -230 + k. Is x a multiple of 7?
True
Suppose -2*r = 10, 7*r = -5*j + 10*r + 1150. Suppose -133 = -6*m + j. Does 19 divide m?
False
Let a(l) = -16*l - 1. Let k be a(-1). Let g be 5/k - (-3)/(-9). Let o = 10 + g. Does 5 divide o?
True
Let m = -303 + 161. Let c = 101 + m. Let g = c + 69. Does 28 divide g?
True
Let x = 105 + 3. Let m = 179 - 177. Suppose 4*s = -2*f + 92, 0 = -5*s + 3*f - m*f + x. Does 13 divide s?
False
Let n = -44 - -44. Let i(v) = -v**2 - v + 1. Let l(c) = -2*c**2 - 5*c - 13. Let x(y) = 3*i(y) - l(y). Is 16 a factor of x(n)?
True
Let m(w) be the second derivative of 109*w**4/6 - 2*w**3/3 + w**2 - 9*w. Does 12 divide m(1)?
True
Suppose 2*y = 3*i + 3198, i = -11*y + 6*y + 8012. Is 89 a factor of y?
True
Suppose 3*y = y. Let l be (-1 + y/2)*10. Is 11 a factor of (-4)/l - 1467/(-45)?
True
Let y = 16 - -57. Let t = y + -9. Is 16 a factor of t?
True
Let x = 760 + -422. Is 6 a factor of x?
False
Suppose -2*k + 51 + 5 = 0. Does 13 divide 870/(-4)*k/(-42)?
False
Suppose -3*z = 4*d - 1954, -5*z - 7*d = -3*d - 3246. Is z even?
True
Suppose -69 = -r - 3*m + m, m + 153 = 2*r. Is r a multiple of 5?
True
Let i be 14/21 - 1108/6. Let t = 363 + i. Let k = -113 + t. Does 22 divide k?
True
Let s(i) = -7*i - 18. Let c be s(-8). Let b = 70 + c. Is b a multiple of 9?
True
Suppos