Suppose u = 7*q - 4*q. Does 23 divide q?
False
Is 66 a factor of ((-8)/3)/((-10)/2475)?
True
Suppose 11*z - 1409 = -419. Suppose l - 52 = 3*r, -2*l + 6 = -4*r - z. Suppose -f = -l - 28. Does 17 divide f?
True
Let q = -157 + -577. Let k = -105 - q. Is 25 a factor of k?
False
Let o(g) = g**3 - g**2 - 2*g. Let j be o(0). Let r be (j - (-15)/6)*20/25. Suppose -170 = -5*y + y - w, r = w. Is y a multiple of 21?
True
Let w(m) = -m**2 + 14*m - 16. Let c be w(2). Is (346/c - 2/(-8))*2 a multiple of 2?
False
Let a = -1730 + 2116. Suppose 2*l = -2*d + 210, 2*d - 322 = -5*l + 194. Suppose -2*v + a = l. Is v a multiple of 16?
False
Suppose 6*t + 6*t = -18*t + 258540. Is t a multiple of 31?
True
Let u = -11 + 56. Suppose u = 2*p + 7*p. Suppose 3*b + 5*j = 210, p*b + 0*j - 3*j = 384. Does 18 divide b?
False
Let c = -3068 - -17808. Is c a multiple of 22?
True
Let t(v) = 1143*v - 2688. Does 23 divide t(7)?
True
Suppose 0 = -4*u + n - 17, 5*n = -4*u + n - 12. Suppose -2*q - q = -4*z + 16, 0 = 4*z - 2*q - 12. Is (112 + (u + z)*-1)*1 a multiple of 23?
True
Let z(g) = 76*g - 81. Let k be z(14). Is 8 a factor of (-6 - -7) + 2/(2/k)?
True
Let r = -29 - -26. Let q be r/(9/69)*-23. Suppose 5*m + 109 = q. Does 30 divide m?
False
Suppose 30*u - 31*u = m - 3003, 2999 = u - m. Does 8 divide u?
False
Let x = -321 - -327. Is 113 - (5 - x)/(-1) a multiple of 3?
False
Suppose 3*b + 0*b = 15. Suppose 0 = -l - 2*v + v + 444, 0 = b*l - 2*v - 2227. Does 25 divide l?
False
Suppose -i = -2*i - 2. Let v = 7983 + -8003. Is 14 a factor of (0 - 6/i) + v + 163?
False
Suppose 11*y - 20*y + 294800 = 16*y. Does 43 divide y?
False
Let q(y) = y**3 + 4*y**2 - 8*y - 3. Suppose -3*a + 30 = 9. Let l be q(a). Let n = -201 + l. Is n a multiple of 31?
True
Let l(m) = -3*m**3 - 11*m**2 - 17*m - 284. Does 20 divide l(-12)?
True
Let w(i) be the second derivative of i**4/12 - i**3/6 + 6*i. Let g be w(-3). Does 30 divide (4/(-5))/(g/(-2370))?
False
Let o(g) = 24*g**2 - 3*g - 7. Let d(u) = -u + 1. Let t be d(8). Let f be o(t). Suppose 0 = -4*z - 6*z + f. Is z a multiple of 17?
True
Let k be 3 - ((-9)/2 + (-6)/12). Is (8/(-6))/(k/(-420)) a multiple of 35?
True
Suppose 7*f = -549 + 129. Suppose -6*l - 72 = -2*l. Is l/((-5)/f*-2) a multiple of 15?
False
Suppose 2*j + 62175 = 3*g, 0 = 2*j - j - 3. Is g a multiple of 29?
False
Suppose -5*b = 4*v - 50512, -b = 6*v - 3*v - 10087. Is b a multiple of 28?
True
Let p(l) = -18*l**3 + 13*l**2 + 15*l + 28. Does 26 divide p(-7)?
True
Let v = 100 - 101. Let c be -2 + v/(1/(-178)). Let t = c + -45. Is 16 a factor of t?
False
Suppose 1508 = 8*z - 2132. Does 17 divide z/21 + (-4)/6?
False
Let k = 172 + -167. Suppose -4*m + 1388 = k*n - m, m = -2*n + 556. Is 35 a factor of n?
True
Suppose 5*h = -2*a + 7570, -17*h + 22*h = -5*a + 7585. Is h a multiple of 4?
True
Is -327*((-6 - 7) + -21) a multiple of 51?
True
Let q(n) = -9*n - 31. Let o be q(-4). Suppose -4*b = 3*a - 1008, 3*b + 968 = o*a - 712. Does 42 divide a?
True
Let u = 305 - 55. Let l = 455 - u. Let i = l + -23. Does 29 divide i?
False
Suppose 13263 = 6*t + 3*s, -15*t + 20*t + 5*s = 11035. Is 82 a factor of t?
True
Let q be (-5 + 7)*(-5 + (-1 - -3)). Let x be 2/2*3 - 4 - q. Suppose g = 3*u, -3*g + 35 = g - x*u. Is 15 a factor of g?
True
Let u = 2 + -8. Let g(p) = 6*p**2 - 2*p + 32. Let q be g(u). Let m = q + -74. Does 31 divide m?
True
Let q(z) = z**3 + 14*z**2 + 8*z - 6. Let u(o) = o**3 + 15*o**2 + 8*o - 6. Let n(g) = -4*q(g) + 3*u(g). Let k be n(-10). Is 9 a factor of 9/((-48)/k - 3)?
False
Let m be (-25)/30 + 2/(-12) + -3. Let o be ((-39)/6 - m)/((-2)/(-4)). Is 30 a factor of 4/(36/807) + o/(-15)?
True
Let j be (8/6)/((418/33)/(-19)). Is (j + -28)/6 - -229 a multiple of 16?
True
Let k = -76 - -79. Suppose -4*s - 17 = -5*w - 0*s, 5*s + 5 = k*w. Suppose w*z - 162 = -47. Is z even?
False
Suppose 5*g = -0*g + 5*z + 5590, 5*g = -4*z + 5617. Is g a multiple of 19?
True
Let l = -16352 + 25148. Does 37 divide l?
False
Is 22 a factor of (-1)/(-66) + (-24)/132 + 12013/6?
True
Suppose 3*g + 4*m = -12*g + 373492, 4*g - 99608 = 4*m. Does 68 divide g?
False
Let z = 129 + -134. Let y(s) = -3*s**3 - 11*s**2 + 5*s - 7. Is y(z) a multiple of 20?
False
Let w(v) = -85*v + 26. Let q(h) = 342*h - 102. Let o(i) = 4*q(i) + 15*w(i). Is o(1) a multiple of 25?
True
Is 1*((-6)/8)/((-6)/(-24))*-249 a multiple of 3?
True
Let f(y) be the first derivative of y**3/3 + 3*y**2/2 + 5*y - 1152. Let z(a) = 2*a - 1. Let m be z(-2). Does 5 divide f(m)?
True
Suppose -161 = -3*h - 3*m + 25, 5*h = 5*m + 320. Does 31 divide (798/h)/((-2)/(-60))?
False
Is 4 a factor of 53445/245 - 3/21*-6?
False
Let s(p) = p**2 + 9*p - 59. Is s(-21) a multiple of 14?
False
Suppose -4*q - 5*h = -115, -h + 47 = q + 18. Suppose -3*u - q = 2*b, -3*u + 78 = -4*b - 18. Is 13 a factor of ((-276)/b)/(4/14)?
False
Suppose 0 = 263*x - 250*x - 145873. Is 30 a factor of x?
False
Let a = -12 + 90. Suppose -7*u - 174 - a = 0. Let x = 148 + u. Does 22 divide x?
False
Suppose -b - 71*b = -1184328. Is b a multiple of 43?
False
Let u(r) = 2*r**2 - 3*r - 420. Does 39 divide u(21)?
False
Let r = 633 + -547. Let a(m) = m + 9. Let b be a(0). Let t = r + b. Is t a multiple of 19?
True
Let b(t) = t**2 - 2*t - 12. Let u be b(5). Suppose -q - 3*q - 3*k = -230, -174 = -u*q - 3*k. Let n = 170 - q. Does 38 divide n?
True
Suppose 4*g - 2*d - 284 = 0, g + 280 = 5*g - 4*d. Let j = g - -24. Suppose -3*t - j = -4*t. Does 28 divide t?
False
Let y(w) = 25*w - 3. Let p be y(1). Suppose -5 = p*c - 27*c. Is -10*c/((-5)/10) a multiple of 4?
True
Let h(d) be the first derivative of d**3/3 + 3*d**2 - 27*d - 40. Does 8 divide h(11)?
True
Suppose 4*u = -u + 215. Let y = -46 + u. Does 23 divide 64 - 3/3 - (y + 4)?
False
Suppose 4*u + 7 = g, 2*g = -u + 30 + 11. Suppose -m + 11 = g. Does 31 divide (-2*(-46)/(-8))/(2/m)?
False
Let o(v) = 6*v - 41. Let m(u) = 9*u - 62. Let c(d) = -5*m(d) + 7*o(d). Let a be c(-10). Suppose 0*q - q = t - a, 15 = 5*q. Does 8 divide t?
False
Suppose 0 = 5*a - 19*a - 7474 + 297036. Is a a multiple of 43?
True
Let c(t) = t**3 - 3*t**2 - 11*t + 32. Let a be c(4). Suppose 0 = h + o - 5, 4*o = -4*h - h + 30. Suppose 2*f - 6 = -2*j, 0 = -a*f - 10 - h. Is 5 a factor of j?
False
Let f(k) = 547*k - 559. Is f(7) a multiple of 10?
True
Suppose 209*b + 1510275 = 4581598 + 2784230. Does 9 divide b?
True
Let a(k) = 4*k - 26. Let r be a(7). Suppose -r*z = -203 + 75. Suppose -9*h + z = -53. Is 2 a factor of h?
False
Suppose 0 = -3*k - 3*c + 12888, -2*c = -43*k + 39*k + 17160. Is 19 a factor of k?
False
Let k = -1344 + 18684. Is k a multiple of 120?
False
Suppose 105518 = 18*w - 1186. Is 52 a factor of w?
True
Suppose 57 - 1389 = 4*a. Let c = 555 + a. Suppose 5*s - 2*s = c. Is s a multiple of 12?
False
Suppose 0 = 4*d + 5*g - 2979, 3*d = -0*g + 5*g + 2208. Suppose -d*k + 737*k = -452. Does 6 divide k?
False
Let p(x) = 3*x + 18. Let o(a) = -a**3 - 5*a**2 - 3*a + 3. Let k be o(-3). Let m be p(k). Suppose -2*y = -5*z - 163, m*z = 5*y + 5*z - 460. Does 27 divide y?
False
Let j(z) = 104*z**3 + 9*z**2 - 26*z + 207. Is j(6) a multiple of 69?
True
Suppose -13*n + 12716 = 9*n. Suppose 4*d - 9*f + 8*f = 452, -n = -5*d - 2*f. Is d a multiple of 3?
True
Let o(v) = v**3 - 40*v**2 - 198*v - 356. Does 16 divide o(46)?
True
Suppose 7*z + 144 = 6892. Is 12 a factor of (6 + 6 + -19)*z/(-14)?
False
Let o(y) = -23*y**2 + 5*y + 2. Let c(m) = -19*m**2 + 6*m + 3. Let i(v) = 3*c(v) - 4*o(v). Let j(h) = h**2 + 8*h - 8. Let l be j(-9). Is 5 a factor of i(l)?
False
Suppose d - 3 = 3*u, -2 = -3*u + 5*u. Suppose d = 3*o + 4*p - 289, 0 = 5*o + 2*p - 7*p - 435. Is 22 a factor of o - (-12)/(-8)*2?
True
Let u = -2 + 17. Suppose x - m = 7, 3*x + m + 2*m - u = 0. Suppose 1 = g + 3*n - 2*n, 3*n = -x. Is g a multiple of 3?
True
Let q = 5677 + -4837. Is 5 a factor of q?
True
Suppose 3*d - 5013 = 4*x, -3*x - 6691 = -21*d + 17*d. Is 38 a factor of d?
False
Let g(p) = -p**2 - 5*p - 17. Let i be g(-5). Let m(u) be the third derivative of -u**4/8 - u**3/6 + 15*u**2. Is m(i) a multiple of 25?
True
Let h(w) = 96*w**2 + 111*w + 216. Is 9 a factor of h(-2)?
True
Let s(w) = -633*w - 44. Does 20 divide s(-8)?
True
Let b(n) = -n**2 - 93*n + 671. Does 60 divide b(-52)?
False
Let k(t) = -2*t + 2 - 5 - 3 + 7. Let p be k(-1). Suppose 2*c + 135 = 4*c + p*j, -3