= 298 - q. Is t a multiple of 2?
True
Let j(l) = -20*l - 41. Let m be j(-3). Suppose m - 235 = -2*i. Is 12 a factor of i?
True
Let x(g) = g**2 - 7*g + 15. Let u be x(4). Suppose 2*w - 50 = 4*m + 206, w - 123 = -u*m. Does 18 divide w?
True
Let n = 4130 - 1331. Is n a multiple of 9?
True
Let n(q) be the second derivative of -1/20*q**5 - 7/6*q**3 - 17/2*q**2 - 1/2*q**4 + 11*q + 0. Is 27 a factor of n(-7)?
True
Suppose 5*q + w = 384159, 150971 = 4*q + 2*w - 156355. Is q a multiple of 229?
False
Let w(m) = 13*m + 9. Suppose -3*k - 1 = -7, -2*v + 292 = -2*k. Let l = -134 + v. Does 12 divide w(l)?
False
Let o(c) = c**2 - 2*c + 4. Let b be o(0). Suppose b*m = a - 17, 0 = a + m - 2*m - 17. Suppose 8*s - 62 = 3*s - t, 2*s + 3*t = a. Is s a multiple of 2?
False
Suppose m - 7 = 4*c + 5, 2*m + 2*c - 74 = 0. Suppose 4*o - m = 160. Suppose -25 = 5*s, -o = 3*q - 4*s - 692. Does 16 divide q?
True
Suppose -8*r + 23232 = 4*r. Does 40 divide r?
False
Let p(l) = 38*l**2 + 17*l**2 - 2 + 5*l**2. Let q be p(-2). Let b = q - 54. Is 46 a factor of b?
True
Let y be 1922/10 - (-18)/(-90). Let g = 2 + 5. Suppose i + y = g*i. Does 10 divide i?
False
Let o(g) = -g**2 - 5*g + 9. Let w be o(-7). Let n(v) = v**2 + 3*v - 6. Let p be n(w). Suppose -p*x = -4*y - 924, 3*x + 3*y - 2*y = 697. Does 29 divide x?
True
Let o(w) = w**3 + 10*w**2 + 19*w + 31. Let l be o(-8). Suppose -l*k + 812 = -5*k. Is k a multiple of 18?
False
Suppose 4*w + 10620 = 4*p, 4*p + 3*w - 1932 - 8667 = 0. Is 1 - 0 - p/(-12) a multiple of 6?
True
Let f(n) be the first derivative of 7*n**2/2 - 27*n - 69. Is f(13) a multiple of 8?
True
Let y(c) = 143*c - 14. Let x be y(4). Let n be (0 - (4 - x)) + 2. Suppose -6*i + 1474 = n. Does 17 divide i?
True
Let n be (3 + -1 - 0)*(7 - 9). Is 7 a factor of (1317/9)/(((-8)/6)/n)?
False
Let f(g) = -219*g + 456. Is f(-1) a multiple of 27?
True
Suppose 6*s + 110 = s. Let x = 6426 + -6379. Let j = x - s. Does 8 divide j?
False
Let i be 4/(48/3118) - 3/(-18). Suppose -q - 199 = -3*p - 0*q, 0 = 4*p + 4*q - i. Is 6 a factor of p?
True
Let a be (-13935)/(-21) - 2 - (-12)/28. Let p = a + -425. Is p a multiple of 33?
False
Suppose 40 = -3*g + 106. Suppose 20*x = g*x - 4. Suppose -4*r + 160 = x*n, 168 = 4*n - 3*r - 119. Does 21 divide n?
False
Let c(k) = 5*k**2 + 4*k + 4. Suppose 0 = -z - 0*z - 1. Let t be c(z). Is 18 a factor of 57*(-4 + t - -2)?
False
Suppose 622 = 4*g - 1938. Suppose 0 = 61*i - 57*i - g. Is 8 a factor of i?
True
Suppose -4*t + 6 = z, t - z - z - 6 = 0. Suppose r - 5*h = 189, -t*r + 393 = -0*r - 5*h. Is r a multiple of 34?
True
Suppose 0 = s - 5, 5*s + 2430 = 2*n + 7. Does 24 divide n?
True
Let h(s) = 13*s - 34. Let b be h(3). Suppose 0 = -2*v - 3*v + b*t + 5770, 1151 = v - 4*t. Is v a multiple of 55?
True
Let n = -65 - -65. Suppose 3*c + c + 8 = -2*r, n = 4*r - 4*c - 20. Suppose 0 = r*m + 4*a - 5*a - 9, -15 = -3*m + 3*a. Does 3 divide m?
False
Let c be 1*-2*10/4. Does 7 divide (-30)/150 - 1751/c?
True
Let g(z) = -z**3 - 8*z**2 + 53*z - 160. Does 51 divide g(-34)?
False
Suppose 4*q - h - 46 = 0, 3*q + 0*h - 5*h - 43 = 0. Suppose 0 = -q*p + 13*p - 108. Does 27 divide p?
True
Let i = -52 + 62. Let n(a) = -a**2 - 5*a + i*a**2 + 8*a - 20 - a**3. Does 4 divide n(9)?
False
Suppose -230*d = -185*d - 7020. Does 6 divide d?
True
Suppose -97442 = 74*y - 1279740. Is y a multiple of 5?
False
Let h(g) = g**3 - 4*g**2 - 7*g + 16. Let q be h(6). Suppose 24*z = q*z - 8580. Is 15 a factor of z?
True
Suppose -8 = 5*l - 6*l + 3*j, 2*l - 5*j = 15. Suppose -l*c = 255 - 65. Let q = -24 - c. Is 3 a factor of q?
False
Suppose -4*m = -2*k + 5 - 17, -5*k - 2*m = -6. Let y be k - (-128 - (-2 - -1)). Let l = y - 43. Is 53 a factor of l?
False
Is (-75)/((-24150)/8878414) + (-4)/(-42)*3 a multiple of 21?
True
Suppose -2*x = -4*n + 18, 6*x - x = 5*n - 30. Let r(k) = 20*k**2 + k - 7. Is 22 a factor of r(n)?
True
Does 53 divide ((-1855)/(-140))/(-1 + 10935/10932)?
True
Let r = 48 - 78. Let j be ((-5)/1)/(2/r). Is ((-5)/(j/(-1296)))/(12/40) a multiple of 21?
False
Let u(g) = g**3 - g + 1. Let y be u(1). Let s(a) = 271*a - 7. Let w be s(y). Suppose -4*q - x + 528 = 0, -2*q - 3*x + 4*x + w = 0. Does 44 divide q?
True
Let s = -779 + 344. Let z = 97 - s. Is 38 a factor of z?
True
Suppose 78 - 1010 = 4*b. Let m = b + 419. Suppose -9*j + m = -354. Is j a multiple of 12?
True
Let y be 15 + (-20)/(5 + -10). Let w(n) be the first derivative of -n**4/4 + 20*n**3/3 - 17*n**2/2 + 3*n - 2. Is w(y) a multiple of 5?
False
Let x = 40141 - 21739. Is x a multiple of 12?
False
Suppose 0 = -21*s - 117*s + 38*s + 1029600. Is 22 a factor of s?
True
Let r(z) = 168*z + 7. Let u(w) = 2688*w + 112. Let i(q) = 63*r(q) - 4*u(q). Is 12 a factor of i(-1)?
False
Let v be 3088 - 1 - (-15 + 9)/1. Let d = v - 2053. Does 20 divide d?
True
Suppose -20*k - 102 = -18*k. Let w = -47 - k. Suppose 0 = -p - 1, 2*u - w*p = -66 + 418. Is u a multiple of 15?
False
Let o(f) = -2*f - 9. Let d be o(-7). Suppose d*y + y + 492 = 0. Let z = -43 - y. Is z a multiple of 7?
False
Let b(l) = 232*l + 28. Is b(5) a multiple of 9?
True
Let x = -11544 - -19660. Is x a multiple of 5?
False
Suppose -5*k - 3*b + 135 = -b, 3*k - 3*b - 102 = 0. Let h be (k/(-3))/(10/120). Does 15 divide (4 - 5)/(-1 + h/(-118))?
False
Suppose -444 - 10236 = -5*u - 5*n, 4*u = n + 8514. Is 71 a factor of u?
True
Suppose -7*g + 346 + 249 = 0. Suppose 0 = g*x - 72*x - 117. Is x a multiple of 9?
True
Let d be (-23)/(-7) + 1*10/(-35). Suppose 8*o + d*o - 4576 = 0. Is 42 a factor of o?
False
Does 57 divide (-90)/(-15) + 3162 + -7?
False
Let t(z) = -152*z + 82. Let q be t(-14). Suppose -s - 3*b + 8*b = -442, 2*b + q = 5*s. Is 34 a factor of s?
True
Is (338 + (-10 - 6))/((-5)/(-450)) a multiple of 18?
True
Let l be (-48)/28 - 8/28. Let q(c) = -11*c - 10. Let h be q(l). Let m(s) = -s**2 + 15*s - 24. Is m(h) a multiple of 6?
True
Suppose 0 = 220*n - 87*n - 686945. Is 22 a factor of n?
False
Let o(m) = 18*m**3 + 1. Let k be o(1). Let g be 16/2*(-3)/(36/(-204)). Suppose k = i - g. Does 8 divide i?
False
Let s = -15171 + 35449. Is s a multiple of 14?
False
Let f(p) = -139*p - 7. Suppose 2*s = 7*s. Suppose s = -5*i - q, -4*q = -2*i - i - 23. Is f(i) a multiple of 12?
True
Let h(w) = -w**3 + 43*w**2 - 83*w - 41. Let g be h(41). Let p = g - -192. Is 55 a factor of p?
True
Suppose 0 = -5*h - 13210 - 28625. Is 29 a factor of 190/(-152) - (h/12)/1?
True
Let t = -2671 + 3679. Does 76 divide t?
False
Suppose 72*m - 69*m = 2367. Let d = 969 - m. Is d a multiple of 10?
True
Let o(l) = 29*l - 13. Let j(c) = -3*c + 20. Let b be j(0). Let d = 25 - b. Does 44 divide o(d)?
True
Let y be -5 + (-790)/(2 + -7) + -4. Let x = 92 + -177. Let b = y + x. Does 10 divide b?
False
Suppose -4454 = -2*w - v, 5*w - 10*v - 11157 = -7*v. Is 5 a factor of w?
False
Suppose -12*a + 112 - 64 = 0. Suppose 2*z - 8 = a*z, 0 = -i + z + 289. Is 39 a factor of i?
False
Let v(u) = 28*u + 25. Let t be v(8). Let m = t + -77. Is 12 a factor of m?
False
Let r(t) = -t**2 + 10*t - 19. Let u be r(5). Suppose -107 = u*w - 2375. Is 54 a factor of w?
True
Suppose -4*x + 4*a + 96 = 0, 5*a = 4*x - 6*x + 55. Let s = x + 425. Is 9 a factor of s?
True
Let v(z) be the second derivative of 3/2*z**3 - 39/2*z**2 + 1/12*z**4 + 0 - 8*z. Is v(-16) a multiple of 43?
False
Suppose 0 = -o + 4*f + 16, 2*o - 5*o - 5*f = 20. Suppose -q = 5*k - 1202, o = 2*k + 4*q - 3*q - 482. Is k a multiple of 10?
True
Let x(t) = -5*t**2 - 5*t - 10. Let v(w) = -6*w**2 - 5*w - 10. Let z(h) = -6*v(h) + 7*x(h). Does 4 divide z(-8)?
False
Suppose 0 = d - c - 54, 103 = -61*d + 63*d - c. Does 2 divide d?
False
Is (592/111)/(6/26982) a multiple of 16?
True
Suppose r - 29739 = -3*l, -4*r + 458 = 434. Is 11 a factor of l?
True
Let h(y) = -y**2 + 26*y - 12*y + 3*y**2 - 54*y + 21. Is h(23) a multiple of 12?
False
Let r be -3*(1028 - -3)*(-8)/24. Suppose r*c = 1023*c + 504. Is c a multiple of 3?
True
Let l(m) = -32*m + 841. Is l(-82) a multiple of 9?
True
Let v(o) = 5*o**2 + 9*o + 6. Let r(b) = 12*b**2 + 18*b + 12. Let d(l) = 2*r(l) - 5*v(l). Let m = -1 + -2. Is 5 a factor of d(m)?
False
Let i(x) = 17*x - 3. Let t be i(7). Suppose -2*c - 14 + t = 0. Does 4 divide 2/(5/(c - 1))?
True
Suppose -60*p + 48 = -64*p. Let r be 19/2 + p/24. Suppose -32 - r = -a. Is a a multiple of 15?
False
Is 