2 a factor of h/(-38)*4/3?
False
Let s = 3043 - 437. Does 5 divide s?
False
Let l(b) = 129*b**2 + 21*b - 84. Let v be l(11). Does 41 divide (-3)/6 + v/24?
True
Let u = 48 - 40. Let f be (156/9)/(u/12). Suppose f*l = 23*l + 324. Is l a multiple of 9?
True
Let m(k) = k**2 - 20*k - 17. Let t be m(21). Let j = t + 1. Suppose 2*u - 100 = -j*y, -3*u + 3*y = -64 - 44. Does 8 divide u?
True
Let f(d) = -d**3 + d**2 + d + 33. Let r be f(0). Let c = 42 - r. Does 3 divide ((-6)/c)/((-6)/135*3)?
False
Suppose -28*m + m = -135. Suppose -12 = 3*b, -53 = -k + m*b + 244. Does 6 divide k?
False
Let q be (3/(-2))/(63/24 + -3). Suppose -q*h = 48 - 1616. Suppose 0 = 5*k - 4*y + 2*y - h, 0 = -k - y + 77. Is k a multiple of 11?
False
Suppose 7*q = -3*t + 7413, -2*t - 22*q = -27*q - 5000. Is t a multiple of 41?
False
Is 7 a factor of (90/4)/(6/4 + 31179/(-20805))?
False
Let k(p) = p**2 - 6*p + 2. Let j(b) = 1. Let d(m) = 6*j(m) - k(m). Let n be d(6). Does 19 divide (n - (4 - -32))*-4?
False
Let u = 301 + -297. Suppose m + 11 = 2*p, u*p + m = -m + 34. Is p even?
False
Let y = -1342 - -776. Let n = -291 - y. Does 55 divide n?
True
Let i be (-16)/28*42/(-4). Suppose i*k = 3*k - 5*b + 146, 3*b = -6. Is 13 a factor of k?
True
Suppose -3*v = 137 - 440. Let i(w) = -w**3 + 11*w**2 + 12*w + 39. Let m be i(11). Let q = m - v. Is q a multiple of 18?
False
Let f(p) = 84*p**2 + 3*p + 7. Let i be f(5). Let g = i + -858. Is g a multiple of 16?
True
Suppose 24*p = 17*p. Suppose 2*q + 4*m - 369 = 449, p = -3*q + m + 1220. Is q a multiple of 27?
False
Let s(f) = -5*f**3 + f - 2. Suppose -4*g = -b + 45, -6*b + 4*b = -3*g - 30. Let k = g - -10. Is s(k) a multiple of 12?
True
Let d(a) = 14*a**2 + 11*a + 45. Let o be ((-20)/(-3))/(11 - (-186)/(-18)). Is 46 a factor of d(o)?
False
Suppose -2*d - 4 = 0, 2*q = -2*d - 3*d + 3310. Suppose 86*z = 91*z - q. Does 32 divide z?
False
Let b(x) = 81*x - 218. Let v(m) = 82*m - 218. Let y(d) = 4*b(d) - 3*v(d). Is 8 a factor of y(5)?
False
Suppose -2*a + 24*n - 19*n - 480 = 0, 4*a = 5*n - 950. Let o = -43 - a. Is 16 a factor of o?
True
Let h(n) = -3*n - 11. Let z be h(-5). Does 31 divide (9 + -20)*(z - 2 - 95)?
True
Suppose -4 = -z, 3*w + 14 = 4*z + 7. Is 597 + -3 + w - (-8 + 6) a multiple of 10?
False
Let b be (-4)/10*28*75/(-15). Let u = 176 - b. Is 6 a factor of u?
True
Let x(p) = p**3 - 12*p**2 + 4*p - 15. Suppose 4*v - 16 = 0, 2*m + v - 24 = -0*v. Let c = m - -2. Is x(c) a multiple of 8?
False
Let g = 3406 + -2691. Does 13 divide g?
True
Let m = -9613 + 22519. Is 14 a factor of m?
False
Let w = 258 - 67. Suppose 0 = 197*f - w*f - 3162. Is f a multiple of 27?
False
Suppose -69 = 5*o + 4*k, -3*k = -o + k - 9. Let v(m) = -m**3 - 14*m**2 - 11*m - 9. Let d be v(o). Let u = d + 133. Is 14 a factor of u?
True
Let s be (-2)/12 + 50/12. Let o(a) = -s*a**3 + 6*a**3 - 11 - 12*a**2 - 5 - 2*a - a**3. Is 35 a factor of o(13)?
False
Let i(d) = -d**3 + 11*d**2 + 10*d - 35. Let t be i(10). Suppose -5*n = -0*n - t. Is 3 a factor of n?
True
Suppose -t + 50 = -73. Let u be ((-1)/3)/((-1)/t). Let m = u + -7. Does 17 divide m?
True
Suppose 46*l - 22721 - 46427 = -72*l. Does 12 divide l?
False
Suppose 3*z = -2*c + 29456, 80963 = 5*c - 2*z + 7361. Does 34 divide c?
True
Let q(k) = 26*k - 23. Let g be q(5). Suppose -7*t = 611 - g. Let s = 152 + t. Is s a multiple of 16?
True
Let v(b) = -5*b - 85. Let u be v(-20). Is 2 a factor of (u/12)/((-3 + 1)/(-24))?
False
Let n be 4/(-5) + 8 + 25470/25. Suppose 0 = 32*y - 30*y - n. Is 19 a factor of y?
True
Let t be (-2 - 1845)/((-2)/2). Let s = 2799 - t. Is s a multiple of 14?
True
Let j be (0 - 8/(-2)) + -4. Suppose -96*u + 93*u + 12 = j. Suppose u*q - 536 = -5*a + 8, 0 = -5*a + 2*q + 538. Is a a multiple of 27?
True
Let g(c) = -2*c**3 + 6*c**2 - 2*c + 1. Let w be g(6). Let m = 238 - w. Is 5 a factor of m?
True
Let c(v) = -2*v**3 - 102*v**2 + 226*v - 173. Is c(-54) a multiple of 2?
False
Let d(m) = 1074*m**3 + m**2 - 29*m + 30. Is d(1) a multiple of 75?
False
Suppose 233*k = 230*k + 12051. Is 39 a factor of k?
True
Suppose 5*n = -4*x - 18 - 12, -4*x = 0. Let k be 225/(-30)*(1 + 2/n). Is 41 a factor of 0/(2 + k + 4) + 123?
True
Suppose 274 = -2*i + 240. Is 78 a factor of 338 + i/((-51)/18) - 5?
False
Let b(u) = 4*u + 54. Let w be b(-13). Suppose -w*t - 3*t - 3*p + 3390 = 0, -3*t + p + 2020 = 0. Does 25 divide t?
True
Let n = 55 + -76. Let t(y) = -y**2 - 36*y - 15. Does 15 divide t(n)?
True
Let z(q) = 6*q**2 + 2*q - 1. Let v be z(1). Let g(j) = -j**2 + 8*j - 5. Let m be g(v). Does 16 divide m/7 - 3744/(-126)?
False
Suppose 16 = 698*t - 694*t. Let v be (-1)/1 + (-3)/(-3). Suppose 0 = -2*d + 3*h - v*h + 6, 2*h = t. Is d a multiple of 4?
False
Let v(g) = -2*g**2 + 16*g - 14. Let h be v(8). Let m(a) = -a**3 - 11*a**2 - 10*a + 25. Does 13 divide m(h)?
False
Let x(o) = 42*o + 73. Let f = 70 + -66. Let j(s) = -20*s - 37. Let r(l) = f*x(l) + 9*j(l). Does 3 divide r(-6)?
False
Let x(q) = 3*q - 43. Let b be x(15). Suppose 56 = b*y - y. Is 4 a factor of y?
True
Suppose 4*u - 4581 = p, p - 641 = -u + 498. Does 22 divide u?
True
Let n(y) = -12*y. Let m be n(-1). Suppose m*j = 19*j - 21. Suppose -55 + 538 = j*k. Is 23 a factor of k?
True
Suppose 3054 = 2*a + 5*u, a = 313*u - 310*u + 1538. Is 5 a factor of a?
False
Suppose -38*v - 77*v + 2064210 = 143940. Is v a multiple of 81?
False
Let j(s) = -2*s - 1. Let w be j(0). Let z be -68*w*((-1)/(-2))/1. Does 13 divide z/(-4 + (-44)/(-10))?
False
Let y = 155 - 152. Suppose 369 + 135 = y*f. Does 8 divide f?
True
Let f(a) = -109 + 24*a - 60 + 7. Does 35 divide f(26)?
False
Suppose x + 22*p - 24*p - 1320 = 0, 3*x + 3*p - 3960 = 0. Is 8 a factor of x?
True
Let v(n) = n - 36. Let i be v(8). Is i*-9*30/35 a multiple of 4?
True
Let f(x) = 7*x**3 + 2*x**2 - 1. Let q be f(-1). Does 45 divide ((-1168)/(-6))/((-2)/q)?
False
Let m be (-2 - (-64)/(-12))*-6. Suppose -60 = -2*d - m. Suppose -470 = -2*a + 4*k, 3*a + 2*k + 1151 = d*a. Is 22 a factor of a?
False
Let n be (-60)/(-160) + (-6)/16. Suppose -9*l + 1042 + 1658 = n. Is l a multiple of 41?
False
Let z(l) = 8*l + 21. Let v = -117 + 129. Let f be z(v). Let p = 18 + f. Is 15 a factor of p?
True
Let z = -371 - -378. Let f(y) = y**3 - 10*y**2 - 9*y + 10. Let o(w) = -w**3 + 9*w**2 + 8*w - 9. Let c(t) = 2*f(t) + 3*o(t). Does 5 divide c(z)?
True
Let s(c) = 4*c + 17. Let v = -35 + 40. Suppose h + 4*i = -11, -4*h - 29 = -v*h + 4*i. Does 6 divide s(h)?
False
Let l = 114 - -238. Suppose 0 = 4*q - 4*z - 272, 2*z = 6*q - q - l. Does 9 divide q?
True
Let f(z) = z**2 + 2*z - 3. Let k(a) = 6*a + 45. Let s be k(-8). Let y be f(s). Suppose -10*o + 7*o + 180 = y. Is 3 a factor of o?
True
Let z(g) = -6*g**3 - 14*g**2 - 18*g - 3. Does 28 divide z(-13)?
False
Let f be 13 + 189/(-15) + (-166)/(-10). Let g be (1 + -1 - -21) + 0. Suppose -88 = -g*n + f*n. Is n a multiple of 12?
False
Let k(c) be the third derivative of c**6/120 - c**5/30 - c**4/8 - 4*c**3 + 11*c**2 + 2. Does 35 divide k(9)?
False
Is 12 a factor of (-12)/(-8) - (-1137705)/146?
False
Let l(a) = -1. Let g(s) = -9*s - 12. Let k(n) = -g(n) + 4*l(n). Is k(14) a multiple of 36?
False
Let x = 435 - 419. Suppose 21*r - x*r - 3*b - 687 = 0, -5*r = b - 671. Is 27 a factor of r?
True
Let g(h) = -h**2 - 19*h - 18. Let w be g(-13). Suppose -11*n = -10*n - w. Does 10 divide n?
True
Suppose 2*i + s = -0*s + 80, -s - 148 = -4*i. Let l be -2 + (-15)/(-12)*4. Suppose -4*a + i = -3*k - 89, 3*a - 96 = l*k. Does 15 divide a?
False
Suppose 0 = 3*c - 96*x + 101*x - 29161, 5*c - 48623 = -3*x. Does 38 divide c?
False
Let w = -422 - -760. Let y be (2/(-6 - 0))/(16/(-240)). Suppose -w - 322 = -y*t. Is t a multiple of 12?
True
Let j(v) = 2*v**2 - 39*v - 287. Does 18 divide j(-53)?
True
Let k be (-31)/(-4) - (-41)/164. Let v(j) = -j**3 + 6*j**2 + 26*j - 16. Is v(k) a multiple of 4?
True
Let i be (-7016)/12*36/24. Let q = 1383 + i. Does 23 divide q?
True
Let m = -54996 - -99176. Is m a multiple of 235?
True
Let f(j) = -2*j**2 + 12*j + 13. Let r be f(7). Is 12 a factor of (-13)/(65/(-1336)) - r/(-5)?
False
Let b = -186 + 175. Let m(o) = -5*o + 92. Is 21 a factor of m(b)?
True
Let v = 7515 + -4206. Is v a multiple of 88?
False
Suppose -1439*b = -1444*b + 2875. Is b a multiple of 89?
False
Let n(p) = p**3 - 38*p**2 + 127*p - 10. Is 20 a factor of n(37