= -h*g, -5*f + 330 = -o*g + 2*g. Is 11 a factor of f?
True
Suppose 0 = -2*d - 8, -2*w + 3*d + 13 + 59 = 0. Suppose i + 2*i = -5*q - 10, 5*i - q = w. Suppose -4*f + f = i*v - 29, 0 = -2*v + f + 5. Is v a multiple of 2?
True
Let c(h) = -58*h + 1452. Does 2 divide c(-3)?
True
Let z(i) = i**3 - 12*i**2 + 24*i + 8. Let v be z(10). Suppose 4*l - v = 2*n, l = -l - 2*n + 36. Suppose -l*b + 162 = -2358. Is 15 a factor of b?
True
Let h(w) = 87*w + 10. Let k be h(-4). Let m = k - -490. Does 4 divide m?
True
Suppose 298*q = 537*q - 5924571. Is 262 a factor of q?
False
Suppose 5*m = -3*n + 30, -2*m + 26 = -0*n + 4*n. Suppose m*c = 8 - 8. Suppose c = -w - 4*v + 17 - 1, 0 = -3*w - 5*v + 62. Does 3 divide w?
True
Suppose -33*z = -21564 - 45360. Is 12 a factor of z?
True
Suppose 0*b + 255 = 5*b. Suppose -9*q + b = -30. Suppose q*x - 2*k - 742 = 6*x, 0 = 5*k - 20. Is 50 a factor of x?
True
Let d(r) = 24*r**3 + r**2 + r - 1. Suppose 3 = 4*q - 1. Let i be d(q). Suppose 298 = 3*u + i. Does 15 divide u?
False
Suppose 431*c - 2761346 = 216864. Does 31 divide c?
False
Let w(y) = -365*y - 310. Does 12 divide w(-4)?
False
Let s be (-2)/4*(-36 + 20). Let c(m) = 2*m**3 + 2*m**2 + 7*m - 8. Let k be c(s). Suppose -k = -10*p + 1350. Is p a multiple of 17?
True
Let y(t) = t**2 + 2*t + 2. Let z be y(-1). Let v be z*-3 + (-9)/((-3)/1). Suppose v = w + 2*w + d - 56, -3*w = -4*d - 76. Is 20 a factor of w?
True
Let z = 2489 + 166. Is 59 a factor of z?
True
Let u(f) = -11*f + 123 + 8*f + 84. Does 7 divide u(22)?
False
Let h be (-9*3)/(94/(-20) - -5). Let m = 88 + h. Is (1*m)/((-3205)/640 + 5) a multiple of 21?
False
Suppose 67 + 150 = 7*d. Suppose -u + d = -65. Is 24 a factor of u?
True
Let x(h) = -3*h**3 + h**2. Let w be x(-1). Suppose -5*d + w*d - 61 = -f, -12 = -4*d. Is 5 a factor of f?
False
Let w(p) = -p**2 + 20*p + 7384. Does 137 divide w(0)?
False
Let w(g) = -g**3 + 21*g**2 - 89*g - 19. Let y be w(15). Let a(s) = 40*s**2 + 16*s + 55. Is 8 a factor of a(y)?
False
Let d be -12*(98/21 + -5). Suppose 3*j - 3*w = 549, d*j - 3*j + w = 175. Is 13 a factor of j?
False
Suppose -29 - 11 = -8*b. Suppose -a - b*f + 88 = 0, 0 = -0*f + 4*f + 8. Does 3 divide a?
False
Let q(f) = -43*f + 28. Let c be q(-8). Suppose -c = -4*w + 2*s + 2*s, 4*s - 447 = -5*w. Is w a multiple of 38?
False
Suppose -10*h + 5*h = 0. Suppose h*w - 736 = -4*w. Is 12 a factor of -14*(4 - w/28)?
True
Suppose 98*m - 186296 = 69*m. Is m a multiple of 73?
True
Let v(o) = o + 6. Let f(z) = -z**3 - 7*z**2 - 11*z - 9. Let q be f(-5). Let y be v(q). Is 2 a factor of y*((-12)/(-3) - -1)?
True
Suppose 0 = -8*f + 4*f - 2*u + 14, -2*u = 10. Suppose 4*o - f*o = -8. Suppose o*x + 3*g - 14 = 246, 2*x - 3*g = 130. Does 7 divide x?
False
Suppose 52318 = 10*w + 15498. Suppose 18*m = 1106 + w. Is 38 a factor of m?
True
Suppose 0 = -0*l - 5*l - 15. Let n be (l - -13) + -2 + -4. Suppose n*q = 493 + 59. Does 23 divide q?
True
Suppose -11*h + 9*h + 8 = 0. Suppose -4*u - 12 = -4*p, 2*p + 0*p - 18 = -h*u. Is 29 a factor of u - (-21)/(-3) - -34?
True
Let w = 80 - 80. Suppose 11*r + 0*r - 11 = w. Is 31 + 0 + -7 - (3 + r) a multiple of 12?
False
Let v = -37 - -31. Let p be (-4)/(-4)*1 + (v - -9). Suppose -3*n - 4*l + 40 = 0, p*n + 3*l = 73 - 8. Does 5 divide n?
True
Let c = -278 - -271. Is (2 + 0)*162 + c a multiple of 42?
False
Let q = -16 + 38. Suppose q + 44 = -3*j. Let n = 18 - j. Is n a multiple of 6?
False
Suppose -3*s + s + 10 = 0. Suppose -3*j - 935 = 2*b, -61 + 1661 = -5*j + 5*b. Is ((-8)/s)/(7/j) a multiple of 13?
False
Suppose -139 = 38*i - 40*i - 5*q, 2*q + 2 = 0. Suppose -i*a - 1207 = -89*a. Does 7 divide a?
False
Let h(l) = -76*l - 1. Let i be h(-2). Let r(m) = 38*m - 15. Let j be r(8). Suppose -8*d + i + j = 0. Is d a multiple of 55?
True
Suppose -36*f = -10915 - 34805. Is 10 a factor of f?
True
Let w(v) = -v**3 - 4*v**2 + 2*v + 12. Let d be w(-4). Suppose d*x + 3*x - 2*x = 0. Is 30 a factor of -120*(x - 2/2)?
True
Let c be 21/12 - (-15012)/16. Suppose u - c = -3*t, 53*t - 57*t = 4*u - 1240. Is t a multiple of 11?
False
Suppose 328*b = 183*b + 2305210. Is 198 a factor of b?
False
Suppose -4*c + 2704 = -4*d, -c - 3*d + 7*d + 676 = 0. Let s be 8/(-20) + (-3)/5*c. Let i = s - -651. Is 37 a factor of i?
False
Suppose -5*k + 2*k + 15843 = -3012. Is 15 a factor of k?
True
Let i = -7697 - -12871. Is i a multiple of 13?
True
Let a(c) = -3*c**2 - 20*c - 14. Let s be a(-7). Is 8 a factor of ((-14)/s)/((-4)/(-1050))?
False
Let n = 61 - 64. Let l(w) = 57*w - 3. Let k be l(n). Let g = 249 + k. Is g a multiple of 9?
False
Let z(b) = 1 + 2 - 5*b**2 - b**3 + 2*b + 3*b. Let v = -413 - -407. Does 2 divide z(v)?
False
Suppose 0 = -2*l - 0*l - 3*m + 96, 2*l = -m + 96. Suppose l*z - 126 = 46*z. Let s = 2 + z. Does 10 divide s?
False
Suppose -7262 + 7766 = 6*t. Is 28 a factor of t?
True
Let u(g) = g**3 - 7*g**2 - 6*g - 14. Let r be u(8). Is 32 a factor of -4 + 9 - (-103)/1*r?
False
Let h(l) = l**3 - 15*l**2 + l - 12. Suppose -11*x = -7*x - 60. Let p be h(x). Suppose b - 44 = -p. Is b a multiple of 27?
False
Let w = 230 - 229. Is (1 - (1 + w))/(1/(-259)) a multiple of 37?
True
Let w(l) = -1458*l**2 + 57 - 20*l + 1459*l**2 - 8*l. Is w(30) a multiple of 17?
False
Suppose r + 4*p + 10 = 7*p, -4*r + 20 = 3*p. Suppose 0 = -4*m - 18 - r. Let z(v) = -8*v - 15. Is 12 a factor of z(m)?
False
Suppose -5*s + 24972 = -3*c, 9972 = 161*s - 159*s + 3*c. Does 39 divide s?
True
Let i = 461 - 425. Is 34 a factor of ((-66)/27)/(-11) - (-15904)/i?
True
Let h = 13121 + -6040. Is h a multiple of 4?
False
Let z = -5294 + 7611. Is z a multiple of 37?
False
Let h(k) = -k**3 - 21*k**2 + 33*k + 9. Let w be h(-24). Suppose 2*b = -5*b - w. Let a = b - -397. Is 56 a factor of a?
False
Let f(i) = -87 + 38 + 39 - 5*i. Let m be f(-4). Is m/(-3)*27/(-5) a multiple of 4?
False
Is 72 a factor of 9/6*-768*330/(-132)?
True
Let q be (-15005)/25 - 2/(-10). Let w = -383 - q. Is 10 a factor of w/3 + (-3)/9?
False
Suppose -2*d = -5*h - 7*d - 10, -2*h + 10 = -5*d. Does 63 divide (0 + 1)/(9/5670 + h)?
True
Let f(l) be the second derivative of 5*l**4/12 - 11*l**3/6 + 25*l**2/2 + l. Suppose 10*v + 21*v - 124 = 0. Is 18 a factor of f(v)?
False
Let f be 12*5/(10/7). Suppose -f*w + 16 = -40*w. Suppose 5*t = -w*h + 3*h + 170, t + 140 = 5*h. Is 29 a factor of h?
True
Suppose -4*t + 10787 = 3*f, -14383 = 24*f - 28*f - 5*t. Does 11 divide f?
True
Suppose 10 - 18 = 4*v. Let a(d) = d**3 - 2*d**2 - 2*d - 2. Let w be a(v). Let j = 61 - w. Does 25 divide j?
True
Suppose 0 = 28*j - 6*j - 42658. Suppose 0 = -4*h + 3*x + j, 0*x - 1456 = -3*h + 4*x. Is h a multiple of 22?
True
Let j(z) be the third derivative of -z**6/360 - 3*z**5/20 + z**4/2 + 5*z**3/2 - 13*z**2. Let a(g) be the first derivative of j(g). Does 17 divide a(-14)?
True
Let i(j) = 7 - 21 - 48 - 41 + 263*j + 11. Is i(4) a multiple of 16?
True
Let g(j) = 133 - 53 + 323 + 30*j - 36 + 43. Is 25 a factor of g(18)?
True
Let m = -75 + 270. Let g = -34 + m. Suppose 3*s - g = 52. Does 5 divide s?
False
Suppose -14*q = -0*q - 2*q. Does 4 divide ((0 + 150)/1)/2 - q?
False
Let s(a) be the first derivative of -a**4/2 - 4*a**3 + 2*a**2 - 26*a + 85. Is s(-8) a multiple of 29?
False
Suppose 0 = -89*o + 118*o - 194880. Is o a multiple of 10?
True
Let n be (12/(-15))/(2/965). Let z be ((-8)/(-1))/(8 - 10). Is 26 a factor of z/10*(-4 + n)?
True
Suppose -136*k - 71424 = -144*k. Is 16 a factor of k?
True
Let n(l) = 11*l**2 + 22*l - 759. Does 15 divide n(34)?
True
Let p be (-1 - 9/(-2))/((-9)/(-54)). Suppose -4*a = 3*a - p. Suppose -a*s + 431 = 4*x, 0 = -3*s - 5*x + 415 + 12. Is s a multiple of 21?
False
Is ((-1047)/(-2))/((-213)/(-284)) a multiple of 12?
False
Let l(j) = -62*j + 7 - 1 - 3. Suppose 10*s - 3 = -13. Is 19 a factor of l(s)?
False
Let w be 2 + -2 + 130 - 1. Let y(n) = -12*n + 51. Let r be y(-1). Let g = w - r. Is g a multiple of 11?
True
Suppose 190731 = 46*f - 56983 - 11174. Is 13 a factor of f?
False
Suppose -3*p - 3*q = -8943, 5*q - 48 = -53. Does 4 divide p?
False
Let r(t) = -4581*t + 3501. Does 7 divide r(-2)?
True
Is 47 a factor of 6*1/(-12)*-3378?
False
Let n(o) = -12*o + 93. Let c be n(8). Let s(j) = -14*j**3 - 4*j**2 - j + 19. Is s(c) a multiple of 14?
True
Let o = 363 - 358. Is 22 a factor of (-2992)/(2 - 6) - o?
False
Suppose 69 = 8*p + 29. Sup