le of 36?
False
Suppose 5*h = 3*t - 1805, 39*t + 1801 = 42*t - 4*h. Is 12 a factor of t?
False
Let f(n) = 11*n + 224. Let z be (1 - 35/25)*35. Is f(z) a multiple of 7?
True
Let q = 142711 + -99862. Is q a multiple of 76?
False
Let r(v) = -v**3 + 17*v**2 - 40*v - 1. Let y be r(14). Suppose -4*f - 1106 = -3*s, y*s = 23*s + 4*f + 1472. Is 6 a factor of s?
True
Let b = -575 - -574. Does 80 divide 1446 - (b + 3 + 6)?
False
Let n(q) = 207*q**2 - 24*q + 96. Is n(4) a multiple of 46?
True
Suppose s + 4*c - 8140 = 0, -c + 8870 = -5*s + 49528. Does 76 divide s?
True
Let o(v) = 77*v**2 + 69*v - 186. Is 230 a factor of o(12)?
True
Suppose 57 - 287 = -t. Let g = t - 38. Is g a multiple of 8?
True
Suppose -39789 = -24*n + 3651. Does 181 divide n?
True
Let i(m) = -30*m + 16. Let o(h) = 61*h - 32. Let r(g) = -9*i(g) - 4*o(g). Let d = -199 - -204. Is r(d) a multiple of 38?
True
Let w(j) = -18 - 4*j**2 - 9*j - 2*j**2 + 5*j**2. Let r be w(-8). Is 19 a factor of (-17 + (-2 - -2))/(5/r)?
False
Suppose 0 = -60*y + 58*y + 2*z + 12916, 3*y + z = 19362. Does 51 divide y?
False
Let f = -3394 - -4925. Does 3 divide f?
False
Suppose 2*l + 2*b + 0*b - 12 = 0, 12 = 4*b. Suppose 5*o - l*c - 19 = -0*c, 4*c + 12 = 0. Suppose v - o*v + 13 = 0. Is v a multiple of 13?
True
Let j be 7/(70/(-4))*(-1 + -9). Suppose -s = m + j*s - 30, 3*m - 2*s - 5 = 0. Suppose 0 = 5*h + 2*u - 190, m*h = u + 170 + 35. Is 6 a factor of h?
False
Let q(a) = 289*a**2 + 241*a - 2261. Does 23 divide q(10)?
True
Suppose 0 = 2*g - 2*f + 4, -g + 5*f - 6 = 2*f. Let y(o) = -2*o + 1. Let l be y(g). Is ((-32)/2 - l)/((-1)/10) a multiple of 37?
False
Let z(d) be the second derivative of d**6/120 - d**5/15 - d**4/8 - 2*d**3/3 + 10*d**2 + 15*d. Let f(x) be the first derivative of z(x). Is f(6) a multiple of 5?
True
Does 8 divide -2 + ((-7)/3)/(59/(-129918))?
True
Let u = 31 - 23. Suppose -6 = -u*n + 6*n. Suppose n*y - 68 = y. Is 10 a factor of y?
False
Let s = -3258 - -4405. Is s a multiple of 4?
False
Let v = 17 + -10. Suppose -4*g - 6 = -v*g. Does 14 divide ((-684)/6)/(-1*1) - g?
True
Let z(r) = r**2 + 231*r + 10590. Is z(0) a multiple of 10?
True
Is 251 a factor of ((-3)/24*2)/(8/3966368*-7)?
False
Is 66/(((-44)/3355)/((-12)/30)) a multiple of 11?
True
Let c be (6/4)/((-18)/(-1020)*5). Suppose -c*u - 16 = -21*u. Suppose 66 - 102 = -u*a. Does 6 divide a?
False
Suppose -5 - 17 = -2*r. Suppose 0 = -3*h + r + 1. Suppose -6*i - 5*g + 194 = -3*i, h*g - 60 = -i. Is i a multiple of 5?
False
Let m = 43289 + 2143. Does 64 divide m?
False
Let n = 90 - 131. Let b = n + 17. Let i = 48 + b. Is 8 a factor of i?
True
Is (-4624)/(-6)*(-13 - (-670)/40) a multiple of 34?
True
Let a be ((-5)/(-5))/1 - 1. Suppose -p + 574 = 4*s, -2*s + 0*p - 2*p + 290 = a. Is 13 a factor of s?
True
Let j(d) be the first derivative of -d**3/3 + 3*d**2 + 8. Let h be j(5). Is h/(-30) + 187/6 a multiple of 4?
False
Suppose -164427 = -5*x - v, 3*x - 99*v + 97*v = 98677. Is 22 a factor of x?
False
Suppose -3*l - 3*h = -14 + 2, -3*l + h + 4 = 0. Suppose -17 = l*m - 17. Suppose m = -0*s - 2*s - 4*d + 360, d + 5 = 0. Does 38 divide s?
True
Let x(k) be the third derivative of -53*k**6/720 + k**5/120 + 7*k**4/6 - 27*k**2. Let l(d) be the second derivative of x(d). Is 17 a factor of l(-4)?
False
Suppose -31 = -3*s + 3*b - 8*b, 5*b = -2*s + 14. Let w be (8 + s)*((-96)/(-15) + 2). Suppose 4*c + c = w. Does 14 divide c?
True
Suppose -5*x + 955 = -1165. Let p = -67 + x. Is p a multiple of 12?
False
Suppose -51*u = -28*u - 24*u + 8916. Is u a multiple of 8?
False
Let m = 4502 - -2748. Does 44 divide m?
False
Suppose 18 = -24*z + 30*z. Suppose 0 = z*l - 99 - 1041. Does 76 divide l?
True
Suppose 138 = 14*d - 1906. Does 146 divide d?
True
Let d = 2844 - 2151. Does 77 divide d?
True
Let v(w) = -11*w - 5. Let i be (-2 + 0 + 4)*-1. Let p be v(i). Suppose j = t - p, 5*j - 5 = -15. Does 15 divide t?
True
Let u(z) = z**3 + 17*z**2 + 15*z + 27. Let w be (-1*(9 - 1))/(1/2). Is u(w) a multiple of 6?
False
Suppose -2*q - 84 = 3*t, 4*t - 5*q = -5 - 130. Let k = -37 - t. Let j = 79 + k. Does 24 divide j?
True
Suppose 9 = -3*p, -r - 5*p - 27 = -5*r. Suppose -4*x = -3*o - 37, -o + r*x - 33 = 2*o. Let w = 40 + o. Is w a multiple of 3?
True
Let m be ((48/(-18))/1)/(3/9). Let y(v) = -v**2 - 5*v + 61. Does 13 divide y(m)?
False
Suppose -6*x = -23 + 5. Suppose 3*p = -2*t - x, t + 0*t = 0. Does 43 divide ((-1677)/4)/13*(-5 - p)?
True
Let m(z) = 20*z - 36. Let x be m(2). Suppose -x*o + 972 = 5*o. Does 8 divide o?
False
Suppose 15*h + 3*v - 159209 = 11*h, 6 = 2*v. Is 193 a factor of h?
False
Suppose -4*c + 5*u = 4*u - 22, 5*u = -4*c + 10. Suppose -4*z - 4*x - 656 = 0, -3*z = -z - c*x + 307. Let o = -61 - z. Is 20 a factor of o?
True
Let w(u) = -3*u - 32. Let p(j) = -7*j - 62. Let l(m) = 2*p(m) - 5*w(m). Let a be l(-20). Suppose 0 = -2*q + 10*q - a. Does 2 divide q?
True
Let m(u) = -33*u**3 + u**2 - 3*u - 5. Let t = -77 - -75. Let s be m(t). Suppose 9*r = 1142 - s. Is 12 a factor of r?
False
Suppose -122*r + 121*r + 5 = 0. Is 10 a factor of (9 - r) + 341 - -3?
False
Let a(x) = -x - 6. Let z be a(-10). Let g(w) = 11*w**2 + 16*w - 6. Does 6 divide g(z)?
True
Let a be (-14)/(-3) - (-4)/(-6). Let p = -1014 + 1017. Suppose 0 = p*u + 2*q - 373, -209 + 860 = 5*u - a*q. Does 19 divide u?
False
Let u(b) = b**3 + b - 2. Let g be u(2). Is (-30)/(-8)*(g + 40/(-30)) a multiple of 6?
False
Let f be ((-8)/(-2 - -4))/((-10)/5). Suppose -g + 5*u = 68, 0 = f*g - u + 3*u + 148. Does 49 divide ((-127)/(-2)*-1)/(g/146)?
False
Suppose 0 = -4*g + 12, 0 = 2*t + 3*g + 6196 - 17769. Is t a multiple of 13?
False
Let v = 3263 + -3029. Is v a multiple of 39?
True
Let o(p) = -2659*p**3 - 11*p**2 + 16*p + 67. Is 11 a factor of o(-2)?
True
Suppose -o = -7*f + 3*f + 54, 4*f = -4*o - 156. Let z = 44 + o. Suppose -z*y = 7 - 67. Does 3 divide y?
True
Suppose -10 - 2 = 2*n - a, 3*n = -3*a - 18. Let f(o) = -o**2 - 10*o + 11. Let r be f(n). Suppose 4*x + 0*v - v - 191 = 0, -x - 4*v = -r. Is 8 a factor of x?
False
Suppose -356 - 407 = -19*b + 2828. Is b a multiple of 3?
True
Let g(u) = -u**2 - 4*u + 4. Let y be g(-5). Let k be 9/3 - y - (-3 - -2). Suppose 23 = -k*c - 2, -v + c = -82. Is 13 a factor of v?
False
Suppose 29505 = c - 3*q, -117922 = -6*c + 2*c - 2*q. Does 36 divide c?
True
Suppose 3*h + 51 = 20*h. Let y(p) be the first derivative of 6*p**2 + 5*p + 5. Does 7 divide y(h)?
False
Let i(r) = -6*r - 3. Let c be i(-1). Suppose -c*t - 8 = 1. Does 15 divide ((-7)/((-210)/(-1296)))/(t/10)?
False
Let x(k) = -k**3 + 1612*k**2 - 8 + 0*k**3 - 64*k - 1642*k**2. Is x(-28) a multiple of 18?
True
Let n be 6/4*12/9. Suppose -5 = -n*i + 1. Suppose 0 = -l + 3, -g = g - i*l - 31. Does 13 divide g?
False
Suppose 5*i + 35 = 35. Suppose i = -23*l + 162 + 137. Is l a multiple of 2?
False
Suppose 222 = -8*j + 10*j + 3*i, -2*j = -4*i - 180. Is j a multiple of 51?
True
Let p = -1188 + 1939. Suppose 5*a - 2*z - 1079 - 2637 = 0, a - 3*z - p = 0. Suppose -3*m + 2*x = m - a, m = -5*x + 202. Is m a multiple of 45?
False
Suppose 2*i + 6 - 2 = 0, -2*w = 2*i - 20. Suppose -2*n + 10 = 2*s, -3*s = 2*n - w - 3. Suppose -s*k - 3 = -213. Is 7 a factor of k?
True
Is 152/(-24) - (-1)/3 - (-8380)/5 a multiple of 13?
False
Suppose -5*z + 2*z + 293 = 2*b, 5*b - 755 = -3*z. Let t be (b/33)/((-2)/3). Is 23 a factor of (-151 - 3)/(t - -6)?
False
Let y(p) = -5*p**3 - p**2 + 3*p + 3. Let b be y(-2). Let q = b + -33. Suppose -n + 251 = 2*i, -4*i + q*i = 3*n - 503. Is 18 a factor of i?
False
Is 5 a factor of 8695/2 + (-108)/(-216)?
False
Let r = 176 + -148. Suppose r*u = 42*u - 378. Is u a multiple of 3?
True
Let p = -46 - -54. Let x be (-4 + p + 1 + -1)/2. Suppose l + x + 1 = 0, -r = -l - 77. Is 15 a factor of r?
False
Let p(s) = -12*s - 12. Let l(x) = -x**2 + 27*x + 151. Let v be l(-5). Is p(v) a multiple of 12?
True
Let r(i) = 2*i**2 + 2*i + 6. Let n be r(-2). Suppose -n*c - 1122 = -16*c. Is c a multiple of 17?
True
Let f = 3 - -11. Let q(x) = -x**2 + 16*x + 2. Let p be q(f). Suppose -4*u + p = -3*u. Is u a multiple of 10?
True
Is 15 a factor of (7 + -1705)*12/54*-6?
False
Suppose 146*d = 153*d - 49. Suppose d*z - 212 = 1468. Is 30 a factor of z?
True
Let h(j) = -7*j + 45. Let k = -17 + 24. Let x be h(k). Is 33 a factor of (24/10)/((x/55)/(-4))?
True
Let u(d) = -3