) = -22*g(y) - 4*h(y). Let b be c(10). Is 3 a factor of 27 + (2*12/b - -4)?
False
Let h be 0 - (-12)/10*(-530)/(-3). Let k = 1562 - h. Is 18 a factor of k?
True
Let x(v) = v**3 + 15*v**2 - 17*v - 6. Let w(z) = -z**2 + 4*z - 4. Let h be w(6). Let u be x(h). Suppose -u - 104 = -6*f. Is f a multiple of 2?
False
Suppose 13*d + 816 = 11*d. Let g = -316 - d. Is g a multiple of 23?
True
Let z be (-8)/(1*2/(-8)). Let w(t) = -2*t**3 + 243*t**2 + 121*t + 123. Let y be w(122). Suppose y = v - z. Is v a multiple of 20?
False
Suppose -3*x + 498 = -11*r + 4203, -2*r = -x - 675. Does 196 divide r?
False
Let h(i) = 3273*i - 215. Does 13 divide h(2)?
True
Suppose 3*u + 0*o = -5*o - 4502, 3*o + 7482 = -5*u. Let m = -675 - u. Is 63 a factor of m?
True
Suppose 6*l = 2*l + 24. Let o be (-1 - 14/6)/(l/(-18)). Suppose o*h = -267 + 1167. Is h a multiple of 30?
True
Let r(j) = 251*j - 65. Let o be r(19). Suppose 4*x = -4*n + o, 4*n + 50*x - 4704 = 52*x. Is n a multiple of 49?
True
Let a(g) = 10*g**2 - 11*g + 1. Let q(u) = u**3 - 4*u**2 - 9*u - 14. Let z be q(6). Does 25 divide a(z)?
False
Does 15 divide (-1362)/(-30) + (-9)/((-405)/(-18))?
True
Suppose h + 15 = -4*o, 4*o - 6*o = -4. Let s(q) = q**2 - 3*q - 88. Is 15 a factor of s(h)?
True
Let m be (-120)/(-36)*12/10. Suppose -6*j + 2*j = 0, m*g = -3*j + 3272. Suppose 2*r - g = -4*s, 0*r + r = -5*s + 1027. Is s a multiple of 38?
False
Let j(c) = -c**3 + 8*c**2 + 3*c - 10. Let d be j(8). Suppose 0 = 8*s - 7*s - d. Suppose -s = 2*n - 3*n. Is 5 a factor of n?
False
Let w be (-254)/(3*(-5)/90*3). Suppose -a + 3*k + w = 0, 4*a = -k + 3*k + 1992. Does 13 divide a?
False
Suppose 834 = 4*u - 2*u + k, 3*u - 1265 = 2*k. Let q = 529 - u. Is 3 a factor of q?
False
Let x be (-103)/(-7) - (-4)/14. Suppose 1188 = -9*f + x*f. Is 18 a factor of f?
True
Let i(j) = -j**2 - 12*j - 21. Let f be i(-8). Suppose f = -8*c + 51. Is (58/c)/(21/105) a multiple of 3?
False
Let y = -381 + 387. Is 32 a factor of (8/y)/(8/14304*4)?
False
Suppose -87*m = -79*m + 24. Is (-1*2/m)/((-4)/(-1998)) a multiple of 6?
False
Let t = -2673 + -192. Does 63 divide ((-4)/12)/(1/t)?
False
Let c(y) = 2169*y - 301. Let j be c(25). Suppose j = 61*u - 9*u. Is u a multiple of 61?
True
Suppose 18*v - 44 = 29*v. Does 10 divide 142 - v*4/8?
False
Suppose 0*s = -5*r - s + 404, 4*r - 308 = 3*s. Does 6 divide 64 + r/60*3/(-2)?
False
Is 5 a factor of (-14)/(-4)*(-54)/(-63) - (1 - 6798)?
True
Let z = 750 - -1751. Is z a multiple of 41?
True
Suppose -13*s = -12*s + 6. Let m be ((-13)/3)/(s/(-72)). Let t = 92 + m. Is t a multiple of 15?
False
Does 55 divide (-46)/((-3588)/117) - 48991/(-2)?
False
Let q = -27548 + 56472. Does 9 divide q?
False
Does 64 divide (-17468)/(-7) + (48/168)/((-5)/(-10))?
True
Suppose 0 = 8*d + 4*d - 10 - 38. Let s(c) = -71*c + 1. Let n be s(-5). Suppose 5*k - 690 = -d*h, 2*h + k = 4*k + n. Is 26 a factor of h?
False
Let z = 27499 - 19379. Is 56 a factor of z?
True
Let z(k) = 37*k**2 + 2*k + 2. Let h = -29 + 28. Let r be z(h). Let b = r + -27. Is b a multiple of 5?
True
Let d(c) = -c**3 + c**2 - c + 6. Let j be d(2). Suppose o + 3*k - 1092 = j, 3*k + 4338 = 4*o - 0*o. Is 31 a factor of o?
False
Let f(j) = -4*j**2 - 9*j - 36. Let q(l) = 2*l**2 + 5*l + 17. Let u(n) = 6*f(n) + 13*q(n). Is u(-13) a multiple of 40?
True
Suppose 4*d - 29 = -3*c - 5, 3*c = 5*d - 30. Is 4 a factor of 2/(-1) + (-212)/d*-3?
True
Let r(b) = b**2 + 12*b - 7. Let j be r(-13). Suppose -2*d - 21 = x - j*d, 2*x - 13 = -3*d. Let f(n) = -50*n**3 + 2*n**2 + 2*n - 1. Is f(x) a multiple of 9?
False
Let x(c) = -c**3 + 17*c**2 - 17*c + 18. Let w be (-10)/(-45) - (-142)/9. Let h be x(w). Suppose -h*d + 2*o + 100 = 0, -113 = -4*d - o + 87. Is 19 a factor of d?
False
Suppose 0 = -4*r + 3*j + 997, -4*r + 1386 = -4*j + 394. Let a = r - 167. Does 2 divide a?
True
Let x(a) = -6089*a - 244. Is x(-2) a multiple of 102?
True
Suppose -50*y + 37202 = -55098. Is 26 a factor of y?
True
Let y(x) be the first derivative of -x**3/3 - 2*x**2 - 4*x - 24. Let w be y(-2). Suppose w = -4*k + 47 + 73. Is 3 a factor of k?
True
Is (8 - 3352/14)*-7 a multiple of 20?
True
Let j(k) = 30*k**2 - 135*k - 1894. Is 84 a factor of j(-27)?
False
Suppose m - 4412 = -4*n, 4*m - 9*n + 5*n = 17668. Is m a multiple of 23?
True
Let g = 30 - 26. Suppose -c - 2*c + 68 = -g*i, -4*c = -5*i - 89. Suppose -21*l + c*l = -415. Is l a multiple of 37?
False
Let t = 3754 - 2830. Is 14 a factor of t?
True
Is 2 a factor of 33/(-4)*62240/(-60)?
True
Let p(v) = -8*v - 4*v + 6 + 0 - 2*v**2 + 3*v. Let c be p(-9). Let t = 25 - c. Is t a multiple of 19?
False
Let b(j) be the second derivative of j**6/180 + j**5/24 + 13*j**4/24 - 5*j**3/2 + 6*j. Let q(l) be the second derivative of b(l). Does 22 divide q(-7)?
False
Let r = -6094 - -6236. Is 3 a factor of r?
False
Let n(j) = j**3 - 14*j**2 - j + 17. Let k = -132 + 146. Let a be n(k). Suppose a*q - 5*q = -122. Is 40 a factor of q?
False
Let b be -1 - -1 - (2 + -4). Suppose 0 = g + 2, 0 = 5*u + g + b*g - 729. Does 21 divide u?
True
Let s(g) = 2*g**2 - 65*g + 125. Is 18 a factor of s(38)?
False
Suppose 3*k + 5*o = -13 + 34, -3 = -o. Let v be 16 - 11 - (k + 0). Suppose -v*g - 359 = -8*g - 4*d, 237 = 3*g - 3*d. Is 5 a factor of g?
True
Let j(v) = -2*v + 4. Let b be j(-2). Let l(u) = u**3 - 6*u**2 - 6*u + 16. Is l(b) a multiple of 40?
False
Let t be 21/15 - 2/5. Let q be t + 1 + 1 + -3 + 116. Let p = -53 + q. Does 10 divide p?
False
Let f(k) = 9*k - 1141. Is 11 a factor of f(130)?
False
Suppose -260*q = -44*q + 173663 - 1892591. Does 179 divide q?
False
Suppose 0 = 4*w - 1455 - 617. Let o be w/28 - 2/4. Does 20 divide (-409)/(-3) + ((-30)/o)/5?
False
Suppose 160*b + 6*b - 10*b = 694980. Does 45 divide b?
True
Suppose 0 = -4*q - 5*z + 91545, z - 45783 = -105*q + 103*q. Is q a multiple of 285?
False
Let t(p) = -150*p**3 + 3*p**2 - 54*p - 267. Does 167 divide t(-6)?
True
Let s be (158 - (3 + -2)/(-1)) + -5. Suppose -8*r + 102 = -s. Does 4 divide r?
True
Let r(q) = q**3 + 49*q**2 - 91*q. Is 10 a factor of r(-48)?
False
Suppose 1336 - 1128 = o. Is o a multiple of 4?
True
Let r = 4750 - 1330. Does 12 divide r?
True
Let u = -859 - -405. Suppose 2*b = 5*i + 1542, -15*b = 2*i - 18*b + 608. Let k = i - u. Does 24 divide k?
True
Let p be 2481*4/(-24)*4. Let l = p - -2394. Is 11 + -15 - l/(-2) a multiple of 61?
True
Suppose 47*k - 42*k = t + 6249, 3*t - 3 = 0. Does 50 divide k?
True
Let p(y) = -7*y + 51. Let h be p(7). Suppose 5*c = h*j - 76 - 40, 5*c = 10. Is 4 a factor of j?
False
Suppose -131 = -31*z - 7. Is z/6 - 2882/(-33) a multiple of 6?
False
Let l(b) = b**2 - 2*b + 5. Let d(t) = t**2 - t + 2. Let g(i) = 9*d(i) - 4*l(i). Let z be g(-4). Suppose 498 - z = 4*h. Does 13 divide h?
True
Let a = -22 - -40. Does 7 divide 1*a/(-3) + 48?
True
Is 11 a factor of -8 + 2 + 1 - 52632/(-12)?
False
Let a = 41525 + -22151. Does 20 divide a?
False
Let d = 356 - 341. Is 100 + 2 + d/15 a multiple of 6?
False
Let f(r) = 255*r**2 + 72*r + 506. Is 26 a factor of f(-8)?
True
Let a = 8304 - 8280. Let l = 16 + -11. Suppose a = l*q - 51. Is q a multiple of 3?
True
Let y be 3756/32 - (-9)/(-24). Let q = y + -47. Does 25 divide q?
False
Let k = 798 + -796. Suppose -5*m = 0, 3*q + k*q - 1275 = -5*m. Is q a multiple of 15?
True
Let k = 112 - 95. Suppose -12988 = -17*t - k*t. Is 46 a factor of t?
False
Suppose -2*l + 1618 = 3*f, -61*f + 60*f + 2441 = 3*l. Is 11 a factor of l?
False
Suppose 0 = 2*n - 4*m - 25408, 84*n - m - 12709 = 83*n. Does 13 divide n?
True
Let t(j) = 20*j + 1055. Does 21 divide t(5)?
True
Suppose -16*b + 3*b = 8*b + 42. Let w(k) be the second derivative of -7*k**5/20 - k**4/12 - k**3/3 - k**2/2 - k. Is w(b) a multiple of 10?
False
Let c(b) = 9310*b**2 + 1. Let w be c(-1). Suppose -27*g + w = -5701. Is 6 a factor of g?
False
Suppose 23*a - 78*a = 6*a - 206668. Does 14 divide a?
True
Let c(j) = 4*j**2 - 10*j + 10. Let t be c(6). Does 19 divide t - ((-8)/12 + (-2)/6)?
True
Let v(u) = 4*u + 7*u**2 + 4*u + 4*u - 11 - u. Let n be v(4). Suppose n - 4 = p. Does 21 divide p?
False
Let d(x) = -x**2 + 24*x - 33. Let c = -9 - -13. Let i be (-609)/(-49) - 1 - c/(-7). Is d(i) a multiple of 37?
True
Let p = -135 + 137. Suppose -15 = a + 4*a, -z + 77 = -p*a. Does 18 divide z?
False
Let t(y) be the second derivative of 5*y**4/12 - 28*y**3/3