
True
Let j = 101 - 97. Is 1452/24 - (-6)/j a multiple of 7?
False
Let j = 25 + -25. Let s be 112/(-7) - (1 - j). Let f(u) = u**3 + 18*u**2 + 16*u - 6. Does 11 divide f(s)?
True
Let r(v) be the second derivative of -v**5/8 - v**3/3 - 4*v. Let z(k) be the second derivative of r(k). Does 16 divide z(-4)?
False
Suppose -4*s + 0*s + 12 = 0. Suppose 0 = -5*j - 2*l + 85, 2*l = -s*j - l + 60. Is j even?
False
Let k = 11 - 12. Let b be (-3)/(-2)*160/24. Does 3 divide 0 + 0 - (k - b)?
False
Is 80 a factor of 204*(4/8 + 6/8)?
False
Is 4 a factor of 3*(-2)/(-2) - 56/(-4)?
False
Let w(d) = d**3 + 31*d**2 + 56*d - 22. Is 12 a factor of w(-29)?
True
Suppose -26*p = -22*p - 588. Does 9 divide p?
False
Is 12 a factor of -3 + 3 - (-4 + 20)*-33?
True
Let m = -13 - -16. Let h(n) = 2*n - m - 8 + 0 + 2*n. Does 18 divide h(12)?
False
Let i(r) = r**3 - 3*r**2 + 2*r + 3. Let a be i(3). Let l = a + -12. Is 8 a factor of (-116)/(-12)*(-9)/l?
False
Let t = -129 - -262. Does 7 divide t?
True
Suppose 5*g - 2344 = -3*u + 82, -g = -5*u + 4006. Does 54 divide u?
False
Does 19 divide -46 - -51 - (-72 - -1)?
True
Let u = 55 - -87. Does 71 divide u?
True
Let j(x) = -x**3 - 13*x**2 - 10*x + 27. Let g be j(-12). Suppose g*v - 5*a - 118 = -v, 88 = 3*v - 4*a. Is v a multiple of 4?
True
Let r(f) be the second derivative of -1/12*f**4 - 17/2*f**2 + 7*f + 0 + 19/6*f**3. Is 37 a factor of r(15)?
False
Let i(j) = 11*j**2 + 9*j - 6*j**2 + 13*j**2 - 3. Is 12 a factor of i(-3)?
True
Suppose -5*c + 4*m - 12 = 0, 0 = -5*c + 2*c - 3*m + 9. Let b(v) = 2*v**2 + v - 18. Let g be b(c). Is ((-99)/g)/(2/12) a multiple of 11?
True
Let c = -13 + 16. Suppose w = 4*q - 73, -q + 0*w - c*w = -2. Does 16 divide (-8)/(-1)*(q - 9)?
True
Let c(v) = -v**3 - 5*v**2 + 2. Let i be c(-5). Suppose -6*n = -i*n + 268. Let k = -47 - n. Is k a multiple of 10?
True
Let c be 4/5 + 0 + (-61)/(-5). Let b = c + 41. Is 9 a factor of b?
True
Let h = -1123 + 1159. Is h a multiple of 12?
True
Suppose -2*g + 0*g + 3*m = -11, -m = 5*g + 15. Let x be (-1560)/16 + (-3)/g. Let z = x - -151. Is z a multiple of 16?
False
Does 6 divide 84/8*1920/28?
True
Let q be -7 + 4 - (-2 - 135). Let u = 280 - q. Does 20 divide u?
False
Suppose 2*q = -5*t + 19, 4*t - 3*q = -2*q + 10. Suppose -5 = 5*i, -t*l = 4*i - 9*i - 56. Does 17 divide l?
True
Let j(h) = -2*h - 23*h - 1 - h**2 + 6*h. Does 10 divide j(-14)?
False
Suppose -2*d + 235 - 11 = 0. Is d a multiple of 16?
True
Suppose 66*d - 69*d = -117. Suppose -d*j + 35*j = -360. Does 10 divide j?
True
Let q = -23 - -26. Suppose 3*b - 27 = q*c, -5*c + 4 = -3*c. Suppose b - 115 = -4*n. Does 13 divide n?
True
Suppose 0 = -2*j - s + 14, 0*s - 18 = -2*j - 2*s. Let b = 66 - 36. Suppose -5*n = -j*z - b, -3*n - 2*z + 18 = 3*z. Does 2 divide n?
True
Let t(w) = w**2 - 2*w + 2. Let z be t(0). Suppose -z*u + 0*u + 10 = 0. Is 3 a factor of u?
False
Suppose 1270 = 2*m - 5*k + 7*k, 2*m - 1272 = -4*k. Does 13 divide m?
False
Suppose 2*p + 5*m + 0*m = 4, -8 = -4*p + 2*m. Suppose -5*g + z + 275 = 0, -4*g + p*z + 270 = g. Suppose 5*b - b = g. Does 12 divide b?
False
Let g = 1652 + -769. Does 4 divide g?
False
Suppose -3*g + 49 = -2*q, -g + 9 - 2 = 4*q. Let m = -14 + g. Let s(l) = 8*l + 1. Does 5 divide s(m)?
False
Let t be (0 + 2 - 2) + 2. Suppose 0 = 2*x - 4*n, -4*x - n = -t*n - 7. Does 2 divide x?
True
Let q = -263 + 1084. Does 60 divide q?
False
Let v(p) = -251*p + 763. Is v(-6) a multiple of 28?
False
Let d(o) = 11*o - 204. Is d(24) a multiple of 20?
True
Suppose 9*i - 118 = 71. Is 2 a factor of i?
False
Suppose -24 = -i - 5*i. Suppose 4*o - 167 = 3*d, 3*o - 27 = -i*d + 92. Let x = -15 + o. Is x a multiple of 26?
True
Let s(m) = m**2 + 2*m - 4. Let q(z) = -2*z**2 - 4*z + 8. Let c(d) = -3*q(d) - 5*s(d). Is c(-5) even?
False
Let d be (2/(-6)*(133 - 4))/(-1). Let z = d + -25. Does 18 divide z?
True
Let u(j) = j**3 - 5*j**2 - 6*j + 2. Let d be u(6). Suppose 0 = 4*k - x - 2, -d*k + 0*x = -x - 2. Suppose k*p + 128 = 4*p. Is 9 a factor of p?
False
Suppose 3*n = 6*n - 6. Let b be -13 + -45 - 4/n. Let p = b - -107. Does 11 divide p?
False
Let u(a) = 2*a**2 - 2*a - 2. Let v be u(2). Let o(k) = v*k + k + 0 + 2*k**2 - 2 + k. Does 10 divide o(3)?
False
Suppose 125 = -9*i + 287. Is 2 a factor of i?
True
Suppose 222 = -10*z + 5532. Is 65 a factor of z?
False
Let u be -18 + 17 + (33 - 0). Let i = 51 - u. Let n = i + -6. Is n a multiple of 8?
False
Does 11 divide 122128/119 - 6/21?
False
Let p = -1118 + 3450. Is 11 a factor of p?
True
Suppose -4*k = -100 + 32. Suppose 2*t - 3 = -k. Is 20 a factor of -4*(2 + (t - 0))?
True
Let b be (2/6)/((-2)/6). Let f(c) = -30*c - 6. Let j(k) = -91*k - 17. Let y(s) = -17*f(s) + 6*j(s). Is y(b) a multiple of 12?
True
Is -2 - (33/44)/(2/(-392)) a multiple of 15?
False
Suppose -707 + 59 = -z. Does 18 divide z?
True
Let f(p) = -14*p - 75. Suppose -13 = -4*w - 37. Does 3 divide f(w)?
True
Is (0 - -2) + -13 + 281 a multiple of 135?
True
Let x(p) = -2*p - 9. Let t be x(-8). Suppose -10 = -2*w + t*w. Is (w/(-4))/(2/44) a multiple of 7?
False
Suppose 110 - 26 = 7*f. Suppose f*m = 11*m + 84. Does 22 divide m?
False
Suppose 3575 = 5*u + 2*p, 11*u = 8*u - 3*p + 2145. Is 11 a factor of u?
True
Let p = -4 - -5. Let k(c) be the second derivative of 47*c**4/12 + c**3/6 - 6*c. Is k(p) a multiple of 8?
True
Suppose 11 - 26 = -5*i. Let k(a) = -9*a - 42. Let v be k(-3). Is (0 - 5/i)*v a multiple of 9?
False
Suppose 2*x - 11 = -5. Suppose -2*h = -x*h + 10. Does 4 divide (-40)/(-4)*4/h?
True
Let o(y) = 7 - 8*y**3 + 7*y**3 + 23 + y**2. Let a be o(0). Suppose f = 3*f - a. Does 15 divide f?
True
Suppose 3*m - 5*u - 12911 = 0, 28*u - 25*u = 6. Does 19 divide m?
False
Let q(z) = 41*z + 30. Is 22 a factor of q(10)?
True
Let g(m) = m**2 + 7*m + 11. Let y be g(-2). Is -12*(2*y + 328/(-24)) a multiple of 20?
True
Let j(i) = -i**3 - 11*i**2 + 12*i + 3. Let x be j(-12). Suppose -4*a + 2*l + 269 = l, 2*l - 199 = -x*a. Is 33 a factor of a?
False
Let k(o) = 137*o + 29. Is 32 a factor of k(2)?
False
Suppose -8*w + 96 = 16. Suppose 5*a - 3*t + 3 = 51, t + w = a. Is 2 a factor of a?
False
Suppose f = 43 - 3. Let w be 7843/99 + (-2)/9. Let y = w - f. Is 28 a factor of y?
False
Let l(s) = 30*s - 27. Let f be l(6). Suppose -5*o + f = 4*m - 74, -54 = -m - 4*o. Is 29 a factor of m?
True
Suppose h = 7 + 19. Suppose 25*s + 292 = h*s. Does 48 divide s?
False
Suppose 4*j - 34 = -94. Is 804/14 + j/35 a multiple of 19?
True
Let u = -40 - -45. Suppose 4*t - 204 = u*l, 5*t - 3*l - 268 = -0*t. Does 28 divide t?
True
Let i(q) = 4*q - 5. Let j be -1 - -1 - 77/21*-3. Is 13 a factor of i(j)?
True
Let p = 62 + -37. Let v = -6 + p. Suppose -y + 1 = -v. Is y a multiple of 20?
True
Is 14 a factor of 3/9 + (-1 - 14576/(-12))?
False
Let x = 991 + -516. Let c = -255 + x. Is c a multiple of 11?
True
Suppose 4 = 5*j - 11, -3*j + 24 = 5*r. Suppose p = r*c + 79, 4*c - 187 = -2*p + 1. Does 11 divide p?
True
Let r = 924 - 636. Does 18 divide r?
True
Let k(p) = 45*p - 270. Is k(22) a multiple of 40?
True
Suppose -4*v + 0*x = 2*x - 664, -2*x - 848 = -5*v. Is 6 a factor of v?
True
Does 21 divide (32/6)/(7 - 940/135)?
False
Let d(a) = a**3 - 17*a**2 + 20*a + 5. Does 43 divide d(18)?
False
Let k be -3 - ((-1)/(2/20) - 2). Suppose -k*l + 258 = -120. Is l a multiple of 7?
True
Suppose i - 816 = -5*i. Let s = 268 - i. Does 11 divide s?
True
Let u(j) = j**2 + 10*j + 3. Let c be u(-10). Suppose -4*v + v = c*n - 375, 0 = 2*n - v - 250. Is n a multiple of 38?
False
Let m(n) = n**2 + 14*n + 10. Let y(q) = -2*q**2. Let l be y(-3). Is 42 a factor of m(l)?
False
Suppose f - 4*m - 490 = m, 0 = 5*f - 3*m - 2340. Does 6 divide f?
False
Let w(p) = -4*p**3 + 7*p**2 - 2*p**2 + 6*p**3 + 5 - 3*p - p. Is w(3) a multiple of 13?
False
Let x = -496 - -800. Is 19 a factor of x?
True
Suppose -5*r - 4*s = 430, 2*r + 3*s = 3*r + 86. Let v = r - -34. Let w = 131 + v. Is w a multiple of 20?
False
Suppose -2*b - l + 3 = 35, 3*b + 38 = l. Does 17 divide ((-816)/42)/(4/b)?
True
Let w = 1246 - 544. Is 27 a factor of w?
True
Suppose -5*r = -2*t - 43 - 46, 3*r - 3*t - 48 = 0. Is 11 a factor of r?
False
Let g be 76/10*(1 - 6). Let m = g + 75. Is m a multiple of 6?
False
Let x(f) = 12*f**2 - f. Let w = -11 - -13. Suppose 0 = -0*m - w*m + 2. Is 11 a factor of x(m)?
True
Let h = 22 - 20. Let i(d) = 12*d 