 Is 18 a factor of a?
True
Suppose -4*w = -w - 9. Suppose -3*c + w = -60. Does 12 divide c?
False
Let y(l) = 4*l**2 + 9*l + 2. Let j be y(-6). Suppose 2*f - j + 14 = 0. Suppose -f = -g - 2*g. Is g a multiple of 5?
False
Let k = -109 - -603. Is 17 a factor of k?
False
Suppose -5*m - 5*i + 20 = 0, 2*i - 5*i - 4 = -m. Suppose -4*r - 28 = -m. Does 3 divide r/5*(-1 + -4)?
True
Let j(r) = 26*r - 3. Does 51 divide j(6)?
True
Let c = -11 - -29. Let i be 2/(-3*(-4)/c). Suppose -2*g - i*u = 2*u - 50, 2*g + 3*u - 50 = 0. Does 9 divide g?
False
Let s(j) = 5*j - 3. Let b be s(2). Let t = -5 + b. Suppose 6*p = t*p + 2*o + 34, 3*p = 4*o + 18. Is p a multiple of 7?
False
Suppose -f - 1 = -3*b, 0*b - 4 = 4*f - 4*b. Let z be f*(-2)/6*-3. Is 15 a factor of 28 - -2*(0 - z)?
True
Let p be (-4)/(-14) - (-5)/7. Suppose 0 = 2*l, y + p = l + 7. Is 20 a factor of (100/12)/(1/y)?
False
Let f(y) = 6*y - 5. Let l be f(7). Suppose o + 1 = -2*p, 3*o + 2*p - l = 4*p. Suppose -4*w + 4 = 0, -3*s + 2*w + o = -58. Is s a multiple of 12?
False
Let y(b) = -b**3 + 4*b**2 + 4*b + 2. Suppose 3*k + 2*f = 22, -2*f - 2*f = 5*k - 40. Does 14 divide y(k)?
False
Let m = -4 + 6. Let o = 9 + -4. Suppose -m*j + 3*k + 40 = 3*j, 25 = -o*k. Is j a multiple of 2?
False
Let m(d) = -d**2 - 5*d + 9. Let w be m(-7). Let y be ((-4)/w)/(3/15). Is 17 a factor of 2/y - 130/(-4)?
False
Let o = 104 + -59. Is 7 a factor of o?
False
Let d(w) = -w**2 + 3*w - 2. Let g be d(3). Let r = g + 9. Is r a multiple of 6?
False
Let n(r) = -r**2 - 5*r. Let d be n(4). Does 4 divide (0 + -15)*d/60?
False
Let a = 19 - 1. Let g = 65 + a. Does 24 divide g?
False
Let b(i) = i**2 - 5*i. Suppose -5*q = -3*q + 8. Is 12 a factor of b(q)?
True
Let p(x) = x**3 - 9*x**2 - 5*x - 4. Is 20 a factor of p(10)?
False
Let w = -9 + 12. Suppose 2*r - w*r + 29 = 0. Is 29 a factor of r?
True
Suppose 0*q + 2*q = 8. Suppose -q*o - 20 = -240. Does 18 divide o?
False
Let i = 438 - 280. Is 34 a factor of i?
False
Let v(w) = w**2 + 6*w + 1. Let n be v(-6). Let z = n - 4. Is 2*1 - (-6 - z) a multiple of 3?
False
Suppose 9 = y - 29. Is y - (2 - (6 + -2)) a multiple of 20?
True
Let h be 1*-1*1 + 42. Let b(j) = j**2 - j + 2. Let f be b(-7). Let z = f - h. Does 17 divide z?
True
Let h = 7 - 9. Let r be h/(-7) - (-4)/(-14). Suppose r*f = -f + 27. Is f a multiple of 10?
False
Let z be (0 - -70)*2/4. Let d be ((1*-65)/1)/(-1). Let y = d - z. Is 14 a factor of y?
False
Let d(q) = -q**2 - 14*q + 7. Let w be d(-11). Suppose -u + 12 = -w. Is 26 a factor of u?
True
Suppose 2*d = f - 14, -4*d = -4*f + 15 + 25. Does 4 divide f?
False
Let j(q) = q**3 - 8*q**2 + 5*q + 6. Is j(8) a multiple of 8?
False
Suppose 0 = -v - 2*v. Suppose v = -z + d + 10, 0 = -z - 3*d + 5*d + 11. Does 3 divide z?
True
Let p = -1 - -2. Let s = p - 1. Suppose q - 18 - 6 = s. Is 12 a factor of q?
True
Let q = -17 - -38. Does 7 divide q?
True
Suppose 0 = -5*d + 5*o + 545, d - 98 = -3*o + 7. Suppose -s + 3*s - n - 46 = 0, 0 = -5*s - n + d. Is 11 a factor of s?
True
Suppose 10*r - 8*r = 0. Let g(h) be the first derivative of -h**3/3 + 20*h - 1. Is g(r) a multiple of 17?
False
Suppose -2*f + 3*k + 172 + 64 = 0, -5*f - 5*k = -565. Is f/3 + 6/(-18) a multiple of 15?
False
Suppose a + 4 = 2, -5*v - 2*a = -221. Does 15 divide v?
True
Does 33 divide 6872/52 - 4/26?
True
Let n be (3 - 3)*1/3. Let j = n + 0. Suppose j*w + 4*t + 28 = 4*w, w = -t + 9. Does 3 divide w?
False
Let y = 38 - 31. Does 2 divide y?
False
Suppose 0 = 3*j - 3 - 18. Suppose 0 = b + 4*g + 9, -4 = b + g - j. Is b a multiple of 7?
True
Suppose 2 = x - 0. Suppose -5*y + 20 = 5*g, 0 = 3*g - g + x. Suppose -y*h - 30 = -4*c, 4*c - 4 = -4*h + 8. Is c a multiple of 2?
False
Let x be (0 - -8)/(-1 - -3). Suppose 5*m - 2*m + x*i = -10, 3*m - 2*i + 4 = 0. Is ((-1)/3)/(m/60) a multiple of 5?
True
Suppose 0*o + 4*o - 8 = 0. Is 6 a factor of ((-34)/(-5))/(o/5)?
False
Is 10 a factor of 0/(0 + 3) + 28?
False
Suppose 65 = i - 5*s, -2*i + 6*i + s - 365 = 0. Is 18 a factor of i?
True
Suppose -27 = -5*t - 2. Let x(c) = c - 2. Let z be x(t). Suppose 9 = -5*d + 2*o + 51, 0 = -z*d - o + 23. Is 4 a factor of d?
True
Let t = 1 + -1. Suppose t = 5*d - 4*m - 134, 16 = d - 3*m - 13. Is d a multiple of 13?
True
Let a = -40 + -16. Suppose -630 = -4*k - 194. Let n = k + a. Does 14 divide n?
False
Let n = 37 + -2. Is 9 a factor of n?
False
Let y(m) = m**2 + 2. Let s be y(0). Is 1/(-2)*(-232)/s a multiple of 21?
False
Suppose 36 = 2*j - 2*v, 2*v + 54 = 2*j + j. Does 5 divide j?
False
Let d(z) = -4*z**2 - 11*z + 4. Let t(l) = -l**2 - l. Let x(i) = d(i) - 6*t(i). Suppose m + 2*m - 20 = -4*f, 0 = 3*m. Does 13 divide x(f)?
False
Let q(f) = 5*f. Suppose 4 = 4*t - 4. Let h be q(t). Let u = 20 - h. Is 8 a factor of u?
False
Let u be (2 - 2) + 1 + 6. Is 12 a factor of (u + -1)*(-18)/(-4)?
False
Let l be (2 + -4)*-3*2. Let a be 21/l - 2/(-8). Suppose 0 = -a*d + 3*i + 41 + 10, -5*i + 165 = 5*d. Does 10 divide d?
True
Let d(t) = -18 + 18 + 31*t. Does 17 divide d(2)?
False
Let o(w) be the first derivative of -5*w**2/2 + w - 5. Does 4 divide o(-3)?
True
Suppose -7*m + m = -168. Let u = -1 + 4. Suppose -4*t + t = u*x - 54, -x - m = -t. Is t a multiple of 6?
False
Let y(v) = v**2 - 1. Does 13 divide y(-12)?
True
Suppose -260 = -a - 4*a. Suppose -k + 18 + a = 0. Let z = -28 + k. Is z a multiple of 14?
True
Is (-1 + 50/15)*(64 - 1) a multiple of 9?
False
Suppose 3*r = -2*r + 40. Let v(i) = 5*i - 10. Let t be v(r). Suppose -t = -3*h + 30. Is 20 a factor of h?
True
Let o = -253 - -370. Does 9 divide o?
True
Let v(s) = s**3 - 5*s**2 + 2*s + 5. Is v(8) a multiple of 20?
False
Let n be 2*(66/(-4))/3. Let p = -76 + 39. Let r = n - p. Is 13 a factor of r?
True
Let i(k) be the first derivative of 2*k**3/3 + 3*k**2 - 7*k - 1. Let m(a) = a**3 - 2*a - 2. Let x be m(-2). Does 9 divide i(x)?
False
Suppose -d + 102 = 5*d. Does 17 divide d?
True
Let x = -4 - -4. Let q(i) = 5*i - i + x*i - 7. Is 13 a factor of q(5)?
True
Let o = 7 - 5. Suppose 4*m - o + 26 = 0. Is 21 a factor of (m/7)/((-3)/147)?
True
Suppose w - 4*w - 2*c = 4, -4*w + 3*c + 6 = 0. Suppose w*g = 5*g - 120. Is 8 a factor of g?
True
Let r = 4 - 0. Let i be (46/r)/(3/6). Is 9 a factor of (1 - (i - -2))*-1?
False
Suppose 0 = 2*z + z + 3. Let u = 96 + z. Suppose 4*k - h = 96, 5*h + 0*h - u = -5*k. Is 19 a factor of k?
False
Suppose 0*d = -d + 2*t + 181, -184 = -d + t. Does 23 divide d?
False
Let i(y) = y**3 + y**2 + y + 19. Let o(j) = j - 14. Let x be o(14). Does 8 divide i(x)?
False
Let i be ((-15)/(-45))/((-2)/(-330)). Suppose -86 = -2*d - 4*n, n = -3*d + 4*n + 156. Suppose -i = -4*q + d. Is q a multiple of 25?
False
Suppose -5*b - 2*d - 486 = -8*b, 4*b - 641 = 5*d. Does 41 divide b?
True
Suppose 3*d + 3*m - 33 = 0, m + 0*m + 25 = 5*d. Is d a multiple of 3?
True
Let g(a) be the third derivative of 4*a**5/15 + a**3/6 - 7*a**2. Is 14 a factor of g(-2)?
False
Suppose -5*r - 5*r = -1320. Is r a multiple of 33?
True
Let v(s) = -s**2 + 16*s - 28. Does 9 divide v(9)?
False
Suppose -9*w = -4*w - 245. Is 13 a factor of w?
False
Let k(i) = -i**3 + 7*i**2 - 5*i + 1. Let j be k(6). Suppose 0 = -f - j + 25. Suppose 2*z - f - 2 = 0. Is z a multiple of 7?
False
Suppose 3*z - 4 = 2*a + z, -5*a = -z - 10. Suppose -w - a = 2*d, w + w + d - 3 = 0. Suppose 5*y = -4*o + 100, w*y = -5*o + o + 100. Is o a multiple of 7?
False
Suppose 7*u = 3*m + 4*u - 24, -2*m = -u - 13. Suppose -m = -5*j + 5. Suppose 40 = j*w + 4*f, 6*f = -w + 3*f + 17. Is w a multiple of 13?
True
Suppose -2*h + 34 = 2*p, 4*p - 2*p - h = 34. Is p a multiple of 13?
False
Let s(c) be the second derivative of -c**3/6 + c**2 + c. Does 4 divide s(-3)?
False
Let d(y) = -4*y + 2*y + 9*y. Does 3 divide d(1)?
False
Suppose 3*g - 5 = -2*o, 2*g - 4*o = -7*o. Suppose -2*f = -g*f + 4. Is (f - 7)/((-1)/8) a multiple of 11?
False
Let p = 69 + -47. Is p a multiple of 21?
False
Suppose -3*s - 3*z = -4*z - 127, 3*s - 4*z - 121 = 0. Suppose -4*n - 7 = -s. Is n a multiple of 9?
True
Suppose 0 = -3*t + 4*t + 3. Is 9 a factor of (7/t)/((-1)/9)?
False
Let h(x) = x. Let v be h(2). Suppose -2*b + 8 = -v. Is 7 a factor of (b/15)/((-1)/(-21))?
True
Suppose 4*z + 5*k = -z - 40, -4*z - 14 = -2*k. Is z/2*12/(-5) a multiple of 3?
True
Let b = -61 + 89. Let a be ((-1)/2)/((-1)/6). Suppose -a*n + n = -b. Is n a multiple