
Let r(h) = -127*h + 7. Suppose -4*i = -0 - 16, -2*j + 4*i - 12 = 0. Let f be r(j). Is (2/2)/((-13)/f) even?
False
Let c(y) = 15*y - 15. Let r be c(14). Suppose 45 + 19 = 4*k - 4*q, -4*k + 61 = -q. Suppose k*o = 10*o + r. Does 39 divide o?
True
Suppose -21*l + 176112 = 5*y - 18*l, 2*l = -3*y + 105668. Is 20 a factor of y?
True
Suppose -2707100 = -205*p - 9*p. Does 25 divide p?
True
Let q be ((-10)/(-8))/((-5)/(-40)). Suppose 0 = -q*a - 82 + 892. Is a a multiple of 9?
True
Let p be 5 + (6/(30/25))/(-1). Suppose -24*s + 26*s = 5*k - 2434, 5*k - 5*s - 2425 = p. Is 8 a factor of k?
True
Let j(z) = 2*z**2 - 147*z + 104. Is 84 a factor of j(105)?
False
Let j(s) = -s**3 + 12*s**2 - 24*s + 15. Suppose 3*b = 5*c + 47, 4*c = 9*c + 20. Does 11 divide j(b)?
False
Let c = 25423 - 18023. Is 50 a factor of c?
True
Is -4*(-574)/728 - (-4)/(-26) - -20472 a multiple of 45?
True
Let y be 7 + -258 + 3 - 0. Let g = 668 + y. Does 21 divide g?
True
Suppose -49*g = 25*g - 5*g - 807576. Is 38 a factor of g?
True
Suppose 2 - 11 = c. Let p = c - 63. Let o = p + 108. Does 11 divide o?
False
Does 50 divide 15 - 6 - (-3)/6*7890?
False
Let r = 816 - 812. Suppose -n - 946 - 1184 = -5*q, 2*q - 834 = r*n. Is 61 a factor of q?
True
Let k(h) = h**3 + 25*h**2 + 45*h - 4. Let u be k(-23). Suppose -u + 62 = d. Is d a multiple of 2?
False
Suppose 4*n = 4*m + 19868, -12*n - 3*m = -11*n - 4951. Is n a multiple of 12?
False
Suppose -5*f - 5*n = -15, -11*f + 16 = -6*f + 4*n. Suppose 4 = f*c - 3*c + 3*k, 3*c - 5*k = 40. Is 18 a factor of (-2)/c*-5*94?
False
Let w = -11136 + 11927. Is 7 a factor of w?
True
Let f = 3427 + -2516. Is f a multiple of 2?
False
Suppose 75*z + 6*z - 10*z - 351237 = 0. Is 17 a factor of z?
True
Suppose 4*g + 4*q - 54232 = 0, 224*g = 223*g + q + 13554. Is g a multiple of 4?
True
Suppose p + 5*s - 10 = 7*s, 4 = -s. Let r be (p/5)/(-1) + 32/80. Suppose 8*q - 1973 - 67 = r. Does 39 divide q?
False
Is (3497 - -3)*(2 - 100/(-80)) a multiple of 31?
False
Let m be ((-7 - 2) + 7)*2/4. Does 18 divide -72*115/20*m?
True
Let z(q) = -5*q - 13. Let t be z(-10). Suppose -41*r + 800 = -t*r. Does 53 divide r?
False
Let b(u) = -6*u**2 - 14*u - 22. Let o(w) = -5*w**2 - 13*w - 22. Let a(z) = -6*b(z) + 7*o(z). Let t be a(11). Suppose 10*m - t*m = -768. Is m a multiple of 25?
False
Suppose -d = 12 - 17. Suppose 0 = -d*g + 4*v - 210, 2*g + 0*g + 56 = -4*v. Let a = g - -108. Does 8 divide a?
False
Let o = -18 + 21. Suppose -o*v = -5*k + 858, -4*v + 62 = -3*k + 579. Is 53 a factor of k?
False
Let q be (0 - (-48)/10) + 1/5. Suppose -a + 2 = -2*z - 23, q*z = -5*a + 110. Does 8 divide a?
False
Let o(v) = 215*v - 5247. Is o(46) a multiple of 10?
False
Let a = -445 + 811. Suppose a = l + 82. Is 17 a factor of l?
False
Suppose 244 = 2*f - 38*m + 42*m, -4*m = -3*f + 326. Let v = f - -67. Is 4 a factor of v?
False
Let j(t) = -19 + 14*t - 43 + 7 + t. Is 5 a factor of j(5)?
True
Let v(b) = 168 - 365 + 163 - 152*b. Is 45 a factor of v(-2)?
True
Suppose -122*t + 798762 = 328100 - 747874. Is t a multiple of 22?
True
Suppose 26 = 3*y - 4*c, -3*y - 4 = 2*c - 0. Let w be (186/(-4))/(y/(-12)) - 2. Let t = w + -146. Is t a multiple of 16?
False
Let h(s) = 4*s**3 + 5*s**2 - 10*s + 13. Suppose -8*f + 3 = -7*f. Is h(f) a multiple of 8?
True
Suppose -4*f + 3998 = -5*n, -5*n = 259 - 289. Is f a multiple of 6?
False
Suppose 4*u = 4*x + 120, 10 = 2*u - 0*u. Let t = 33 + x. Is 6 a factor of 2 - 246/(-4)*t/12?
False
Let v = 49 - 44. Let h(i) = v*i - 9*i - 9 - 12*i. Is h(-9) a multiple of 15?
True
Let k = 10577 - -4488. Is 115 a factor of k?
True
Let v be 48/15 - 8/(-10). Let x(f) = 144*f**3 - 5*f**2 + 5. Let p(k) = k**3 - k**2 + 1. Let s(b) = v*p(b) - x(b). Does 20 divide s(-1)?
True
Let d(t) = 33*t**2 - 11*t - 317. Is d(-11) a multiple of 41?
False
Suppose n = -4*c + 2537, 13 = 4*c - 5*n - 2494. Let j = c + -493. Is j a multiple of 4?
True
Let b be (-1)/2 - 72/(-16). Let w be b/(-22) + ((-2636)/22 - 0). Is ((-1)/(-1 + 0))/((-4)/w) a multiple of 3?
True
Let y(s) = 561*s - 11. Suppose 6*d - 5 - 1 = 0. Does 55 divide y(d)?
True
Let p(c) = 2 + 7*c**2 + 2*c**2 - 8*c**2 - 2*c**2 - 26*c. Let h be p(-26). Is 15 a factor of 2/(-1) - (-3 + (-58)/h)?
True
Suppose 5*p + 0*p + 1402 = 19072. Does 62 divide p?
True
Is 16 a factor of 22/(-341) + 334332/1395 - 4/(-10)?
True
Suppose -7*l - 25 = -12*l. Suppose 260 = l*v - 115. Is v a multiple of 25?
True
Let a be (1 - (-1590)/8)/((-37)/148). Let s be -1*a/4 + 10/40. Let b = s + -137. Does 7 divide b?
True
Suppose -6 + 31 = 5*q. Suppose 0 = -5*h + 3*z + 21 - 1, 0 = 4*h - q*z - 16. Suppose -35 - 41 = -h*s. Is s a multiple of 17?
False
Suppose -3*n - 20*n = -5*n. Suppose -39*a - 20824 + 56236 = n. Does 9 divide a?
False
Let m = -3270 + 7014. Is m a multiple of 101?
False
Let t(k) = -k. Let n(g) = -211*g**2 + 4*g - 2. Let f(v) = -n(v) - 2*t(v). Let j be 12/(-10) + (-1804)/(-820). Is f(j) a multiple of 10?
False
Let v(g) = -g**2 - 14*g - 106. Let p be v(-6). Let h = 190 - p. Does 8 divide h?
True
Let y = 234 - 381. Let a = 192 + y. Is 8 a factor of a?
False
Let i = 1811 - -24819. Is i a multiple of 25?
False
Suppose -133*o - 10 = -138*o. Let c(q) = -72*q - 6. Let a be c(-4). Suppose 5*t = 2*f - a, 296 = 2*f + 4*t - o*t. Is 30 a factor of f?
False
Suppose -3*q + 8 = -4*l, -2*q = -7*q - 3*l + 23. Suppose -q*i = -15*i - 66. Does 11 divide (477/6 + 3)/((-3)/i)?
True
Let t be (-56)/(-504) - (-116)/9. Suppose -14*x + t*x = -5. Is 2 a factor of x?
False
Let a(h) = 76*h**2 - 3*h + 20. Let n be a(6). Suppose -6*w - 992 = -n. Is w a multiple of 13?
False
Let s be (-28)/(-14)*(-410)/4. Let b = -124 - s. Is 26 a factor of (-22)/99 + (-4)/(-18) + b?
False
Let x(g) = -g**2 - 11*g + 5. Let v = 34 - 42. Let a be x(v). Let b = -12 + a. Does 3 divide b?
False
Let d = -278 + 295. Suppose -450 = d*n - 27*n. Is n a multiple of 14?
False
Suppose -4*f - 36 = -4*r, -r - 5*f - 4 = 11. Suppose -3*d = -2*u + 377, 2*u + d - 378 = r*d. Is 12 a factor of u?
False
Suppose -5*h + h = -4*a - 350800, -2*h - 3*a + 175425 = 0. Is 60 a factor of h?
False
Suppose -4*t + 65469 + 891 = -3*i, 2*t - 33170 = 4*i. Is t a multiple of 35?
False
Suppose -24372 + 13837 = -6*j + 66115. Is 35 a factor of j?
True
Let g = -20515 - -28767. Does 11 divide g?
False
Suppose 3*y = 4*g + 7*y, 2*g - 2*y = 20. Suppose -g*x + 341 - 51 = 0. Let q = x - -72. Is 26 a factor of q?
True
Let f = 23 - 23. Let d(t) = 2*t + 4. Let i be d(f). Suppose -i*n = 2 - 170. Is n a multiple of 14?
True
Let h(j) = 6*j**2 - 25*j + 17. Is 67 a factor of h(19)?
False
Let b(i) = 244*i**3 + i**2 + 2. Let m be b(2). Suppose 4*s - 1 = 3*s, 5*c = 2*s + m. Does 28 divide c?
True
Is 7448/3 + (2/(-8) - 76/(-48)) a multiple of 20?
False
Let h = 274 - 2. Suppose -5*r = 458 + h. Let g = r - -237. Does 16 divide g?
False
Let p(o) = 83*o**2 + 71*o + 380. Is p(-7) a multiple of 5?
True
Let r(x) = 26*x**2 - 34*x + 204. Does 5 divide r(7)?
True
Let w = -38 + -14. Let j = 57 + w. Suppose 14 - j = 3*p. Does 3 divide p?
True
Let u(p) be the second derivative of 10*p**2 + 5/2*p**3 - 7/6*p**4 + 0 - 1/20*p**5 + 24*p. Does 6 divide u(-15)?
False
Suppose 7326027 - 19024220 = -559*m. Does 91 divide m?
False
Is 38 a factor of (81/6)/(264/6688)?
True
Does 102 divide (-3785*(-1)/(-3))/((-1793)/5379)?
False
Let f be -13*(18/(-3) + (2 - 5)). Suppose 113*y = f*y - 8272. Is 14 a factor of y?
False
Let o = 98804 + -51608. Is 46 a factor of o?
True
Suppose t = 16 - 1. Suppose -30 + t = -5*l. Suppose -2*j + 176 = 5*i, -65 = -l*i + i + j. Does 17 divide i?
True
Let h = 16029 - 11984. Does 209 divide h?
False
Suppose 24*g - 26*g - 3*o + 2612 = 0, 5*o = 4*g - 5136. Does 15 divide g?
False
Let c(m) = m**3 - 14*m**2 - 49*m + 16. Let a be c(17). Suppose 234*t - a = 232*t. Does 10 divide t?
False
Let q(i) = 13*i**2 + 3*i + 2 + 2 - 14*i**2. Let m be q(4). Suppose -v + y = -y - 39, -5*v - 5*y + 195 = m. Is v a multiple of 10?
False
Suppose -2*r = -5*p + 7558, -75*p + 1514 = -74*p + 2*r. Is p a multiple of 7?
True
Suppose 59*v - 54*v = x - 11286, -3*v = 18. Is 28 a factor of x?
True
Let q(i) = 2*i**3 - 20*i**2 + 31*i - 29. Does 169 divide q(13)?
False
Let d(r) = -11*r + 30. Suppose -3*p + 15 = -12. Suppose -46 = 5*j + p. Is 17 a factor of d(j)?
False
Suppose 68*z = 76*z + 88. Is 66 a factor of 137945/95 + z/