-740 + 1972 = y. Is y a multiple of 77?
True
Let d(k) = k**3 + 5*k**2 + 10*k - 12. Let x be d(-8). Let b = 524 + x. Does 48 divide b?
True
Let h(c) be the first derivative of c**2/2 + 179*c - 18. Does 21 divide h(0)?
False
Let c = 301 - 607. Does 38 divide -1 + 2/4 + c/(-4)?
True
Suppose -153 = -4*t - g + 564, 0 = -t + g + 183. Is t a multiple of 46?
False
Suppose 5*w = -6 + 26. Let u be ((-38)/4)/(1/(-2) + 0). Suppose w*p - 3*p - u = 4*b, -b - 13 = -p. Is p even?
False
Suppose -1458 - 1557 = -9*k. Is k even?
False
Suppose 10*j + 907 = 7107. Does 31 divide j?
True
Suppose 1 = -2*z + 4*l + 3, z + 3*l = 1. Let f(m) = -1 - z + 0 - 2*m - 29*m**3 + 1. Is f(-1) a multiple of 18?
False
Does 6 divide ((-105)/(-63))/((-10)/(-72))?
True
Let b = 28 - 15. Suppose -5*y + b = -4*y. Is 3 a factor of y?
False
Let a(o) = o**2 + 30*o + 67. Let c be a(-27). Let v(f) = f**3 + 13*f**2 - 17*f - 22. Is v(c) a multiple of 2?
True
Suppose -4*o - 4 = 92. Let n be o/(-9)*3/(-2). Does 8 divide n*(-3 + (-2 - -3))?
True
Suppose 12 - 4 = 2*u. Suppose u*g = 17 - 1. Suppose 2*s + 3*a = g*a + 13, s = 3*a + 4. Does 7 divide s?
True
Suppose 0 = 2*y - 4*r - 5284, -3*y + 2*r - 5254 = -5*y. Does 25 divide y?
False
Let l be 16/(-40) + (-14)/(-10). Does 6 divide (l - -8)/((35/30)/7)?
True
Let d = 61 + -54. Suppose -d*q = -3*q - 672. Is 26 a factor of q?
False
Let g(u) = 4*u**2 - 12*u + 8. Let j be g(4). Is 1500/(-18)*j/(-20) a multiple of 14?
False
Let s be (6 + -6)/(-1*2). Let a = 0 - s. Suppose 2*o = -a*o + 170. Does 21 divide o?
False
Suppose 437*t + 1408 = 445*t. Is 11 a factor of t?
True
Let x(z) = z + 515. Is x(-7) a multiple of 28?
False
Let n be 536/6 + (-2)/(-3). Suppose 5*r + l - 39 + 292 = 0, -3*l = -6. Let j = r + n. Is j a multiple of 11?
False
Let z be (3/(-9) + 1)*-8337. Let a be z/63 - (-4)/18. Let u = a - -142. Does 9 divide u?
True
Suppose -3*u + 161 + 1717 = 5*m, -4*u = 16. Is m a multiple of 32?
False
Suppose o - 2*j - j = 111, 3*o - 312 = 2*j. Does 3 divide o?
True
Let r(l) = -l**2 - 9*l - 1. Let h be r(-5). Suppose -595 - 362 = -29*b. Let k = b - h. Is k a multiple of 14?
True
Suppose 0 = -2*x + 5*z - 3*z - 44, x - 5*z = -42. Let j = -21 - x. Is (j - 9/(-3)) + 63 a multiple of 10?
False
Let z = -23 + 27. Let y(v) = v**3 - 5*v**2 + 5*v - 1. Let j be y(z). Suppose 0 = -j*c + 8*c - 90. Is 18 a factor of c?
True
Let p(n) = 11*n - 1. Let o be p(-9). Let a = -30 - o. Is 14 a factor of a?
True
Let s(r) = 79*r + 14. Is s(4) a multiple of 37?
False
Suppose 57*n - 31*n = 19214. Is n a multiple of 71?
False
Let z(q) = q - 1. Let l be z(3). Let f(s) = -6 - l*s - s - 5 + 2. Is f(-5) a multiple of 6?
True
Let k(f) = 90*f**3 + 10*f**2 - 17*f + 30. Is 100 a factor of k(4)?
False
Let f(t) = t + 4. Let n be f(-4). Suppose n = -21*d + 16*d + 115. Does 5 divide d?
False
Suppose h = 75 - 70. Suppose 0*o + 2*o = -b + 45, 0 = h*o - 3*b - 107. Is 5 a factor of o?
False
Let v be ((-484)/(-16) + -6)/(1/12). Let s = v - 200. Does 8 divide s?
False
Let k = 651 - 491. Does 20 divide k?
True
Let u be 8 - 0 - 24/(-6). Suppose 7*m + u = 3*m. Does 2 divide m*(0 + 2 + -4)?
True
Suppose -2*x + 3*x = 0. Suppose -2*m - 3*q = 132, x*q = 2*m + 4*q + 132. Is 11 a factor of 8/10*(4 - m)?
False
Let r(j) = 3*j**2 + 20*j - 3. Let l be r(-7). Suppose 0 = -2*o - 2*s + 108, l*o = 4*s + 34 + 182. Is 18 a factor of o?
True
Let o(z) = 3*z**3 - 4*z**2 - 8*z - 17. Is 19 a factor of o(7)?
True
Let u(j) = 70*j - 22. Let t(s) = 10*s - 3. Let o(v) = -44*t(v) + 6*u(v). Does 7 divide o(-1)?
False
Suppose -2*n + 20 = 12. Suppose -4*g = -n*c - 280, 0*g - c = 4*g - 305. Does 5 divide g?
True
Suppose 0 = -12*i + 667 + 1241. Is i a multiple of 25?
False
Let y(t) = 22*t + 38. Is 9 a factor of y(32)?
False
Suppose -11*k + 12087 = -6085. Is k a multiple of 59?
True
Suppose -6 - 4 = 5*u, -13590 = -5*r - 5*u. Does 20 divide r?
True
Suppose -k + 6*k - 140 = 0. Suppose -4*w + k = 2*n, -3*w - 2 = -n - 33. Is 14 a factor of (117/6)/(w/12)?
False
Suppose 0 = -4*v + z - 1123, 2*z = v + 4*v + 1406. Let t be (2 - (-3 + v)) + 1. Suppose t + 39 = 5*j. Does 14 divide j?
False
Let y be 810/51 + (-8)/(-68). Does 5 divide (-5 + y/4)*-17?
False
Suppose -102*p + 35967 = -18807. Is 5 a factor of p?
False
Suppose -38*o - 77 = -m - 40*o, -5*o = -4*m + 334. Is m a multiple of 81?
True
Is 20 a factor of (-1)/1 + -3 - (-236 + 12)?
True
Let t(v) = 52*v - 30. Is t(5) a multiple of 23?
True
Suppose 17 = 4*v + 5. Suppose v*b + 168 = 5*d, -2*d = d + 3*b - 120. Is 36 a factor of d?
True
Let k be (3 - 0) + (-108)/(-4). Suppose -k = 3*x - 108. Does 26 divide x?
True
Suppose 6*g = 9*g - 5*c - 3450, 0 = -3*g + 2*c + 3459. Is g a multiple of 21?
True
Let h(z) = z**3 - 21*z**2 + 19*z + 5. Let p be h(20). Does 3 divide ((-1)/(-1))/((-5)/p)?
True
Let f(d) = -6*d + 3. Let k be f(-1). Suppose -k*x + 1845 = -0*x. Is x a multiple of 57?
False
Let w(c) = 12*c - 4. Let u be w(2). Let k = 58 - u. Does 19 divide k?
True
Suppose -2*p - 28 = -4*o, -o + p - 7 = -2*o. Let z(y) = 3*y**2 - 15. Is z(o) a multiple of 44?
True
Let i = -158 + 298. Suppose 5*j - 256 = 4*a, -i = -3*j - 4*a + 3*a. Is 12 a factor of j?
True
Let u(w) = 13*w - 5. Let b be u(5). Suppose -4*s + b - 287 = -3*j, 3*j = 2*s + 235. Suppose -4*x = -5*q + 477, q - j = 4*x - 8*x. Is q a multiple of 24?
False
Let i = -140 + 1862. Is 41 a factor of i?
True
Let b be -4*((-9)/(-4) - 1). Let q(t) = -t - 3. Let r be q(b). Suppose 5*i - 26 = 4*h - 3*h, -r*i + 15 = -5*h. Is 5 a factor of i?
True
Let h = 156 + 72. Does 10 divide h?
False
Let d(m) = m**2 - 3*m - 1. Let y be d(4). Suppose 6*g = 3*g - y. Is 17 a factor of 32 - g/(-2 - -3)?
False
Let g = 235 + 221. Is g a multiple of 24?
True
Let o = 171 - 3. Is 5 a factor of (42/o)/(((-1)/(-244))/1)?
False
Suppose -6*v - v + 2940 = 0. Does 46 divide v?
False
Let a(c) = 6*c**2 - 137*c - 69. Is 124 a factor of a(27)?
False
Suppose -102*o + 107*o = g - 1320, g = 3*o + 1316. Does 28 divide g?
False
Let o be (-4)/(-10) + (-18)/(-5). Let g(y) = -y**2 - 5*y + 6. Let q be g(0). Let b = q + o. Is b a multiple of 3?
False
Let l(p) = 75*p**2 + 50*p + 8. Is 13 a factor of l(5)?
False
Let l = 96 + -34. Suppose 4*v - 163 = 3*x, -v - 2*x + 7*x + l = 0. Does 20 divide v?
False
Let o = 47 + 1365. Is o a multiple of 23?
False
Let p(d) = -d**2 - d + 1. Let o be p(0). Let f = o + 10. Let q = f + 7. Is q a multiple of 18?
True
Suppose v + 3*v - 12 = 0. Suppose -38 = -h - y, 122 = 6*h - v*h + y. Is 21 a factor of h?
True
Suppose -51 - 4513 = -14*l. Does 5 divide l?
False
Is 7 a factor of ((-460)/(-7) - 2/(-7))*1?
False
Let r(y) = -y - 14. Let n(i) = -i**3 + 2*i**2 - i - 14. Let j be n(0). Let d be r(j). Suppose -9 = 3*a, -3*c + 3*a = -d*a - 24. Is c a multiple of 5?
True
Suppose 0 = -2*d - 4*r + 176, 75*r + 377 = 4*d + 78*r. Is 15 a factor of d?
False
Suppose -d - 2*j = 7, -5*d + 5*j - 25 = -5. Does 13 divide (-2)/d*10*(-65)/(-4)?
True
Let z(g) = -g**2 + 17*g - 30. Let i be z(15). Let r = 173 - i. Does 13 divide r?
False
Let b(z) = z**3 - 14*z**2 + 5*z + 5. Let d be b(10). Let j = 529 + d. Is 51 a factor of j?
False
Let v = -23 - -94. Suppose q = -0*q - 35. Let g = v + q. Is g a multiple of 22?
False
Let i be (-6)/4*2 + 2 + 211. Let b = 415 - i. Is b a multiple of 19?
False
Does 4 divide ((-9)/(-15))/((-16)/(-1600))?
True
Let c(t) = 45*t + 70. Is 52 a factor of c(10)?
True
Is 34 a factor of 72/(-12) - (-883 + -2)?
False
Suppose -5*k = -1601 + 11321. Is 16 a factor of (-3)/5 + k/(-40)?
True
Let l = -153 + 303. Is 9 a factor of l?
False
Let x = 47 - 38. Suppose 3*p - 4*j - 29 = 0, -4*j + 38 = 4*p - x*j. Does 6 divide p?
False
Suppose -9 - 162 = -m. Let u = 325 - m. Is 22 a factor of u?
True
Let v = 2253 + -1737. Is v a multiple of 4?
True
Let p be 1/(-2)*(1 - 1). Suppose -3*j = p, 2*j - 40 = -0*d + 5*d. Is 2 a factor of 0 - 2 - (1 + d)?
False
Suppose 122 = 7*s - 130. Let f = s - 31. Is f a multiple of 5?
True
Let r be (2/(-2))/((-8)/(-10) + -1). Let z be 51 - (-1 - (-4 - -3)). Suppose -z = -v + r*m, 102 = -v + 3*v - 5*m. Does 17 divide v?
True
Let i be (-34)/3*(-6)/4. Let f = i + -27. Is ((-8)/(-10))/((-2)/f) even?
True
Let t(w) be the first derivative of -5*w - 1/4*w**4 - 5*w**2 - 6 - 8/3*w**3. Does 8 divide t(-7)?
True
Let u(t) = -3*t**3 - 46*t**2 + 30*t + 10. Is u(-16) even?
True
Let w(v) = 