of 90?
True
Suppose -727 = -3*v + 2462. Suppose 2*b - 488 + 67 = g, -5*b - g = -v. Suppose n - b = -3*n. Does 19 divide n?
False
Let m = -318 + 670. Is m a multiple of 16?
True
Suppose g - q - 538 = 0, -2501 = -3*g + q - 883. Is 12 a factor of g?
True
Suppose 6*j - 2*j = 3*v + 502, -3*v - 375 = -3*j. Suppose -5*i = -j - 368. Does 11 divide i?
True
Let b = 210 - 56. Let r = -84 + b. Is 43 a factor of r?
False
Let f(r) = -6*r**3 - 2*r + 1. Let d = -5 + 6. Let o be f(d). Is 13 a factor of o/((-70)/12)*50?
False
Let o(i) = 3*i**2 - 83*i + 110. Is 10 a factor of o(30)?
True
Let n(y) = -y**3 - 13*y**2 + 17*y - 43. Is n(-15) a multiple of 73?
False
Let d = 93 - 91. Is 7 a factor of (6/(-4) + d)/(1/84)?
True
Suppose 0 = q + 11*q - 29484. Is q a multiple of 28?
False
Let d(q) = q**3 - 5*q**2 + 4*q + 5. Let b be d(5). Suppose 5*c = 4*c - 4*t + b, -3*t + 15 = 0. Let x = c + 34. Does 7 divide x?
False
Suppose 494 = 7*s - 290. Suppose 0 = 6*m + 2*m - s. Is m a multiple of 3?
False
Suppose 0 = 5*u + 67 - 72. Does 38 divide u + 3 + (-930)/(-5)?
True
Let r = 4884 + -3424. Does 20 divide r?
True
Let z = -241 + 384. Suppose 29*m = 3194 - 787. Let s = z - m. Is 30 a factor of s?
True
Suppose -2*m = -m - 378. Is 3*1 + m/27 even?
False
Let y = -19 + 23. Suppose 479 - 141 = 3*u - y*p, -3*u + 342 = -3*p. Does 24 divide u?
False
Let h = 80 + -80. Suppose h*d + 350 = 7*d. Is d a multiple of 25?
True
Suppose 3*f - 489 = j, 4*f - 341 - 647 = 2*j. Let n be (-6)/(-15) - j/15. Suppose 3*m - 5*v = n + 19, 5*m - v - 81 = 0. Does 5 divide m?
False
Does 72 divide (7/21)/(((-2)/(-12318))/1)?
False
Let p = 0 - -3. Suppose -i = -p*i. Suppose i = 2*r + r - 15. Does 2 divide r?
False
Suppose 2*y - y = -4*b - 232, -y - 173 = 3*b. Let q = b + 129. Is q a multiple of 14?
True
Let g(c) be the first derivative of 2*c**5/15 + c**4/24 + c**3/3 - 2*c**2 - 2. Let x(y) be the second derivative of g(y). Is x(2) a multiple of 25?
False
Suppose 0 = -o + 4*o. Suppose o = -0*m + 5*m - 75. Is 14 a factor of m?
False
Suppose 6*r = -c + 2*r + 22, -4 = 3*c - 2*r. Suppose 2*z - k = 188, c*z + 4*k - 124 = 74. Is z a multiple of 19?
True
Let r(x) = x - 1. Let d(v) = 8*v + 9. Let i(o) = d(o) - 3*r(o). Is 2 a factor of i(0)?
True
Let n = -255 - -349. Is n a multiple of 7?
False
Let j be (-8)/(-10)*40/16. Suppose j*h = 10, -2*f + f + 25 = 2*h. Suppose 4*g - f - 85 = 0. Is g a multiple of 3?
False
Let y(i) = -10 - i + 3*i**2 + 14 + 3*i. Let l be y(6). Suppose -l = -w - w. Is w a multiple of 16?
False
Let i = 6941 + -3881. Is i a multiple of 45?
True
Let h(b) = 5*b**2 + 36 - 4*b**2 - 7*b + 0*b**2 - 15. Does 6 divide h(6)?
False
Let y(x) = -46*x**3 + 2*x**2 + x - 2. Let b be y(1). Let k = 172 + b. Does 18 divide k?
False
Let r(t) = -14*t**2 + t. Let k be r(-1). Let j = -10 - k. Suppose -j*m = -19 - 126. Does 16 divide m?
False
Let g be 5 + -2 - (4 + -1). Let h be g - (-5)/10*58. Suppose 0 = 3*j + x - h, -5*j + 20 = -5*x - 35. Is 2 a factor of j?
True
Does 10 divide (2 + 8)/((-62)/(-20) + -3)?
True
Suppose 330 = w - 468. Does 57 divide w?
True
Is ((-316)/6)/(112980/4347 - 26) a multiple of 16?
False
Suppose 18 = 3*n + 4*d, -n - 5*d + 0 + 17 = 0. Suppose n*b + b - 4*h = 46, -3*h + 6 = 0. Does 18 divide b?
True
Suppose 176 - 554 = -9*u. Is 7 a factor of u - 2/(-2)*(2 + 1)?
False
Let l(q) be the first derivative of q**3/3 - 6*q**2 - 17*q - 19. Let c = -15 - -29. Does 11 divide l(c)?
True
Suppose -5*l - 5*t + 5 = 0, 0 = -3*l - t + 5 + 4. Suppose -l*r - 3*k + 424 = -225, 5*r - 809 = -3*k. Does 40 divide r?
True
Let k be (-4 + (-390)/(-5))/2. Let w = -24 + k. Does 9 divide w?
False
Suppose -c + 143 = -61. Is 17 a factor of c?
True
Suppose 11*o + 5 = 10*o. Let z(b) = 3*b + 42. Does 2 divide z(o)?
False
Suppose -3*g - 7 - 5 = 0, 2*w + 3*g = 5944. Is w a multiple of 64?
False
Let o = 4402 - 2587. Does 15 divide o?
True
Let f(j) = -j. Let x(i) = 47*i**3 - i**2 + 4*i - 3. Let p(c) = 2*f(c) + x(c). Let q be p(-3). Is ((-2)/3)/(22/q) a multiple of 16?
False
Let q(t) = 64*t + 776. Is 8 a factor of q(7)?
True
Let t(y) = -7*y**3 + 6*y**2 - 5*y - 12. Let i be t(-6). Suppose 10*w - w = i. Is 33 a factor of w?
False
Suppose 85*k + 1086 = 91*k. Is 35 a factor of k?
False
Let y = 488 + -326. Is y a multiple of 9?
True
Let y(l) = l**3 - l**2 - 2*l + 196. Does 5 divide y(0)?
False
Suppose -4*q + 5*h = -207, 55 = 2*q - h - 56. Let g = -23 - -25. Suppose 0 = g*t + 10 - q. Is t a multiple of 9?
False
Let p = 66 - 1. Suppose -140 - p = -5*g. Does 6 divide g?
False
Suppose 4*m = 6*d - 4*d, -2*d + 3*m = -2. Suppose -111 = -3*y - 3*a, 3*y + a - 99 - d = 0. Is 13 a factor of y?
False
Let k(w) = -w**2 - 20*w + 19. Let c be k(-21). Let z(b) = 11*b**2 + 3*b + 6. Does 22 divide z(c)?
True
Suppose 6*d = d - 5, 0 = 3*y - 5*d + 514. Suppose -p = 2*p - 42. Is y/(-7) - (-4)/p a multiple of 21?
False
Does 26 divide -16*(-11 - (-25)/(-5))?
False
Let j(s) = -s**3 - 25*s**2 - 53*s - 137. Is 27 a factor of j(-25)?
True
Suppose -5*t = 3*r + 2, 2*r + 2*t = -12 + 4. Let q(w) = w**2 + 5*w - 14. Let h be q(-7). Is (-1 - h) + (r - -114) a multiple of 23?
False
Let s(m) = -5*m**2 + 60*m + 10. Is s(12) a multiple of 3?
False
Let q be (10/3 - 3)*0. Let h = -12 + 14. Suppose q*f + h*f = 66. Is f a multiple of 11?
True
Does 83 divide (1494/12)/(3/14)?
True
Suppose -2*v + h = -248, h + 365 = 3*v + 3*h. Does 27 divide v/2*(-8)/(-6)?
False
Let m be 4/12*0/(-2). Suppose x = -5*j - 3*x, 5*j - x + 25 = m. Does 13 divide 93/(-6)*j/2?
False
Let h(j) = j**2 + 6*j + 2. Let z be h(-6). Suppose 0*u + z*u = 0. Suppose -164 = -5*m + w, 3*m + u*w = 4*w + 95. Does 8 divide m?
False
Suppose 161*z = 137*z + 66192. Is 93 a factor of z?
False
Let i = -1744 - -3008. Is i a multiple of 79?
True
Let t(o) = -5*o + 53. Is 11 a factor of t(-19)?
False
Let p be (-1272)/36*(-1 + 52). Does 13 divide p/(-16)*2 + 2/(-8)?
False
Is 229/(-2)*-6 - (6 - 4) a multiple of 28?
False
Suppose -44*h + 36*h + 7168 = 0. Does 14 divide h?
True
Let h(v) = 18*v + 7. Let t be h(5). Let w = t + 101. Is w a multiple of 18?
True
Suppose 0 = -2*f - 75 + 339. Suppose -2*q = -5*q + f. Is 11 a factor of q?
True
Let g be (-1)/((-6)/(-22))*-6. Let u be (g - 4)*1/3. Is 13 a factor of (27 - 1) + u + -7?
False
Let q(n) = 2*n**2 - 12*n + 13. Let b be q(5). Suppose b*o - 20 - 79 = 0. Does 32 divide o?
False
Suppose 7*v - 3*v - 492 = 0. Is 9 a factor of v?
False
Let h = -1 - -1. Suppose 4*u = 8*u + 4*r - 76, -4*u - r + 61 = h. Is u even?
True
Suppose -567*c = -569*c + 1734. Does 13 divide c?
False
Let u(b) = b**3 - 45*b**2 - 24*b + 108. Is 14 a factor of u(46)?
True
Let a be ((-10)/15)/(6/153). Let p = -12 - a. Suppose p*y + 97 = 342. Does 7 divide y?
True
Let l(u) be the second derivative of 5*u**4/3 - u**3/6 + 2*u**2 + 5*u. Let r(c) be the first derivative of l(c). Is r(2) a multiple of 17?
False
Suppose a = o + o - 1, 3*a = 2*o - 7. Does 10 divide (-4883)/(-57) - 1/3*o?
False
Suppose 18*h + 12 = 22*h. Is (h/6)/((-3)/(-720)) a multiple of 40?
True
Suppose 0 = -21*u + 71*u - 204800. Does 131 divide u?
False
Suppose -2*j + 27 = 3*u - 6*u, 2*u + 2*j + 8 = 0. Let x(d) be the third derivative of -d**6/120 - d**5/10 - d**4/3 + 5*d**3/2 + 2*d**2. Does 20 divide x(u)?
True
Let g = -333 - -510. Does 59 divide g?
True
Suppose -4*p = 8, 12*j = 14*j + 5*p - 2132. Is j a multiple of 68?
False
Suppose -61 = 4*a - 17. Let o = 76 + a. Let j = -46 + o. Is j a multiple of 8?
False
Suppose -2*o + 3*o + 6 = 2*r, 0 = 5*r - 2*o - 14. Let v(q) = -7*q + 3*q**2 - 2*q**r + q**2 + 10 - q**2. Does 18 divide v(8)?
True
Suppose -6*y + 10 = -8*y. Does 7 divide (y/15)/(2/(-798))?
True
Let t(v) = -v**2 - 3*v + 2. Let a be t(-3). Suppose -a*r + 4 = -4*f, 2*f + 10 = 6*r - 3*r. Let x(z) = 2*z**2 - z + 5. Is x(r) a multiple of 12?
False
Let z = -29 - -55. Let h be (z/(-6) + -1)*-6. Let c = 60 - h. Is c a multiple of 9?
False
Suppose -5*d + 5*o + 11385 = 0, -96*o + 2292 = d - 94*o. Is 7 a factor of d?
True
Suppose -p + 86 = 26. Is p a multiple of 6?
True
Let t be -6*(4 - (-31)/(-3)). Let p(x) = -6*x + t*x**2 - 19*x**2 + 4*x. Is p(2) a multiple of 14?
False
Let z = -12 - -2. Let x(w) = 2*w**2 + 14*w - 4. Does 7 divide x(z)?
True
Let l(d) = -2*d**2 - 6*d + 21. Let h be l(4). Is (-858)/(-10) + (-7)/h a multiple of 29?
False
Let y = -630 + 1095. Is y a multiple