 - 2. Let r be b(1). Let s(n) = 36*n + 2. Let x be s(r). Suppose -3*g + l + 0*l = -130, -x = -3*g + 5*l. Does 21 divide g?
True
Let f(z) = 39*z**3 + 2*z**2 + 17*z - 44. Is f(3) a multiple of 8?
False
Let c(a) be the second derivative of -2*a**2 + 1/20*a**5 + 5/6*a**3 + 0 - 3*a - 1/3*a**4. Is c(4) a multiple of 11?
False
Suppose -8*f + 80 = -3*f. Let c = 10 + f. Is c a multiple of 21?
False
Let c be 5/(-10) - (-3 + (-429)/6). Let z = c - -105. Is z a multiple of 9?
False
Let d be (325/(-75))/((-1)/3). Suppose -19*r = -d*r - 540. Does 15 divide r?
True
Suppose 0 = -4*o + 8, -5*y + 2*o = -2546. Is y a multiple of 12?
False
Let o(l) = l + 17. Let x be o(-14). Suppose 1 - 2 = 5*n - x*w, -12 = 4*w. Let q(y) = -y**3 - 4*y - 3. Is q(n) a multiple of 13?
True
Suppose -2*q + 4*q + 2*b = 0, 15 = 5*b. Let u be ((-16)/(-4) - 13) + q. Let d(w) = w**2 + 12*w + 13. Does 4 divide d(u)?
False
Let z(u) = 9*u**3 - 13*u**2 + 24*u + 34. Is 12 a factor of z(7)?
True
Let u(o) be the second derivative of o**5/20 - o**4/3 - o**3/6 - 2*o**2 - 15*o. Is u(6) a multiple of 31?
True
Let f(w) = -w**3 + 7*w**2 + 12*w. Is 4 a factor of f(8)?
True
Suppose 3*x - 2658 = -4*s, 2*x = 3*s - 7*s + 2656. Is s a multiple of 51?
True
Suppose 5*r - 78 + 38 = 0. Is r even?
True
Suppose 0 = 4*n - 2*l + 8, 4*l - 12 = -3*n + l. Is 6 a factor of 1/2*n + 40?
False
Let c(u) = -u**3 + 32*u**2 - 36*u - 103. Is c(30) a multiple of 12?
False
Let n(a) = a - 4. Let u be n(9). Does 6 divide 283/5 - 2*u/(-25)?
False
Let y(n) be the first derivative of -5*n - 14*n**2 + 7 + 0*n + 6*n + 1. Is y(-1) a multiple of 8?
False
Suppose -2*z - 8 = 2*f + 10, 3*z = -2*f - 31. Let m = z - -10. Let y(t) = 2*t**2 - 3*t - 5. Is 6 a factor of y(m)?
False
Suppose 28 = -4*z + 4*i, -2*i + 0*i = 2*z + 2. Let x = z + 25. Is x a multiple of 3?
True
Suppose 4*n + 5*g = 109, -10*n + 13*n - 5*g = 108. Does 4 divide n?
False
Is (0 + 64/(-12))*1944/(-16) a multiple of 12?
True
Suppose 15*c - 12250 = -10*c. Is 31 a factor of c?
False
Let l = -635 + 1589. Is 18 a factor of l?
True
Let m = 36 + -32. Suppose m*t + 370 = 9*t. Does 19 divide t?
False
Let g(k) = 2*k**2 - 18*k - 21. Let n be g(15). Suppose 2*z - n = 3*d, -2*d - 143 = -2*z + 19. Is 21 a factor of z?
True
Suppose l - 5*r = 23, 3*l + 3*r - 61 = 8. Let q be 1/4*0 - 0. Suppose p + q*p = l. Is p a multiple of 6?
False
Let a be 4*(-1 + 3 - 1). Suppose -a*b = -4*t + 24, 5*t - b = b + 39. Is t a multiple of 4?
False
Suppose -5*j + 0 = -20. Suppose 4*m + j + 4 = 0. Is 20 a factor of (-9)/m*(-160)/(-12)?
True
Suppose 8 + 6 = 7*d. Suppose d*n + 8 = 64. Is 4 a factor of n?
True
Suppose 2*p - 459 - 31 = -s, -4*s + 4*p + 1912 = 0. Is s a multiple of 51?
False
Is 45 a factor of (-14)/((-140)/(-1650))*-3*1?
True
Let m(w) = 3*w**3 - w**2 - 14*w + 10. Is m(5) a multiple of 7?
False
Let s = -73 + 78. Suppose 395 + 595 = s*n. Is 33 a factor of n?
True
Let t = -270 - -137. Let q = t + 244. Is 29 a factor of q?
False
Let k(b) = -b**2 - 28*b + 8. Does 29 divide k(-23)?
False
Let o(z) = z**2 - 13*z - 9. Let h be o(14). Suppose 0 = -3*r + t + 698, -4*r - h*t = -404 - 552. Is 31 a factor of r?
False
Let p = -38 + 41. Suppose -z = -3*q + 17, -4*z + 2*z + 20 = p*q. Does 6 divide q?
True
Suppose h + 224 = t, -t - 897 = -5*t + 3*h. Does 9 divide t?
True
Let w be 6/(-21) + (-284)/(-14). Suppose -7*y = -2*y. Is 10 a factor of w/8*(8 + y)?
True
Let c be 30/(-12)*8/(-5). Suppose -2*x - c*x = -624. Does 13 divide x?
True
Suppose -4*u + g = u - 14, -5*g = 3*u + 14. Suppose -5*z - 15 + 115 = 4*x, 2*x = u*z - 58. Is z a multiple of 14?
False
Suppose -c + 21 = 4*x + 2*c, -2*x - 3 = -3*c. Suppose 5*b - 5 = 0, 1 = -n - x*b + 4*b. Suppose n*g + 7*g = 63. Does 8 divide g?
False
Let h(z) = -z**2 - 13*z + 608. Is 19 a factor of h(0)?
True
Is 8 a factor of 15/(-5) - -28 - 3?
False
Let u = -22 - -30. Suppose u = 3*l - 7. Suppose 4*c - 79 = l*k, 0 = c - 0*k + 5*k - 1. Does 12 divide c?
False
Let u(c) be the first derivative of 2*c**3/3 + c**2/2 - 9*c + 11. Is u(-5) a multiple of 18?
True
Suppose -23 = -3*p + 13. Let o = p - 8. Suppose 3*k - 93 = -c + 208, -o*k + c = -406. Is 16 a factor of k?
False
Is 44 a factor of (1 - (-347)/5)/(13/65)?
True
Let h(u) = 2*u + 50. Let r be h(-24). Suppose r*y - 5*y = -5*s + 599, -5*s = 2*y - 609. Is s a multiple of 16?
False
Suppose 38 = 5*g + 4*s, 3*g - 24 = -2*s - s. Suppose 0 = -g*o + 2*o + 132. Suppose 2*h - 35 - o = 0. Is h a multiple of 17?
True
Let y be ((-8)/10)/(4/(-590)). Does 20 divide y + -6 - 4/2?
False
Let t(n) = -n**3 + 6*n**2 + 12*n + 2. Let y be t(6). Let x = y + -68. Is 4 a factor of x?
False
Let o(w) = -3*w - 7. Let n be o(-9). Does 19 divide (2/n*5)/(2/408)?
False
Let g(p) = -p**3 - 7*p**2 + 9*p + 6. Let v be g(-8). Suppose -5*o - 30 = -3*o. Is 3 a factor of ((-8)/(-12))/(v/o)?
False
Let o(k) = -3*k + 2. Let s be o(6). Is ((-3)/(-12) - 4)/(6/s) a multiple of 10?
True
Let m(c) = c**2 + 13*c. Let a be m(-13). Suppose a*j + 180 = 5*j. Is j a multiple of 4?
True
Does 36 divide (-242)/(-1) - (0 + -9 - -10)?
False
Let v = 150 - 82. Suppose -5*l = -9*l + v. Suppose s - 5*j = -3*s + 10, -l = -3*s - j. Does 5 divide s?
True
Let s = -21 - -21. Suppose s = 3*c - 76 - 149. Does 20 divide c?
False
Let l be (1 - -3)/(-1)*2413/(-38). Suppose 2*c = -2*c - 5*d + 239, 4*c + 2*d - l = 0. Is c a multiple of 7?
False
Suppose 2*x - 375 = -5*n + 30, -3*x - 181 = -2*n. Does 9 divide n?
False
Suppose -992*v + 984*v + 17304 = 0. Does 7 divide v?
True
Suppose -4*z - 4*k = 0, -2*z + 0*k = 3*k. Suppose -u - 22 + 34 = z. Is 2 a factor of u?
True
Suppose 0 = -5*k + 10 - 0. Let t be ((-3)/k)/((-7)/28). Suppose 5*c + 58 = t*c. Does 18 divide c?
False
Suppose -5*d - 8 = -3. Let a be -2 + (-2 - 0) - d. Does 12 divide (-1010)/(-15) + (-2)/a?
False
Let c be (6*-1)/(5 + (-469)/91). Let a = c + 104. Is a a multiple of 14?
False
Let d = 8515 - 2147. Is d a multiple of 16?
True
Let y(q) = -3*q + 9 - q - 6 + 8. Is y(-5) a multiple of 18?
False
Suppose 3*a = -84 + 12. Let y = a - -29. Suppose 0 = -y*h + 4*g + 312, g = -3*h - 3*g + 168. Is 15 a factor of h?
True
Let k(l) = l**2 + 13*l + 14. Let i be k(-12). Suppose 86 = i*o - 114. Suppose 3*n - o - 86 = 0. Is 18 a factor of n?
False
Let n(b) = b**2 - 6*b - 34. Suppose 0 = -4*t + 9*t + 25. Is 3 a factor of n(t)?
True
Is 17 a factor of ((-15)/(-10))/((-36)/(-24216))?
False
Let t = 1528 + -426. Is 29 a factor of t?
True
Suppose 2*g = -5*n + 2336, -1481 = -3*g - n + 1997. Is 25 a factor of g?
False
Does 12 divide ((-455)/21)/(1/72*-1)?
True
Let t(k) = 5*k**2 - 2*k - 16. Suppose 5*u - 1 = 4*u. Let p(d) = -d**2 - d + 1. Let c(h) = u*t(h) + 4*p(h). Is 7 a factor of c(9)?
False
Let z(f) = 86*f**2 - 3*f - 4. Is z(3) a multiple of 20?
False
Let h(o) be the second derivative of 19*o**3/3 + o**2/2 + 22*o. Is h(1) a multiple of 13?
True
Let f(x) = 479*x + x**3 - 5*x**2 + 0*x**2 - 479*x + 9. Is f(7) a multiple of 10?
False
Let y(g) = 7*g**3 + 11*g**2 - 2*g - 4. Let r(h) = -20*h**3 - 32*h**2 + 6*h + 12. Let v(u) = 6*r(u) + 17*y(u). Suppose 0 = -31*s + 49 - 235. Does 7 divide v(s)?
True
Let f = 90 + -67. Does 3 divide f?
False
Let u(x) = 3 - 3 - 1 - x. Let m be u(3). Does 5 divide (m + 1)*-7 + -2?
False
Let a = -308 + 129. Let k = 295 + a. Is 18 a factor of k?
False
Let q(b) = -21*b**3 - 3*b**2 + 3. Let n be q(-3). Suppose -381 = -6*h + n. Does 15 divide h?
False
Suppose -2*v = -4*o - 66, 3*o = 4*v + v - 144. Suppose -4*f = -3*d - 44 - 92, 3*d - 5*f = -140. Let p = v - d. Does 18 divide p?
False
Suppose -11*l + 3359 = -205. Is 12 a factor of l?
True
Let n(h) = 8*h**2 - 65*h + 56. Is 73 a factor of n(25)?
True
Let i = -56 + 61. Is ((-12)/i)/(15/(-675)) a multiple of 27?
True
Let z be (-54 - 30)*(-1)/3. Let a = z - -70. Does 14 divide a?
True
Let x = -390 + 559. Let g = x - 101. Is 9 a factor of g?
False
Let c be ((-114)/3 - -1)*-1. Let x = 37 - c. Suppose -4*o - 186 = -3*d, -248 = -4*d - x*o + o. Is 31 a factor of d?
True
Suppose -2*r + 230 + 194 = 0. Suppose -3*j + 7 = -r. Suppose -2*y + j = -35. Is 19 a factor of y?
False
Let j(h) = -78*h - 621. Let y be j(-8). Suppose f = 4*l - 0*f - 5, 5*f + 25 = 0. Suppose -7*u + y*u + 152 = l. Is u a multiple of 9?
False
Suppose 3990 - 1089 = 2*a + c, -c + 1 = 0. Is 7 a factor of a?
False
Let p = -22 + 30. Suppose p*u - 104 = 4*u. 