8)/l + 24/1?
True
Let z = 883 + -640. Does 79 divide z?
False
Is (3360/(-50))/(3/(-15)) - 0 a multiple of 16?
True
Let a be (-44)/(8/(-12)*3). Let l = a + -20. Suppose 3*x + 2*p + 175 = 483, -3*x = -l*p - 304. Is x a multiple of 17?
True
Let y(p) = 3*p - 8 - 2 - 2*p + 3*p. Let z be y(5). Let x = z + -4. Is x a multiple of 4?
False
Let v = 1650 + -1396. Is v a multiple of 36?
False
Let l(y) = 7*y**2 + 13*y**2 + 5*y**2. Let m be l(-2). Let c = m + -56. Does 12 divide c?
False
Let p(v) = 185*v + 62. Is p(2) a multiple of 49?
False
Let t(m) = -88*m + 33. Is 17 a factor of t(-6)?
True
Let q = 28 + -34. Let v be 15/(-45) + (-104)/q. Suppose 64 = 3*n - v. Is n a multiple of 14?
False
Suppose -10*w = 7*w - 14008. Is w a multiple of 103?
True
Let h be -1*6*4/(-6). Suppose -16*n = -21*n - 5. Let p = h + n. Does 3 divide p?
True
Suppose 912 = v - 5*v. Does 3 divide 4/(-6)*v/8?
False
Suppose 5*j - 4*b - 403 = 0, 0 = -j - b - b + 75. Is -5 + j + (-2 - 0) a multiple of 9?
True
Let o be ((1 - 3)/4)/((-1)/6). Is 188/6 - o/9 a multiple of 12?
False
Let y = -80 + 112. Does 8 divide y?
True
Let o(d) be the second derivative of -d**5/20 - d**4/3 + 5*d**3/2 - 7*d**2 + 39*d + 2. Is o(-8) a multiple of 45?
False
Suppose -5*y - 122 = -37. Let z = -21 - y. Does 8 divide -58*(3 + 14/z)?
False
Let u be ((-9)/(-1) - 3)*19/(-3). Let y = 83 + u. Is 5 a factor of y?
True
Let l(z) = z**2 - 8*z - 20. Let c be l(10). Suppose c = 4*n + 26 - 930. Is n a multiple of 43?
False
Let b(g) = -g**2 + 32*g - 62. Is b(24) a multiple of 13?
True
Let o(m) be the first derivative of 1/3*m**3 + 57/4*m**4 - m - 1/2*m**2 - 5. Is 18 a factor of o(1)?
False
Let h(a) = -3*a**3 - 9*a**2 + 5*a + 25. Is h(-8) a multiple of 9?
True
Let s(o) = o**2 + 8. Let v be s(0). Is 12 a factor of (-1 - v)*-6*(-24)/(-27)?
True
Let m(q) = -q**2 - 4*q + 30. Let u be m(5). Suppose 17 = -r + 46. Let j = r + u. Is 7 a factor of j?
True
Let v(c) = c**3 - 3*c**2 - c + 9. Let t be v(5). Suppose 66 = 2*m + 5*y, m - 2*y = 3*m - t. Is m a multiple of 5?
False
Suppose 0 = 13*k - 9*k - 896. Does 8 divide k?
True
Let h be -83 - (-3 - 0)*3/9. Let i = 15 - h. Does 23 divide i?
False
Suppose 0 = -15*u + 8*u + 19460. Does 22 divide u?
False
Let i = 24 - 20. Suppose 0 = 3*n + h - 34, i*n - 40 = 2*n - 5*h. Is 10 a factor of n?
True
Let z be (16/12)/4*12. Let n(b) = 2*b**2 - 10*b + z*b - b - 6. Is 12 a factor of n(-4)?
False
Let x(o) = 4*o**3 + 18*o**2 + 4*o + 21. Is 14 a factor of x(9)?
False
Let k(f) = 4*f + 42. Does 9 divide k(10)?
False
Let d(j) = j**3 - 21*j**2 + 21*j - 17. Let o be d(20). Suppose 5*v + o*t - 449 = 2*t, -4*t = -5*v + 429. Is 20 a factor of v?
False
Suppose -9*a + 2 = -8*a. Suppose a*d = x + 278, 0 = -3*x + 11 - 5. Is 20 a factor of d?
True
Let y(i) = i + 23. Let a be y(-18). Suppose w + 24 = a*w. Is 3 a factor of w?
True
Suppose -4*b = -0 - 12. Suppose b*n + 12 = 33. Is n a multiple of 5?
False
Suppose -4 = 5*a + 2*w + 2*w, -3*a = 4*w + 4. Let n be 3 + -1 + a + 0. Suppose n*o = -3*o + 240. Is o a multiple of 16?
True
Suppose -3*c - c = -28. Suppose -94 = 4*f - c*f + 4*q, -f - 2*q + 38 = 0. Suppose -2*d = -0*d - f. Is 13 a factor of d?
False
Suppose -90 = -3*g + g - 4*o, -2*g + 85 = 3*o. Is g a multiple of 12?
False
Let f(w) = 3*w**2 + 31*w - 7. Let i be f(-10). Let s(u) = -u**3 - 15*u**2 + 27*u - 5. Is s(i) a multiple of 29?
False
Suppose -5*s - 61 = -m, 4*s - 2*m + 36 = 2*m. Let t(f) = f**2 + 7*f - 12. Does 34 divide t(s)?
False
Suppose 5*f - 1323 = -4*q, 4*q - 3*f - 1198 - 101 = 0. Does 12 divide q?
False
Let x(u) = -u + 4. Let m be x(-10). Suppose 3*g + m = 23. Is g a multiple of 2?
False
Let s(c) = -c + 1. Let a be s(-4). Suppose 3*t + t = -2*x + 24, 3*t - 20 = -2*x. Suppose -3*u - a*b + 90 = -122, -u + x*b = -82. Does 23 divide u?
False
Suppose -y = 4*y + 415. Let r = -28 - y. Is r a multiple of 22?
False
Suppose -2*l + 236 + 59 = -c, 3*l - 453 = 5*c. Does 24 divide l?
False
Let p be 2 + -2 + 5/(15/6). Let o = 78 - -2. Suppose -5*l + 5*y = -110, 6*l = 2*l + p*y + o. Is l a multiple of 10?
False
Let y = 43 + -41. Suppose -408 = -8*k + y*k. Is 23 a factor of k?
False
Let r = -56 + 82. Let p = r + -11. Is 3 a factor of p?
True
Suppose -128*d = -135*d + 2800. Is d a multiple of 5?
True
Suppose -5*p = -5, 4*p + p = 4*w + 5. Suppose w = -r - 141 + 339. Does 22 divide r?
True
Suppose -2*w + 6 = 0, -z + w - 43 = -3*z. Let n be 845/z - (-2)/(-8). Suppose 0 = -4*r + c + 95, -4*c - 158 = -5*r - n. Is r a multiple of 24?
True
Suppose -6*g - 12 = -9*g. Suppose n - 128 = -2*j, 0*j - g*n + 197 = 3*j. Let x = 121 - j. Does 29 divide x?
True
Let w = 225 - 186. Does 8 divide w?
False
Let b = -101 + 58. Let j = -113 + 22. Let y = b - j. Is y a multiple of 16?
True
Let m = 35 + -22. Let v = 1401 - 1407. Let h = m + v. Is 5 a factor of h?
False
Let i be 321*1 - (-8 - -9). Suppose -4*o + i - 108 = 0. Is o a multiple of 11?
False
Suppose -8*i + i = -672. Is i a multiple of 6?
True
Suppose 239*y - 236*y = 1320. Is y a multiple of 11?
True
Is 14 a factor of (3 - 4 - -428)/((-2)/(-4))?
True
Let g = 515 - -1. Suppose g = 5*k + 111. Let b = -9 + k. Does 23 divide b?
False
Suppose 10*h - 5*h = -50. Let z be 1/(-3)*0 - -22. Let v = z + h. Is 12 a factor of v?
True
Suppose 4*l = -5*i - 0 + 224, 3*i - 133 = -l. Let o = 82 + i. Is o a multiple of 14?
True
Let d(h) = 88*h**3 + h**2 + h - 1. Let x be d(1). Suppose x + 61 = 2*n. Is n a multiple of 15?
True
Let y(d) be the first derivative of -d**3/3 + 4*d**2 - 12*d + 2. Let r be y(5). Suppose r*p - 6 - 66 = 0. Is p a multiple of 24?
True
Suppose 0 = 7*m - 11*m + 1008. Suppose -42 - 210 = -3*b + 4*r, 3*b = 2*r + m. Is 53 a factor of b?
False
Let x(m) = 71*m**2 - 14*m - 6. Let z(t) = -24*t**2 + 5*t + 2. Let h(s) = 6*x(s) + 17*z(s). Let o be h(-2). Suppose o + 7 = 3*y. Is 25 a factor of y?
True
Let y = -11 - -13. Suppose -y*q = 4*f + 2*q - 60, -q - 49 = -3*f. Is 6 a factor of f?
False
Is 731/((-49)/(-56) + (-6)/16) a multiple of 43?
True
Let n(z) = -12*z**2 + 2*z + 8. Let c(k) = -4*k**2 + k + 3. Let d(j) = -10*c(j) + 3*n(j). Is d(-3) a multiple of 16?
False
Let g(y) = 2*y - 9. Let s be g(6). Suppose z = -5*h + 138, -s*z - z - 36 = -h. Is h a multiple of 7?
True
Suppose 22*a = 18*a + 952. Is 17 a factor of a*(28/(-8))/(-7)?
True
Suppose -6*r + 43 = 5*u - 4*r, 2*u + r - 18 = 0. Let v(a) = 8*a - 6. Is 10 a factor of v(u)?
True
Let y(b) be the first derivative of 2*b**3/3 + 6*b**2 + 23*b + 1. Is y(-6) a multiple of 23?
True
Suppose -5*v + 3*k - 17 = 0, -4*v = -2*v - k + 7. Let o(j) = -j**2 - 2*j - 1. Let x be o(v). Let z = -5 - x. Does 2 divide z?
True
Let j(l) = l**2 - 18*l + 106. Is 29 a factor of j(11)?
True
Suppose 205*n - 204*n - 64 = 0. Is 16 a factor of n?
True
Suppose -c + 583 = u, u + u - 10 = 0. Does 8 divide c?
False
Suppose -5*n + 62 - 2 = 0. Suppose -3*o - n - 27 = -m, -4*m + 117 = o. Is m a multiple of 5?
True
Suppose -12*j + 2295 = -177. Is 6 a factor of j?
False
Let l(o) = -o**3 + 2*o**2 + 5*o - 3. Let g be l(3). Suppose -3*d = -4*s - 0*d - 42, 66 = -5*s - g*d. Is 2/3 - 436/s a multiple of 17?
False
Let o be 0/((-4)/(-16)*4). Suppose 5*u + 19 + 91 = -5*d, o = -5*u - d - 102. Does 7 divide (176/u)/((-4)/10)?
False
Let i = 1014 - -29. Does 20 divide i?
False
Is 171 + 4/((-4)/11) a multiple of 12?
False
Let r(j) = 4*j**2 + 3*j + 26. Let x be r(6). Let o = x + -107. Is o a multiple of 10?
False
Let c be 5/(10/6) + -20. Let f be 0 + (1 - 41/(-1)). Let z = c + f. Is z a multiple of 6?
False
Let k(h) = 38*h**2 - 32*h - 2. Is 4 a factor of k(5)?
True
Suppose 22 = -4*v - 502. Let s = v + 163. Is s a multiple of 8?
True
Let b(d) be the third derivative of -d**6/120 - d**4/12 + d**3/6 - 2*d**2. Let p be b(1). Does 7 divide 45/p*20/(-25)?
False
Is (-3 + (-126)/(-12))/(2/72) a multiple of 3?
True
Is (1 + -13)*1685/(-10) a multiple of 30?
False
Is (952/(-12) + (-20)/(-4))*-3 a multiple of 68?
False
Let f(c) = -4*c + 8. Let l(y) = -y - 1. Let j(b) = f(b) - 3*l(b). Does 6 divide j(5)?
True
Suppose -3*d + 8 + 238 = 3*o, -3*d = -4*o - 260. Is 12 a factor of d?
True
Let h be (-2456)/(-10) - (-28)/70. Let w = h + -156. Suppose -7*i = -279 + w. Is 9 a factor of i?
True
Let o(i) = -10*i + 6. Let j be o(-2). Is (117/j)/(2/8) a multiple of 9?
True
Let r(l) = -8*l + 20. Let s be r(2). Suppose -5 + 89 = 