 18, -3*r = g*i - 9. Does 7 divide r?
False
Let d = 45 - 21. Is 12 a factor of d?
True
Let u(j) = -2*j - 3. Let a be u(-2). Is 20 a factor of (8 - 11)*(-19)/a?
False
Suppose 4*d = 6*d - 56. Does 7 divide d?
True
Suppose 0*r + 4*r = 1460. Suppose 5*p + 4*n + 945 = -r, -262 = p - n. Does 19 divide 6/21 + p/(-14)?
True
Suppose 620 = 6*d - 2*d. Is d a multiple of 16?
False
Suppose f = 4*i - 0*f - 312, -3*f - 146 = -2*i. Let l = -36 + i. Is l a multiple of 27?
False
Let w(y) = -82*y - 8. Let o be w(-4). Suppose -3*d = 2*g - 128, g - d + o = 6*g. Is 15 a factor of g?
False
Suppose -630 = -11*u + 5*u. Is 11 a factor of u?
False
Suppose 73*s = 72*s + 17. Is s a multiple of 2?
False
Suppose -3*l + 4 = -8. Suppose -l*y + 1 = 9. Is (-5 + 7)/(y/(-7)) a multiple of 6?
False
Suppose 0*o - o + 20 = 0. Is o a multiple of 4?
True
Suppose 0 = -q + 3*q. Let w(o) = -o**2 + 2*o + 13. Does 2 divide w(q)?
False
Suppose 3*j + 3*g - 6 = 0, 3*g = 3*j + g - 1. Let v be j/(2/4*-1). Does 11 divide (-340)/(-16) + v/8?
False
Let y = 12 + 8. Is y a multiple of 5?
True
Suppose -d = x - 4*x - 2, 4*x - 72 = -4*d. Is d a multiple of 4?
False
Let s be (-77)/28 + 1/(-4). Let w be (-2 + 7)*(s - 0). Let n = -10 - w. Is n a multiple of 5?
True
Is 31/3 - (-2)/(-6) a multiple of 10?
True
Let l be -1 - 0 - 48/(-2). Suppose w - 3*i + 10 = 0, -3*i + 26 + 4 = 3*w. Suppose -2*p + l + 19 = 2*j, -w*p = 4*j - 106. Is 11 a factor of p?
True
Suppose 0 = -c + 4*c - 9. Suppose -p - 1 = p - c*y, 3*y = -3*p - 9. Is 12 a factor of 29 + 2 + p/2?
False
Suppose -h + 328 = 3*u, -4*h - 338 = -4*u + u. Is 19 a factor of u?
False
Let t(f) = -f - 4. Let j be t(6). Let d = 39 + j. Is 19 a factor of d?
False
Let y(w) be the second derivative of 19*w**4/12 + w**3/3 - w**2/2 + w. Is y(1) a multiple of 10?
True
Does 13 divide ((-114)/95)/((-6)/260)?
True
Let o(u) = -34*u + 2. Let v be (15/(-10))/((-9)/(-12)). Is 34 a factor of o(v)?
False
Let s = 0 - 0. Suppose 3*p + s*p = 132. Is p a multiple of 13?
False
Suppose -2*b - u + 4 = 2*b, 3*b + 2*u = -2. Suppose v - 6 = c + 17, b*c + 20 = v. Is v a multiple of 10?
False
Let k = 112 - 78. Does 16 divide k?
False
Suppose -3*r - 60 = -5*r. Is 6 a factor of r?
True
Let v(f) = 3*f**3 + f**2 - 4. Is 19 a factor of v(3)?
False
Suppose 0 = 4*m - 2*z - 100, 4*z - 100 = m - 5*m. Is 4 a factor of m?
False
Is 19 a factor of (1 + 2 + -117)/(-2)?
True
Let s(j) = -3*j**3 - 3*j**2 + 22. Let i(w) = -7*w**3 - 7*w**2 + 43. Let k be ((-4)/10)/(4/20). Let r(l) = k*i(l) + 5*s(l). Is r(0) a multiple of 10?
False
Suppose 0*o = -5*o + 15. Let h = o - -1. Suppose 9*x + 2*p - 20 = h*x, -14 = x + 4*p. Is x a multiple of 6?
True
Let g(n) be the first derivative of 7*n**3/3 - n + 3. Let c be g(1). Is 7 a factor of 38/c - (-8)/12?
True
Let z(u) = -2*u - 19. Suppose -40 = 4*i + 12. Is z(i) a multiple of 7?
True
Let m = 45 - 15. Is m a multiple of 10?
True
Let o(f) = f**3 - 6*f**2 + 3*f + 4. Let i be 5*-9*(-4)/30. Does 6 divide o(i)?
False
Suppose -3*k = 27 + 36. Is 4/(-14) - 636/k a multiple of 23?
False
Suppose -5*j + 1 = -4. Let m = 5 - j. Suppose 90 + 2 = m*z + 2*k, -3*z - 5*k + 62 = 0. Does 12 divide z?
True
Let h(x) = -x**3 + 8*x**2 - 3*x + 3. Is h(7) a multiple of 22?
False
Let o(d) be the second derivative of -d**7/840 - d**6/90 - d**5/120 - d**4/12 - d**3/2 - 2*d. Let l(c) be the second derivative of o(c). Does 16 divide l(-5)?
False
Let h = -5 + 11. Let u be (-454)/(-10) - h/15. Suppose -2*x + 6*x + 5*n = 15, -5*x - n = -u. Is x a multiple of 10?
True
Suppose 0*j = 3*j - 495. Is j a multiple of 15?
True
Suppose 0 = -2*u - 3*u + 360. Is u a multiple of 24?
True
Let s(v) = 2*v**2 + 8*v + 2. Let p be s(-6). Suppose -2*i = 3*o + 7, 2*i - 5*o - 15 = 7*i. Is (-1 - -4) + p + i a multiple of 10?
False
Let k(u) = -u**3 - 7*u**2 + 13*u. Suppose -2*i + 2 = 0, -2*j - i = 2*j + 35. Is 16 a factor of k(j)?
False
Let a = -7 + 5. Let r be (-8)/a*60/(-16). Does 15 divide (-1 - 2 - -1)*r?
True
Let w(f) be the first derivative of -f**5/120 - f**4/12 - f**3/3 - 1. Let n(z) be the third derivative of w(z). Is n(-6) a multiple of 2?
True
Suppose l = 1, -5*m - 3*l + 316 = -7*l. Is m a multiple of 6?
False
Suppose 30 = -u - 5*x, -5*u + x - 15 = -u. Suppose b - 6*b - s + 126 = 0, -3*s = 5*b - 118. Let m = u + b. Is 8 a factor of m?
False
Let n = -17 + 16. Is 6 a factor of (1/n)/((-8)/136)?
False
Let u(g) = 2*g**3. Let h be u(1). Let n be h + (-1)/(3/(-183)). Let t = -45 + n. Is 9 a factor of t?
True
Let b = -40 - -58. Is b a multiple of 5?
False
Let c = 37 - 4. Does 11 divide c?
True
Suppose 2*i + 50 + 22 = 4*n, 2*n = 4*i + 30. Suppose 3*v - 7*s + 2*s - n = 0, -3*v - 4*s = -55. Does 13 divide v?
True
Let t be (-60)/(-5) + 3/(-1). Let f = 11 - t. Is f a multiple of 2?
True
Is 22 a factor of -3 + 174 + 3/(-2)*2?
False
Suppose 119 = 3*p - 5*l, 2*l = 5*p + 4*l - 219. Suppose -3*f = -4*f - o + 6, -5*o + 22 = f. Suppose -2*n - 58 = -f*q, -q = q + 3*n - p. Does 11 divide q?
False
Let l = 5 + -9. Let p be l/14 - 37/(-7). Suppose 2*r - v - 19 = 0, p*r + 6*v = v + 85. Is 6 a factor of r?
True
Let g(q) = -q**2 + 3. Let j be g(0). Let r(x) = x**2 + 6*x + 8. Let i be r(-4). Suppose o + j*o - 28 = i. Is 7 a factor of o?
True
Let x = -7 + 13. Is x even?
True
Is (-144)/45*(-210)/4 a multiple of 21?
True
Let a(n) = n**2 - 4. Let u be a(-3). Suppose 0 = 3*q - 7 - u. Is q a multiple of 3?
False
Suppose 4*t + 80 = 8*t. Does 5 divide t?
True
Let l(u) = -3*u**3 + u - 1. Let b be 1 + (3 + -1)*2. Suppose 3 = -2*v - 2*r - 7, -3*r = b*v + 19. Is l(v) a multiple of 17?
False
Is 7 a factor of (-3 - -4)*-1*-7?
True
Suppose i - 3*o - 52 = -o, 3*o - 273 = -5*i. Does 8 divide i?
False
Let k be 4 - (130 - (-2 + 2)). Does 19 divide (k/(-12))/((-2)/(-12))?
False
Let j be 340/51*(-6)/(-4). Is 14 a factor of (j/4)/((-2)/(-12))?
False
Let s = 67 - 38. Suppose -5*w + 4*w + s = 3*h, 53 = 5*h - 3*w. Is 10 a factor of h?
True
Let i = 5 - 1. Let q(k) = -5*k**3 - 3*k**2 - 6*k + 3. Let p(h) = 11*h**3 + 6*h**2 + 12*h - 6. Let c(w) = -6*p(w) - 13*q(w). Is c(i) a multiple of 5?
True
Is (-12)/(((-6)/78)/((-3)/(-6))) a multiple of 21?
False
Suppose -3*t - l + 29 = 0, 0*l + l - 2 = 0. Is 8 a factor of t?
False
Let f(a) = -a**3 - 8*a**2 + 9*a + 1. Let t be f(-9). Is 6 a factor of t/(-1*(-1)/19)?
False
Suppose 5*l + 178 + 32 = 0. Does 9 divide (-1 - 2)*l/9?
False
Let d be 3*((-8)/3 - 0). Let h(v) = 5*v**2 - 14*v + 20. Let a(f) = 3*f**2 - 7*f + 10. Let y(r) = -7*a(r) + 4*h(r). Is 2 a factor of y(d)?
True
Let m(z) = -12*z**2 + 3*z. Let w be m(3). Let j = w + 54. Let k = 69 + j. Is 12 a factor of k?
True
Let f(n) = 3*n - 5. Let x be f(7). Suppose -4*c - 4 = x. Is (-2)/(-10) + (-44)/c a multiple of 4?
False
Let m be ((-18)/5)/(6/(-20)). Let f = 7 + -5. Suppose m = -f*u + 4*u. Is u even?
True
Let s = 91 - 46. Is s a multiple of 25?
False
Let a(h) = -h - 6. Let u be a(-5). Is 15 a factor of u + 23 + 1 + 1?
False
Suppose -3*k - k = 40. Let b = 1 - k. Let m = 22 - b. Does 7 divide m?
False
Suppose 10*a = 4*a + 474. Is 19 a factor of a?
False
Suppose 0 = 5*z - 2*z + 27. Let c = 20 + z. Is c a multiple of 3?
False
Let m be (-5 - -1)*(-14)/56. Is (-238)/(-8) + m/4 a multiple of 10?
True
Let p = 78 + -71. Let y(r) be the third derivative of -r**6/120 + 2*r**5/15 - r**4/12 - 5*r**3/6 - r**2. Does 22 divide y(p)?
False
Let w be 27/5 - (-8)/(-20). Suppose 3*s = -0*q - 3*q + 21, s = w*q - 23. Does 3 divide q?
False
Let t(j) = -j**3 - 3*j**2 + 3*j + 6. Suppose -4*h - b = -2*b - 21, 0 = 4*h - 4*b - 24. Suppose -a + 16 = -h*a. Is t(a) a multiple of 10?
True
Suppose -p = -5*p - 16, -5*p = 3*d + 170. Let o = 110 + d. Is 20 a factor of o?
True
Let v(a) = -33*a**3 + 5*a**2 + 2*a + 5. Let g(l) = -49*l**3 + 8*l**2 + 3*l + 8. Let f(t) = 5*g(t) - 8*v(t). Is f(1) a multiple of 5?
False
Let c = -157 - -237. Does 16 divide c?
True
Let i(j) = j**3 - 6*j**2 + j - 4. Let y be i(6). Suppose 2*w + 5*h + 4 = 0, -w + 0*w = y*h + 1. Let f(s) = 4*s - 3. Is f(w) a multiple of 9?
True
Let q(x) = x**3 - 6*x**2 - 6*x - 3. Let l be q(7). Suppose -o - 49 = -3*d, -2*d + l*o + 84 = 3*d. Let k = -6 + d. Is k a multiple of 5?
True
Let a(v) = v**2 - 4*v - 8. Let t be a(6). Suppose -p - 30 = t*p. Is 15 a factor of (62/p + 0)*-3?
False
Suppose -2 = -5*s + 3. Is s + (-2)/((-2)/55) a multiple of 19?
False
Let x(z) 