. Is f a multiple of 2?
False
Let u = 1202 + -766. Suppose -3*v = -t + 329, 4*v + 0*v - 2*t + u = 0. Let b = v + 243. Does 12 divide b?
True
Suppose 20 = -4*q - b, -3 - 5 = -2*q + 4*b. Let d = q - -7. Does 11 divide 927/d*(-4)/(-12)?
False
Let o(h) = 2*h**2 - 3*h - 3. Let c be o(3). Let t(j) = 45*j - 15 + 45*j + 44*j - 123*j. Is 24 a factor of t(c)?
False
Let h = -10357 - -16351. Is h a multiple of 162?
True
Let f be ((-26)/(-39))/((-1)/(-258)). Suppose 0 = -f*t + 167*t + 3200. Does 32 divide t?
True
Let n(z) be the first derivative of -z**3/3 - 23*z**2/2 - 23*z - 211. Let o(y) = y - 4. Let l be o(-7). Does 21 divide n(l)?
False
Let t(j) = -550*j + 85. Is t(-2) a multiple of 37?
False
Suppose -x + 221 = -5*h + 558, 272 = 4*h - 2*x. Let u(w) = 4*w**3 - 3*w**2 + w - 3. Let b be u(3). Let z = b - h. Does 8 divide z?
False
Let o(j) = -j**2 + 205*j - 190. Does 19 divide o(95)?
True
Let v = 292 + -285. Suppose -4*r + s = -175, -v*s = -3*r - 3*s + 141. Does 6 divide r?
False
Is (11 - (13 - -3)) + 770 a multiple of 5?
True
Does 30 divide (-3640)/78*((-120552)/56 - -3)?
True
Let k be 3 - (51/(-85) - (-98)/5). Is ((-60)/k)/((-27)/(-24))*51 a multiple of 13?
False
Suppose -2*w + 178 - 8744 = -4*s, -2*s - w + 4297 = 0. Is 33 a factor of s?
True
Let x = 34 - 29. Suppose -5*f + 1550 = -x*w + 3*w, -f + 318 = -2*w. Does 28 divide f?
True
Let r = -497 - -500. Suppose 4*h - r*h = -4*i + 73, -5*h + 5 = 0. Is 6 a factor of i?
True
Suppose -20 = 4*z, -3*h - 8*z = -12*z + 337. Let s = -121 - h. Does 11 divide -4 + (147/s)/((-8)/16)?
True
Let s = 29905 + -15316. Is s a multiple of 65?
False
Suppose 5*j = 11*j - 24. Suppose -3*x - 29 - 173 = 2*g, 0 = j*x + g + 261. Is 17 a factor of (-190)/(-8) + (-16)/x?
False
Suppose -k + 4*b + 2162 = 0, -8*b + 2146 = k - 4*b. Does 99 divide k?
False
Let x be (-51)/(-15) - 6/(-10). Let m = -135 + 138. Suppose -m*k + x*k - 30 = 0. Is k a multiple of 10?
True
Let m = -24180 + 32053. Is m even?
False
Let k(n) = -327*n**3 + 12*n**2 + 44*n + 10. Is k(-3) a multiple of 11?
False
Suppose 5*j + 3*c = c + 7, 3*j - 3*c = 21. Suppose -7*z = -2*h - 3*z + 270, j*h = z + 405. Does 15 divide h?
True
Let i(a) = 1158*a**2 + 1007*a + 5048. Does 144 divide i(-5)?
False
Suppose 0 = -151*x + 142*x - 5184. Is 21 a factor of 10 - (x - 4) - (-1 + 6)?
False
Suppose -22*j = 44 + 132. Is (-3)/24 + ((-12033)/j)/9 a multiple of 4?
False
Is 1 + (-10777)/(-4) - (5 - 266/56) a multiple of 5?
True
Suppose 2*d + 578 = -3*u + 3*d, 10 = 2*d. Let y = u + 420. Is y a multiple of 25?
False
Let o = 1634 + -787. Let i = 1387 - o. Is i a multiple of 27?
True
Let g = -3473 + 22981. Does 25 divide g?
False
Suppose 0 = -g, 2*d - 4*g - 18 = g. Suppose -d*k = -3064 - 3335. Does 20 divide k?
False
Let s = 199 + -762. Let b = 809 + s. Is b a multiple of 34?
False
Let h be 21/(-84) + (-2)/(16/(-50)). Let n be -2 + -2 + (h - 8). Is 13 a factor of 1185/21 - n/(-14)?
False
Is 40/160*(2 - -2)*13140 a multiple of 90?
True
Suppose 19*n - 14*n - 13580 = -5*p, 3*p - 13588 = -5*n. Suppose n = -0*v + 8*v. Is 6 a factor of v?
False
Is 6/(-8) - (-316314)/24 a multiple of 9?
False
Let r(b) be the third derivative of 7*b**4/12 - 2*b**3 + b**2 + 12*b. Is r(10) a multiple of 22?
False
Suppose 0 = 2*o - 68 + 396. Let m be (-1)/((2 - -2)/o). Suppose 0 = -4*y + 403 + m. Is y a multiple of 9?
False
Let l(g) = -g**3 + 19*g**2 - g + 21. Let q be l(19). Does 6 divide -4 - (0 - q) - 852/(-3)?
True
Let x(u) = -4*u + 11. Let r be x(-6). Is 44 a factor of 12/(-9)*7/(r/(-2490))?
False
Suppose 0*t - 3 = -t. Let l be (t - 3)*3/(1 + -7). Suppose 0*m + 9*m - 27 = l. Does 2 divide m?
False
Let l be 1*(-1)/(-3)*(17 + 4). Suppose -24*i + 31620 = -l*i. Does 15 divide i?
True
Let l be ((-190)/4)/((-28)/56). Let q = 239 - l. Is 3 a factor of q?
True
Suppose -12831 + 9825 = -9*n + 28314. Does 28 divide n?
False
Suppose 0 = -4*p - 3*x + 5817, -5 = -2*x + 7*x. Suppose 29*v = -p + 5109. Does 21 divide v?
True
Let o(v) = -1527*v + 1462. Is o(-16) a multiple of 65?
False
Suppose -11*u + 12*u = 34. Suppose -t = t + 5*r + 35, -2*t - u = 4*r. Is 3 a factor of ((-9)/t)/((-1)/(-15))?
True
Is 149 a factor of (64/(-256))/((-10)/1674760)?
True
Let b = 7766 - 3630. Is 36 a factor of b?
False
Suppose 57*x = 75*x - 18079 - 24131. Does 12 divide x?
False
Suppose -2*b = 3*m - 4, 0*b - 4*b - m = -18. Suppose -6*a + b*y = -4*a - 39, -5*y = 15. Suppose 0 = -a*d + 15*d - 816. Does 17 divide d?
True
Let b(n) = -45*n + 4. Let l = -79 - -94. Suppose 3*k - 5*m + l = -8*m, 2*k = -5*m - 16. Is 40 a factor of b(k)?
False
Suppose -2463036 = -107*f + 55958. Is f a multiple of 32?
False
Let r be (-59)/(-4)*(-140)/(1 - 8). Let u = -211 + r. Is 12 a factor of u?
True
Let t(r) = -42*r**3 - 11*r**2 - 15*r + 22. Does 38 divide t(-3)?
True
Suppose 65*g = 229090 + 130459 - 58534. Is g a multiple of 93?
False
Let n = 5580 + -2540. Does 42 divide n?
False
Let j(y) = -2*y**3 - 50*y**2 + 2*y + 50. Let f be j(-25). Suppose f = 2*g + 5*a - 593 - 89, 2*a = 5*g - 1734. Is g a multiple of 33?
False
Let j(i) = 13*i**2 + 5*i + 9. Is 3 a factor of j(3)?
True
Let r be 7*40/112*-2. Let z(m) = 1. Let u(h) = -10*h + 18. Let l(w) = u(w) + z(w). Is 23 a factor of l(r)?
True
Suppose 4*m - 108 = 3*r, 41*r = 4*m + 44*r - 84. Suppose -180 = 14*n - m*n. Is n a multiple of 3?
True
Suppose 0 = -2*i, 10*i = n + 8*i - 17. Let k(y) = y**2 - 5*y - 5. Let j be k(6). Suppose s + j = n. Is 2 a factor of s?
True
Suppose 0 = 5*t - 3*y - 25106 - 14233, 3*t = -4*y + 23644. Is t a multiple of 164?
True
Suppose o = -2*c + 3536, 0 = c + 18 - 13. Does 18 divide o?
True
Let n(b) = 5*b**3 + 4*b**2 + b - 5. Suppose 10*o + 3 = 6*o + 3*h, 8 = o + h. Is 9 a factor of n(o)?
False
Suppose -6*z + 168 = z. Suppose z*i = 26*i + 38. Let p = i - -41. Is p a multiple of 3?
False
Let b(u) = -u**3 - 19*u**2 + 18*u + 39. Let m(g) = g**2 + 7*g - 38. Let n be m(-9). Is 14 a factor of b(n)?
False
Let j(i) = 8*i**3 - 4*i**2 + 2*i + 9. Let m be j(-2). Is 10 a factor of (m/(-2))/((-51)/(-850)) + 5?
True
Suppose v - n = 11, -2*v + 0*v + 5*n + 22 = 0. Suppose 4*h - v*h = 938. Let b = -86 - h. Does 8 divide b?
True
Let q(h) = 5*h + 62. Let o be q(-11). Suppose -16*a = -o*a - 1152. Is a a multiple of 75?
False
Suppose 3*k - 16507 = c, 3*k - 239*c - 16510 = -235*c. Is k a multiple of 14?
True
Suppose 3*b - 108 = -9*b. Let c = b + -4. Suppose 7*o - 80 = c*o. Does 16 divide o?
False
Does 4 divide 2/(-6) + ((-3)/(-3) - 271502/(-123))?
True
Let h(w) = -168*w - 39. Suppose 0 = -13*x + 19*x + 36. Does 51 divide h(x)?
True
Let z be (4/(-5))/(174/60 - 3). Is 62 a factor of z*(7 - (-4 + -3))?
False
Let o(z) = -z**3 + 4*z**2 - z + 4. Let w be o(3). Suppose w = -10*r + 5*r. Is (64/(-6))/((8/18)/r) a multiple of 16?
True
Let v(r) = -4*r + 21. Let c(x) = -x + 7. Let n(y) = -11*c(y) + 4*v(y). Let o(f) = -16*f + 20. Let g(a) = 14*n(a) - 5*o(a). Is g(9) a multiple of 44?
True
Let i be (-8 - (5 - 5))/(-2). Does 65 divide ((-12)/i)/(4 - (-2495)/(-623))?
False
Suppose -5*g = 5*w + 5, -4 - 7 = -4*g - w. Suppose -2*y = g*q - 650, -2*y - 19*q = -22*q - 643. Is 19 a factor of y?
True
Let x(j) = -j**2 + 21*j - 13. Let c be x(20). Suppose -r + 4 - c = 0, 0 = -g + 2*r + 8. Suppose 0 = g*h + 4*f - 124, 3*h = 2*f - f + 165. Is h a multiple of 13?
False
Suppose -11*g + 35*g = -14*g - 4446. Suppose 5 = -k + 2, -4*k = 5*a + 902. Let f = g - a. Does 6 divide f?
False
Let b(f) = -4*f**3 - 2*f. Let d(p) be the second derivative of -p**5/20 + p**4/3 - p**3/2 - p**2 + 6*p. Let o be d(3). Does 12 divide b(o)?
True
Let d(k) = -k**3 + 0*k + k - 7*k**2 + 7*k**2 - 88. Let u be d(0). Let a = -32 - u. Is 30 a factor of a?
False
Let z = -1079 + 2562. Is z a multiple of 13?
False
Suppose -994 = -2*c - k + 531, 0 = -k - 1. Let j = c + -179. Does 5 divide j?
False
Suppose 9143 + 5017 = 30*j. Is j a multiple of 4?
True
Let o = -216 + 328. Let t = 111 + o. Let c = t + -131. Does 23 divide c?
True
Let n be ((-4)/3)/((-2)/9). Suppose 0 = 5*t - 20, -3*q = 5*t - t - 28. Suppose -n*h + 32 = -q*h. Does 6 divide h?
False
Let o(p) = 268*p**2 + 3*p. Let u be o(2). Let t = u - 270. Is 28 a factor of t?
False
Let j be (10/7)/5 - (-165)/35. Does 15 divide 11/(j + (-897)/180)?
True
Let b(m) = -3*m + 6. Suppose 10*x - 4 = 3*i + 5*x, 4*i + 5*x = 18. Suppose -4 = t + i. Is b(t) a mu