, -4*x = -248 + 272. Is h a multiple of 93?
True
Let q(j) = 304*j + 105. Let h(d) = 153*d + 52. Let t(f) = 5*h(f) - 3*q(f). Is t(-5) a multiple of 17?
True
Suppose 4*w - a + 0 = 16, -2*a = 3*w - 12. Suppose 0 = 2*j + 6, w*j + 173 = t + 6*j. Suppose 0 = -4*z + 1 + t. Is z a multiple of 6?
False
Let o(g) = 40*g**3 - g**2 - 2*g + 7. Let j be o(3). Suppose -376 + j = 4*v. Is 12 a factor of v?
False
Let a(q) = -18*q - 28. Let u be a(-3). Does 30 divide 4/u + (-4010)/(-130)?
False
Let r(g) be the first derivative of g + 10*g**2 - 46 - 21*g - 13*g. Is 9 a factor of r(14)?
False
Suppose 0 = -307*y + 308*y + 112. Does 20 divide (624/y*-20)/(1/7)?
True
Suppose 213*d - 216*d = 18. Is 3 a factor of (11/((-33)/d))/(2/67)?
False
Let v(o) = -16 + 0*o**2 - 8*o - o**2 - 7 + 22*o. Let s be v(12). Let p = s - -82. Is 14 a factor of p?
False
Let a be 10/4*208/40. Let z = 48 - a. Suppose -z = -6*n + 55. Does 3 divide n?
True
Let d(w) = -w**3 + 14*w**2 + 8*w - 1. Let i be d(13). Let y(m) = -m**3 - 18*m**2. Let h be y(-18). Suppose -3*z + i + 100 = h. Does 21 divide z?
False
Let k be -3 + (3 - -1 - 2). Let t be (-2)/4*k*18/1. Suppose -t*m - 58 + 517 = 0. Does 10 divide m?
False
Let n = 163 + -163. Suppose 5*r + 2*v - 790 = -3*v, 2*r - v - 328 = n. Is r a multiple of 54?
True
Let x = -2109 - -2251. Is x even?
True
Let n(o) be the first derivative of 14*o + 1/2*o**2 - 4. Is 4 a factor of n(-3)?
False
Let b(i) = 7*i**3 + 62*i**2 + 68*i - 147. Let y(m) = 4*m**3 + 30*m**2 + 34*m - 74. Let u(t) = -3*b(t) + 5*y(t). Is 9 a factor of u(-35)?
True
Let b(h) = -49*h - 14. Let m be b(-6). Suppose m = 6*r + 2*r. Suppose -11*j = -16*j + r. Is 2 a factor of j?
False
Suppose 7937 - 28406 = -86*h + 44203. Is h a multiple of 15?
False
Let k = -21804 + 46044. Is k a multiple of 25?
False
Let y be 384/1 - (2 + 3) - 2. Suppose 12*o + 89 = y. Does 8 divide o?
True
Suppose 3*c - 3 = 3*i, 3*c - i - 19 = -6*i. Suppose -5*y + 3930 = -c*n, -17*y + 15*y = -3*n - 1581. Is y a multiple of 19?
False
Suppose 0 = 86*k + 71*k - 105*k - 2356536. Does 182 divide k?
True
Let u be 28*(80/35 - 2). Suppose 0 = n + 7*j - u*j, 4*n = j + 9. Suppose 33 = l - 4*k - 2, -n*l + 5*k = -140. Is l a multiple of 14?
False
Let k(d) = 29*d - 7. Let v(u) = -u**3 + 16*u**2 + u - 19. Let t be v(16). Let j be k(t). Let n = -45 - j. Is 14 a factor of n?
False
Let c = 523 + -189. Let v = 336 - c. Is v even?
True
Suppose 12*q + 14 = 13*q. Let g(f) = 8*f + 6. Let v be g(q). Suppose -3*l = -t - l + v, -l = 5*t - 645. Is 16 a factor of t?
True
Let i(y) be the first derivative of -3*y**4/4 - 2*y**3 - 7*y**2/2 - 4*y - 290. Suppose -3 = -3*d + 3*j, 4*j = 2*d - 7*d - 40. Is i(d) a multiple of 12?
True
Suppose -2*w - 2*z = -11564, 1576 = w + 2*z - 4209. Is 5 a factor of w?
False
Let f = -36 - -36. Let s(t) = 2*t**2 - 18*t + 30. Let q be s(2). Suppose q*l - 9 - 145 = f. Does 6 divide l?
False
Let u = -26 + 37. Suppose 0 = -4*x + 3*i + 90, -u = -x - 8*i + 3*i. Is x a multiple of 2?
False
Let m be ((-1017)/452)/((-2)/(24/(-9))). Suppose -b = -0*b + 3. Does 32 divide 3 + 120 - 2/m*b?
False
Suppose k - 4*x + 50 = 0, 16*k - 12*k = -3*x - 219. Does 14 divide 74*((-5)/10 + k/(-4))?
False
Let l = -6 - -70. Suppose 4*m + 4*o - l = 740, 2*o + 603 = 3*m. Suppose 22*z - 19*z = m. Is z a multiple of 10?
False
Is (-2)/(-5) + -16*(-127126)/85 a multiple of 17?
False
Let r be (-40743)/(-21) - ((-12)/(-14))/6. Suppose -4*m - 1964 = 4*i, 0*m = 4*m - 2*i + r. Let p = -173 - m. Is p a multiple of 44?
False
Suppose -267 = 2*m + o, -5*m + 3*m = -4*o + 252. Is 4 a factor of 5*2/60*-3*m?
False
Let u(l) = 4 + 54*l + 3 - 3*l + 61*l. Let v be u(1). Suppose 2*o - v = 445. Is 41 a factor of o?
False
Let z(a) = 3691*a**2 + 370*a - 1. Is z(1) a multiple of 7?
True
Let l be 1/(1/(-2)*-1). Suppose 4*k = 2*z + 146, 3*z - l*z = -2*k - 81. Let u = z + 87. Is 3 a factor of u?
False
Suppose 206*a - 92664 = 179*a. Is 33 a factor of a?
True
Let h(g) = -35*g + 23. Let q(v) = 17*v - 12. Let c(n) = 6*h(n) + 11*q(n). Let p be c(-10). Let r = 336 - p. Is r a multiple of 18?
False
Suppose 294 = -6*k + 384. Suppose 0 = -2*f + k*f - 9321. Does 15 divide f?
False
Let l(n) = 6*n + 67. Let v be l(-10). Suppose 12*j - v*j - 3*w - 178 = 0, 0 = -2*j - 3*w + 88. Does 19 divide j?
True
Let v(m) = m**3 - 2*m**2 - 13*m + 6. Suppose 3*j - 16 = -5*p + 25, 4*j - 36 = -2*p. Is 25 a factor of v(j)?
False
Suppose 29 = -l - 5*d, -3*d + 3 - 18 = 0. Let h = 255 - l. Is h a multiple of 17?
False
Suppose 14*g - 33776 = 4*g - 6*g. Is 11 a factor of g?
False
Let c(a) = 458*a**2 - 3*a + 1. Let j(q) = q**3 - 30*q**2 + 35*q - 175. Let g be j(29). Is c(g) a multiple of 33?
True
Let s(w) = 76*w - 25. Let y be s(9). Let z = -467 + y. Does 16 divide z?
True
Is (-18 - -7) + 1270 + 1 a multiple of 18?
True
Suppose 109377 = 5*t + 3*x, 4*x + 88917 = 4*t + 1473. Does 37 divide t?
False
Let f = 241 - 236. Suppose -q - f*n + 244 = 0, 24*q - 20*q - 1064 = 2*n. Does 44 divide q?
True
Let t be (372/7)/(((-72)/(-42))/12). Suppose -5*h - 831 = -u + 246, -868 = 4*h - 4*u. Let i = h + t. Is i a multiple of 50?
False
Suppose v - 2845 = -3*g - 3*v, 3*v = 3*g - 2817. Suppose g = -4*k + 311. Let j = -98 - k. Does 16 divide j?
False
Let d be (8 - 11 - -10) + 3*-1. Suppose 2*w - 4*f - 434 = 0, 278 + 365 = 3*w - d*f. Is w a multiple of 17?
False
Does 119 divide -7 + 12616 - -3 - 6/(-3)?
True
Suppose 0 = 2*k + 22 + 104. Let n = -11 - k. Let o = -33 + n. Is o a multiple of 4?
False
Let h be 724/(((-2)/4)/((-4)/8)). Suppose b - 228 = 5*d, -10*d - h = -3*b - 5*d. Is 11 a factor of b?
False
Suppose 77*g - 78*g + 7 = 0. Is 4 a factor of 891/12 - g/28?
False
Let u(j) be the third derivative of j**5/10 + 3*j**4/2 + j**3/3 + 84*j**2. Suppose -14 = 2*c - 0*c. Is u(c) a multiple of 22?
True
Let i(y) = 6*y**3 - y**2 + 7*y - 1. Let w be i(5). Is 13 a factor of (-4)/((-2)/(-1)) + w + -42?
True
Let m(f) = -85*f - 40. Let w be m(-4). Suppose w = -3*y + 5*v, -y - 2*y - 294 = -3*v. Let n = y + 180. Is n a multiple of 17?
True
Let h be (24/20)/(2/25). Suppose -2484 = -21*l + 12*l. Suppose l = -h*z + 19*z. Is z a multiple of 7?
False
Let r(u) = 5*u**2 - 32*u - 210. Is r(23) a multiple of 5?
False
Let n be -18*(-2)/8*4. Let g be 27/n*(1 - 23/(-3)). Suppose 2*y = g*y - 253. Is 4 a factor of y?
False
Let t(u) = -6*u + 73. Let x(i) = i**2 + i - 10. Let m be x(3). Suppose -m*r - 3 = 3*d, 0*d + 3*d - 9 = -4*r. Is t(r) a multiple of 18?
False
Suppose 49918 + 24044 = 24*k - 66390. Is 86 a factor of k?
True
Suppose 14*v + 130 = -220. Let j = 28 + v. Suppose -5*g + 912 = j*g. Does 19 divide g?
True
Let k = -21 + 21. Suppose -12160 - 3770 = -18*n. Suppose 0 = v + v + s - 453, 4*v - 5*s - n = k. Is v a multiple of 25?
True
Suppose 5*o = 5*m + o, 0 = 3*m - 2*o. Suppose 4*w + 270 = -3*r, m*r - 8 = -4*r. Let y = 82 + w. Is y a multiple of 13?
True
Let p(a) = a**2 + 23*a + 7. Let h(n) = n + 1. Let x(t) = 11*t - 8. Let k(c) = -3*h(c) - x(c). Let v be k(2). Is p(v) a multiple of 7?
True
Suppose -4*i = -2*i - 28. Suppose i = r - 3*l, -l - 4 = 2*r + l. Suppose r*y = -3*s + 141, -2*y + 219 = y - 3*s. Is y a multiple of 6?
True
Let n be 1 - 9/(27/12). Let d(q) = 3 - 18*q + 3*q - 11*q - 5*q. Does 13 divide d(n)?
False
Let u = -1051 + 2366. Suppose u = -16*c + 21*c. Let q = -185 + c. Does 13 divide q?
True
Suppose -96*p = -50530 - 69470. Is 25 a factor of p?
True
Suppose -6*d + 870 = -300. Is d a multiple of 65?
True
Let i(u) = 3*u**2 - 6*u + 22. Let t = 40 + -47. Let q be (t/3*1)/(1/(-3)). Is 8 a factor of i(q)?
False
Suppose 12 = -2*l - 4*f, 2*l = f + 5 - 2. Let w(c) = c**2 - 2*c + 264. Does 18 divide w(l)?
False
Suppose 9*s - 21187 = -7593 + 10220. Is s a multiple of 27?
True
Let k(g) be the first derivative of 68*g**3/3 + g**2 - g + 18. Let m(q) = -q**3 - 7*q**2 + 6*q - 15. Let u be m(-8). Is 12 a factor of k(u)?
False
Let k(x) = 600*x + 812. Does 44 divide k(4)?
True
Let p = -516 + 521. Suppose p*z + 1620 = 3*h - 511, -h = 2*z - 725. Does 51 divide h?
False
Does 324 divide (-337283)/(-12) - 733/(-8796)?
False
Is 53 a factor of ((3380/91)/(6/28))/((-112)/(-13272))?
False
Suppose r = -2*k + 658, 2*k - 4*k - 2612 = -4*r. Is 6 a factor of r?
True
Let q(b) = 8*b - 32. Let z(r) = -r**3 + 3*r**2 + 2*r + 1. Let k be z(2). Let o(s) = -s**3 + 9*s**2 + 2*s - 10. Let c be o(k).