tiple of 5?
False
Let f be 77 + (-6)/(-12 - -6). Let d = 90 - f. Is 12 a factor of d?
True
Suppose -a - 5*x + 1961 = 0, 97 = x + 96. Does 14 divide a?
False
Let x = -761 - -452. Let j = 609 + x. Is j a multiple of 5?
True
Does 47 divide 1/(-1)*(5 - (10929 - -3))?
False
Suppose 4968*m - 171108 = 4947*m. Does 11 divide m?
False
Suppose -4*m - 165 = -561. Let p = m - 19. Does 4 divide p?
True
Suppose 0 = -5*r + 22 + 83. Let s(j) = 9*j**2 + 161*j - 1. Let z be s(-18). Suppose -l + r = -z. Is 38 a factor of l?
True
Let b(r) = -2*r**3 + 7*r**2 - r + 13. Let n be b(6). Let j = 14 + n. Let w = j + 277. Does 31 divide w?
False
Suppose 2 = -t - 2. Let z be 2 + t + 4/1. Does 12 divide -1*(0 + -1) + (61 - z)?
True
Let w be (1 + 0)/(-3 + 100/34). Suppose s - 17 + 38 = 0. Let c = w - s. Does 4 divide c?
True
Let l(h) = -100*h + 10. Let q be (96/(-42) - 2/(-7)) + 4. Let p(i) = -33*i + 3. Let v(r) = q*l(r) - 7*p(r). Does 10 divide v(1)?
True
Let r(p) = 18*p + 2384. Is 125 a factor of r(62)?
True
Suppose -3*w + 3*r + 69 = 0, -2*r + 3*r + 104 = 4*w. Let m = w + -11. Does 27 divide 1732/m + (-2)/8?
True
Suppose 48*r - 18*r = -80*r + 850300. Is 106 a factor of r?
False
Suppose 51606 = 12*l + 11238. Is 29 a factor of l?
True
Is 5 a factor of (-6)/(24/20) + 3 - (10 - 1285)?
False
Suppose -4*j + 0*j + 320 = 0. Let f = -5 + j. Is 11 a factor of f?
False
Suppose -4*i + 1542 = -2*n - 698, 0 = 4*i - 4*n - 2240. Is i a multiple of 10?
True
Let k(o) = o**3 - 3*o**2 + o - 4. Let n be k(3). Let s(d) be the first derivative of 143*d**3/3 + 3*d**2/2 + d + 26. Is s(n) a multiple of 12?
False
Let p(s) = 118*s**2 - 61*s - 693. Is p(-16) a multiple of 23?
False
Let w = 144 - 532. Let m = -682 - w. Is 5 a factor of 2/4 + (m/(-4))/3?
True
Let u(b) = 52*b + 16. Let s(x) = -51*x - 15. Let v(i) = -4*s(i) - 3*u(i). Does 34 divide v(4)?
True
Suppose -3*l - 194 = -638. Suppose u + 2*q - l = 3*u, 2*q = -6. Does 10 divide (-14)/u - (-328)/11?
True
Is 242212/58 - ((-4)/(-6))/((-29)/(-3)) a multiple of 72?
True
Let q = 47 + -26. Let i be q/(-35) - (-363)/5. Suppose -2*m - 4*m = -i. Is 4 a factor of m?
True
Let h(l) = -7*l - 1. Let y be h(-3). Suppose -y*u + 22*u = 16. Does 10 divide (-10)/(-4)*(u + 8)?
True
Does 49 divide 9815*3/30 + (-9)/6?
True
Let x = 4421 - 3890. Is x a multiple of 59?
True
Suppose -2*l - 2*l = -856. Let x = l - 130. Suppose 4*s + 2*c = -0*c + 316, -3*c + x = s. Does 7 divide s?
False
Is (6/(-8))/(11/(-30360)) a multiple of 30?
True
Suppose 0 = 7*m - 16818 - 556. Is 17 a factor of m?
True
Let n be (2/4)/((-10)/(-20)). Let m(a) = 3*a**2 - 3*a + 3. Let y be m(n). Suppose 2*g - 383 = -0*g + 3*j, -5*g + 971 = -y*j. Is g a multiple of 16?
False
Let k = 345 + -342. Let f(h) = 21*h**2 - 14*h + 8. Does 15 divide f(k)?
False
Let g = 8828 - 1030. Is g a multiple of 49?
False
Suppose -4410 - 2427 = -5*a - 3*c, 0 = 2*a - 3*c - 2760. Is a a multiple of 17?
False
Let x = 513 + -502. Let g(h) = 13*h - 58. Is 5 a factor of g(x)?
True
Suppose 1776 = 3*v - 2616. Is 6 a factor of v?
True
Let y(r) = -2*r**2 - 2*r - 3. Let p(x) = 4*x**2 + 4*x + 5. Let g(d) = 3*p(d) + 5*y(d). Let b be g(1). Is 57 + -3 + 3 + b a multiple of 6?
False
Let i = -397 + 388. Let y(b) = -b**3 - 3*b**2 - 7*b - 84. Does 15 divide y(i)?
True
Let r(j) = 2*j**2 - 7*j + 1280. Let t be (-6 + 6)/(-2 + -4). Does 16 divide r(t)?
True
Let o = -49 - -81. Suppose -9*x = -o - 76. Suppose 0 = 10*q - x*q + 174. Is 18 a factor of q?
False
Let l(k) = -k**2 - 17*k - 26. Let n be (11/12)/(2/18)*4. Suppose -n = -7*j - 117. Is 20 a factor of l(j)?
False
Suppose 6 = 2*h + 5*b - 3*b, -4*b - 6 = -5*h. Suppose 0 = 8*t - h*t + 726. Let r = t - -226. Is r a multiple of 22?
False
Suppose 609*z - 4528992 = 381*z. Does 18 divide z?
False
Is 17 a factor of ((-4 - -1)*26 - -2)*(-102)/4?
True
Let f = 19 - 15. Suppose f*n = 3*p, 0*n - 5*n = -5*p. Suppose 3*z + 16 - 175 = p. Does 15 divide z?
False
Suppose 16809 = -19308*i + 19321*i. Is i a multiple of 9?
False
Let w = 8976 - 2448. Is 128 a factor of w?
True
Suppose 3*b + b - 536522 = -15*b. Does 203 divide b?
False
Let b = -282 + 289. Does 38 divide (b/((-105)/95))/((-2)/204)?
True
Suppose l + 82 = -20. Let t = 167 + l. Let c = t + -33. Is c a multiple of 12?
False
Suppose 0 = -472*a + 397 + 406 + 613. Let q(m) = -5 + 23*m + 3 + 1. Is 26 a factor of q(a)?
False
Let q = 59856 + -30301. Does 33 divide q?
False
Suppose 14*i + 3*i = -119. Let m be i + 2 + (18 - 8). Suppose -2*j - 9 = -m*v + 439, -3*j = v - 76. Does 22 divide v?
True
Let a(h) = 4*h**2 - 20*h - 14. Let u be a(-6). Let f = 273 - u. Is f a multiple of 17?
False
Suppose -272 = -4*r - 340. Let z be ((-20)/1)/(2/6). Let q = r - z. Is 18 a factor of q?
False
Let y(f) = -270*f - 754. Is y(-5) a multiple of 89?
False
Let q = 265 + -791. Let z = -359 - q. Is 12 a factor of z?
False
Is -9 - (-146071)/5 - (-2)/(-10) a multiple of 59?
True
Suppose -3*p + 51825 = -3*z, 0 = 19*z - 74 - 21. Is 27 a factor of p?
True
Let j = 103 + -97. Let x(a) = 34*a - 12 - 20*a - a + j*a**2. Is x(-6) a multiple of 18?
True
Let y(f) = -f**3 + 7*f**2 + 10*f - 1. Let k be y(8). Let i(v) = -10 - 14 + k + 87*v. Is i(3) a multiple of 28?
True
Is -8 + 89865/12 - -12*4/(-64) a multiple of 136?
True
Let i(t) = -t + 151. Let q be i(0). Suppose -8*g + 948 = 4*g. Suppose -118 - g = -4*h - 3*a, -3*h + q = -a. Does 7 divide h?
False
Let h be (-2)/3 + 174/18. Suppose -3*r = h*r - 324. Suppose 57 = -26*p + r*p. Does 3 divide p?
True
Suppose 2*y - 5*g + 33 = 0, 4*y = -3*g - 41 + 14. Let o(t) = 5 - 2 + 3 - 3 - 26*t. Is 21 a factor of o(y)?
False
Let t = 1672 + 1196. Is t even?
True
Suppose 0 = 4*k + 2*m - 117032, 0 = -46*k + 50*k - m - 117026. Does 147 divide k?
False
Suppose 26*q = 30*q - 38332. Does 37 divide q?
True
Let p = -195 + 157. Let t(k) = -2*k**2 - 79*k + 122. Is t(p) even?
True
Let h(m) = -m**3 - 14*m**2 - 14*m + 30. Let w be h(-13). Suppose -w = 4*n - 5*x - 329, -2*n = -x - 146. Is 9 a factor of n?
False
Let m be ((-1)/4)/((-2)/(-4))*-8. Let d(a) = 27*a**2 + 7*a - 6. Let c be d(m). Suppose -5*t + 0*z = -z - 748, 3*t + 2*z = c. Does 30 divide t?
True
Does 188 divide (-42753)/(-21) - 35/(-245)?
False
Let a(m) = -m**3 + 13*m**2 + 5. Let c be a(13). Suppose -c*s - 23 = -58. Suppose 0 = s*v + 65 - 450. Does 11 divide v?
True
Let k = 5902 + -2554. Suppose 433*q = 436*q - k. Is q a multiple of 12?
True
Let s be (-10 + -16)/(2/(-4 - 0)). Let r = s + -36. Is 8/r + 195/6 a multiple of 20?
False
Let m be (-6 + 5 + -11)*-6. Suppose -v + 0*v + 74 = 0. Let g = m + v. Does 40 divide g?
False
Let v(q) = -396*q**2 - 2*q - 1. Let z be v(-1). Is 22 a factor of z/(-2) - (-15)/30?
True
Suppose 5*b = -5*q - 675, 4*b + 474 = 5*q - 84. Let f = -78 - b. Suppose -7*p + f = -1005. Is p a multiple of 19?
True
Let y(k) = 6*k**3 - k**2 - 13*k + 52. Does 5 divide y(12)?
True
Let y = -3575 + 7125. Suppose 526 = -7*m + y. Is m a multiple of 48?
True
Let q(t) = -t + 30. Let k be (0 + (-6)/(-5))*165/(-66). Is 8 a factor of q(k)?
False
Suppose 0 = -4*p + 3*d - 9, -4*p - d + 6 = d. Suppose p = -5*z + 197 + 343. Is 9 a factor of z?
True
Does 189 divide ((-84)/18)/((22/(-231))/(8748/21))?
True
Let m(p) = 7*p + 73. Let g be m(23). Suppose 68*u - g = 67*u. Does 39 divide u?
True
Is 42 a factor of (-45)/((((-6)/224)/((-2)/8))/(-20))?
True
Let s(c) = 2*c**3 - 9*c**2 + 6*c + 8. Let y be s(6). Let h = y + -265. Let z = -85 - h. Is z a multiple of 4?
True
Suppose -7*l - 5*l = 17*l - 179829. Is l even?
False
Suppose 4 = 3*b - b. Suppose 0 = -5*j - 3*f - 31, -b*f = 4 - 0. Let d(y) = -13*y - 1. Is 8 a factor of d(j)?
True
Suppose 5*t = -5*t + 3890. Let o = t - 289. Does 10 divide o?
True
Let m be 5/(-10) - 9/(-2). Suppose 3*q - 2*a = q + 18, -35 = -m*q + 5*a. Does 3 divide (-153)/(-15) - 2/q?
False
Does 80 divide (-33)/12 - 29/(812/(-293517))?
True
Suppose 0 = 3*o - 5*n - 37469, 0 = -o - 88*n + 86*n + 12475. Is o a multiple of 205?
False
Let m be (-2)/12 + 4/(-96)*188. Does 23 divide -1 - m - (-635 + -23)?
False
Suppose 65*u - 58*u - 14 = 0. Is 62 a factor of u/(-6) + (-748)/(-12)?
True
Let z = -2545 - -2638. Is 5 a factor of z?
False
Let v be 1/(0 + 3 - 99/36). Suppose 0 = -a - 1, 0 = 2*q - 4*q + v*a + 100. Let i = q + 24. Is 18 a factor of i?
True
Let i be 20*(0 - (-10)/(-25)). Is 14 a factor of (-9 - i)*6 - -188?
Tr