le of 24?
True
Suppose -110*g = -107*g - 2970. Suppose v - g = -14*v. Is 45 a factor of v?
False
Let c be 6 + (-8 - -1) + 8. Is (-1)/((-57)/175 + 2/c) a multiple of 4?
False
Let x(r) = 273*r + 6481. Is 23 a factor of x(97)?
False
Suppose -i + w = -2 - 4, -5*i + 2*w = -21. Suppose 17*l - 14*l = -i. Is (3 + l + 9/(-6))*414 a multiple of 23?
True
Suppose 3*s + 6 = -s - 2*z, 5*z = -5*s. Let q(l) = -l + 18. Let k be q(7). Is 11 a factor of k - (3 + s + 0)?
True
Let b(p) = p**3 + p**2 - 2*p + 70. Suppose -4*l = 5*g + 20, -27*g + 29*g = 4*l + 20. Does 12 divide b(g)?
False
Let i(w) = 5*w**3 + w**2 - 9*w - 23. Let x(m) = -5*m**3 + 8*m + 22. Let s(t) = 5*i(t) + 6*x(t). Is s(-4) a multiple of 16?
False
Let z(f) = 0 - 1 - 175*f + 174*f. Let m(i) = -i**3 - 2*i**2 + 3*i - 160. Let k(y) = -m(y) - 2*z(y). Is 23 a factor of k(0)?
False
Let a(g) = 51*g**2 - 8*g - 9. Suppose -2*x + j - 11 = 0, 22*x - 20*x + 4*j - 14 = 0. Does 79 divide a(x)?
True
Let r = -13695 + 17267. Is r a multiple of 6?
False
Let k be (534/5)/((-10)/(-525)). Suppose -21303 = -12*v - k. Is v a multiple of 32?
False
Let d(z) = -13 - 9*z**3 + 2*z**2 - 11*z**3 + 7 + 2*z + 8*z**3. Is 22 a factor of d(-3)?
True
Let r be 2968/(-38) - 2*(-10)/190. Is 33 a factor of (0 - -3 - (-17)/(-2))*r?
True
Is (2 - 0) + 17700 - 6/(33/11) a multiple of 59?
True
Suppose -4*j = -3*q - 4, 0*q + 4*q - 4*j + 8 = 0. Let x(c) = -4*c - 11. Let b be x(q). Suppose 2*f + 2*y = 4*y + 128, b*f - y = 316. Does 7 divide f?
True
Suppose -3755*l + 3210284 = -3711*l. Is 49 a factor of l?
True
Let p(m) = -44*m + 9. Let i(a) = -5*a**3 - a**2 - 5*a + 5. Let r be i(1). Is p(r) a multiple of 7?
True
Let c(t) = 2*t + 41. Let a(b) = -b - 21. Let q(k) = -5*a(k) - 3*c(k). Let u be q(-23). Suppose -254 = -u*w - 49. Is 12 a factor of w?
False
Let m(c) = 205*c. Let j = 161 - 160. Is 6 a factor of m(j)?
False
Let u = -29370 + 38970. Does 50 divide u?
True
Let v = 111 + -50. Let q = v + 39. Is 5 a factor of q?
True
Suppose -6*l - 3*x + 30873 = -4*x, -25739 = -5*l - 3*x. Does 83 divide l?
True
Does 88 divide (2016/180)/(4/1100)?
True
Suppose 2*b + 4 = -m - 5, 0 = 3*b - m + 1. Suppose -15*z - 391 = -31. Is ((-16)/z)/(b/(-234)) a multiple of 13?
True
Suppose -11*m + 15 = -8*m. Suppose -13 = -6*y + m. Is -10*((-26)/10 + (-3)/y) a multiple of 12?
True
Is 193 a factor of (-1 + 37*-1)/((-37)/(-257076)*-18)?
True
Let l(j) = 7120*j - 110. Is l(1) a multiple of 107?
False
Suppose -2*g = -2*n + 3594, 3*n + 8150 = -5*g - 859. Let p = -864 - g. Is 9 a factor of p?
True
Suppose 0 = 4*j + 7*a - 5*a - 36, 0 = -3*j + 5*a + 14. Does 4 divide -1*j*161/(-92)?
False
Let i = 1927 + -1619. Is 4 a factor of i?
True
Suppose 2*r - 7 + 5 = 0. Suppose 29 + r = -5*z. Let v = z - -71. Is 5 a factor of v?
True
Let y = -5 + 3. Let w(z) = -151*z - 2109. Let g be w(-14). Is 8 a factor of (g - 7)/(y/68)?
False
Let m(o) = o**3 - 11*o**2 + 25*o + 17. Suppose v - 3 - 51 = 0. Suppose s = 2*q - 17, 4*q + 5*s - v = -13. Does 20 divide m(q)?
True
Let x be (15/6)/(-3 - (-28)/8). Is 18 a factor of (x*-4)/(204/54 - 4)?
True
Suppose -4*b - 1534 = -5502. Does 32 divide b?
True
Suppose 2*b = t + 12, -5*t + 4 = -2*b + 8. Let a = 7 - b. Suppose -z - 63 + 198 = a. Is z a multiple of 27?
True
Is 99 a factor of (-112)/(-24)*(-70344)/(-42)?
False
Let n(k) = k**2 - 7*k + 22. Let t(y) = -y. Let x(b) = n(b) + 4*t(b). Let u be x(6). Does 12 divide ((-6)/u)/((-5)/(-240))?
True
Let r(v) = -3346*v + 127. Does 7 divide r(-3)?
False
Suppose -2*n - 5*p + 20 = 0, 4*n + 0*n - 2*p + 8 = 0. Suppose n = 4*d + 1 - 29. Suppose -5*m - 814 = -4*q - d*m, -3*m = 4*q - 815. Is q a multiple of 13?
False
Suppose 5*p - 449 - 50 = r, 0 = -4*p - r + 401. Suppose -8 = -j - 0*j - 4*g, p = 5*j + 5*g. Is j a multiple of 6?
True
Suppose -5*p + 23 = 3*s, 0 = -p + s - 0*s + 3. Suppose -21 - 43 = p*n. Let g(o) = -2*o + 37. Is 6 a factor of g(n)?
False
Let k be 4*((-8)/(-4))/2. Suppose -k*t = 2 - 10. Suppose t*l - 3 = -l, 0 = -5*h + 2*l + 758. Is 13 a factor of h?
False
Suppose -101 = -3*x - 20. Let p be 17484/x - 8/(-18). Suppose 162 = r - 6*b + 3*b, -4*r - b + p = 0. Is 18 a factor of r?
True
Suppose 2*s = -3*a + 17, 3*a + 8 = s + 4*a. Suppose s*x - 1329 = 4*x + 5*m, 4*x - 2*m - 1786 = 0. Is 16 a factor of x?
True
Is 222 a factor of (-4053969)/(-415) + -1*(-6)/(-10)?
True
Suppose 0 = 3*x + 3*n - 543, -4*x + 3*n = n - 718. Suppose 3*y - x - 28 = -5*u, y + 204 = 5*u. Suppose 11 = 4*j - u. Is j a multiple of 13?
True
Let l(y) = y**3 + 5*y**2 - y + 28. Let o be l(-6). Let s be ((-35)/(-28))/(o/(-8)). Suppose -s*z = -14 - 221. Does 21 divide z?
False
Let j be 18/4 + (-33)/22. Suppose 4*c - 88 = -4*s, -2*c + 104 = 3*c + j*s. Suppose -d + c = 15. Is d a multiple of 3?
False
Suppose -156 = -2*f - 3*w, 3*w + 308 = 3*f + 44. Suppose 4*l = 2*c - 222, -l + f + 42 = c. Let a = 175 - c. Is a a multiple of 6?
True
Let u(w) = 6*w - 151. Let j be u(29). Suppose -9*y + j*y - 1302 = 0. Is y a multiple of 31?
True
Let i = 783 + -789. Let v(z) = -z**3 + 28*z - 6. Is 4 a factor of v(i)?
False
Suppose 0 = -6*k - 7*k + 52. Let y(h) = h**3 - 7*h**2 + 26*h + 9. Does 31 divide y(k)?
False
Suppose 0*h + 3*h - 17 = -4*v, -3*v = 4*h - 18. Let x = h - -23. Does 13 divide x?
True
Let y be 932*(-10)/20*-1. Let t = y - 335. Is t a multiple of 8?
False
Let f = 846 + -495. Let r = f + -311. Does 2 divide r?
True
Let b(z) = 6*z**2 - z + 18. Let c = -32 + 24. Let q be b(c). Suppose 5*i = -2*n + q, -4*n + 64 = i - 36. Is i a multiple of 4?
True
Suppose -5*y + 2*q = -10*y + 2, 16 = -4*q. Suppose y*f - k - 1973 = 0, -4*f + 0*k + 3941 = -3*k. Is f a multiple of 23?
True
Suppose -89 + 31 = -3*b - 5*g, -26 = -b + 5*g. Let a = 18 - b. Is 4 a factor of (7 - 19)*1/a?
True
Let t(p) = 2 - 64*p + 35*p + 0. Let d(k) = 30*k - 1. Let x(v) = 5*d(v) + 4*t(v). Is x(4) a multiple of 14?
False
Let a(o) = 17*o - 12. Let w(z) = -52*z + 36. Let i = 62 + -68. Let x(k) = i*w(k) - 17*a(k). Does 5 divide x(4)?
True
Let c(l) = -l**3 - 10*l**2 - 12*l - 45. Let d be c(-9). Suppose 0 = -r + 3*r - 5672. Does 29 divide r/14 + d/(-42)?
True
Let f = 169 - 169. Suppose -118*m + 123*m - 80 = f. Is m a multiple of 6?
False
Suppose 19 = 7*m - 16. Let n(g) = m - 3 + 35*g**3 - 2*g + 2*g**2 - 6*g**3. Is n(1) a multiple of 10?
False
Let s be 28/(7/(-1)) - -1 - -14. Let x(r) = -22*r + 107. Let d(u) = 33*u - 161. Let j(b) = 5*d(b) + 7*x(b). Is 17 a factor of j(s)?
False
Let f be (-432)/120*(-25)/5. Let a(o) = 21*o + 4*o**3 - 5*o**3 - 8 + 12*o**2 + 5*o**2. Does 9 divide a(f)?
False
Suppose 0*q + 12*q + 3*q = 0. Let h(g) = g**2 + 6*g - 4. Let b be h(-7). Suppose b*a + 43 = w, -2*w + q*a = 2*a - 118. Does 8 divide w?
False
Suppose -3*b - 5294 = 5*a + 2348, 1514 = -a + 3*b. Let u = 2884 + a. Is u a multiple of 97?
True
Let t = 31 + -35. Let d be (1 - (2 + t))/(18/12). Let i(m) = 4*m**2 - 6. Is 2 a factor of i(d)?
True
Let j(o) = -49*o + 38. Let i = -46 + 36. Is j(i) a multiple of 29?
False
Suppose -19*y + 80080 = 3*y. Is 11 a factor of y?
False
Let q(f) = -2*f - 20. Suppose -5*s + 17 = 77. Let t be q(s). Is 8 a factor of (-30)/t*160/(-24)?
False
Suppose 2437*v = 2436*v + 4860. Is v a multiple of 31?
False
Is 12/28 - ((-374788)/14 + -1) a multiple of 23?
True
Suppose 1152*g - 1147*g - 24930 = 0. Is g a multiple of 3?
True
Let r(x) = 3*x**2 + 31*x + 1000. Does 60 divide r(67)?
False
Let m(g) = g**3 - 8*g**2 - 14*g + 3. Let y be m(9). Is 14 a factor of (12/14)/((-9)/y) + 463?
False
Let k be 56/3 + 14/(-21). Let i be (1 + 0)*-2 + -81 + k. Is 16 a factor of ((1 - -5) + -7)/(1/i)?
False
Let x be -2*(-5 - (-39)/2)/1. Let z = x - -347. Does 9 divide z?
False
Suppose -242 = 3*a - 230. Let v = a - -241. Is 79 a factor of v?
True
Suppose 34*f - 36309 = -2955. Is 105 a factor of f?
False
Suppose 5*k - 368 + 31979 = 4*w, 0 = k + 3. Is w a multiple of 31?
False
Suppose -9*o = -94 - 95. Suppose -5*m + 15 = 16*n - 11*n, -3*m = -3*n + o. Is n even?
False
Let o be -5 + (6/9)/(4/18). Is 9 a factor of (3 + 6)/(o/(-58))?
True
Let t(n) = n**3 + 8*n**2 - 9. Let v be t(-8). Let h be (v/6)/(7/(140/(-15))). Suppose s - h*p = 17, -30 = -2*s + 5*p - 2*p. Is s a multiple of 5?
False
Let o(s) = -14673*s + 108. Is 11 a factor of o(-1)?
False
Does 4 divide 90/(-990)*(-11)/4 - 18022/(-8)?
False
Let u be 3/(-2)*1 - (-30)/12. Let k be u*-5*(-1