Is u a multiple of 18?
True
Let f(c) = -4*c**3 + 3*c**2 - c + 3440. Is 20 a factor of f(0)?
True
Suppose 529 + 183 = w. Suppose -46 = 9*n - w. Is ((-1)/(-3))/(1/(-9)) + n a multiple of 8?
False
Is 27 a factor of ((-164)/(-5))/((-4515)/(-4500) - 1)?
False
Let p = -183 + 159. Is 15 a factor of (-750)/(-2)*p/(-30)?
True
Let z(o) = 20*o**3 - o**2 - 4*o - 9. Let h be z(5). Is 18/63 + h/14 a multiple of 7?
True
Let s = -2773 - -14001. Does 28 divide s?
True
Let i(b) = -3*b + 2*b**2 - 2*b - b - 1 + 2*b. Is i(4) a multiple of 15?
True
Let v = 36 - 36. Let f be (-2 + v)*(-6)/(-4) - -24. Suppose 0 = -f*o + 18*o + 357. Is o a multiple of 17?
True
Suppose -4874 = -h + 5*n, 5*h = -224*n + 225*n + 24322. Is h a multiple of 8?
True
Let x = -16 + 30. Suppose -x*l = -818 - 4558. Is 4 a factor of l?
True
Suppose 0 = 57*o - 52*o - 2*y - 16210, 0 = -4*o + y + 12965. Does 21 divide o?
False
Let y(s) = -1150*s - 1029. Is 17 a factor of y(-24)?
True
Let x be (-2)/4*(-37)/(296/(-48)). Let l(o) be the first derivative of -o**4/2 + 2*o**3/3 - 5*o**2/2 - 6*o + 2. Is l(x) a multiple of 20?
False
Suppose -2*g + 19727 = -5*v, 76*g + 29629 = 79*g - 2*v. Does 16 divide g?
False
Let n(r) = 52*r - 34. Let y be n(8). Suppose -770 = -6*z + y. Is z a multiple of 8?
True
Suppose 0 = -3*w + 2*m + 181, -5*w - 4*m + 17 = -314. Let u = -25 + w. Let a = 213 - u. Does 36 divide a?
False
Suppose -3*x = -2*o - 17, -3*x = 3*o - o - 1. Suppose -x*m = -12*m. Suppose 3*u - 26 = -2*w, u = -5*w - m*u + 65. Is w a multiple of 10?
False
Let p(b) = 87*b**2 - 13*b - 15. Let k be p(4). Suppose -2251 = -s - k. Is s a multiple of 22?
False
Let p = 1836 - 1838. Suppose -2*n = -292 + 40. Is n/(-2 + 2 + p + 3) a multiple of 14?
True
Suppose -138610 = -13*b - 52797. Is 213 a factor of b?
False
Let p = -68 - -192. Suppose y - p = -6. Does 9 divide y?
False
Is (64732/20)/(154/110) + (-1)/(-7) a multiple of 4?
True
Let b(o) = o**2 - o. Let q be b(-6). Suppose 3*r = 3*s - q, 0*s - 22 = 3*r + 2*s. Let d = r - -26. Is 5 a factor of d?
False
Suppose 0 = 14*y - 13*y + 31. Let b = 34 + y. Suppose b*q + 3*z - 6 = 0, -2*q + 4*z = -z - 11. Does 3 divide q?
True
Suppose -148*l = -151*l + 5202. Is 25 a factor of l?
False
Suppose 5*d - 137 = 2*b + 2*b, b + 37 = 4*d. Let y = -31 - b. Suppose -3*o - 2*z = z - 51, y*o - 5*z = 13. Is o a multiple of 6?
False
Suppose 3112 = 4*q + 4*q. Let n be 22/55 + (-444)/10. Let j = n + q. Is 50 a factor of j?
False
Let y = 2659 - -1211. Is 15 a factor of y?
True
Let q be 1/(0 - 1) - -14. Let n(k) = 7*k. Does 8 divide n(q)?
False
Let z = 662 - -3776. Is 14 a factor of z?
True
Let p = 36 - 36. Let j(c) = -c - 10. Let i be j(p). Let b = i - -35. Is b a multiple of 25?
True
Let u(p) = -p**2 + 2*p + 198. Let i be u(0). Suppose -3*g = -g + i. Let q = g - -278. Does 7 divide q?
False
Let h = 18838 + -7675. Is h a multiple of 102?
False
Let o = -79 - -88. Suppose 0 = 2*y - 1 - o. Suppose n - y*u - 87 = 222, u + 313 = n. Is 15 a factor of n?
False
Suppose p - 4*b = -14, 5*b - 19 = 3*p - 2*p. Suppose 5*i + p*a - 700 = 9*a, -3*i + 420 = a. Suppose 8*y - i = 4*y - 4*n, 4*y = n + 165. Is 8 a factor of y?
True
Let l = 60 + -47. Let u = l + -8. Suppose -4*m + 248 = 7*n - u*n, 5*m - 312 = -2*n. Is m a multiple of 34?
False
Suppose 0 = l + 69*m - 65*m - 11485, -2*l - 3*m = -22960. Is l a multiple of 25?
False
Suppose q + 9*h - 19 = 11*h, 140 = 5*q + 5*h. Suppose -3*p - 2*l = q - 90, -4*l = 5*p - 109. Is 8 a factor of p?
False
Let c be 24/14 - (-4)/14. Let v(l) = 9*l**3 - 45 + 3*l**2 + 126 - 41 - 2*l - 39 - 3*l**3. Does 13 divide v(c)?
False
Suppose -3*v + 254 = -2*h, -2*v + 0*h = 2*h - 186. Let l = -13 - -16. Suppose p + l*p = v. Is p a multiple of 11?
True
Suppose 26 - 502 = -4*l. Let m be (-4 - 3000/32)/(1/(-4)). Suppose -3*p + m = -l. Is p a multiple of 34?
True
Let h = 149 - 139. Suppose 358 + 242 = h*r. Does 4 divide r?
True
Let g(p) = p**2 + 7*p + 115. Let s be g(-11). Suppose -s*r + 8991 = -132*r. Is r a multiple of 4?
False
Let f(s) = -85*s - 3089. Is f(-67) a multiple of 14?
False
Suppose 18 = -4*o - 54. Is 43 a factor of (4 - 4*o/(-8))*-157?
False
Is ((-280)/2)/(44/(-3256)) a multiple of 5?
True
Is 9/54*-9*(11 + -279) a multiple of 2?
True
Suppose -3*w + 0*w - 124 = -z, -2*w = -2*z + 268. Let a = z - 105. Is 34 a factor of a?
True
Suppose 4*j + 793 = -183. Let b = 55 - j. Does 15 divide b?
False
Let p(b) = -716*b + 508. Does 97 divide p(-2)?
True
Let k(g) = 16*g**2 + 1. Let s(j) be the second derivative of j**4/12 + 5*j**3/3 + j**2/2 - 19*j. Let p be s(-10). Is 14 a factor of k(p)?
False
Suppose -11 = -7*c + 3. Does 12 divide (24/10)/(-10*c/(-300))?
True
Let p = -2429 - -4128. Does 80 divide p?
False
Suppose -5*z + 74029 = -o, -103*o + 44427 = 3*z - 102*o. Is z a multiple of 5?
False
Let n = 167 - 115. Let q = 56 - n. Suppose 141 = 5*r + 2*w, 0 = -r + q*w + w + 39. Is 6 a factor of r?
False
Suppose 6 = 3*q - 0. Let m be 467/7 - (3 + (-207)/63). Let s = m - q. Is s a multiple of 13?
True
Suppose -762*a = -758*a + 648. Let b = 100 - a. Is b a multiple of 11?
False
Let l = 3 - -3. Let w be 81/l - (-2)/4. Does 12 divide 4/w - (7 + 8022/(-49))?
False
Let f = 3 + 1. Suppose -f*t + 6 = -102. Suppose -b = -5*h + 185, -3*h + t = 4*b - 61. Is h a multiple of 12?
True
Let f be 0/(-1) + 2*-11. Suppose 42*g - 136*g - 81028 = 0. Is (48/(-22) - -2) + g/f a multiple of 13?
True
Suppose 5*o + 3425 = 3*x + 1006, 0 = 2*x + 4*o - 1554. Does 61 divide x?
True
Suppose 14*z + 12523 = 42511. Is z a multiple of 51?
True
Let a be 49 - ((-8)/5)/(16/(-40)). Let q = a - 33. Suppose t + 5*y - y - 189 = 0, 4*y = q. Is 18 a factor of t?
False
Suppose 0 = 2*c + 13*c + 90. Does 38 divide 529/(-4)*(-10 - c) + 3?
True
Let h = -2326 - -38128. Is 16 a factor of h?
False
Let j = 18782 - 18759. Does 23 divide j?
True
Let g = -5157 + 5792. Is 7 a factor of g?
False
Let p be (-39 - -14) + (-20)/4. Let x(m) = -m**2 - 37*m - 111. Does 33 divide x(p)?
True
Suppose z + 3*g = 1686, 22 = -4*g + 26. Is z a multiple of 10?
False
Is 75 a factor of (-398134)/(-264) + (-1)/12?
False
Let g be (6/4)/(27/54). Suppose 452 = z - 3*i, 5*z = 8*z - g*i - 1380. Is z a multiple of 29?
True
Suppose 16*p - 214 = 122. Let l be 616/p - (-1)/(-3). Suppose l = 4*u - 11. Is 10 a factor of u?
True
Let k = -4668 + 5680. Is 2 a factor of k?
True
Suppose 0 = 5*o - 3140 - 4020. Is o a multiple of 6?
False
Suppose 5*x = 4*q + 292, -4*x = -0*x - 3*q - 234. Does 11 divide (88/16)/((2 + 0)/x)?
True
Suppose -7*v + 659906 + 1692350 = 177*v. Is v a multiple of 58?
False
Suppose 8 = -2*b + 4*y, b + 17 = -4*y + 25. Suppose b = 8*q - 4*q - 584. Is 10 a factor of q?
False
Suppose -2*p - 5*d + 2554 = 805, 2*d - 10 = 0. Suppose -4*x - z = -2261 - 1190, -z + p = x. Is 15 a factor of x?
False
Let k = 70 - 65. Suppose b - 1 = -k*n - 0, -3*b + 3 = 0. Suppose -3*w - 6*w + 1575 = n. Is 16 a factor of w?
False
Suppose 3*m = -4*i + 129166, 4*i - 66131 - 19969 = -2*m. Is 16 a factor of m?
False
Let h(a) be the third derivative of a**5/60 - a**4/3 + 29*a**3/6 + 16*a**2. Let u be h(-12). Let j = -191 + u. Does 13 divide j?
True
Let p be ((-8)/(-12))/(19/(-21) - -1). Suppose p - 39 = -4*o. Is 2 a factor of (104/10)/(o/20)?
True
Let f(y) = 72*y**2 - 40*y - 21. Is f(-10) a multiple of 7?
False
Let f be 3 - -1 - (-10 - 18). Suppose 0 = -j + 2*j + f. Let h = j - -367. Does 43 divide h?
False
Suppose 7*b - 5306 = -1890. Let k = -332 + b. Does 2 divide k?
True
Let z be 3/(-1 + 3 + -1). Suppose -35 = -2*l + 5*b, -z*b = l + 4 - 27. Is 23 a factor of (335/l)/(2/16)?
False
Suppose 1033*u + 28998 = 1035*u + 3*q, -4*u - 2*q = -57972. Is 25 a factor of u?
False
Suppose 19 = -2*m + 3*m + 5*o, 2*m + 4*o = 14. Does 23 divide (-392)/(-294)*(m - -574)?
False
Suppose 22*p - 24*p + 2928 = 0. Does 5 divide -4 + -2 + p/8?
False
Suppose -6*t = 7 + 17. Does 32 divide (-8)/t + (5 + -2565)/(-4)?
False
Suppose -17752 = -j - 253*h + 249*h, -j + 17782 = -2*h. Does 12 divide j?
True
Suppose -2*v = -25*b + 24*b - 19374, -5*v - b + 48442 = 0. Is v a multiple of 28?
True
Suppose -m + 7799 = 5*f + 866, m + 2*f - 6930 = 0. Is m a multiple of 116?
False
Suppose -3*u - 2*c = -9626 - 6265, 5*c - 10616 = -2*u. Is 51 a factor of u?
False
Let d(a) = a**2 - 24*a + 15. Let y be (-4 - -2) + (-88)/(-8). Let k be d(y). Let z = 44 -