= 257 + 7. Let i be (4/10)/((-2)/80). Let r = i - f. Does 24 divide r?
True
Let w(b) = b - 1. Let i be w(5). Let z = -10 + i. Let u = 48 - z. Does 19 divide u?
False
Suppose 0 = 6*w - 534 - 72. Suppose 0 = -5*o + w + 14. Is o a multiple of 8?
False
Let c(a) be the second derivative of -a**3/6 + 9*a**2 - 15*a. Does 12 divide c(6)?
True
Let a = 338 - -182. Is 7 a factor of a?
False
Is 14 a factor of 6/(-10) + 6972/20?
False
Suppose -5*t + 312 = 92. Let y be 1/2 + 183/2. Let x = y - t. Is x a multiple of 16?
True
Let c(u) = -108*u - 78. Let d be c(1). Let m(r) = r**3 + r**2 + 2*r + 3. Let q be m(6). Let x = q + d. Does 30 divide x?
False
Suppose -12*h - 81 = -3*h. Let a = 87 + h. Is 7 a factor of a?
False
Suppose 144*p - 128*p = 24208. Does 89 divide p?
True
Suppose 0 = 5*w + 7*k - 3*k - 23, -3*k = -4*w + 6. Let d(t) = 2*t**2 - t + 4. Is 3 a factor of d(w)?
False
Suppose h + j = -3*j + 205, -2*h + 443 = -3*j. Is 31 a factor of h?
True
Let g = 278 - -352. Is 14 a factor of g?
True
Let l(q) = 4*q + 1. Let v be l(4). Let x = v - 49. Is 17 a factor of (x + 5)*(0 + -1)?
False
Suppose i = -2*i - 2*h + 231, 3*i + 4*h = 237. Does 5 divide i?
True
Let u(j) = j + 14. Let x be u(-12). Is (5 - 4)*72 - x a multiple of 15?
False
Suppose 148*i - 155*i = -6930. Does 30 divide i?
True
Suppose 0 = -0*b - 2*b - i + 112, 5*b + 3*i = 282. Let v = b + -9. Is 12 a factor of v?
False
Let f be (-9)/((-27)/6)*-14. Let t(a) = -3*a**2 - 4*a - 1. Let p be t(-3). Let w = p - f. Does 4 divide w?
True
Suppose r + 2*r = -q + 814, 2*q - 1624 = -5*r. Is q a multiple of 39?
False
Suppose -5*f - 40 = 5. Let y = 86 + f. Is y a multiple of 19?
False
Let g = -466 + 823. Suppose -4*m + g = -m + r, -3*r + 351 = 3*m. Is m a multiple of 21?
False
Suppose -4*l = l - 2*k - 45, -3*l = -4*k - 27. Let h be (15/l)/(3/9). Suppose h*w - 264 = w. Is 18 a factor of w?
False
Suppose 0 = 6*i - 2*i + 4. Let n be 10/2 - 16/4. Is (-2 - n)/i - -23 a multiple of 24?
False
Is (14/4)/(((-9)/(-12))/3) even?
True
Let d be (-8)/(-10)*5/2. Suppose -j = -j - 4*j. Suppose j = 2*a - 5*r - 47, 3*a - 21 = d*a + 3*r. Is 18 a factor of a?
True
Let m(x) = -2*x - 18. Let l(q) = -3*q - 36. Let n(o) = -3*l(o) + 5*m(o). Let v be n(18). Is 14 a factor of (75 + 0)*(v - -1)?
False
Let g(m) = m + 4. Let y be g(-2). Suppose y*w = 6 + 18. Is 4 a factor of w?
True
Let u(v) = v**2 + v. Let o be u(-1). Suppose o = i + 1 - 14. Suppose i*p = 8*p + 110. Is 19 a factor of p?
False
Let j(q) = 2*q - 1. Let t be j(-1). Let g be 3 + t + 0 + 32. Does 13 divide (-7 - g)/((-3)/2)?
True
Let y be (1 + 0)*(2 - -3). Suppose -427 = -y*z + 253. Suppose -2*f = 2*f - z. Is f a multiple of 12?
False
Let i(j) be the first derivative of -j**6/120 - 2*j**5/15 + j**4/8 + j**3/2 - j**2 + 4. Let g(t) be the second derivative of i(t). Is g(-9) a multiple of 19?
True
Suppose -5*a + 9*a = 140. Let s = a - 18. Does 5 divide s?
False
Let m = 11 - 8. Is ((m - 2) + 0)/((-3)/(-24)) a multiple of 7?
False
Let s = 1038 - 814. Is s a multiple of 17?
False
Suppose 2*t + 3*r = 16, -2*r = t - r - 7. Suppose 1895 = t*l + 170. Does 66 divide l?
False
Suppose 1860 = -50*x + 52*x - 2*f, -4*f - 8 = 0. Does 58 divide x?
True
Let v be 6/4 - 40/(-16). Suppose v*x - 66 = 446. Suppose 2*u - x = -0*u. Is u a multiple of 32?
True
Let t = 1784 - 596. Is t a multiple of 33?
True
Let l be (-608)/(-3)*(-7 - 68/(-8)). Suppose 4*u - 319 = -0*u - f, -4*f + l = 4*u. Does 43 divide u?
False
Suppose 17*v - 6154 = 6698. Does 51 divide v?
False
Let x = -44 + 49. Suppose 3*q - 3*t = 2*t + 133, 0 = x*q + 4*t - 197. Is q even?
False
Let z = 108 + -101. Suppose 3*y + z*b = 3*b + 234, -4*y + 293 = -b. Does 46 divide y?
False
Suppose -7*p + 6065 = 5*i - 9*p, -1210 = -i + p. Does 9 divide i?
True
Let o(h) = h**2 + 5*h + 6. Let j be o(-4). Suppose -j*p - u + 93 = -12, u + 5 = 0. Is 11 a factor of p?
True
Suppose -5*b = -b - 12. Let l be b*(-3 + 2 + 0). Let d(x) = 2*x**2 + x. Does 15 divide d(l)?
True
Suppose -w - u = -5, 7*w = 3*w + 4*u - 12. Let o be 3 - (0 - w/(-1)). Suppose -4*i = 4*d - 64, 2*d = -3*i + o*i + 19. Is i a multiple of 13?
True
Suppose 12 = 2*g - 2*c, 2*g + 9 = g - 2*c. Let u be (-36)/8 + g/2. Is 0 + 3 + u + 48 a multiple of 15?
False
Suppose -5*p = 178 - 18. Let q = -134 - p. Is 8 a factor of (1 - 0)/((-2)/q)?
False
Suppose 0*u + 2*u - 4 = 0. Suppose o + 0*o - u = 0. Suppose 0 = -2*k + 8, -2*r - 2 = o*k - 30. Is 3 a factor of r?
False
Let z(p) = 7*p + 430. Is 30 a factor of z(20)?
True
Let j = -96 - -146. Does 5 divide j?
True
Suppose -3*f + 478 = -4*n, -f = 4*n - 3*n - 171. Does 3 divide f?
False
Does 4 divide (18/(-8))/(66/(-1408))?
True
Let u(y) = -5*y**3 + 2*y**2 + 2*y - 2. Let f be u(-2). Let r = -216 - -224. Let j = f - r. Is 34 a factor of j?
True
Let f(t) = t**2 + 5*t + 2. Suppose -3*s - 15 = -0*s. Let a be f(s). Suppose -2*j + 72 = 3*h, -5*h = -h - a*j - 110. Is h a multiple of 26?
True
Let k(z) be the second derivative of z**5/20 - 7*z**4/12 - z**3 + 10*z**2 + 11*z. Does 26 divide k(8)?
False
Let i(l) = -3*l**3 - 2*l**2 - 15*l + 12. Let h(y) = -y**3 + y**2 - y + 1. Let u(z) = 4*h(z) - i(z). Is 4 a factor of u(7)?
True
Let z(o) = 4*o**2 - o - 1. Let i be z(-1). Let w = 44 - 32. Let k = w - i. Is 8 a factor of k?
True
Let l = -55 - -80. Let s = -14 + l. Is 4 a factor of s?
False
Let g(r) = r**2 - 16*r + 91. Is g(20) a multiple of 19?
True
Let x(p) = 466*p**2 - 1. Does 31 divide x(1)?
True
Suppose -10*y + 5*y = 1400. Let b = y + 584. Is b a multiple of 38?
True
Does 90 divide (1 + (1 - 1))*681433/263?
False
Let d(g) be the first derivative of 3*g**2/2 + 1. Let v(r) = r + 1. Let t(s) = -d(s) - 5*v(s). Does 5 divide t(-2)?
False
Let j be ((-2)/6)/((-9)/81). Suppose 0 = -j*b - 5*d + 227, -4*b - d + 143 + 137 = 0. Does 15 divide b?
False
Let g(k) = 2*k - 2. Let i be g(3). Is 235/(9 - i) + 3 a multiple of 10?
True
Let y = -23 - -28. Suppose -5*i - y*m + 265 = 0, -237 = -4*i + 3*m - 2*m. Is i a multiple of 16?
False
Suppose 15*q - 246 = 504. Let v be 1/(-3) + 1380/9. Is v/5 + 20/q a multiple of 7?
False
Suppose -15*s + 14*s + 5*h + 855 = 0, 3*s - h - 2635 = 0. Does 9 divide s?
False
Let f = 1826 - 1682. Does 18 divide f?
True
Let d = 59 - -85. Is d a multiple of 9?
True
Let x be -1 + (-5 - -3) - 258/2. Let k = 339 + x. Does 9 divide k?
True
Let w = -105 + 71. Let i = 38 + w. Suppose u + 5*p + 110 = 3*u, -p = -i. Is u a multiple of 14?
False
Suppose x - 4 + 12 = -5*t, 2*x - 2*t - 8 = 0. Suppose 0 = -x*j - 0 + 8. Does 3 divide j?
False
Let q(j) = 23*j**2 + j. Suppose 3*w - 5*i - 23 = 5*w, 3*w + 5*i + 22 = 0. Let d be q(w). Does 8 divide (d/(-1))/(1/(-1))?
True
Let h = -59 + 78. Let k = h - -21. Is 24 a factor of k?
False
Let b(h) = -145*h**3 + 4*h**2 - 7*h - 24. Is b(-3) a multiple of 47?
True
Let d(l) be the second derivative of -l**6/360 - 3*l**5/40 + 2*l**4/3 + 6*l. Let y(t) be the third derivative of d(t). Is y(-6) a multiple of 2?
False
Let v be ((-6)/10)/((-4)/20). Suppose 2*t + 3*t - 10 = -3*f, 23 = 4*f - v*t. Let j(i) = -i**3 + 6*i**2 + 7. Does 10 divide j(f)?
False
Suppose -2*h + 791 + 215 = 0. Let b = h - 287. Is b a multiple of 12?
True
Let d(z) = -z**3 - 10*z**2 - z - 4. Let k be d(-10). Suppose 76 = 5*y + k. Suppose 0 = y*a - 15*a + 72. Is a a multiple of 36?
True
Let b(y) = y**3 + 3*y**2 - 4*y + 4. Let m be b(-4). Suppose m*v - 25 = -5. Suppose -2*p + 71 = 3*z, -5*z + 102 = -v*p - 58. Is z a multiple of 7?
False
Let n(z) = 10 - 2*z**3 + 4*z + 9*z + 8*z**2 + z**3 - 5*z. Let j be n(7). Suppose 0 = -0*i + 5*i - j. Does 8 divide i?
False
Let h be 6*(4/(-12))/((-1)/(-3)). Let w = 36 + h. Is 10 a factor of w?
True
Suppose 0 = w - 236 - 432. Suppose -3*h = h - w. Does 24 divide h?
False
Suppose -133*p + 132*p + 1305 = 0. Is p a multiple of 45?
True
Let w be (8/10)/(4/(-70)). Is 6/21 - 360/w even?
True
Suppose l + 5*t = -34 + 7, 3*t + 142 = -4*l. Suppose 323 = 4*f + f + 2*v, -5*v = -20. Let d = l + f. Does 15 divide d?
False
Let q = 6 - -37. Let i = -12 + 18. Suppose -7*v + i*v = -q. Does 11 divide v?
False
Let z = 17 + -40. Let y = -72 - -110. Let k = y + z. Does 5 divide k?
True
Suppose 221*h - 224*h + 981 = 0. Does 3 divide h?
True
Suppose 4*f - 5 - 7 = 2*b, 3 = f + 2*b. Suppose 0 = 5*o - 7*o - k + 6, -3*o + f*k = 0. Is o even?
True
Let u(l) = -120*l**3 + l**2 - 3*l - 4. Do