 5*o - 3*h + 76 = 516. Is 7 a factor of o?
True
Suppose v - 15 - 6 = 0. Suppose 47 = 4*a - 5*h - 20, -a - 3*h + v = 0. Is a a multiple of 18?
True
Let r = -220 - -310. Let d(j) = j**2 + 3*j - 7. Let l be d(-5). Suppose 2*p + l*p = r. Does 6 divide p?
True
Let b(t) = 13 + 7 + 11*t + t**2 - 5. Is 4 a factor of b(-10)?
False
Suppose -2*l = -2*q - 20, 0*l + 5*q = -l + 22. Is 12 a factor of l?
True
Let d(k) = 7*k**2 - 3*k + 1. Is 25 a factor of d(-3)?
False
Suppose 5*d - 4 = 1. Suppose -d = -3*b + 17. Is b a multiple of 2?
True
Suppose -2*v + 5 = -29. Let a = 20 - v. Is a even?
False
Let k = 210 - 126. Does 14 divide k?
True
Let w be -2*2/(6/27). Does 9 divide (-2)/(-3) - 150/w?
True
Let s = -17 + 20. Does 11 divide ((-28)/21)/(s/(-99))?
True
Let d be (1/(-3))/(7/(-798)). Does 8 divide (d/(-8))/(10/(-80))?
False
Let h(s) be the third derivative of s**4/24 + s**3/3 - 2*s**2. Let b be h(-3). Does 14 divide (-4)/(2/7*b)?
True
Let n = -14 + 11. Does 14 divide 45 - n*(-8)/12?
False
Let k(c) = -1 - 3*c + 2 - 4*c**3 - 3*c**3 + 5*c. Let o be k(-1). Let r = 40 - o. Is 17 a factor of r?
True
Let z(p) = p - 1. Let t = -3 - -4. Let h be z(t). Is (h - 3)*-9 - 0 a multiple of 19?
False
Let l(p) = p**2 - 6*p - 1. Let k be l(6). Let i = k + -5. Let n = 8 - i. Is 14 a factor of n?
True
Suppose -2*g - 190 = -7*g. Does 19 divide g?
True
Let n = 37 - 24. Let s = 18 - n. Suppose -s*t = -17 - 48. Does 13 divide t?
True
Suppose 2*t - 1 - 28 = -5*z, 2*z = -5*t + 62. Let n be 18/t + 2/4. Suppose 0*d = -d + 3*q + 7, n*d - 5*q - 15 = 0. Is d a multiple of 3?
False
Suppose 0 = 2*m - 7*m + 240. Is 14 a factor of m?
False
Suppose 4*j - 12 = -3*r, -2 = 2*r - 10. Suppose j = 2*t - 0*s + s - 102, 3*t - 152 = -s. Does 13 divide t?
False
Let c(h) = -h + 4. Suppose -4*v - 16 = -5*o + 6, 4 = -4*v - 4*o. Does 5 divide c(v)?
False
Suppose 0 = -7*k + 9*k - 6. Suppose w - 5*z - 70 = -3*z, w = -k*z + 60. Is w a multiple of 14?
False
Let m(v) = v**3 - 3*v**2 - 5*v + 4. Let l be m(4). Suppose -4*f + 9*f - 85 = l. Suppose 0 = 2*j - 3 - f. Does 5 divide j?
True
Suppose 2*g - 6 - 50 = 0. Is g a multiple of 7?
True
Let s(v) = -v**3 - 5*v**2 + 7*v - 6. Is 11 a factor of s(-7)?
False
Suppose 0*n = -n + 54. Let f = 77 - n. Does 12 divide f?
False
Let v be 6/(-4)*(2 + -4). Suppose v - 9 = -s. Suppose 0 = w + 2*t + s, 0*t = -2*w + 2*t + 18. Is w even?
True
Suppose -m - 180 = -11*m. Does 18 divide m?
True
Suppose -1 = 2*q - 4*c + 1, -3*q - c + 4 = 0. Let h be (-1)/(q*(-2)/8). Suppose -8 = -2*i + h. Does 3 divide i?
True
Suppose -b - 2*j - 2 = -0*j, -3*b - 15 = -3*j. Let t be b/(2 + (-10)/4). Suppose t*h = -2*i + 3*h + 1, -4*i + 42 = 2*h. Does 13 divide i?
True
Suppose 5*h + 0*h - 3*g - 13 = 0, 0 = -5*h + 2*g + 17. Suppose -9 = -n - 2*w, -2*n + n + 2*w = -h. Is 3 a factor of n?
False
Suppose 52 = 4*d - 52. Is 11 a factor of d?
False
Let s = -1 + -1. Does 13 divide ((-4)/(-12))/(s/(-150))?
False
Let i = -24 + 49. Does 15 divide i?
False
Suppose -21*l + 16*l = -200. Is l a multiple of 5?
True
Suppose -u - 5*l + 16 = 0, -u - l = u - 68. Does 12 divide u?
True
Suppose -18*u = -17*u - 40. Is 7 a factor of u?
False
Let t(o) = o**2 - 13*o + 2. Let r = -19 + 33. Is 3 a factor of t(r)?
False
Suppose -h = -0*h. Let k be 2 - (h/2 - -2). Suppose 5*y - 51 - 69 = k. Is 9 a factor of y?
False
Let s(q) = -3*q - 13. Let a(z) = z + 4. Let g(k) = -8*a(k) - 3*s(k). Let w be g(0). Is 10 a factor of (-7)/(w/(-34)) + -1?
False
Does 33 divide 2781/12 + 18/(-24)?
True
Suppose 2*q - q - 23 = -5*k, -q + 26 = 2*k. Suppose p - q = -v, 2*p = 3*v - 3*p - 108. Is v a multiple of 9?
False
Let k(q) = 2*q**2 + 10*q - 4. Let g be (24/6)/(2*1). Suppose 3*z + 8 = g*z. Is k(z) a multiple of 21?
False
Suppose 4 = 2*i - 0. Let g = 22 + -15. Suppose 0 = i*a - g*a + 70. Is a a multiple of 14?
True
Let x(m) = 14*m**2 - m + 13. Does 46 divide x(-5)?
True
Suppose 3*g + i = -i + 79, 3*g = -4*i + 83. Let w = g - 7. Suppose -j - w = -2*j. Is 6 a factor of j?
True
Let c = -4 + 5. Suppose -16 = -5*p - c. Is 3 a factor of p?
True
Let t = -19 + 10. Let o be (-7)/((-3)/t*3). Let p = o + 27. Is 10 a factor of p?
True
Suppose 220 = 4*r - 120. Does 17 divide r?
True
Let s = -12 + 27. Is 2 a factor of s?
False
Let l(c) = 3*c - 8. Let z(v) = -8*v + 24. Let q(y) = 11*l(y) + 4*z(y). Is q(6) a multiple of 7?
True
Let g = -34 - -79. Does 12 divide g?
False
Suppose 5*a - 11 = -t, 5*a - 2 = 4*t + 2*a. Let j(k) = 5*k - 1. Does 3 divide j(t)?
False
Suppose -4*l + p - 5*p - 88 = 0, 3*p = -2*l - 45. Let v = 46 + l. Does 13 divide v?
False
Let u be 2 - (1 + (-5 - -3)). Let z = -6 + 6. Suppose z*o - 6 = u*o, 4*s - 5*o - 98 = 0. Is 22 a factor of s?
True
Let s(v) be the second derivative of v**6/120 + v**5/12 - v**4/3 - 4*v**3/3 - v**2/2 + v. Let c(y) be the first derivative of s(y). Is 3 a factor of c(-6)?
False
Let a(q) = -q**2 + 7*q + 8. Let h = 27 + -19. Let r be a(h). Suppose 2*l + r*z = 3*z + 18, 4*l = -2*z + 4. Is l a multiple of 3?
True
Suppose 428 = 6*y - 4. Is y a multiple of 5?
False
Suppose 2*o = 5*k - 3, -3*k = -k - o - 1. Does 7 divide (2/k)/((-2)/(-7))?
True
Suppose 3*q - 2 = 2*q. Let v be -7 - (3 - q)/1. Let i = 22 + v. Is 9 a factor of i?
False
Let w(n) = -n**3 + 6*n**2 - 1. Suppose 0*h + 8 = h. Let t = h - 3. Does 10 divide w(t)?
False
Suppose -2*p - 5*b - 11 = 0, -3*p + 2*p = 4*b + 13. Is p a multiple of 7?
True
Let v = 15 - 13. Is 2 a factor of v?
True
Suppose 0 = -2*v - 10, -5*z - v + 165 = -3*v. Is z a multiple of 11?
False
Suppose 6*h - h - 60 = 0. Suppose 0 = -5*s + 4*b + 9, -5*s - 5*b + 45 = -0*s. Let u = h + s. Does 10 divide u?
False
Let i(x) = 4*x**2 - 6*x + 10. Does 22 divide i(7)?
False
Suppose 91 = -4*u - 45. Let j = u - -57. Is j a multiple of 10?
False
Suppose 0*h + 748 = 4*h. Is h a multiple of 57?
False
Let h be -12 - -19 - 4/(-1). Suppose -4*j - 3 - h = -2*y, -3*j + 12 = 0. Is 15 a factor of y?
True
Suppose -2*c + 15 = j, -2*c + 4 = -3*j + 1. Let p be (-2)/((2 - 4)/c). Does 19 divide (-104)/p*(-9)/6?
False
Let d = 0 - 1. Let i be 2/(-3)*(-273)/14. Let f = d + i. Is f a multiple of 6?
True
Suppose -2*h + 48 = -5*s, -5*s = -h - 0*h + 34. Suppose h = l + 8. Is 6 a factor of l?
True
Let q = 240 - -111. Suppose q = 5*l - 99. Suppose -2*b - 5*f + 19 = -8, -l = -4*b + 2*f. Does 21 divide b?
True
Let d(a) = a**2 - 4*a - 8. Let l(h) = -2*h**2 + 8*h + 16. Let c(r) = -5*d(r) - 3*l(r). Let m be c(6). Suppose -m*g = -50 + 6. Is g a multiple of 11?
True
Let r = 58 - 39. Suppose -5*m = -131 - r. Does 15 divide m?
True
Is 10 a factor of 0 + 2 + 15 + 3?
True
Suppose -2*s - 12 = -n + s, 0 = s + 3. Is 3 a factor of n?
True
Suppose -f - f = y - 3, -f - 2 = 4*y. Suppose 2*b + 28 = -f*b. Let j = b - -55. Does 19 divide j?
False
Is 21 a factor of 1065/12 + 9/(-12)?
False
Let d = -157 - -292. Is 5 a factor of d?
True
Is (10/(-1))/(7/(-84)) a multiple of 60?
True
Let p(s) be the third derivative of -s**5/60 + 7*s**4/12 - 5*s**3/3 - s**2. Let t be p(12). Let x = -2 + t. Is x a multiple of 7?
False
Suppose -3*b + 10 = -t, 2*t - 2 = -3*b + t. Suppose 3 = k + 3*u, -4*u + 14 = k + b*k. Does 6 divide k?
True
Let c be -2*15/12*10. Let n = c - -42. Is 9 a factor of n?
False
Suppose -5*q - 2*h = -98, 5*h - 95 = -4*q - q. Does 4 divide q?
True
Suppose 0 = -3*n + 6, 0*b - 3*b - 3*n + 156 = 0. Is 10 a factor of b?
True
Let x be (-29)/3 - (-2)/3. Is (6/x)/((-4)/60) a multiple of 5?
True
Suppose -6 = -2*i - 0. Suppose 0 = 5*u - 4*h - 83, 0 = -5*h - 7 - i. Does 15 divide u?
True
Suppose 0 = -r + 6*r, -i + 96 = -5*r. Does 32 divide i?
True
Let q = -50 + 99. Does 39 divide q?
False
Let n be (-20)/(-6) + 2/(-6). Suppose 0 = -2*v + 2*m + 100, -n*v - 100 = -5*v - 2*m. Is v a multiple of 36?
False
Suppose 3*i = -7*f + 3*f, 0 = -4*i - f + 13. Suppose 0 = -s - i*s + 270. Suppose -5*h - s + 159 = 0. Is h a multiple of 8?
False
Let z = -15 + 10. Let l(k) = -k**3 - 4*k**2 + 5*k + 4. Is 2 a factor of l(z)?
True
Let k(o) = -o**2 + 5*o + 2. Let u be k(5). Suppose u*d = -4*h + 8, 2*d + 2*h = 3 + 7. Is 6 a factor of d?
True
Let x = -107 + 177. Is 20 a factor of x?
False
Let c(v) = v - 3. Let f be c(5). Does 12 divide 24 - (f + (0 - -1))?
False
Suppose 432 = 38*s - 35*s. Is 48 a factor of s?
True
Is 9 a factor of 36/(8*3/(-9) + 3)?
True
Suppose 2*j - 5 = 1. Suppose j*l - 28 = -4*z + 6, -5