 r?
False
Let y = 2 + 3. Suppose 3*i + 96 = 3*m, -y = -5*i + 20. Does 11 divide m?
False
Suppose -16*r + 7515 = 1979. Is r a multiple of 22?
False
Let f(h) = -13*h + 13. Let m = 5 - -7. Let x = m - 16. Is f(x) a multiple of 20?
False
Let a(z) = -2*z + 14. Let d be a(-12). Suppose -d = -p - 1. Is p a multiple of 20?
False
Let z = -455 + 1373. Is 27 a factor of z?
True
Suppose 14*h - 13*h - 198 = 0. Is 12 a factor of h?
False
Suppose -2*i + 7*i + 5*r = 115, -4*i + 95 = r. Let v = i - 9. Let b = v - -9. Does 9 divide b?
False
Let h(g) = g**2 - 7*g + 3. Let u be h(7). Let o be 33 - 2/(-3)*u. Suppose 3*b = -2 + o. Does 5 divide b?
False
Let b(y) = 8*y - 2. Let j(n) = -9*n + 2. Let u(d) = 4*b(d) + 3*j(d). Let a be u(1). Suppose -a*g + 15 = f, -g - g = -f. Does 6 divide f?
True
Let u = 872 + -471. Suppose -2*c + g = -u, -g - 109 = -c + 90. Suppose 4*n = c + 78. Does 14 divide n?
True
Suppose 14 = -o + 17. Suppose o*w + 6*w - 135 = 0. Is w a multiple of 5?
True
Suppose 2*i - 5*i = -12. Suppose 3*y = 8*o - 3*o - 229, -o + i*y + 39 = 0. Suppose l - 2*l = -o. Is 20 a factor of l?
False
Let h(t) be the second derivative of 3*t**3/2 - 3*t**2 - 10*t. Is h(12) a multiple of 17?
True
Suppose -t - 4*a - 7 = 0, -2*a = 2*t - a + 7. Let s be (t - 14/(-6))*-6. Suppose -128 = -s*c - r - 2*r, c + 2*r - 27 = 0. Is 7 a factor of c?
True
Let p = -75 + 50. Let f = p - -18. Does 2 divide 14 + f - (-1 - -1)?
False
Let i(v) = 6 + 5 + 20*v + 5. Is 37 a factor of i(10)?
False
Let v(c) = c**3 - 11*c**2 + 1. Let d be v(11). Is (0 + d)/((-2)/(-42)) a multiple of 7?
True
Suppose 2*c - c - 2*b + 12 = 0, 2*b = 6. Let y be 11/3 - (-4)/c. Let o(k) = 4*k**2 + k + 5. Does 12 divide o(y)?
False
Let t = 115 + -110. Suppose 0 = t*b - 566 + 191. Is 9 a factor of b?
False
Is 3 a factor of (((-43740)/63)/6)/(1/(-7))?
True
Suppose -4*i + i + 22 = 2*q, -5*i + 15 = -q. Suppose -q*u - 41 = 4*k + 177, 5*u + 166 = -3*k. Is 10 a factor of k/(-5) - 6/15?
True
Let h = 1756 + -1261. Does 27 divide h?
False
Let m be ((-188)/10 - 2)/(4/(-60)). Suppose 66*f = 67*f - m. Is 49 a factor of f?
False
Suppose -2*j + 4 = -j. Suppose -4*f = 4*q + 4, 1 = -j*f + q + 2. Suppose 4*i + f*i - 200 = 0. Is i a multiple of 24?
False
Let v be (-2 - 11/3)/((-2)/(-54)). Let w = v + 208. Does 6 divide w?
False
Let k(i) = 8*i**2 - 99*i + 47. Is 17 a factor of k(27)?
False
Let x(w) = w**3 - 6*w**2 - w + 14. Is 28 a factor of x(7)?
True
Suppose -13 = 7*v - 48. Suppose 0 = -c + 3 + 2. Suppose 3*p = v*d + 88, -5*d + c = -0. Is 20 a factor of p?
False
Let c(o) = 3*o**2 + 7*o - 1. Let p be c(-3). Suppose 8 = -4*v + p*n, 4*n + 1 = 5*v + 11. Does 25 divide 55/v*(-24)/15?
False
Let b(d) = 12*d**2 - 2*d + 3. Let h be b(-7). Suppose 5*x + h = -4*s + s, -6 = -3*x. Let a = s - -287. Is a a multiple of 41?
True
Let i(p) = p**3 + 20*p**2 + 2*p + 94. Does 27 divide i(-14)?
True
Let j be 0 + 120 + 2/((-2)/(-3)). Suppose -2*i = y + 4*y - j, -i + 4 = 0. Is 11 a factor of y?
False
Let l(z) = z**2 + 4*z + 6. Let o be l(-5). Suppose -5*m - o = -26. Let u(c) = 3*c**3 - 4*c**2 - c. Is u(m) a multiple of 30?
False
Does 27 divide 220 - 21 - 5/(-1)?
False
Suppose 0 = w - 2 + 4. Suppose 2*t - 7*t = -25. Let p = w + t. Is 2 a factor of p?
False
Let n be -2 - 1/(-1 + 0). Let q = -52 + 53. Is 5 a factor of (24/(-4))/n + q?
False
Suppose -5*z = -2*q + 423, 4*q - 27 - 54 = z. Let f be (4/(-16))/(7/140). Let d = f - z. Does 20 divide d?
True
Suppose b = -2*p + 4, -p + 2 = -2*b + 10. Let n = b + -2. Let f = n + 28. Is 14 a factor of f?
False
Let y = 90 - 51. Suppose 0 = g + m - 250, -3*g - y = -m - 809. Is 51 a factor of g?
True
Suppose -16*j = 218 - 618. Suppose v = 89 - j. Is v a multiple of 16?
True
Let a = 38 + -33. Let d(o) = 18*o - 12. Is d(a) a multiple of 26?
True
Suppose 6*o = 362 + 1900. Does 9 divide o?
False
Let k be 16/20 + 1356/5. Is 15 a factor of k/9 - 2/9?
True
Suppose 4*q + 0*q - 16 = 0. Suppose -q*d + 192 = -d. Suppose -5*n + 131 = -d. Is 13 a factor of n?
True
Suppose 0 = 2*o + 1 - 11. Suppose 4*b - 17 = -w, 0 = -5*w - 0*w - 4*b + o. Does 6 divide ((-15)/1)/(2 + w)?
False
Let p be ((-5)/((-25)/15))/1. Suppose k - 20 = -p*v - 0, -4*v = 3*k - 60. Does 12 divide k?
False
Let n(s) = s**2 + 3*s - 86. Let i be n(-15). Suppose f = -2*f + 15. Suppose -f*u + i = -166. Is 18 a factor of u?
False
Let r(h) = -13*h + 4. Let v be (-13)/52 + ((-39)/4 - 2). Is r(v) a multiple of 20?
True
Let l(x) = 2*x + 45. Suppose 2*p - 2 = -2*y - 6, 0 = 4*p + 5*y + 10. Does 15 divide l(p)?
True
Let q(d) = -187*d + 92. Does 15 divide q(-6)?
False
Suppose 136*k + 560 = 141*k. Does 16 divide k?
True
Suppose -2*t = -j - 8, j + 4 = 3*t - 2*t. Suppose -3 = -f - o, 5*f + 4*o - 19 + 2 = j. Is 4 a factor of f?
False
Suppose -65*j + 105 = -68*j. Let z be 430/8 + (-2)/(-8). Let i = z + j. Does 7 divide i?
False
Let m(d) = -55*d - 12. Is m(-10) a multiple of 4?
False
Let d be (-244)/122*-2*(-53)/(-2). Let y = -169 - -113. Let b = d + y. Is 20 a factor of b?
False
Suppose 8496 + 2992 = 32*l. Is 16 a factor of l?
False
Let t(m) = -42*m + 3. Let s = 118 - 124. Is 32 a factor of t(s)?
False
Let v = -31 + 44. Let r(p) = -p**3 + 12*p**2 + 16*p - 1. Is r(v) a multiple of 6?
False
Let b(t) = 6*t - 17. Let g be b(4). Suppose -112 = 3*u - g*u. Does 9 divide u?
False
Is 2/(-4)*(10 + -686) a multiple of 13?
True
Suppose -2*u - 32 = -3*u. Suppose 0 = 2*z - m - u, -4*m + 2 = -3*m. Is 17 a factor of z?
True
Let l(t) = -t - 2 + 7*t**2 - 12*t**2 - 23*t**2 + 4. Let x be l(-2). Is x/(-26) + (-14)/91 a multiple of 2?
True
Suppose s + s = 4*c + 430, -851 = -4*s - c. Let i = s + -136. Is 7 a factor of i?
True
Suppose 8956 = 14*g + 976. Does 60 divide g?
False
Let b be -6*(4/6 - 98/84). Suppose 23 = b*k - 394. Is k a multiple of 14?
False
Let z = -13 - -27. Let a(u) = 6*u + z*u + 4 - 1 - 9*u. Is 10 a factor of a(3)?
False
Suppose -25 = -5*r, -3*o + 5*r + 675 = 2*o. Suppose -w - o = -2*c, 5*c + 5*w - 230 - 135 = 0. Does 19 divide c?
False
Suppose -3*b + 2*p - 550 + 3062 = 0, -b + 2*p = -832. Is 6 a factor of b?
True
Suppose 53 - 353 = -4*f. Suppose 2*x - f = -x. Is x a multiple of 13?
False
Let n(d) = 7*d**2 - 5*d + 1. Let v be n(3). Suppose v - 34 = 3*w. Is w a multiple of 5?
True
Let j(d) be the third derivative of d**5/15 + 5*d**4/24 - 7*d**3/6 + 3*d**2. Let u be j(-5). Suppose h - u = -h. Is 11 a factor of h?
False
Suppose -16*a + 2024 + 1736 = 0. Is a a multiple of 47?
True
Suppose -3*a = -b + 393, -4*b - 391 = -5*b + 4*a. Is 21 a factor of b?
True
Let x(m) = 9*m**2 - 9*m - 3. Let q be x(3). Suppose 0 = -3*z + 3*v - 102, 5*z - 89 + 275 = -3*v. Let g = q + z. Is g a multiple of 5?
True
Let c(w) = -810*w + 14. Does 29 divide c(-1)?
False
Let o(a) = 3*a**2 - a - 12. Let p be o(7). Suppose 5*g - p = 52. Is g a multiple of 9?
True
Let g = 1 - 11. Let h be ((-4)/g)/(16/80). Suppose h*s = -0*s + 120. Does 12 divide s?
True
Suppose -c = -8*c + 1729. Suppose -116 - c = -3*j. Suppose -4*g + 7*s + 257 = 2*s, -2*g + 5*s = -j. Is g a multiple of 17?
True
Let h = 3 - -1. Suppose 0 = h*o - 2*o - 70. Let c = 89 + o. Is 26 a factor of c?
False
Let z(h) = -h**2 + 8*h - 3887. Let b be z(0). Does 10 divide b/(-39) + 3/27*3?
True
Let d(p) = -4 - 3 - 2*p - 15. Let q be d(-11). Is 8 a factor of q + -2 + -1 + 12?
False
Suppose g = 3*p - 2 - 2, 5*g = -4*p + 37. Suppose -90 = -4*s + 3*v + 2*v, 0 = p*s + v - 77. Is s a multiple of 16?
False
Let l(w) = -w**2 + 10*w + 2. Suppose c = 15 - 5. Let h be l(c). Suppose i = -q + 2 + 41, -q = h*i - 89. Does 19 divide i?
False
Suppose -5 = q - 7. Suppose -q*x = -4*x. Suppose -9*m + 4*m + 180 = x. Does 29 divide m?
False
Let q = 1030 + -529. Is q a multiple of 56?
False
Let u(d) = d**3 - 6*d**2 + 6*d - 2. Let j be u(5). Suppose j*c - 27 = 4*l - 69, 5*c - 10 = 0. Suppose 13 + 43 = o + 4*k, -l = -3*k. Does 10 divide o?
True
Let i(n) = n**2 - 4*n + 6. Let b be (-2*4*1)/(-2). Let m be i(b). Is (-4 + m)*(-7)/(-2) even?
False
Suppose -4*h - 7 = -5*h. Suppose h*l - 126 = 5*l. Is l a multiple of 43?
False
Suppose 2*g = -2*y + 3*g - 3, 4*g - 12 = y. Suppose y*o - o = 9. Is 3*3/o*-6 even?
True
Suppose -5*m - 5*k + 19150 = 0, 0 = -4*m + 3*k - 7327 + 22668. Does 30 divide m?
False
Let y(r) = 4*r - 23. Let v = 48 + -32. Is 7 a factor of y(v)?
False
Let j = 31 + -2. Is -2 - (-2 + 1 - (-1 + j)) a 