n. Is n a multiple of 5?
True
Let j(h) = -1735*h - 22. Let f be j(-6). Is 11 a factor of -5 + (f/(-2))/(-7)?
True
Is (8265/(-10))/((-6)/12) a multiple of 57?
True
Let c be (-74)/6*(-3 + 0). Let l(p) = -2*p**2 + 60*p - 299. Let d be l(18). Let w = d - c. Is 25 a factor of w?
False
Let h(s) be the third derivative of s**5/30 - s**4/4 - 5*s**3 - 7*s**2. Let i be h(8). Suppose -4*b = -170 + i. Is 5 a factor of b?
True
Let g(l) = -1806*l + 982. Is 10 a factor of g(-13)?
True
Let d(q) = q**3 - 9*q**2 - 11*q + 12. Let u be d(10). Suppose -14 = u*s - 38. Suppose 5*p - 72 + s = 0. Does 2 divide p?
True
Suppose 75 = -6*g + 21*g. Is (-130)/(-2) + (g - -2) a multiple of 12?
True
Does 150 divide 2667654/330 - (-2)/10?
False
Suppose 2*f = -r + 4112, -2*r + 0*f + 8220 = 3*f. Suppose 10*k = r - 1174. Does 11 divide k?
False
Suppose -5*f + 2*i - 4263 = 0, 2*f + 0*f + 3*i = -1709. Let s = -511 - f. Does 19 divide s?
True
Let u = -13181 + 23558. Is 21 a factor of u?
False
Suppose -3*v - f = -5 - 48, -2*v - 4*f = -42. Suppose -4 = k, -16*t - 4*k - 2046 = -v*t. Does 14 divide t?
True
Let g(z) = z**2 + 140*z - 1057. Is 41 a factor of g(31)?
False
Suppose 649*a - 625*a = -363898 + 1045930. Is a a multiple of 81?
False
Let c be (2/((-2)/7))/((-5)/(-20)). Let k = c - -30. Suppose 0*f + 8 = -2*f, 0 = -k*r - 4*f. Does 4 divide r?
True
Let g(s) = 7*s**2 + 2*s + 17. Let d be (-5 - 20/(-12))/((-2)/(-3)). Does 14 divide g(d)?
True
Let g be (-1968)/20 - (-2)/5. Let m = g + 11. Let z = -22 - m. Does 13 divide z?
True
Let u(o) = o - 1. Let v(j) = -169*j**3 - 3*j**2 - 9*j + 5. Let k(d) = 6*u(d) + v(d). Is 12 a factor of k(-1)?
True
Suppose 35825 = 35*t + 15796 - 25191. Is 68 a factor of t?
True
Suppose -72 = -17*c + 9*c. Suppose c*h + 45 = 10*h. Is h a multiple of 30?
False
Suppose 2*m - 2*p = -3*p - 13, -2*p = 2. Does 33 divide ((-2631)/(-9))/(m/(-18))?
False
Let j = -7367 - -7515. Is 2 a factor of j?
True
Let z be (-40)/(-14)*(-203)/(-58). Suppose 15*b + 593 = h + z*b, h - 575 = -4*b. Is 53 a factor of h?
True
Suppose 2 = p - 2. Let d(s) = 3 - 4*s + s + p*s + 20. Is 9 a factor of d(-8)?
False
Let m = -1427 + 1536. Is m a multiple of 13?
False
Suppose -328 - 163 = f. Let z = 1187 + f. Suppose -2*h = -j + 244, -2*h = 3*j + h - z. Does 23 divide j?
False
Let a = 962 + -187. Suppose -5*c + k = -6 - 36, 0 = -4*k - 8. Suppose c*v - a = 785. Is 13 a factor of v?
True
Suppose 3*g = 16 - 4. Suppose 5*j + 16 = 4*l, -j + g*j - 3*l = -12. Suppose -2*n - 56 = -h, j*n - n = -2*h + 109. Is 9 a factor of h?
True
Let l be 16/28 - (-50)/35. Suppose -1 = l*n - 7. Does 6 divide 259/(-14)*(-5 + n)?
False
Let w = 12 + -10. Suppose -2*o = -g + 1, -w*g = -5*o - g + 5. Suppose o*n = -n + 288. Is 13 a factor of n?
False
Let c = 865 - 866. Let o(g) = -18*g - 157*g - 8*g. Does 61 divide o(c)?
True
Let t(u) = u**3 - u**2 + 36. Let f be t(0). Let q be 214/8 + (-27)/f. Suppose 30 = 2*d - q. Does 28 divide d?
True
Let b(d) = d**3 - 15*d**2 + 17*d - 6. Let q be b(14). Let r be (-1 - q)/(8/(-96)*-3). Is 7 a factor of 5 + -8 - r/2?
False
Let g(r) = 31 + 3 - 14*r + 18 - 12*r. Is g(-22) a multiple of 8?
True
Let a be 12/16*-1*-692. Let o = 889 - a. Is 30 a factor of o?
False
Let q = -41 - -29. Let i(r) = -3*r**3 - 13*r**2 - 4*r + 4. Let z(t) = -t**3 + t - 2. Let g(x) = -i(x) + 2*z(x). Does 7 divide g(q)?
False
Let i = 545 + -251. Suppose -11*f + 13*f + 3*a - i = 0, -4*a = 5*f - 735. Is f a multiple of 8?
False
Let g = 7443 + -3243. Is g a multiple of 150?
True
Suppose -33 - 50 = -h. Let m = h + -64. Is m a multiple of 4?
False
Let m(d) = -6*d**3 - 7*d**2 - 11*d + 13. Let s be m(-6). Let r = -951 + s. Is 3 a factor of r?
False
Let r(w) = 7*w**2 - 5*w + 6. Suppose -3*p = 10*p + 104. Does 11 divide r(p)?
False
Let c(p) = -59*p - 13. Let z be c(-14). Let j = z - 459. Is 12 a factor of j?
False
Let b be 144/(-60)*(-10)/(-2). Does 9 divide (-3315)/(-26) + b/(-8)?
False
Suppose -288*b = 3*s - 283*b - 19449, 6500 = s - 4*b. Is 61 a factor of s?
False
Let n be 1 + (4/(-14) - (-36)/28). Suppose -n*t = 8*t - 40. Does 2 divide t?
True
Suppose -11*o - 24 = -3*o. Let r(d) = 10 + 8*d**2 + 6*d - 1 + 8. Is 19 a factor of r(o)?
False
Suppose 14*a - 11256988 = 43*a. Is 18 a factor of ((-2)/(-11) - 0) + a/(-583)?
True
Suppose 0 = -b + 3*b - 76. Suppose -3 + 69 = 24*y - 54. Suppose b = -y*o + 563. Is 15 a factor of o?
True
Suppose -311*g + 300*g + 60566 = 0. Suppose 0 = 60*m - 23354 - g. Does 13 divide m?
True
Suppose -9163 + 53121 = 6*r - 11290. Is 15 a factor of r?
False
Suppose 6*r + r = 4*r. Suppose r = -3*x + 3, 0*x + 142 = 3*p - 5*x. Does 7 divide p?
True
Suppose -4511 = -5*i + 2*x, -14*i + x - 3614 = -18*i. Is i a multiple of 4?
False
Suppose c - 3*u - 1 = -4*c, 4*c = 2*u + 2. Suppose -c*a - 123 = -23. Let o = -29 - a. Does 7 divide o?
True
Let z(n) = n**2 - 43*n + 49. Let h be z(24). Let l = 603 + h. Suppose -60 = -8*u + l. Is 18 a factor of u?
False
Suppose -d - 4*d - 975 = 0. Suppose 0 = -2*a - 4*x - 160, 17*a - 13*a = -2*x - 344. Let y = a - d. Is 40 a factor of y?
False
Let z(v) = -2*v**2 - 17*v + 10. Let i be z(-8). Suppose -137 = i*p - 19*p. Suppose -g - p = -4*y, -2*g - g = -3*y + 114. Is 18 a factor of y?
False
Suppose 0 = -64*j + 52*j + 106128. Does 7 divide (j/15)/2 + 15/75?
False
Let y(f) = -f**3 + 9*f**2 + 3*f - 24. Let o be y(9). Suppose 2*r = a - 3*r - 401, -a + o*r = -393. Does 23 divide a?
False
Let h(f) = -19 + 3*f - 8 - 16*f. Let a be h(8). Is (a/(-1))/(6 - (6 + -1)) a multiple of 18?
False
Suppose 5*a - 10660 = z, -14*a = -16*a - 5*z + 4237. Is 51 a factor of a?
False
Let z(a) = -52074*a + 3010. Does 293 divide z(-1)?
True
Let w = 86 + -92. Let y(i) = i**3 + 4*i**2 - 2*i + 65. Does 5 divide y(w)?
True
Let w be (5 - 1) + 1 + 31. Let q = w + -42. Does 5 divide q/2*(-14)/3?
False
Let r be 5*3/(-15)*-796. Suppose 3*q - 3*u - 1191 = -5*u, 2*q + 2*u - r = 0. Is q a multiple of 6?
False
Suppose 2239*a - 2269*a + 237144 = -1115766. Is 8 a factor of a?
False
Suppose 55352 = -3940*x + 3984*x. Is 5 a factor of x?
False
Suppose 34*r - 39*r - 3*c + 118136 = 0, 3*r - 2*c - 70912 = 0. Is r a multiple of 112?
True
Suppose j = -3*m + 1339, 3*j + 30*m = 29*m + 4041. Is j even?
True
Is ((-1485000)/96)/45*-8 a multiple of 10?
True
Let k be (-1 + 0)/((-25)/8 - -3). Suppose 891 - 171 = k*m. Let u = -59 + m. Is u a multiple of 31?
True
Let w(j) = 18*j**2 - 15*j - 5. Let y be w(-5). Suppose 4*a = -28*q + 24*q + y, 4*a + q = 511. Does 3 divide a?
False
Let t(v) = -v + 5. Let m be t(1). Suppose m*k - 3 = -q, 0 = 3*q - 3 + 18. Suppose n + 5*b - 8 = 19, -10 = k*b. Is n a multiple of 13?
True
Let b be 34929/21 + (329/49 - 7). Suppose -b = -4*f - 519. Is f a multiple of 13?
True
Let f be ((-2)/(-7))/(57/(-798)). Let r be (70/(-3) - -2)*3. Does 10 divide -4*f/(r/(-44))?
False
Let m(w) = -21*w**2 + 3*w - 5. Let g(x) = 42*x**2 - 7*x + 11. Let p(v) = 4*g(v) + 7*m(v). Is p(4) a multiple of 47?
False
Suppose 2*n + 4*b - 42 = 42, 3*b = 4*n - 135. Let o = 39 - n. Suppose o*s - 5*x = 6*s - 122, 0 = 3*s - 5*x - 172. Is s a multiple of 4?
False
Let p = 8082 + 39167. Does 265 divide p?
False
Let m(l) = l**3 + 17*l**2 - 101*l + 37. Is 7 a factor of m(-15)?
True
Suppose 0*k - 16 = -8*k. Let f(i) = -i**k - 5 - 4 - 5*i**3 - 5 + 6*i + 6*i**3. Does 29 divide f(4)?
True
Suppose -2*d + 5*j = -16122, 28*d = 27*d - 2*j + 8043. Is d a multiple of 97?
True
Let b be 3*((-20)/15)/(-2). Suppose -353 = -5*r - 2*p, 66 = -b*r + 3*r + 5*p. Let j = r + -31. Is 34 a factor of j?
False
Let f = -77 - -116. Suppose -f*k = -59*k + 13260. Is k a multiple of 39?
True
Suppose 68*b = 61*b + 28. Suppose -2*u + b*x = -1768, 4*u - 3*x - 4392 = -u. Is u a multiple of 12?
True
Suppose 4*k - 2*k - 12 = 0. Suppose 7*c - 10*c = -k. Suppose 4*m - c*m - 140 = 3*i, -4*m = 4*i - 240. Does 32 divide m?
True
Let g = 57 - -117. Suppose g = -5*r + 1574. Does 70 divide r?
True
Suppose -9*a = -20 + 2. Suppose -3*x - a = -2*g, -16 = -2*g - 4*x - 0*x. Suppose -2*n + 58 = g*t, 4*n + t = -4*t + 122. Does 5 divide n?
False
Suppose -18 + 50 = 4*s. Let b(i) = -5*i + 2*i**2 - 4*i**2 + 4*i**2 - 20. Does 18 divide b(s)?
False
Suppose 22*p + 2548 - 452368 = 4*p. Does 30 divide p?
True
Suppose 0 = 2*s + 8, 4*z - 132*s + 133*s - 1240 = 0. Is 91 a factor of z?
False
Let b(l) = -l**2 + 14*l - 33. Let p 