). Suppose o*t + 111 = 474. Is t a multiple of 25?
False
Suppose 10 = 5*d, 5*y - 2*d - 60 = 81. Is 19 a factor of y + (3 - 4)*3?
False
Suppose 5*p - 2*a = 430, 4*a - 2*a = 4*p - 346. Does 21 divide p?
True
Suppose -11*g + 9201 = -6375. Is g a multiple of 24?
True
Let n = -335 - -599. Is n a multiple of 12?
True
Suppose 0 = f - 1045 + 738. Does 14 divide f?
False
Let m = 13 - 13. Suppose 5*o - 22 - 28 = m. Does 5 divide o?
True
Let i(s) be the first derivative of 24*s**2 - 12. Is 12 a factor of i(1)?
True
Suppose -4349 = -4*t - 3*m, 58*m = 2*t + 62*m - 2172. Is t a multiple of 32?
True
Let i(r) = r**2 + 12*r + 10. Does 13 divide i(8)?
False
Does 7 divide 1130/6 + (-1)/(-15)*-5?
False
Let f(t) = 9*t**3 + t**2 + t + 3. Let n(l) = l**2 - 11*l - 3. Let g be n(11). Let x be f(g). Does 13 divide (2/3)/((-3)/x)?
True
Let v(p) = -p**2 - 8*p + 9. Let z be v(-9). Suppose -233 = -2*k + 3*o, 4*k - 491 = -z*k + o. Suppose -3*m + k = -29. Does 13 divide m?
False
Let k = -1799 + 3659. Does 6 divide k?
True
Suppose -7*s + 6125 = -5670. Does 9 divide s?
False
Let y(g) = 96*g + 365. Does 52 divide y(9)?
False
Let t = -96 + 439. Is 36 a factor of t?
False
Suppose 4*l - 9108 = 4*f, -1376 - 10009 = -5*l + 4*f. Does 69 divide l?
True
Suppose 604 + 250 = 14*i. Is 22 a factor of i?
False
Let z(i) = -3*i + 4. Let g be z(-4). Suppose 18 = 4*n + 3*p - 0*p, 5*p = n - g. Does 23 divide (-4)/n + 534/18?
False
Let x(t) = 2*t + 65. Let k be x(0). Suppose -z = k - 173. Is z a multiple of 18?
True
Let x = -386 - -450. Is x a multiple of 22?
False
Suppose 0 = 2*z - 0*z - 5*l - 2, 3*z - 4*l = 10. Suppose z*i - 133 = 137. Does 15 divide i?
True
Let d be (-64)/24*12/(-16). Suppose -n - 10 = -3*n, -3*k - d*n + 67 = 0. Is k a multiple of 4?
False
Is 19 a factor of (1/(-3))/(22/(-5016))*26?
True
Let x(o) = -o + 5. Let j be x(3). Suppose 2 = -j*y - 0*y. Does 10 divide (6*(-36)/8)/y?
False
Is 15 a factor of 4 - (5 + 10/(-5) - 37)?
False
Suppose 3*n - 126 = -3*o, 16*o + 219 = 5*n + 18*o. Does 15 divide n?
True
Suppose -3*r - 85 = -373. Suppose -9*t + 8*t = -r. Does 24 divide t?
True
Let l be 8/(-28) - (-4)/14. Suppose 0 = -2*y - l*y - 12. Is (-151)/(-3) - 4/y a multiple of 18?
False
Let z = -48 - -27. Let y be 10*(z/(-15) + -1). Suppose 0 = 4*x + 8, y*x - 68 - 68 = -4*h. Is 9 a factor of h?
True
Let s(u) = 5*u**2. Let q be s(0). Let v(y) = 49*y + 2. Let g be v(2). Suppose q*n + g = 4*n. Does 14 divide n?
False
Suppose 70 = h - 4*l, 5*h = 8*h + l - 158. Does 13 divide h?
False
Let f = -105 + 318. Is 13 a factor of f?
False
Suppose -9*q - 610 = -4*b - 7*q, 0 = -5*b + 3*q + 762. Is 17 a factor of b?
True
Let m(h) = 4*h + 43. Let u(z) = -z**3 + 3*z**2 + 3*z - 6. Let j be u(4). Is 3 a factor of m(j)?
True
Suppose 3*u + 2*r = 15 + 112, -5*u = -3*r - 237. Is 45 a factor of u?
True
Let d be -5 + (1 + 3)/4. Let c be 83 - 5/(10/d). Suppose t + 87 = 3*j + 4*t, -c = -3*j - t. Is j a multiple of 14?
True
Is (44/154 - (-19)/7) + 7 a multiple of 6?
False
Does 53 divide 2 - 3804/(2 - 8)?
True
Let n(a) be the second derivative of 1/12*a**4 - 3*a + 0 - 1/2*a**2 - 1/2*a**3. Does 13 divide n(-5)?
True
Suppose -4*l = 4*h - 320, -4*l + 3*h + 311 = -2*h. Suppose -l = -5*y + j, 3*j + 12 + 60 = 4*y. Does 2 divide y?
False
Is 60 a factor of (-360)/(3*(-8)/16)?
True
Suppose -61*k + 25154 + 41885 = 0. Does 7 divide k?
True
Let n(w) = w**2 + 12*w - 6. Let j be n(-6). Let i = j - -35. Let p(b) = 2*b + 24. Is 3 a factor of p(i)?
False
Let u(w) = 4*w + 2. Let v be u(4). Does 24 divide 2/v - (-3696)/27?
False
Let x = 1410 + -150. Is x a multiple of 21?
True
Is 70 a factor of 4541 - ((-2)/(-21) + (-26)/273)?
False
Let v(o) = o**3 + 10*o**2 + 7*o - 11. Suppose i = 6*i + 45. Let p be v(i). Suppose 0 = -4*r + p*r - 5*w - 128, 4*r - 178 = 3*w. Is r a multiple of 23?
True
Suppose -3*k - 2*s + 1027 = 0, -4*s + 1715 = 5*k + s. Does 12 divide k?
False
Let c be 40/(-60)*(-522)/4. Suppose 5*n + 4*s - c = s, -2*n = 4*s - 32. Is 6 a factor of n?
True
Suppose -348 = -8*d + 1164. Is d a multiple of 9?
True
Let l(d) = d**2 - 2. Suppose -2*a - 29 = 5*c, 13 = a + c - 4*c. Let u be l(a). Suppose 0 = k - u*k + 12. Does 4 divide k?
True
Suppose -4*j - 8393 = -4*q + 2331, -q + 3*j + 2675 = 0. Is 11 a factor of q?
True
Suppose -1005 = -5*q - 4*l + 690, 0 = q - 5*l - 339. Is q a multiple of 40?
False
Let r = -10 + -85. Is 10/r - 800/(-19) a multiple of 7?
True
Let g(d) = 66*d - 16. Suppose 0 = -3*y + 3*c - 9, 5*y = -c - 4*c + 35. Does 14 divide g(y)?
False
Let j = 169 + -256. Let u be (-66176)/(-396) + (3/1)/(-27). Let m = j + u. Does 20 divide m?
True
Suppose 3*y = 0, -456 = -4*v + 2*v - 3*y. Suppose 0 = -m + 3*u + v, -226 = -m - 2*u + 7*u. Is 16 a factor of m?
False
Let n be -2*1 - -8 - (-8 + 9). Let k = 779 - 520. Suppose -31 = -n*g + k. Does 22 divide g?
False
Suppose -24*p + 4952 = -64. Is p a multiple of 19?
True
Let h(t) = -2*t - 4. Let r be h(-3). Suppose d + 3*c = -3 - 0, -r*d = -c - 8. Suppose i - 4*v = 0, -2*v + 105 = 4*i + d*v. Does 5 divide i?
True
Let f(w) = w + 18. Let n = -7 - -14. Does 11 divide f(n)?
False
Let u = -1097 + 1262. Is u a multiple of 35?
False
Let n(j) = j**3 - 19*j**2 + 38*j - 5. Is 2 a factor of n(17)?
False
Suppose 0 = -5*d - 52 + 587. Is 4 a factor of d?
False
Suppose -9 = j + 2*j, 5*p - 22 = 4*j. Let f be (4 - 1 - p)*4. Suppose -4*w = -f*c + 136, 4*w = c - 6 - 16. Does 19 divide c?
True
Let z(q) = q**3 + 16*q**2 - 8*q - 6. Let m be z(-11). Suppose 0 = -3*b + 3*r + 699, -3*b - 2*r = r - m. Does 14 divide b?
False
Let g be (-8)/(-2)*5/10. Let m(j) = -3*j - 2 + 16*j + 3. Does 15 divide m(g)?
False
Suppose 17493 + 82310 = 43*r. Is 61 a factor of r?
False
Suppose -f = -a + 6, 2*a + 4*f + 14 = a. Suppose -a*x + 210 = -4*j, 2*x - 3*x - 2*j = -117. Is 35 a factor of x?
False
Let c be (2/(-6))/((-9)/594). Let t = 41 - c. Does 2 divide t?
False
Let u be ((-36)/8)/(6/(-16)). Suppose -2*d - 8 = -j, 0*j - 2*j + 2*d + u = 0. Suppose -2*w - 52 = -j*w. Is 26 a factor of w?
True
Suppose -5*q = -2*y - 51, 5*q - 3*y + 0 = 54. Suppose -o - q = -4*o. Suppose 75 = -3*h + 4*h + o*u, 110 = 2*h - 2*u. Is 12 a factor of h?
True
Suppose 5*o + 1059 = -2*z + 4338, -6582 = -4*z - 2*o. Is 9 a factor of z?
True
Suppose -4*d + 7 = -5. Suppose 5*p = -10, -d*o + 16 = 2*o - 3*p. Suppose -m = -4*m + o*b + 88, -2*b = 5*m - 152. Is m a multiple of 14?
False
Let u(z) be the first derivative of -z**3/3 + 9*z**2/2 - 6*z - 19. Suppose 2*q = -3*k, 2*k + k + 42 = 5*q. Is 12 a factor of u(q)?
True
Let q = -1436 - -2049. Is q a multiple of 92?
False
Let c(p) = 6*p**2 - 20*p + 5. Let x(v) = -4*v**2 + 13*v - 3. Let d(r) = -5*c(r) - 7*x(r). Let w(o) = 2*o**2 - 8*o + 5. Let b(t) = 4*d(t) + 3*w(t). Is b(5) even?
False
Let i be 13/10*2 + 12/30. Suppose 0 = -3*x + 3, i*x + 16 = 2*g - g. Is g a multiple of 8?
False
Let s = -6 - -46. Is (-4)/(s/(-854)) + (-2)/5 a multiple of 17?
True
Suppose 5962 + 5360 = 9*r. Does 34 divide r?
True
Suppose 3*p = -3, -3*p = -2*a + 135 + 794. Does 64 divide a?
False
Suppose 30 = 3*j + 18, 3*k = 2*j + 586. Does 6 divide k?
True
Let i = 442 - 55. Is 8 a factor of i?
False
Suppose 8*l = 3*l - 3*u - 22, -4*u = -4. Is 2 a factor of ((0 + 1)*l)/(1/(-3))?
False
Let j(o) = 2*o**2 + o - 11. Suppose -30 = -6*a - 0. Is j(a) a multiple of 5?
False
Suppose 0 = -4*u - 244 + 788. Is u a multiple of 46?
False
Suppose 14*a - 130 = 12*a + 2*z, -a = 2*z - 53. Is 61 a factor of a?
True
Suppose 7*z - 2691 = 1033. Does 2 divide z?
True
Let j(t) = -3*t**2 - 18*t + 17. Is j(-5) a multiple of 2?
True
Let z(y) be the second derivative of -y**4/12 + 2*y**3 + 19*y**2/2 - 13*y. Is z(10) a multiple of 7?
False
Let b(a) = -a - 6. Let s be ((-3)/(-6))/((-2)/36). Let d be b(s). Suppose d*w + 2*w = 300. Is 17 a factor of w?
False
Let t = -28 - 28. Suppose 0*j - 5*b - 61 = 3*j, 5*j + 2*b + 127 = 0. Let c = j - t. Is c a multiple of 9?
False
Let m(y) = y + 4. Let l be m(-6). Let q be l/4 + (-266)/(-4). Suppose 0*o + 3*o = -4*r + 77, 2*r - 4*o - q = 0. Does 12 divide r?
False
Suppose p = 5*v - 3*v - 151, -3*v = 5*p - 246. Let o = v - -237. Does 63 divide o?
False
Is 13 a factor of (-20657)/(-14) - (20/8 + -4)?
False
Let u(g) = g**2 + 2*g + 3. Let j be u(-2). Suppose 4*w = j*d - 28, -3*d + 24 = d - 2*w. Suppose 8*r = d*r + 204. Is 17 a factor of r?
True
Let f = -