of 21?
True
Let i(s) = 755*s + 5047. Is i(12) a multiple of 14?
False
Is 112/(-308) + (-3939)/(-33) a multiple of 17?
True
Suppose 0 = 10*b - 6*b + a - 45, -5*b + 4*a = -30. Suppose 786 + 94 = b*g. Does 11 divide g?
True
Let f(a) = 5 + 3*a**2 - 1 + 19*a**2 + 1 + a. Let z be (-9 + 14)*(-1 + (-4)/(-10)). Does 40 divide f(z)?
True
Is 35 a factor of 24/(-1) + (35226 - -82)?
False
Let s(l) = -l**2 - 13*l + 41. Let i be s(3). Let k(h) = -2 - 4*h - 2*h - 2*h. Does 27 divide k(i)?
True
Let w be -39*(-33)/36*4. Let d = -270 + w. Let l = d - -165. Is l a multiple of 19?
True
Let d(i) = i**2 - 51*i - 4497. Is 10 a factor of d(-125)?
False
Let m(f) = -3*f - 44. Let l be m(-17). Suppose l*w = 1329 + 3669. Does 34 divide w?
True
Suppose 145739 = 110*a - 324181. Is 12 a factor of a?
True
Suppose 176 = p - 5*p. Let r = 105 - p. Let g = r - 57. Is 27 a factor of g?
False
Let t = -25815 - -39600. Is t a multiple of 15?
True
Let t(b) = 91*b**3 - 5*b**2 + 5*b + 17. Is t(2) a multiple of 7?
True
Let t = -203 + 247. Let k = t - -37. Is k a multiple of 12?
False
Let f = -6973 + 7696. Does 11 divide f?
False
Let k = -38 - -45. Suppose -2*y + 0*l + 3 = -l, -3*y + l + k = 0. Suppose 62 = y*s + 26. Is s a multiple of 2?
False
Let s be ((-2)/2)/(27/(-12) + 2). Suppose -s*g + 30 + 18 = 0. Is 12 a factor of 1 + -58*(-42)/g?
True
Does 57 divide (-51)/34*6 - -6906?
True
Let k be (2 - 4 - 0) + -9 + 7. Is 13 a factor of ((-282)/12 - k)*-12?
True
Suppose -2*t + 6*t - 60 = 0. Suppose r = 4*p + t + 50, 0 = 4*p + 2*r + 50. Is 10 a factor of (-4 + 16)/((-2)/p)?
True
Suppose 0 = 2*t + 4, -5*z - 3*t = -36 + 2517. Does 33 divide (52/39 - (-76)/(-30))*z?
True
Let t(s) = s**3 + 4*s - 42. Let c be t(0). Let v = c + 115. Does 5 divide v?
False
Let p = 44594 + 31957. Does 17 divide p?
True
Suppose -66*z + 20 = -62*z. Suppose -37 + 12 = -z*n. Suppose 171 = 4*h + n*d, -2*d + 10 = 3*h - 127. Is h a multiple of 10?
False
Let h(y) = -44*y + 140. Let z be h(3). Let u(x) = x**3 - 2*x**2 + 6*x + 25. Is u(z) a multiple of 51?
False
Let n = 187 - 184. Is n/1 - (21048/3)/(-8) a multiple of 88?
True
Let s(k) = 2*k**2 + 25*k - 184. Is 39 a factor of s(17)?
True
Suppose -15*t + 9720 = 810. Is t a multiple of 33?
True
Let f = -1347 + 592. Let d = -447 - f. Is 11 a factor of d?
True
Suppose 127*n = 141*n - 475300. Is n a multiple of 10?
True
Suppose -227*n = -224*n - 2310. Let m = -584 + n. Is m a multiple of 93?
True
Suppose 0 = 52*c - 570675 - 116349. Does 12 divide c?
True
Suppose 17*k - 2668 = -6*k. Is k/(9 - 8) + (-1)/1 a multiple of 34?
False
Let z(j) = 2*j**2 - 28*j - 28. Let m be z(15). Let v(u) = 12*u + 53. Let a(c) = 4*c + 17. Let l(y) = m*v(y) - 7*a(y). Is 6 a factor of l(-7)?
False
Is 121 a factor of (3040/30)/((47 + -48)*(-1)/159)?
False
Suppose -2*u = 2*w - 22206, 5*u - 22216 = -2*w + u. Is 179 a factor of w?
True
Suppose -4*h + 5*h = 164. Suppose -2*k - g = 2*g - h, 0 = -g - 4. Is 12 a factor of k?
False
Let y(x) = -1061*x**3 - 33*x - 122. Is 52 a factor of y(-3)?
False
Let a be (-6 - -4)/(3 - -1)*-4. Let v be a/6 - 92/6. Let x = 87 - v. Is 17 a factor of x?
True
Suppose 3*r + 0*u - 11997 = 3*u, -3*r - 3*u = -12015. Suppose -r = -29*x - 1247. Does 5 divide x?
True
Let u(h) be the first derivative of h**4/4 + 2*h**3 + 5*h**2/2 + 12*h - 13. Does 11 divide u(-5)?
False
Let h(l) = 6*l + 142. Let r be h(-23). Is ((-1226)/(-14) - r) + (-3)/(-7) a multiple of 12?
True
Let s(u) = u**2 + 5*u + 8. Let w be s(-3). Suppose 4*b - 21 = -1, -w*r + 629 = b. Suppose 3*q = -4*c + 72 + r, 194 = 2*c + q. Does 12 divide c?
False
Let q(h) = -109*h - 4. Let a be q(2). Let v = 119 + 222. Let j = v + a. Is 13 a factor of j?
False
Suppose -11*j + 20023 = -43018. Is 15 a factor of j?
False
Let p be (-2)/(-10)*(-1665)/(-37). Let r(s) = 12*s + 37. Is 29 a factor of r(p)?
True
Suppose 61*k - 7 = 62*k. Is 90/(-4)*(k + -3) a multiple of 62?
False
Let n(h) = -h**2 + 5*h + 26. Let u be n(8). Suppose -5*b + i = u*i, -5*i = 3*b. Suppose -3*f + 539 + 6 = j, b = f - 5*j - 155. Is 10 a factor of f?
True
Let p(b) = -5*b**2 - 2*b + 3. Let v be p(2). Let q be (-570)/190 - -4*(-3)/(-2). Is (-6)/q*v/14 a multiple of 2?
False
Suppose -6*u + 24209 = 2351. Suppose -3*g - 2*q = -2070, 2*q + 189 = -5*g + u. Does 24 divide g?
False
Suppose 3*u + 2*r = -8, u + 0*u + 4*r + 16 = 0. Suppose 0*i - 2*i + 62 = -5*f, -3*i - 3*f + 135 = u. Suppose 0 = -2*o + 179 - i. Is o a multiple of 15?
False
Let f(u) = -6*u**2 - 13*u + 11. Let z be f(-12). Let i = 999 + z. Is 6 a factor of i?
False
Suppose -5 + 0 = -z. Let q be 707*(-11 + 72/6). Suppose -5*w - 4*d + z*d = -q, d = -w + 139. Does 33 divide w?
False
Suppose 53899 = 3*a - y, 5*a - 26988 - 62862 = -2*y. Is a a multiple of 6?
False
Let h be 140/15*(-1 - 38). Let p be 4 - (h/4 - -2). Suppose -59 - p = -2*c. Does 14 divide c?
False
Is 15 a factor of 26 + 17961/4 + 1/(-4)?
False
Suppose 3*y - 10 - 21 = 5*g, -12 = 4*y + 4*g. Suppose 2*u + 6*x - 154 = 4*x, 0 = 5*u - y*x - 350. Does 6 divide u?
True
Suppose -3*c + 0*c - 5*y + 36 = 0, -3*c + 2*y = -57. Let z(u) = -21*u - 530. Let v be z(-60). Is c/(-119) - v/(-14) a multiple of 7?
False
Let k(z) = 7*z**2 + 12*z - 51. Let t(f) = -6*f**2 - 12*f + 50. Let l be (42/(-12))/(-1) + 6/4. Let c(w) = l*k(w) + 6*t(w). Is 9 a factor of c(-12)?
True
Suppose -17*b - 12 = -21*b. Suppose 0 = -b*h + 23 + 25. Does 2 divide h?
True
Let q = 98366 + -67118. Is 124 a factor of q?
True
Let o be -9 + (-58)/(-6) + 20/6. Is 4 a factor of 620 + (-2 - o) + 9?
False
Let b(y) = -y**3 + 8*y**2 + 11*y - 8. Let k be b(9). Suppose -k*z = -13*z, 4*z = 3*u - 4995. Is 15 a factor of u?
True
Suppose -45*i = 77*i - 651523 - 333749. Is i a multiple of 6?
True
Suppose -33 = -7*m + 4*m. Suppose -r + m = -5*z - 24, 4*r - z = 45. Does 26 divide (-2440)/(-14) + r/(-35)?
False
Let s = 3611 - 1845. Suppose -2*r + 886 = 2*m, 3*m + s = 7*m - 2*r. Does 13 divide m?
True
Suppose 220 = -15*x + 20*x. Suppose 42*o = x*o + 16. Let s(z) = z**2 - z - 12. Is 5 a factor of s(o)?
True
Let q(i) = 8*i**2 + 49*i**2 + 32*i**2 - 8*i**2 + 2*i. Let b be q(-1). Suppose -3*h - b = -j, -5*j - 5*h + h + 357 = 0. Does 7 divide j?
False
Let p(y) be the third derivative of -y**4/24 + 105*y**3/2 + 2*y**2. Let q(x) = x - 5. Let o be q(5). Is 19 a factor of p(o)?
False
Let g be (4/(-5))/(2/20). Let u(v) be the second derivative of -v**5/20 - v**4/2 - v**3/2 + 9*v**2 - 81*v + 13. Is 17 a factor of u(g)?
True
Does 65 divide 18050/(-30)*(-8 - 61)?
False
Suppose -29058 - 13262 = -0*t - 16*t. Is t a multiple of 23?
True
Let p = 15 - 12. Suppose 2*l = o + 537, -5*l - p*o = -1302 - 13. Does 35 divide l?
False
Suppose 3*u - 144734 = -4*i, 2*i = -204*u + 200*u + 72362. Does 87 divide i?
False
Suppose 2*o - 305 = 5*f, -332 = -2*o - 6*f + 2*f. Suppose -l = -v + o, 3*l + 162 = v + 4*l. Is 8 a factor of v?
False
Suppose 2178 = 3*i - 3390. Suppose 3184 = 18*o - i. Is o a multiple of 20?
True
Let m = 1230 + -801. Let b = m - 256. Does 29 divide b?
False
Let j be 93/(-31)*(1 - (-5)/(-3)). Let l(v) = 4*v**j - v**3 - 4*v**2 + 8*v**2 + 0*v**3 - 7 + 6*v. Is l(7) a multiple of 11?
False
Let g = 4173 - 282. Is g a multiple of 8?
False
Suppose s = -5*i - 489, 3 = -i - 3*s - 106. Let j = i - -137. Suppose 0 = -5*b + j + 80. Is b a multiple of 23?
False
Is 173 a factor of 47088/(63/7) - (-1 + 4)?
False
Suppose 0 = -0*h + 4*h - 48. Let q be (-1356)/3*(-2 - 1)/h. Suppose 43 = 4*p - q. Does 13 divide p?
True
Suppose -4*i + 726 = -3*a - 734, -5*a = i - 365. Suppose -3*m + i + 676 = 0. Let p = 711 - m. Is p a multiple of 13?
True
Let k = -41 + -41. Let g = -160 - k. Let l = g + 135. Does 17 divide l?
False
Suppose 3*b - 3*g = 31218, -2*g + g = 4. Is 32 a factor of b?
False
Is 100 a factor of (295/(-10))/((-699)/4290 - (-18)/117)?
False
Suppose 14868 + 6241 = 11*m. Is m a multiple of 26?
False
Suppose 0 = -5*f + 2*q - 789 + 5547, -3 = -3*q. Is f a multiple of 14?
True
Let z(j) = -7*j - 32. Let y(m) = 1. Let r(p) = -6*y(p) - z(p). Let l(w) = -2*w**2 + 13*w - 5. Let v be l(4). Is r(v) a multiple of 12?
False
Suppose 6102 = 3*z + 3*c, -4*c = -2*z - 3*c + 4074. Suppose f = -3*f + 8, -4*j + 4*f + z = 0. Is 36 a factor of j?
False
Let s(q) = q**2 - 15*q + 30. Let x be s(2). Suppose x*j - 340 + 120 = -3*k, -5*j - 139 = -2*k. Does 3 divide k?
True
Let n(d) = 52*d**2