l + 14. Suppose -3*d - 44 = -2*f, 5*d = -2*f + 6*f - 76. Let o be n(d). Is 25 a factor of o/10 - 12/20?
True
Suppose 5*s + 0 - 10 = 0. Suppose 2*f - 2 = -l, -f + 2*l - s = 4*l. Suppose -f*i - 4 + 14 = 0. Is i a multiple of 3?
False
Suppose -6 = 2*k - 444. Is 78 a factor of k?
False
Suppose -8*x = -2*x - 6. Suppose v + o = 2, -4*v - 2*o + 18 = -0*v. Suppose c = v + x. Is c a multiple of 3?
False
Suppose -4*q - 2*a + 5080 = 0, -3*q + 5*a = -759 - 3025. Is q a multiple of 39?
False
Let h = -23 + 35. Let p be (-10)/(-4)*h/15. Suppose z = -2*d - p*z + 142, -4*d + 316 = -2*z. Is 31 a factor of d?
False
Suppose 2*r = -3*i + 2342 - 686, -3*r + 552 = i. Does 24 divide i?
True
Let a(i) = -i**3 + 8*i**2 - 6*i - 2. Let w be a(5). Let y = -40 + w. Does 3 divide y?
True
Let w = -90 + 309. Is w a multiple of 4?
False
Let l(r) be the second derivative of -r**5/20 + 7*r**4/6 - 2*r**3 + 8*r**2 + r. Let q = -25 - -38. Is 13 a factor of l(q)?
False
Let n = -417 - -681. Is 40 a factor of n?
False
Let g(i) = -2*i + 1. Let f be g(-2). Suppose 0*t + w + 128 = 2*t, f*w = 4*t - 262. Does 11 divide t?
False
Let p(w) = -10*w**3 - 5*w**2 - w + 7. Is 3 a factor of p(-3)?
False
Let n(o) = 132*o + 19. Let f(a) = 66*a + 9. Let d(y) = 13*f(y) - 6*n(y). Does 23 divide d(1)?
True
Let q(v) be the second derivative of -11*v**3/3 + 2*v**2 - 4*v. Does 19 divide q(-5)?
True
Let w = 861 + -551. Is 31 a factor of w?
True
Let g(y) = -5*y - 5. Let u be g(-5). Suppose 0 = -5*x + x + u. Suppose 3*f - 5 = -h + 12, 0 = -x*f + 4*h. Is f a multiple of 3?
False
Suppose 5*x - 1103 + 83 = 0. Does 34 divide x?
True
Let h = -497 - -290. Is 13 a factor of (-2)/(-4) + h/(-2)?
True
Let r(j) = 2*j**2 - 5*j + 16. Let q = -76 + 82. Is 13 a factor of r(q)?
False
Let d = 2874 - 1851. Does 31 divide d?
True
Suppose 52*w - 57*w = -2240. Does 24 divide w?
False
Suppose 0 = 14*w - 9*w - 2625. Suppose 8*f = 3*f + w. Does 21 divide f?
True
Let m(r) = -63*r - 2. Does 18 divide m(-12)?
False
Is 26 a factor of 33*(1 - 60/(-4))?
False
Let x = -21 - -26. Let w(f) = 24*f - 1. Does 17 divide w(x)?
True
Let y(d) = -10*d - 380. Does 5 divide y(-63)?
True
Let p be ((-15)/9)/((-2)/(-42)). Let o be ((-6)/(-2))/(3/(-20)). Let q = o - p. Does 15 divide q?
True
Let q(m) be the first derivative of 2/3*m**3 + 1/2*m**2 - 2*m + 5. Does 2 divide q(-2)?
True
Suppose -2*s - 2345 = -3*f, 4*f - 3040 = 5*s + 89. Does 28 divide f?
False
Let k be (-1)/(-2)*(12 + -2). Let n(x) = -11*x - 21. Let h be n(-14). Suppose k*o - 4*b = h, -o + 33 - 4 = -2*b. Is o a multiple of 25?
True
Let n(i) = 3*i + 59. Let b be n(-18). Let q(s) = 2*s**3 - 7*s**2 + 4*s + 4. Is 9 a factor of q(b)?
True
Suppose 3*o - 8 = 4*g, -o + 3*g = 2*g - 2. Suppose -u = -s - 3*s + 20, o = 2*s + 2*u. Let r(m) = m**3 - 4*m**2 + 4*m - 10. Does 2 divide r(s)?
True
Let z(b) = 51*b + 1. Let l be z(3). Let y(d) = -d**3 + 7*d**2 + 6*d + 16. Let p be y(8). Suppose p = 5*v - 25, 2*o + 5*v - l = -o. Is 15 a factor of o?
False
Let z be -1 + (-3 + 4)/(2/90). Suppose -10*t + 12*t - z = 0. Is t a multiple of 2?
True
Let g(y) = 8*y - 2. Let m be g(2). Let r = m - 10. Is 13 a factor of 1/(r*(-4)/(-928))?
False
Suppose 5*x - s = -23, x + x + 4*s = -18. Let o(w) = 2 - 3*w + 1 - 4*w + 4. Is 21 a factor of o(x)?
True
Let c be -3 + 5 + (-2)/1. Suppose -l - 5*m + 5 = 0, 0 = -c*m + m + 1. Does 6 divide l?
False
Let j(k) = -3*k**2 + 7*k + 48. Let l(a) = a**2 - 2*a - 16. Let v be (6/10)/(1/10). Let y(o) = v*j(o) + 17*l(o). Does 16 divide y(8)?
True
Suppose 2*y - 2*p = 532, y - 105 = 2*p + 157. Is y a multiple of 30?
True
Let g(y) = y + 13. Let h be g(-11). Suppose 0*s - 3*s = 0. Suppose -h*d + 52 = -s*d. Is d a multiple of 13?
True
Let v(u) = u**3 - 8*u**2 + 4*u + 4. Let k be v(5). Let j = 172 + k. Does 13 divide j?
False
Let f be 14/1*(-63)/18. Let t = 213 + f. Is t a multiple of 33?
False
Suppose 348 = 2*o + 24. Is o a multiple of 12?
False
Suppose -g + 3 = -2*g. Let i = 31 + g. Suppose 3*t - 53 = i. Is t a multiple of 9?
True
Suppose 7*v - 53 = 10. Suppose 10*s = 2*z + 5*s - v, -39 = -3*z - s. Does 2 divide z?
True
Let b(d) = -50*d - 7. Let h be b(-3). Suppose 7*f - h = 67. Is 7 a factor of f?
False
Let b = 336 - 132. Is 12 a factor of b?
True
Let x be (2 + -3)/((-2)/(-22)). Let m(y) = 24*y**2 - 3*y - 8. Let f(g) = 8*g**2 - g - 3. Let t(n) = x*f(n) + 4*m(n). Is t(-3) a multiple of 15?
False
Suppose -3*o + h + 0*h = -1317, -889 = -2*o - 3*h. Is o a multiple of 20?
True
Let b(a) = 4*a - a**2 - 3*a + 2 + 4*a + 4*a. Let j be b(9). Suppose -136 = -5*d - i, d + 2*i = j*d - 25. Is 11 a factor of d?
False
Let o be 10/65 - 250/(-65). Suppose -10 = 4*l + 2, -49 = -o*b - 5*l. Is b a multiple of 16?
True
Suppose -2*a - 1006 = -6*i + 2*i, -i - a + 256 = 0. Let o = i + -156. Is o a multiple of 28?
False
Suppose 0 = 3*k - 2*k - j - 21, 0 = -5*k - 3*j + 113. Suppose -5*r - b = -96, 5*b + k + 38 = 2*r. Does 4 divide r?
True
Let r = -53 + 62. Is 518/10 - r/(-45) a multiple of 28?
False
Let j(t) = 3*t**3 - 33*t**2 - 18*t + 28. Does 38 divide j(12)?
False
Is 25 a factor of (-2853 + -3 + 6)/(-1)?
True
Suppose 3*r - 5*o = -6*o + 1146, 3*r = 4*o + 1131. Is r a multiple of 8?
False
Suppose 0 = 44*z - 5403 + 1575. Is z a multiple of 3?
True
Let n = 369 + 415. Is 10 a factor of n?
False
Does 6 divide (108/(-30))/((-18)/600)?
True
Is 30/150 + 1364/5 a multiple of 9?
False
Suppose 4*r - u - 9 = 0, -5*r - 2*u + 6 = -r. Let k(g) = g**2 - r*g + 0*g**2 + 0 - 3 - g. Is k(6) a multiple of 13?
False
Let n = -96 + 62. Suppose -176 = -4*m + 60. Let y = m + n. Is y a multiple of 12?
False
Let i = 1784 - 1226. Does 18 divide i?
True
Let v = -59 + 85. Let m = 50 - v. Does 6 divide m?
True
Let f(u) be the first derivative of u**2/2 - 12*u + 3. Let g be f(10). Does 18 divide 204/g*(-2)/3?
False
Suppose -2*q = -2*n + 4*n - 18, 3*n + 5 = 5*q. Let r be 0 - (4 - (n + -3)). Is 12 a factor of (1 - 146/4)*r?
False
Let d(r) = -8*r**3 - 9*r - 6. Let b(q) = -17*q**3 - 19*q - 13. Let n(t) = -6*b(t) + 13*d(t). Is 21 a factor of n(-3)?
True
Let l(f) = -44*f**2 + 8*f + 8. Let d(b) = 44*b**2 - 7*b - 7. Let r(y) = 7*d(y) + 6*l(y). Let j be r(2). Suppose -j = -5*a - 68. Is a a multiple of 7?
True
Suppose 108*n - 111*n = -1368. Is n a multiple of 38?
True
Let q be -2 + 1 + -1 + -7. Let n be 200/15 + (-4)/12. Let g = n + q. Does 3 divide g?
False
Let v = -382 - -732. Is v a multiple of 25?
True
Does 61 divide (-42)/(-14) + 2263 + 0 + 1?
False
Let u(a) = -21*a - 5. Let t be u(3). Is t/(-3) - 36/54 a multiple of 5?
False
Let q(c) = 11*c**3 - c**2 + 6*c + 1. Let g be q(2). Let p = -62 + g. Does 7 divide p?
True
Suppose -2*q - q = 0. Suppose q = 3*s - 2 - 19. Let t = -4 + s. Is t a multiple of 3?
True
Let k be (-18 - -23) + -2*1. Suppose s = 4*r - 814, s + 265 = k*r - 345. Is 13 a factor of r?
False
Let j(q) = 31*q + 140. Is j(15) a multiple of 14?
False
Let z(w) = w**2 - 8*w + 9. Let r(h) = h + 2. Let f be r(2). Let j be z(f). Is 9 a factor of (-59 - j)/(-3 + 2)?
False
Suppose 0 = 7*d - 442 - 6593. Is d a multiple of 54?
False
Let b(u) = u**2 - 7*u + 8. Let g be b(6). Suppose 0 = 2*n + g*n - 12. Suppose -n*c = -51 - 36. Is 5 a factor of c?
False
Suppose -36 = 2*t + t. Let w(g) = g**2 + 10*g - 7. Let j be w(t). Suppose 0 = -2*s + 11 + j. Is 3 a factor of s?
False
Let o(u) = 10*u**3 + 11*u**2 + 9*u - 35. Does 7 divide o(4)?
False
Let i be 6/4*64/(-6). Let a(q) be the first derivative of q**2/2 + 47*q + 52. Is 8 a factor of a(i)?
False
Let l = 24 + -27. Let q(h) = -5*h - 5. Does 10 divide q(l)?
True
Let m(z) = -7*z**2 + 33*z + 14. Let c(o) = -3*o**2 + 16*o + 7. Let v(l) = -9*c(l) + 4*m(l). Let f be v(-11). Let q(h) = 2*h**2 + 6*h - 4. Does 13 divide q(f)?
True
Suppose -3822 = 1323*g - 1330*g. Is 7 a factor of g?
True
Suppose -6*q + 340 = -q. Let l = -35 + q. Is 7 a factor of -4*(l/(-12) + 0)?
False
Suppose 2*d = -10*d + 912. Let w = 64 + d. Is 11 a factor of w?
False
Is 19/(-228) - (-6050)/24 a multiple of 11?
False
Let w = 422 - -194. Is w a multiple of 14?
True
Let d(x) be the first derivative of x**3/3 - 2. Let u be d(2). Suppose 4*p + 0*p = 5*q + 182, 0 = -u*p + 4*q + 184. Does 15 divide p?
False
Let o be 106/10 + 10/25. Suppose -o*y = -5*y - 420. Is y a multiple of 35?
True
Does 6 divide -30*(362/(-40) + 22/88)?
True
Suppose 2122 = 39*r - 28376. Is 23 a 