
Let c be -1*(-20 + 2) - 0. Is (-3)/(9/(-6))*c a multiple of 12?
True
Does 19 divide 1230/42 - (-1)/(-14)*4?
False
Let u(r) = r**2 - 3*r - 2. Let k be u(4). Suppose 3*c = k*c + 15. Let t = 43 - c. Is 14 a factor of t?
True
Let k = 59 + -54. Let w(n) = 15*n**2. Let l be w(1). Let t = k + l. Does 16 divide t?
False
Let m = -42 - -103. Is 6 a factor of m?
False
Suppose -2*f + 3*n = -200, 4*n - n - 500 = -5*f. Is 17 a factor of f?
False
Suppose 0*j = -j - i + 6, 0 = -2*j + 5*i + 26. Suppose -v + j = -31. Is 16 a factor of v?
False
Does 5 divide 86/4 + 6/12?
False
Is 2 a factor of 150/(-105)*-7*1?
True
Suppose -i - 4 = -8. Suppose -16 = -3*f + i*x + 59, -4*f - 4*x + 100 = 0. Is 25 a factor of f?
True
Let u = -93 + 107. Is 3 a factor of u?
False
Let y(f) = 4 - f**3 + 0*f**3 + 7*f**2 + f**3 + f**3. Let o be y(-6). Suppose p = -p + o. Does 7 divide p?
False
Let b(z) = 3*z**2 + 4*z + 1. Is 4 a factor of b(-3)?
True
Suppose -5*n = -4*g + 193, 4*n + 0*n + 155 = 3*g. Let d = 65 - 160. Let y = n - d. Is 18 a factor of y?
True
Let q(x) = 7*x**3 - 1. Let b be q(-1). Let u = 11 + b. Does 2 divide u?
False
Suppose 152 = 3*i + 5*m, 0 = -2*i - 3*m - 37 + 138. Is 20 a factor of i?
False
Suppose -v = -5*v. Suppose v = 3*t + 2*t - 130. Does 16 divide t?
False
Let m(l) = -l - 3. Let v be m(-5). Suppose -v*u - 1 = -7. Suppose -3*k + 5*r + 5 = 0, k + u*r + 15 = 4*k. Is 4 a factor of k?
False
Let m(n) = 2 - 3*n**2 + 5*n + 0 - n**3 + 2*n**2. Suppose 2*b - 7*b = 15. Does 5 divide m(b)?
True
Let k = -53 + 72. Is k a multiple of 19?
True
Is (-525)/(-9) - 4/3 a multiple of 11?
False
Suppose 4*c = -5*k - c + 420, -84 = -k + 3*c. Suppose -5*z + 2*z + k = 0. Is z a multiple of 14?
True
Let g = 17 - -19. Does 6 divide g?
True
Let m(t) = -2*t**3 - 2*t**2 - 3*t. Let w be m(-2). Let k = w + -4. Is k a multiple of 10?
True
Suppose -f + 2*g + 1 = 0, 0 = -0*g + g - 1. Suppose 4*x + f*n = 684, -2*x + 5*x - 512 = -2*n. Suppose -6*r + x = -3*r. Is 17 a factor of r?
False
Let n = 10 + -9. Does 23 divide 1 - (-1)/n*22?
True
Let p(x) = -x - 4. Let c be p(-5). Let v(d) = 34*d**3 - 4*d + 3*d + 2*d - c. Does 17 divide v(1)?
True
Suppose -2*p = -3*m + 1 - 16, -p + 12 = 3*m. Suppose t + p = 2*t. Is t a multiple of 4?
False
Let j = 195 - 130. Does 13 divide j?
True
Suppose -m - 6 = -4*m. Let g be m + -1 - (1 + 0). Suppose -2*i = -0*i - 3*y - 4, g = 4*y. Does 2 divide i?
True
Let f = -7 - -2. Let b be f/((-15)/9)*-5. Is 10 a factor of 2/6 - 145/b?
True
Let l = 307 - 120. Does 11 divide l?
True
Let u(x) = x**3 - 8*x**2 + 5*x + 10. Does 25 divide u(8)?
True
Let h(z) = z + 10. Let c be h(-8). Suppose 2*f = 3*f + 3*a, c*a = -3*f + 7. Suppose -3*p - w + 26 = 0, -3*p + 4*w + 4 = f. Does 6 divide p?
False
Suppose 0 = 6*z - 5*z - 33. Does 8 divide z?
False
Let n be 2 + -3 - (-3 - -41). Let a = 92 + n. Is a a multiple of 14?
False
Suppose 4*t - 10 = s, -10 = -t - 2*s + 6*s. Suppose -t*y + 46 = 14. Does 6 divide y?
False
Let l(f) = -f - 1. Let p be l(-3). Suppose -4*h - 18 = -q, -4*h = -2*h + 5*q - p. Let i(m) = -3*m + 1. Is 6 a factor of i(h)?
False
Let n = 1 - 1. Suppose n*f = -3*f + 42. Let o = f - -8. Does 11 divide o?
True
Let f = 14 - 10. Is 3 a factor of f?
False
Suppose 0*s = -3*s. Let x(z) be the second derivative of -z**3/6 + 7*z**2/2 + 2*z. Is x(s) a multiple of 7?
True
Let c = 165 - 87. Suppose -r = -2*n - 22, -r - 4*n + c = 32. Is 7 a factor of r?
False
Let h(l) = l**2 + 6*l - 7. Let c be h(6). Let u = c - 11. Is u a multiple of 18?
True
Suppose 4*y + 0 - 8 = 0. Suppose -2*t = -2*l + l, 0 = 2*t - 3*l. Suppose t*s = y*s - 26. Does 13 divide s?
True
Is 13 a factor of (33 - -20)*(2 + -1)?
False
Let u be 79/11 + (-12)/66. Is 16 a factor of 110/u - 4/(-14)?
True
Suppose 54 = 3*n - 36. Does 6 divide n?
True
Suppose -2*k - 9 = k. Let n(o) = -9*o - 5. Is n(k) a multiple of 11?
True
Suppose 0 = 2*s + 3*s. Suppose 4*q - 21 = -2*d + 19, s = 3*q + d - 30. Does 5 divide q?
True
Let a(m) = -36*m - 28. Is 39 a factor of a(-6)?
False
Let a(w) = -w + 10. Let z be a(6). Suppose -z*u = u - 45. Is 4 a factor of u?
False
Let u(v) be the second derivative of -v**4/12 - 4*v**3/3 - 6*v**2 - 2*v. Is u(-5) a multiple of 3?
True
Does 14 divide (-228)/(-8)*(-24)/(-9)?
False
Does 15 divide (-1)/1*(-1 - 74)?
True
Let m be (9 - -1)*(-2)/(-5). Suppose d + 6 = m*d. Suppose 2*s + 3*n - 18 = n, -d*s + 53 = -5*n. Is 14 a factor of s?
True
Suppose 0 = 5*u + 4*z - 30, 16*z - 15 = 19*z. Is u a multiple of 8?
False
Let q = 0 - -4. Suppose 4*u - q*z - 140 = -u, u - 5*z = 49. Suppose 5*f - 2*g - u = 0, g + 24 = 3*f + 3*g. Is 3 a factor of f?
True
Suppose 0 = 2*f - 6, i - 5*f = 4*i - 183. Does 14 divide i?
True
Let h be (65 - (2 - 0)) + 3. Suppose 8 = 4*p, -5*p - h = -4*o - 0*o. Is 19 a factor of o?
True
Let f be (2/5)/(10/25). Does 23 divide (-138)/f*(-12)/36?
True
Let l be (26/(-10) + 2)*-5. Suppose -6*d = -l*d - 120. Is 11 a factor of d?
False
Suppose y - 5*y - 204 = 0. Let k = -19 - y. Is k a multiple of 15?
False
Let c = -11 - -14. Suppose c*a - 1 = 14. Is a even?
False
Suppose -2*s = 2*s - 2*z - 30, 2*s + 3*z - 19 = 0. Let b(n) = n**2 - 8*n + 2. Let w be b(s). Suppose 7*g - w*g - 27 = 4*f, 2*g = -f + 16. Is g a multiple of 4?
False
Let r(l) = l - 10. Let t be r(10). Is 5 a factor of (t + (-1)/(-1))*10?
True
Suppose -5*h = -5*w - 3 - 252, -3*h - 2*w + 133 = 0. Suppose 5*l - 3*v = 3*l - 29, v + 22 = -l. Let r = h + l. Is r a multiple of 10?
False
Let l be 48/((6/19)/3). Suppose 5*k + i - 473 = 89, 4*k = -4*i + l. Suppose -3*q + 89 = -b, k = 4*q + 4*b - 2*b. Is 11 a factor of q?
False
Let n(j) = j + 1. Let s be n(-2). Let q = s - -8. Let y = 21 + q. Is 14 a factor of y?
True
Let a(v) = v - 8. Let n be a(6). Let t = n + 18. Is 8 a factor of t?
True
Suppose 2*a + 2*b - 200 = 0, -2*a + 3*b - 8*b = -212. Is 16 a factor of a?
True
Let x(s) = s**3 - 7*s**2 + 9*s + 7. Is x(6) a multiple of 4?
False
Let m(d) = -1 + 35*d + 288*d + 1. Let s(o) = 43*o. Let x(f) = 5*m(f) - 38*s(f). Is 19 a factor of x(-2)?
True
Let i = 52 - 35. Does 17 divide i?
True
Is 14 a factor of 1 - (1 + -4) - -206?
True
Let f = -2 + 2. Suppose 2*l + 0*l + 10 = f. Is -2 + 21/(-2 - l) even?
False
Suppose 0 = -5*d + 3*r + 869, 3*d = 8*d + r - 857. Is 18 a factor of d?
False
Suppose -5*s + 6 = -3*a - 10, -5*s = -5*a - 10. Is a even?
False
Does 3 divide (0 - 1)/1*-10?
False
Let d(l) = 4 + 2*l + l + 3*l - 3*l. Is d(8) a multiple of 7?
True
Let g(m) = 11*m - 1. Let w be g(1). Suppose -5*a - 23 = -j, -5*j + w*j - 52 = 4*a. Is 4 a factor of j?
True
Suppose u = -4*z + 60, 0 = -0*z + 5*z - u - 66. Is 7 a factor of z?
True
Let b(v) = -v**2 + v + 57. Is b(0) a multiple of 19?
True
Let x be (-2)/(-8) - (-40)/(-32). Does 9 divide (-1)/(((-2)/(-26))/x)?
False
Let a be 1 + (1 + -1 - 13). Suppose 3*u - 7*u = -16. Does 12 divide 78/u + a/8?
False
Let m be (-2)/6 - (-388)/12. Let x be (-3)/2*-2*1. Is x/1*m/3 a multiple of 13?
False
Suppose 19 = 3*c - 11. Is c a multiple of 4?
False
Let a be (12/(-15))/(6/(-15)). Is 17 a factor of (a/4)/((-8)/(-656))?
False
Let o = 16 - 0. Does 4 divide o?
True
Suppose 3*z - 2 = 10. Let q be (1 - 0)/(2/174). Suppose -z*s = -s - q. Does 8 divide s?
False
Let x = -12 - -14. Let l(p) = 2*p**3 - 4*p**2 + p + 4. Let a be l(3). Suppose -5*w + 25 = 0, h - x*w + 3*w - a = 0. Does 16 divide h?
False
Let b = 187 + -80. Is 18 a factor of b?
False
Let w be (4/(-3))/((-1)/3). Suppose 0 = -w*b - 0*b. Suppose v - 2 = -b*v. Is v a multiple of 2?
True
Let q(t) = 7*t - 8. Let m(p) = 6*p - 7. Let g(k) = 6*m(k) - 5*q(k). Is g(6) even?
True
Suppose s + 12 = -2*t, -4*s + 1 = t - 0*s. Let y be (-8)/(-28) + (-82)/t. Suppose 0*m = -m + y. Is 8 a factor of m?
False
Let h(p) = 5*p. Let g(q) = 1. Let i(o) = -o - 6. Let m(v) = -6*g(v) - i(v). Let a(x) = -6*h(x) + 35*m(x). Does 7 divide a(3)?
False
Let k be (-215)/20 + (-2)/8. Is 3 a factor of (-16)/4 + 3 - k?
False
Let w = 0 - -2. Suppose -7*v + 25 = -w*v. Does 4 divide 44/10*v/2?
False
Suppose w + 10 = 14. Does 2 divide w?
True
Suppose 4*y + 5*m + 0*m - 5 = 0, -3*y = 4*m - 3. Suppose -y*t = -8*t + 54. Is 8 a factor of t?
False
Is 8 a factor of ((-40)/25)/((-1)/20)?
True
Suppose 3*t = 43 + 29. Is t a multiple of 5?
False
Suppose 0 = -3*i - 31 - 5. Suppose -3*a = 2*a - 170. Let n = i + a. Is n a multiple of 12?
False
Does 13 divide 