ose -1 = o, 3*o = -5*x + 2*o + 599. Is 12 a factor of x?
True
Let y(t) = 3*t**2 + 10*t + 2. Let h be -1*(7 + 0 + 0). Let q be y(h). Suppose q = -3*j + 4*j. Is j a multiple of 23?
False
Let j(y) = -1 - y**2 + 7*y - 2 - 1 - 3. Is j(5) even?
False
Let t(n) = 16*n**2 + 5*n - 5. Let w be t(2). Let j = -35 + w. Is j a multiple of 17?
True
Let p(o) be the third derivative of 65*o**4/24 - o**3/6 + 8*o**2. Does 16 divide p(1)?
True
Suppose 4*z + 5 + 43 = 0. Let u(k) = 2*k**2 - 5*k - 26. Let t be u(6). Let n = t + z. Does 4 divide n?
True
Let u = 499 - 472. Is 2 a factor of u?
False
Let m be 0/3 + 3 + (-2 - -4). Suppose 0 = -z + 1, -4*s + 7*s + m*z - 185 = 0. Is s a multiple of 20?
True
Suppose -5*l + 2100 = 5*z + 120, 1220 = 3*l - 5*z. Suppose 2*x - l = -4*a, 3*x - 4*a - 624 = -2*a. Suppose -49 = -5*y + x. Is 14 a factor of y?
False
Suppose 90*a - 306 = 87*a. Does 19 divide a?
False
Let s(g) = 3*g**2 - 6*g + 6. Let n be s(2). Suppose -250 - 68 = -n*k. Does 10 divide k?
False
Let r = -49 - -51. Suppose 2*t = -r*t + 412. Is 12 a factor of t?
False
Let t = -958 + 1542. Is 40 a factor of t?
False
Let y = -45 + 47. Suppose -y*a + 3 = -9. Is 3 a factor of a?
True
Suppose 37 = 5*c + 3*w, 0*w = 3*c - 3*w - 3. Suppose -13 = -c*k - 178. Let y = k - -93. Is y a multiple of 24?
False
Suppose -x + 5*y + 12440 = 4*x, 4976 = 2*x - 5*y. Is x a multiple of 19?
False
Suppose 0 = -3*m + 7*m - 12. Suppose -510 = -m*w - 12. Suppose -4*t + w = 5*q, -6*t - q + 174 = -2*t. Does 17 divide t?
False
Suppose 0 = 5*m - 2*u - 364, 2*m + 4*u = m + 86. Is m a multiple of 17?
False
Suppose 8*x = -12*x + 1940. Is 12 a factor of x?
False
Suppose 5*x + v = 2312, 8*x - 5*x = -4*v + 1377. Is x a multiple of 12?
False
Suppose m + 3*q = 821 - 29, -786 = -m + 3*q. Does 7 divide m?
False
Suppose 0 = -5*y - l + 5, y + 3*l = -3*y - 7. Suppose -4*x - 74 = 2*s, 0 = -4*s - y*x - 0*x - 166. Let a = s - -112. Is 15 a factor of a?
False
Let i(v) = v + 12. Let y be i(-12). Suppose -4*w + 5*g + 22 = y, -2*w + 3*g = -w - 2. Suppose -r + w = -10. Does 6 divide r?
True
Let i = 28 + -24. Suppose -i*f = 5*y + 41, 3*y + y = -f - 13. Let b = f - -33. Is b a multiple of 12?
True
Let k(w) = -2*w**2 + 26*w + 84. Does 3 divide k(12)?
True
Let k(w) = -5*w + 1. Let u be k(3). Is 20 a factor of u/(-3)*720/84?
True
Suppose 3*a = -2*l + 330, 4*l - 935 = -5*a - 277. Suppose -51 = s + l. Let w = -102 - s. Is 20 a factor of w?
False
Let b = -32 - -39. Suppose b*i - 259 - 581 = 0. Does 40 divide i?
True
Let j = -3 - -3. Suppose j = -5*l + 10 + 15. Suppose -l*a = -11 - 9. Is a a multiple of 2?
True
Suppose -72 = -5*p - 2*r, -3*p + 4*r = p - 80. Suppose -2*l + 3*z + 51 = 0, 4*l - 91 = z + p. Is 3 a factor of l?
True
Suppose -34*u + 23*u + 8976 = 0. Does 20 divide u?
False
Suppose -32*l = -402 - 174. Is l a multiple of 5?
False
Let s be (-1)/5 + (-3)/10*-34. Let c = 21 - s. Does 11 divide c?
True
Is 26 a factor of (20/6)/((-60)/(-90)) + 340?
False
Let o(h) be the third derivative of -h**6/120 + 2*h**5/15 - 7*h**4/24 + 4*h**3/3 + 5*h**2. Let p(z) = -z**2 - 8*z - 7. Let n be p(-6). Does 16 divide o(n)?
True
Suppose -8*r - 2*l = -3*r - 4, 3*r - 2*l - 12 = 0. Does 5 divide (140/(-4))/(-1) + r + -3?
False
Does 31 divide 3*(6 + (5 - 732/(-9)))?
False
Is 20 a factor of ((-33)/11 + (-237)/6)*-4?
False
Let h = 963 + -634. Does 22 divide h?
False
Does 19 divide 456/(-32)*2/(-6)*32?
True
Suppose -4*m + m + 4*s - 514 = 0, -3*m = s + 539. Let n = -108 - m. Is 23 a factor of n?
False
Let o = 22 + -10. Suppose -x - 4*w - 1 = -o, 0 = -2*w + 8. Let v = 24 - x. Is v a multiple of 15?
False
Let x be 4/2*(1 - -1). Suppose -x*s + 4*a - 4 = -6*s, 2 = -2*s + 2*a. Let r = 6 - s. Does 2 divide r?
True
Let j = -26 + 34. Suppose 2*d + 3*s - 31 = 0, 5*s - j*s = 5*d - 64. Is d a multiple of 6?
False
Let q be 6/(-33) - (-105)/33. Let k(b) = 8*b - 4*b + q*b**2 + b**3 + 2*b**2. Does 2 divide k(-3)?
True
Is 31 a factor of (-168)/(36/6)*(-155)/5?
True
Let w(g) = 3*g + 9. Let o be w(-8). Let j = -10 - o. Suppose j*m - 4*r = 331, 6*m - 138 = 4*m + 3*r. Is 10 a factor of m?
False
Suppose -41 = -5*p + r, -49 = -5*p - 0*r - r. Suppose -393 - 3 = -p*v. Does 22 divide v?
True
Suppose -5*d + 28 = -5*i - 2, 0 = 4*d + 4*i - 8. Suppose -d*a - 5*g + 131 = -725, 2*a - 428 = 2*g. Is 40 a factor of a?
False
Let w(v) = 17 + 2*v**3 + 22*v - 23*v + v**3 - 10*v**2. Let q(h) = h**3 - 3*h**2 + 6. Let l(a) = 8*q(a) - 3*w(a). Is l(3) a multiple of 11?
True
Let t(p) = -2*p - 3. Let s = -3 + 6. Suppose s*r + 2*r + 45 = 0. Does 15 divide t(r)?
True
Let c = -871 + 915. Is 3 a factor of c?
False
Suppose -5*n = 0, -4*x + 4350 + 2374 = 3*n. Is 41 a factor of x?
True
Suppose -4*i + 53 = 5. Suppose -b + 48 = -i. Is 15 a factor of b?
True
Suppose 1070 = 3*y - 40. Is y a multiple of 26?
False
Let h(w) = -3*w**2 + 9*w + 4. Let q be h(-6). Is (-8)/(-36) - q/18 a multiple of 2?
False
Let f be ((-3)/9)/(2/(-24)). Let h(c) = -c**3 + 9*c**2 + 12*c - 17. Let v be h(10). Suppose 138 = v*n - m - 154, -3*m = -f*n + 396. Is 32 a factor of n?
True
Let s(t) = -t**2 - 7*t - 9. Let r be s(-4). Suppose -587 = -2*n + 185. Is 16 a factor of (-1)/(r - n/128)?
True
Let g = -31 - -39. Is 16 a factor of (-3825)/(-60) + 2/g + 0?
True
Suppose -3*r - 2 = -11. Suppose 2*w = 2*g - 3*w - 49, -5*g + r*w + 75 = 0. Does 12 divide g?
True
Let p(q) = -q**3 - 4*q**2 - 3*q + 4. Let b be p(-3). Suppose b*c - 2*c = -16. Does 2 divide 2/c - 261/(-36)?
False
Let d(g) = 36*g**2 + 2*g + 22. Is 14 a factor of d(6)?
True
Let y = -197 + 128. Let r = 7 - 4. Let i = r - y. Is i a multiple of 16?
False
Suppose 4*o = -3*d - 218, 0*o - 4*o = 2*d + 152. Is 5 a factor of 14/49 + d/(-14)?
True
Let n = -51 + 67. Is n a multiple of 2?
True
Suppose 5810 = 12*r - 274. Does 30 divide r?
False
Suppose -2*j + 9 = j. Let n(r) = -r - 3. Let l be n(-5). Suppose j*d = -l + 80. Is 5 a factor of d?
False
Let c = 64 - -80. Let s = -36 + c. Is 18 a factor of s?
True
Suppose 3*i + 5*i - 3904 = 0. Suppose 43 = 2*y - 5*d - 142, 0 = 5*y - 4*d - i. Is y a multiple of 8?
False
Suppose -414 = -5*k + 1476. Is 14 a factor of k?
True
Let p be (-9)/2*8/(-18)*2. Suppose 4*m = -2*h + 3*h + 668, p*h = 5*m - 824. Does 14 divide m?
True
Suppose -2*m = -5*m + 651. Suppose 183 = 4*l - m. Is l a multiple of 20?
True
Let x be (-5 - (-3)/3) + 8. Suppose -5*r = p - r - 4, -4*p + x*r + 56 = 0. Is 6 a factor of p?
True
Is (-1950)/12*(-1 + -1) a multiple of 65?
True
Does 9 divide -2*-6*(3 + 3/(-4))?
True
Let d = 5462 + -3724. Is 82 a factor of d?
False
Suppose 2*o + 300 = v, -3*o = 3*v - 502 - 380. Is 37 a factor of v?
True
Suppose -4*l + 7 = v, 2*l - 5*v + 3*v - 16 = 0. Let b be ((-8)/l)/((-1)/3). Let p(g) = 4*g + 12. Is 22 a factor of p(b)?
True
Let x(k) = 3*k**3 - 20*k**2 - 29*k + 80. Is 46 a factor of x(11)?
True
Let h(z) = 9*z**2 - 5*z + 40. Does 16 divide h(5)?
True
Let v(w) = 6. Let z(h) = h - 6. Let b(m) = -5*v(m) - 4*z(m). Does 10 divide b(-8)?
False
Is 26 a factor of ((24/(-9))/2)/((-34)/13719)?
False
Let a = 67 + -54. Let s be -8 + (-2 - 1) + 4. Let y = a - s. Is y a multiple of 10?
True
Suppose -37842 = -26*a - 12778. Does 42 divide a?
False
Let k(n) = -n**3 - n**2 - 11*n + 4. Let m be k(0). Suppose -14 + 1 = -5*y + 2*x, 4*x - 4 = 0. Suppose o = -5*u + 138, -m*o = y*u - 35 - 58. Does 27 divide u?
True
Let j be (-12)/4 - 0/4. Let y(d) = -d**3 - 2*d**2 + 6. Let k be y(j). Does 22 divide (-6)/k + (-2604)/(-35)?
False
Suppose -4*l + m - 238 = -m, -235 = 4*l + m. Let x = l - -131. Is 24 a factor of x?
True
Let m(d) = -d**3 - d**2 + 9. Let q be m(0). Let o(k) = -k**3 + 8*k**2 + 11*k - 13. Let c be o(q). Suppose -15 = c*z, 3*z = 2*b - 2*z - 79. Does 16 divide b?
True
Let t(a) = 3*a**2 - 7*a**2 - 7 + a + 15*a**2 - 4 - a**3. Let o be t(11). Suppose -3*c - 3*f + 111 = 12, -c - 2*f + 30 = o. Does 28 divide c?
False
Let b(h) = 368*h - 154. Is b(8) a multiple of 19?
False
Suppose 44*p = 40*p + 1440. Is 18 a factor of p?
True
Let y(i) = -3 - 6*i**2 + 2*i**2 + 3*i**2 - 3*i + 18. Let c be y(-7). Is (-102)/c - (-12)/78 a multiple of 8?
True
Let r = 11 - 15. Let s be (-1)/(49/42 - (-5)/(-30)). Is 4*s - (r - 38) a multiple of 10?
False
Let q(n) = -2 + n**2 + 5 + 2*n - 6 + 4. Suppose 5*b - 16 = 9. Is q(b) a multiple of 18?
True
Let r = 1216 + -543. Suppose -4*q + r = 277. Is q a multip