c. Let a(g) = -25*g + 24. Let m be a(-2). Let i = c - m. Is 5 a factor of i?
True
Let o be 54/4 + 6/(-12). Let t = -5 + o. Does 4 divide (-1)/2*(-272)/t?
False
Let q(n) = 25*n**2 + 15*n + 342. Does 3 divide q(-9)?
True
Suppose -5*d + 8*z = 3*z + 15, -d = -2*z + 8. Suppose 3*f + d + 7 = 0, -5*r = -3*f - 1734. Does 23 divide r?
True
Suppose 3*c + 5 = -4*b + 20, 5*b - 20 = -4*c. Suppose 5*r + 10*r - 6480 = b. Is r a multiple of 13?
False
Let u be (-1*(-1)/1)/(8/(34 + 6)). Let n be (-46)/4*-2*30. Suppose -860 = -u*y + n. Is 31 a factor of y?
True
Let w = -4649 - -5180. Is 26 a factor of w?
False
Let z = -16329 + 18135. Is 7 a factor of z?
True
Let u(o) = 6*o**2 + 31*o + 2. Let l be u(-5). Is 18 a factor of (-115)/1*(l - -2)?
False
Let b(a) be the first derivative of 15*a**2 - 110*a + 29. Is b(18) a multiple of 40?
False
Does 11 divide -11 + 3/(30/22040)?
False
Let w(s) = 40*s - 6. Let m be w(3). Let f(g) = 3*g - 94. Let r be f(5). Let j = r + m. Does 33 divide j?
False
Is ((-459)/(-9) - 30)*13*25 a multiple of 75?
True
Does 94 divide 45/(-10) + 124107/6?
True
Suppose 5*f + 4*m - m = -3541, -1432 = 2*f - 4*m. Let p = 1046 + f. Is p a multiple of 24?
True
Let m = -64 + 68. Let b = m - -18. Suppose -x = -2, -b - 15 = -t - x. Is t a multiple of 4?
False
Suppose 262*w + 28 = 269*w. Suppose -5372 = -5*j + 3*d, j - w*j = -d - 3220. Does 20 divide j?
False
Let g(y) = y**3 + 14*y**2 - 5*y + 8. Let u be g(-16). Let i = u + 488. Is 35 a factor of i?
False
Let n(k) = -4*k**2 - k + 14. Let y be n(11). Let z = -33 - 643. Let o = y - z. Does 15 divide o?
True
Suppose w - 25*y = -28*y + 4895, 2*y = -2*w + 9794. Is w a multiple of 31?
True
Does 131 divide 2 + 6032 - 10/(-25)*-20?
True
Let d = -24101 + 28086. Is d a multiple of 3?
False
Let o = -28 + 31. Suppose 19 - 5 = -2*w + o*d, -2*w - d + 2 = 0. Is ((-6)/10)/w - (-414)/10 a multiple of 21?
True
Suppose -100*f + 25 = -95*f. Suppose -f*k = -104 - 691. Does 5 divide k?
False
Let z = 94 - 89. Suppose 9 = 3*t, z*l - 3*t = -4*t + 73. Is 15 a factor of 3/21 + 1272/l?
False
Suppose 5*n + 3*z + 56 = 9*n, 0 = 5*n - 4*z - 71. Is 42 a factor of 922/n + (-12)/(-66)?
True
Suppose 107*a - 4626 = 105*a. Let n = a + -990. Is 16 a factor of n?
False
Is 3 a factor of (878/(-14))/(12/(-756))?
True
Let v(n) = 7*n**2 + 28*n - 9. Let q be v(-29). Suppose 4342 = 28*j - q. Does 28 divide j?
True
Let p = 220 + -215. Suppose 2*o + 14 = -5*u, 0*u - 3*u - 15 = -o. Is 12 a factor of (-20)/p - -79 - o?
True
Suppose 2*l + 3*l + 20 = 0. Suppose 4*v = -5*a - 22, -138*v - a = -133*v - 4. Is 14 a factor of l/v + 3 - -83?
True
Let l = -19 + 19. Suppose 27*u - 29*u = l. Suppose -6*s - 90 + 342 = u. Is s a multiple of 21?
True
Let q = 712 - 703. Suppose q*p - 6*p + c = 242, -5*p + 404 = c. Does 9 divide p?
True
Let w = -540 - -1287. Let r = w + -309. Does 12 divide r?
False
Let o = 6 + -7. Let m be (-10 + o + -3)/(-2) + 1. Let v(g) = -g**3 + 11*g**2 - 8*g + 4. Does 22 divide v(m)?
True
Let d be (10*1)/(9/(-9)). Let v(i) = i**3 + 10*i**2 + 6*i + 12. Let x be v(d). Let h = x - -88. Is h a multiple of 20?
True
Let d = 80 - 92. Let a(x) = x**3 + 13*x**2 + 10*x - 23. Let i be a(d). Does 39 divide (i - 49)*(-117)/36?
True
Let h(m) = 2*m - 48. Let p be h(-18). Let y = p + 84. Suppose -k - v + 857 = 3*k, -3*k - 5*v + 630 = y. Is k a multiple of 20?
False
Let b = 10 - -75. Suppose -3*a + b = -638. Suppose a = 15*x - 3059. Is x a multiple of 20?
True
Let d(t) be the third derivative of t**6/120 - 11*t**5/60 - 3*t**4/8 - 7*t**3/3 + 3*t**2 + 29*t. Is d(14) a multiple of 14?
True
Suppose -j = 281 + 475. Let l = j - -1236. Is 60 a factor of l?
True
Does 23 divide (-26)/(-1)*(3401/38 - -20)?
False
Let q = -3591 - -4617. Does 57 divide q?
True
Let a = 19531 + -15744. Is 2 a factor of a?
False
Let w(h) = -h**2 - 8*h - 10. Let f be w(-6). Let v be 93 + (-2 - -2 - -2). Let i = v - f. Is i a multiple of 31?
True
Does 64 divide 4617 + 3/6*1 + (-6)/12?
False
Let x = 900 + -895. Suppose 22*z - 975 = -x*r + 17*z, 786 = 4*r + 2*z. Is r a multiple of 2?
True
Suppose -3*o + 52 = -r, -29 + 1 = -2*o - r. Let u be 15/(60/248) - -8. Let b = u - o. Does 6 divide b?
True
Suppose -3*w + 4*b + 3 = 0, -2*w - 3*w - 5*b = -40. Suppose -5*f - w*r - 25 = 0, 2*f = -0*r - r - 6. Is (f*(-2 + 0))/(2/150) a multiple of 30?
True
Is (-17060)/(-5) + ((-3)/5)/((-24)/160) a multiple of 8?
True
Suppose 108*x - 3569520 - 2703384 = -156*x. Does 10 divide x?
False
Let n be (-4)/22 + 368/88. Suppose -2*p - 73 = -77. Suppose -y + 5*z = -7, -p*y + n*z + 44 = 2*y. Is y a multiple of 3?
True
Let a(i) = -2*i + 21. Let k be a(0). Suppose 3*z = -4*s + k, 3*z - 2*z = s. Is (-23 + s)/4 + 222 a multiple of 30?
False
Is 32 a factor of ((-654)/(-1635))/((-1 + 2)/19120)?
True
Let i be 20/8 + (-6)/4. Let j be (-2)/3 + 40/15 + i. Suppose -23 - 139 = -j*y. Does 2 divide y?
True
Suppose -v = 3 - 8. Suppose -18*l - 288 = -36*l. Suppose -v*m - l = -2*y - 3*m, 5*y - 43 = 4*m. Is 6 a factor of y?
False
Let i = 61 - 58. Let z be (-2)/10 + 272/10 + i. Suppose 0 = 4*l + 4*w - z - 26, -l - 5*w = -26. Is 6 a factor of l?
False
Suppose 151 = 5*c - n + 5*n, -c = -2*n - 33. Let p = c - 28. Suppose p*l - 36 = 111. Is l a multiple of 7?
True
Let o = -30 + 21. Let l be 54/(((-27)/(-12))/(o/6)). Let p = l + 83. Is p a multiple of 19?
False
Let a(t) = -25 - 263*t**2 + t**3 + 248*t**2 - 6*t - 1. Is 9 a factor of a(16)?
False
Let l(z) = 82*z + 21. Let m = -133 - -135. Does 11 divide l(m)?
False
Suppose -3*f + 90 = -2*z + 6368, 5*f = 5*z - 15690. Suppose -8*s + z = 6*s. Suppose -13*w + s = -11*w. Does 15 divide w?
False
Suppose 12*y - 16*y = -40. Suppose -7*i = -y*i + 33. Suppose n = 51 - i. Is 8 a factor of n?
True
Let p be 4 + -3 - (-138 + (4 - 2)). Let h = 278 - p. Is 11 a factor of h?
False
Let v(g) = 11*g + 5. Let k be v(6). Suppose -123 = -3*n + 5*r, 2*r = 3*n - 77 - 37. Let c = k - n. Does 19 divide c?
False
Suppose u - 11 = -7. Let q(y) = -y**2 + y - 1. Let w(g) = g**3 + 15*g**2 - 8*g + 5. Let s(l) = u*q(l) + w(l). Does 15 divide s(-11)?
True
Let o be 2/(-5) + 28/35*5763. Suppose 1130 - o = -30*i. Is i even?
True
Suppose -5*j + 61057 = -a + 17016, -j + 4*a = -8812. Is j a multiple of 20?
False
Let q(c) = 31*c - 36*c + 4*c**2 + 18 + 43 + 8. Does 34 divide q(13)?
True
Let d be 42*(4/6)/(6 + -7). Let b be 1/(d/(-10) + -1 + -2). Does 13 divide 4*7 - (-3 - b)?
True
Let m(l) = 11*l**3 + 18*l**2 - 29*l - 10. Let x(j) = 5*j**3 + 9*j**2 - 14*j - 5. Let p(w) = -4*m(w) + 9*x(w). Is p(6) a multiple of 28?
False
Let c(t) = 2*t - 2. Let b(k) = 17*k - 183. Let h(j) = -b(j) + 4*c(j). Does 5 divide h(15)?
True
Let o = 13829 + -9221. Is 64 a factor of o?
True
Let d be 4 - 1 - ((4 - 3) + -2). Suppose -330 = -d*t + 510. Is t a multiple of 15?
True
Suppose 30*u + 3*g + 1926 = 32*u, 3*u = 5*g + 2886. Does 6 divide u?
True
Let r = 2845 + 4771. Is r a multiple of 16?
True
Suppose z + 291*i - 40347 = 295*i, 4*i = -z + 40323. Is 177 a factor of z?
False
Suppose 121*k = 201*k - 153040. Is k even?
False
Let o be 364/10 - 1 - (-6)/10. Suppose -o = -36*r + 35*r. Let f = r - -5. Is 25 a factor of f?
False
Let n(m) = 34*m**2 + m - 2. Let w(d) = d**3 - 13*d**2 - 13*d - 6. Let g be w(14). Suppose 0 = 5*l - g + 3. Does 20 divide n(l)?
False
Let a = -9 - -9. Suppose a = -5*d - 4*w - 1, 3*d + 9 = 5*w + 38. Does 20 divide d/2 - 148/(-8)?
True
Suppose -7*l = -2*p - 5*l + 1048, -l = -1. Is 5 a factor of p?
True
Let u(t) = -37*t - 49. Let l be u(-21). Suppose -5*m + 3*m + a + 287 = 0, a = -5*m + l. Is m a multiple of 29?
True
Does 19 divide ((-15)/(225/(-380)))/(6/2241)?
True
Suppose 1726 = -3*g + 35*n - 34*n, 4*n + 2280 = -4*g. Let b = -565 - g. Is b a multiple of 2?
False
Let r(x) = 92*x + 5. Let w(g) = -31*g - 1. Let l(i) = 2*r(i) + 7*w(i). Let a(h) = -h**3 - 5*h**2 + 6*h - 4. Let q be a(-6). Does 27 divide l(q)?
True
Let x(f) = -f**2 - 8*f - 12. Let u be x(-6). Suppose -3*r + 4*w + 297 = u, r - 396 = -3*r - 5*w. Is 13 a factor of r?
False
Let a be 12/100*-5 - 993/(-5). Let l = a - 82. Does 29 divide l?
True
Let m(c) = c**3 + 14*c**2 - 7*c - 1. Suppose l - 3*g + 1 + 3 = 0, 0 = -5*g - 10. Is 69 a factor of m(l)?
False
Suppose -12*k = -55*k + 2184035 - 342216. Is k a multiple of 6?
False
Let k be (140/(-112))/(1/(-20)). Suppose 0 = 28*s - k*s - 441. Is 21 a factor 