f 98?
False
Let s(w) = 4*w**2 - 36*w + 3. Let n(g) = 7*g**2 - 95*g + 8. Let z(r) = -2*n(r) + 5*s(r). Let b be (-1 - 2)*(-2)/(-3). Does 3 divide z(b)?
True
Suppose 4*w + 5*p + 156 = 5*w, 519 = 3*w + 2*p. Is w a multiple of 3?
True
Suppose -3*f - 14 = -10*f. Suppose -f*y - 4 = -1136. Suppose -y = -4*n + z - 4*z, -421 = -3*n - 4*z. Is n a multiple of 14?
False
Suppose -19*q = -4*k - 130339, 4*q - 11*k + 13*k = 27454. Is 3 a factor of q?
True
Let g = -72906 + 31566. Does 61 divide g/(-34) + 16/136?
False
Does 61 divide (-271212)/(-18) + ((-180)/(-27) - 7)?
True
Is 35 a factor of (8/14)/((-216)/(-1724436))?
False
Suppose 3*h = 3, -h + 5*h = 5*n + 5134. Let a = 1740 + n. Is a a multiple of 94?
False
Suppose 10*f + 84 = -206. Does 18 divide (-14239)/f + (9/(-3) - -1)?
False
Let u = 12 - -2. Suppose x - 17 = 2*i, -i - u = -x + 2*i. Is x a multiple of 2?
False
Let n be -50*6/15*-1. Let q = n + -20. Suppose q = 5*t - 22 - 33. Is t a multiple of 11?
True
Suppose 13 + 35 = 3*u. Suppose -u*f + 1224 = -8*f. Is f a multiple of 13?
False
Let k be (-144)/(9 + -5)*195/(-2). Suppose -k = -21*i + 2076. Is i a multiple of 38?
True
Let n = -186 - -623. Suppose -n = -9*d + 1030. Is d a multiple of 27?
False
Suppose -315*r + 135975 = -280*r. Is r a multiple of 37?
True
Let f be ((-233)/(-2))/((-6)/(-12)). Suppose 595 + 378 = 2*s - 5*y, 0 = -4*s + y + 1901. Suppose f = 7*p - s. Is p a multiple of 16?
False
Suppose 40*h = 50*h - 11500. Suppose 5*c - h = -g, -965 = -3*g - 4*c + 2529. Is 18 a factor of g?
True
Suppose 2*p = p. Let a(i) = -2*i**2 + 9*i + 35. Let n be a(7). Is 13 a factor of 351/(p - -3) - n?
True
Let a be -3 + 29/4 - (-9)/12. Suppose 543 = 8*c - 3*c + 3*x, 0 = a*x - 5. Suppose -4*z - c = -5*z. Is z a multiple of 9?
True
Suppose -28*p + 450083 = -766517. Is p a multiple of 50?
True
Let k = 5906 - 3570. Does 4 divide k?
True
Let r(g) be the first derivative of g**2 + 13*g - 1. Let w be 3/(-12)*(-52 - 0)/1. Is 22 a factor of r(w)?
False
Let k(c) = c**3 - 3*c**2 + 2*c - 4. Let t be k(3). Suppose -t*g - 56 - 40 = -2*z, -2*z = 3*g - 106. Is z a multiple of 5?
True
Let k be 39/65 + 3*(-3)/15. Suppose 2*c + 2 - 6 = 0, 0 = 3*w + 2*c + 5. Is 5 a factor of (k - w - 2)/(1/25)?
True
Let r = -3810 - -6141. Is 3 a factor of r?
True
Suppose 139228 = 5*u - 40*u + 667063. Is u a multiple of 11?
True
Let y = 649 - 646. Suppose -4*n - 2*q + 1472 = 2*q, 1493 = 4*n - y*q. Does 21 divide n?
False
Suppose 18 + 17 = 5*w - 3*v, 0 = 4*w - 3*v - 31. Suppose 4 = w*h - 40. Let k = 31 + h. Is 6 a factor of k?
True
Let s = 72 + -60. Suppose s*t + 226 = 14*t. Is 6 a factor of t?
False
Let l(u) = -4*u**3 + u**2. Let p(r) = -217*r**3 - 7*r**2 + 15*r - 14. Let o(v) = -5*l(v) - p(v). Is o(1) a multiple of 17?
True
Suppose -9*f + o = -49307, 3*o = f - 5226 - 241. Is f a multiple of 25?
False
Let n be (-150)/12*(-12)/((-9)/3). Does 29 divide 1050/(-50)*n/6?
False
Let i(d) = -4*d**2 + 4 - 2*d + 8 + 9*d - d**3. Let x be i(-5). Is 2 a factor of (27/(-6))/(x/(-12))?
False
Suppose 0 = -75*i + 20*i + 2585. Does 39 divide i?
False
Let b(o) = o + 1. Let n be 4/10 + (-1 - (-60)/(-25)). Let i(c) = -4*c - 54. Let z(j) = n*b(j) - i(j). Does 12 divide z(-17)?
False
Let u = -241 + 246. Suppose u*w - 833 - 1027 = 0. Is 12 a factor of w?
True
Suppose 16*y - 116 = 14*y. Let b be 2/(-19) + y/551. Suppose 8*o - 654 - 650 = b. Is o a multiple of 34?
False
Let u = -22 - -22. Suppose u = 5*i - 137 + 12. Is i a multiple of 10?
False
Is 15 a factor of 5112/1 - (46 + -57)?
False
Let n = -782 - -1328. Does 13 divide n?
True
Let y(h) = -17*h - 292. Let u be y(-31). Let k = 445 - u. Does 10 divide k?
True
Let m be (-6)/(-15) + (-5065)/(-25) + -2. Suppose -4*x + 159 = -m. Suppose -95*z + x*z + 210 = 0. Does 21 divide z?
True
Let y(a) = 403*a - 11763. Does 12 divide y(35)?
False
Let n be (-40)/15*(1 + -4). Suppose -9 = 3*x, -n = -4*c - 3*x - 1. Suppose -5*b = 4*d - 505, c*b - d = b + 320. Is b a multiple of 23?
False
Let z(u) be the second derivative of 4*u**3/3 + 4*u**2 + 15*u. Does 4 divide z(11)?
True
Let y(u) = 7*u**2 - 65*u - 1009. Is y(-15) a multiple of 63?
False
Let l(m) be the third derivative of m**5/60 - 5*m**4/12 - 21*m**2. Let w be l(10). Does 24 divide (-227)/(-2)*(w + 2)?
False
Let p(r) = r**2 - 2*r + 28. Let d be (-20)/4 + (-8 - -26). Does 19 divide p(d)?
True
Let a(u) = 56*u - 35. Let o be a(16). Suppose -5*q + o = -3009. Does 18 divide q?
True
Let r = -1191 + 2087. Suppose -16*f + r = -0*f. Suppose -4*u - 13 = -2*p + 23, 4*u = 3*p - f. Is 4 a factor of p?
True
Does 6 divide (6835/(-20) - 0)/(44/(-176))?
False
Suppose -71 - 9 = 8*q. Let j = q + 831. Does 19 divide j?
False
Let p(s) = -27 + 4*s**3 - 5*s**2 + 33*s + 43*s - 77*s + 7*s**3. Is 29 a factor of p(5)?
True
Let j = -7603 - -29534. Suppose -j = -38*q + 21959. Is 11 a factor of q?
True
Let a(j) = 67*j**2 - 7*j - 6. Let n = -19 - -17. Is 23 a factor of a(n)?
True
Let l be 1 + -2 + 532/4. Let j = 137 - l. Suppose 2*t = -j*t + 147. Does 7 divide t?
True
Let t = -128 - -19. Let i = t + 157. Is 23 a factor of i?
False
Let w(m) = -90*m + 6. Let a be w(-5). Let o(l) = l**2 + 2 - 449*l**3 - 2*l - 2*l + a*l**3. Is 9 a factor of o(2)?
True
Suppose 2*l + 3*q = 1853, -10*q - 4 = -6*q. Let o = l - 277. Is o a multiple of 21?
True
Suppose -397*w + 265*w = -5421240. Does 30 divide w?
True
Suppose -2*c = 0, -6 = -4*l + 5*c - 2. Let r(g) = 47*g - 1. Let i be r(l). Suppose i = 3*j - 59. Is 7 a factor of j?
True
Suppose -4*g - 2*v + 20 = 0, 2 + 0 = 3*g - 5*v. Suppose 20 = -152*b + 370 + 258. Suppose 4*i - 52 = g*l, 93 + 8 = 5*i + b*l. Is i a multiple of 2?
False
Let z(y) = -y - 10. Let s be z(-20). Suppose 0 = 7*w - s - 11. Suppose 4*g = w*n - 68, -5*g = -2*g + 15. Does 3 divide n?
False
Suppose 227*y - 264*y + 37296 = 0. Is y a multiple of 63?
True
Suppose 9*o - 12*o = -9. Suppose 4*d - s - 564 = -0*d, 0 = -4*d - o*s + 580. Suppose -d - 146 = -3*j. Does 16 divide j?
True
Let t(d) = 1321*d - 1270. Is t(7) a multiple of 75?
False
Suppose -2*r - 91 = -15*r. Suppose 0 = 25*i - r*i - 7776. Is 49 a factor of i?
False
Let y = 376 - 368. Is 11 a factor of (-2)/6*-173*(y + 1)?
False
Suppose 2*s + 183 - 1935 = 0. Suppose 5*h - s = -186. Is h a multiple of 23?
True
Suppose 1 = 5*k - 2*j - 9, -25 = k + 5*j. Let a be 4 - 2 - 10*-4. Suppose 3*d + k*d - a = 0. Is d a multiple of 14?
True
Suppose -223*n + 154743 = -109066. Does 7 divide n?
True
Suppose 25 = -2*j + 4*k - 97, -k = 3*j + 204. Let y = j - -100. Does 2 divide y?
False
Is (((-976)/20)/(-2))/((-2)/(-15)) even?
False
Let m(z) = 46*z + 569. Is 4 a factor of m(35)?
False
Let q = 55 + -59. Let h(s) = 2*s**2 - 10*s - 30. Is 4 a factor of h(q)?
False
Let j(u) = 401*u**3 + 16*u**2 - 47*u - 30. Is j(4) a multiple of 26?
False
Is (-18)/15 + 97306/55 + 8 a multiple of 12?
True
Suppose 19*z - 383391 + 42068 = 84752. Is 69 a factor of z?
True
Suppose -5*i + 23*t + 16256 = -36447, -31613 = -3*i + 5*t. Is i a multiple of 24?
True
Let m be 1*(-2)/(1 - 3). Is (m + -18)*(4 + -11 + 2) a multiple of 5?
True
Suppose 5*c + 24*r - 615 = 25*r, -5*c = -4*r - 615. Is 28 a factor of c?
False
Is 309/((27/2130)/(48/80)) + 0 a multiple of 71?
True
Suppose j = 4*b + 8928, 30*b = -j + 29*b + 8943. Is 30 a factor of j?
True
Let s(v) = v**3 + 21*v**2 + 37*v + 28. Let u = -114 - -95. Let b be s(u). Let g = -17 + b. Is g a multiple of 3?
True
Let m = 137 + -128. Suppose m = 3*c - 5*u + 6*u, 0 = c + u - 1. Does 3 divide c?
False
Let v be (-4)/8 - ((-250)/4 + 0). Suppose 0 = -74*q + v*q + 2196. Is q a multiple of 11?
False
Suppose -4*j = -9*j - 355. Suppose 3*p - 4*b - 152 = 548, 0 = p - 5*b - 248. Let d = p + j. Is 41 a factor of d?
False
Suppose 5*n = 2327 + 638. Suppose 598*u = n*u + 3240. Does 27 divide u?
True
Let z be (3 + 3 - 8)/1. Does 16 divide ((-2)/4*z)/1 - -287?
True
Suppose 16 = 2*i + 4*y, 12*i - 14 = 9*i + 4*y. Is 11 a factor of (i/(-9) + 0)/((-13)/3120)?
False
Suppose 5*i - 5475 = -5*l, 7*l - 2196 = 5*l + i. Does 22 divide l?
False
Let t(u) be the first derivative of -13*u**7/840 + u**5/40 + u**4/6 + 4*u**3 - 6. Let z(m) be the third derivative of t(m). Does 17 divide z(-2)?
True
Suppose 5*w - 4*t - 4 = -1, t + 1 = w. Is 4 a factor of (2276/16 - w) + 3/4?
True
Suppose 4*y - 3 = c, 4*c + 3*y = 2*c + 16. Suppose 3507 = c*u - 2313. Suppose 4*d 