 + 826 = 0, 462*p - 812 = -u + 460*p. Is u a multiple of 3?
True
Let l(m) = -m + 2. Let t be l(0). Suppose r = -t*f + 813, f - 2231 = 5*r - 6340. Is r a multiple of 14?
False
Suppose -3*d + 16*u - 17*u + 22243 = 0, -22253 = -3*d + u. Is 103 a factor of d?
True
Let q be -10 - (-5)/1 - -282. Let v = 625 - q. Is v a multiple of 27?
False
Suppose -5*y + 35 = -0*y + 3*m, m = 5*y - 35. Let a(x) = -x**2 + 9*x - 6. Let k be a(y). Suppose 197 = k*i - 35. Does 3 divide i?
False
Suppose 4*q + 11108 = 5*t, 5*t + 100*q = 101*q + 11117. Is t a multiple of 22?
False
Is 19 a factor of -3066*45/(-40) + 8/(-32)?
False
Suppose 0 = k - 169 + 167. Suppose -3*p + t + 211 = 0, 8*p - 6*p = k*t + 134. Is p even?
True
Let z be (15/(-5) - -6) + -2. Does 6 divide (1/(-2)*z)/(2/(-172))?
False
Suppose -984 = -5*h - 2*c, 4*c + 1002 = 5*h - 0*c. Is h a multiple of 33?
True
Suppose 187824 = 29*u - 199313 - 364398. Is 24 a factor of u?
False
Does 107 divide (2 + 176/(-5))/(27*24/(-417960))?
False
Let j = -153 + 436. Suppose -2*m - j = -2*v - m, 0 = 4*v + 2*m - 586. Does 8 divide v?
True
Does 4 divide (55/33)/((-5)/(-849))?
False
Suppose 5*c + 2*y - 22 = 21, y - 8 = -c. Does 36 divide (c/3)/((-17)/(-1428))?
True
Is 17 a factor of -2*(200/500)/(4/(-110755))?
True
Suppose -306*i - 56 = -307*i. Suppose 71*x - 3105 = i*x. Is x a multiple of 9?
True
Suppose 25*o - 68*o = 6*o - 7448. Does 8 divide o?
True
Let i be (-2)/((56/354620)/((-2)/(-10))). Let f = i - -3754. Does 37 divide f?
True
Let p = -7453 + 11565. Is 3 a factor of p?
False
Does 5 divide 1062/((-4 + (-18)/(-5))/((-77)/55))?
False
Suppose -w = -2*p + 4820, 2*p + 20*w - 4828 = 19*w. Does 36 divide p?
True
Let p = -46 - -30. Let u be (40/(-24))/(5/(-18)). Does 23 divide u/(-4) + (-2456)/p?
False
Let j be (0 + 8)*(-2 + (-185)/(-2)). Suppose -3*q - 289 = -j. Let u = q - 85. Is 30 a factor of u?
True
Let n(u) = 2*u**2 - 22*u - 15. Let b be n(12). Suppose -37 - 17 = -b*d. Suppose -520 = -d*v + 2*v. Does 12 divide v?
False
Let z(n) = -2*n**3 - 5*n**2 - 18*n - 13. Let b be z(-7). Suppose 0 = -206*w + 208*w - b. Is w a multiple of 48?
False
Suppose -44*c = -1788703 + 401075. Is c a multiple of 47?
True
Suppose 3*q - 5703 = 2*t, -7600 = 46*q - 50*q + 4*t. Does 56 divide q?
False
Suppose 12 = -y + 3*y + 2*r, 2*r = 8. Suppose -y*h + 160 = -32. Is 10 a factor of (h - 4)/4 - 3?
True
Is 57 a factor of (-9)/(-45)*326995/17?
False
Let d(l) = 2*l**3 - 3*l**2 - 9*l - 5. Let b be d(6). Let n = b - 121. Suppose u - 76 = -a, -4*u + n = 3*a - a. Does 19 divide a?
False
Suppose -4*t + 3*b = 56, 7*t + 59 = 4*t - 2*b. Does 3 divide (-3 - -1)*(11 + t)?
True
Suppose i = 4*y - 34, y - 5*i = -y + 8. Suppose 0*o = y*o. Suppose 2*q + o*q + c - 168 = 0, -3*q - c + 250 = 0. Does 23 divide q?
False
Let l(d) = -d**3 + 7*d**2 + 5. Let b be l(7). Suppose -5*h + 755 = 4*n, -b*h - 5*n = -0*h - 750. Is 24 a factor of h - (-5 - -3 - 3)?
False
Suppose 3*c = -x + 7, -5*x + 5 = 2*c - 4. Suppose -2*l + 5*l = -c*d + 264, -3*l + 660 = 5*d. Is 3 a factor of d?
True
Suppose 0 = 2*a - 12*a + 890. Let c(i) = 9*i + 4. Let t be c(4). Let h = a - t. Is 7 a factor of h?
True
Let y(i) = -29*i - 24. Let a be y(-1). Suppose 4*o - 1782 - 316 = -3*k, 2818 = 4*k - a*o. Is 27 a factor of k?
True
Let y(p) = -p**3 + 3*p**2 + 2*p + 6. Let i be y(3). Suppose i = 4*u - 0*u. Let m(z) = 26*z - 8. Does 19 divide m(u)?
False
Let u = -9240 - -30045. Is 19 a factor of u?
True
Is 20 a factor of 129 + -135 + 6996 + -1?
False
Let j(o) = -o**3 - 2*o**2 - 2*o + 2. Let l be j(-2). Suppose l*k - 611 = -197. Is k a multiple of 23?
True
Let p(x) = -2*x**2 - 28*x + 32. Let t be p(-15). Suppose 2*g - t*f = -6, -3*f + 13 = -2*g - 8*f. Is g/16 - -30*(-94)/(-16) a multiple of 22?
True
Let t(z) = 12*z - 240. Let n be t(14). Let o be 11 + 5/(10/(-4)). Does 49 divide o/n - 1570/(-16)?
True
Let y(j) = j**3 + 5*j**2 - 10*j + 31. Let q be y(-7). Suppose -5*d + q*w = -51, w + 9 = 4*w. Is d even?
True
Let w = 204 + 390. Let q = w + -342. Is 31 a factor of q?
False
Let x(n) = 270*n**2 - 596*n + 1786. Is x(3) even?
True
Let u(g) = -152*g + 556. Does 87 divide u(-13)?
False
Let b(f) = 8*f**2 - 11*f - 21. Let u be b(10). Let o = -393 + u. Is 6 a factor of o?
True
Suppose 2*b - 126 = -2*r, 13*r - 16*r + 12 = 0. Let c = b - -91. Is c a multiple of 25?
True
Let f(y) = -6*y**3 - y**2 + 293*y + 20. Is f(-11) a multiple of 14?
True
Suppose 4*n = 3*m + 3579, -6*n + 4*n + 4*m = -1782. Is 39 a factor of n?
True
Suppose 0 = k + t - 5669 + 439, 0 = 4*t - 8. Is 142 a factor of k?
False
Let i(a) be the third derivative of a**5/6 - a**4/24 + a**3 + 100*a**2. Is 30 a factor of i(-6)?
False
Let a = -7586 + 18692. Does 31 divide a?
False
Suppose 4*z = 32 + 4. Does 13 divide z/((-16)/24 - 122/(-156))?
True
Let l(u) = 9*u + 130. Let o be l(0). Let x = -124 + o. Suppose -4*i = x - 18. Is i a multiple of 3?
True
Let q(a) = a**2 + 34*a + 38. Let z be q(-33). Suppose 4*c = 2*c - z*j + 547, -246 = -c + 3*j. Is c a multiple of 29?
True
Suppose -5*m = 4*j - 1640, -j + 5*m + 401 = 4*m. Suppose -661 = -2*n + j. Does 39 divide n?
False
Let o(g) = -6*g**3 + 2*g**2 - 64*g - 350. Is o(-10) a multiple of 59?
True
Is (-91104)/65*50/(-15) a multiple of 56?
False
Let k be (-3 + 0 - -3) + 41. Let v = k - 61. Is (8/v)/(3/(-1290)) a multiple of 43?
True
Suppose -4*p + v = -329, 6*p - 4*v = 7*p - 61. Suppose -4981 = -5*a - p. Is a a multiple of 35?
True
Suppose -5*n = 4*j - 9372, 191*n + 2*j + 1852 = 192*n. Is 4 a factor of n?
True
Let a(y) = 21*y. Let z be a(2). Let c = z - 76. Let v = c - -75. Is v a multiple of 10?
False
Suppose 14 = -0*o + 2*o. Let y = 454 + -442. Suppose y = o*z - 9. Is z even?
False
Suppose -210 = -4*p + 5*p. Let s = p + 329. Suppose 5*z + 49 = s. Does 10 divide z?
False
Suppose 0 = 42*f - 37063 - 21401. Suppose -69*d = -63*d - f. Is d a multiple of 58?
True
Let j(d) = -223*d**2 + 32*d - 4. Let h be j(4). Let r = -2212 - h. Is 88 a factor of r?
True
Let w(f) = 101*f**2 - 11*f - 18. Let h(y) = -507*y**2 + 56*y + 90. Let u(p) = 2*h(p) + 11*w(p). Is 7 a factor of u(-2)?
False
Suppose 0 = 4*x + 16, -2*q + 2*x = -7*q + 127. Is 12 a factor of ((-2070)/35)/(q/(-252))?
True
Let p(z) = 6*z**3 + 3*z**2 + z. Let w(a) = a**2. Let t(c) = p(c) - w(c). Let h be t(-1). Does 10 divide (-160)/h + (-12)/(-3)?
False
Let r(w) = 94*w + 1. Let p be r(-1). Let l = 4066 - 4048. Let q = l - p. Is 30 a factor of q?
False
Let f = -182 + 224. Is 3 a factor of 1656/f - 12/28?
True
Let b = 65 + -62. Let d(h) = 118*h - 6. Let g be d(b). Suppose -2*n - 4*s = -g, 75 = n + 4*s - 93. Is n a multiple of 36?
True
Let n(j) = 3*j**3 + 2*j**2 - j. Let s be n(1). Let p be 12*4/s - 3. Suppose -p*x + 11*x = 100. Is x a multiple of 22?
False
Does 30 divide -7 + (13 + -24)*(1*-2631)/3?
False
Let n(t) = 2*t - 9. Let f(w) = -w**2 + 8*w + 10. Let s be f(10). Let j be (-144)/s - (3 - 13/5). Does 19 divide n(j)?
True
Suppose -4*z - 1352 = -5*v, 0 = 2*z - 6 + 12. Let d = v - 31. Is 30 a factor of d?
False
Let f be (-1)/((27/54)/(10/(-4))). Suppose 0 = 10*x - f*x - 505. Does 8 divide x?
False
Let p = -463 - -852. Suppose 5*i = 7*g - 9*g + p, -3*i + 4*g + 249 = 0. Is i a multiple of 3?
False
Is (3105/60)/(3/532) a multiple of 161?
True
Is ((-96)/144)/(48346/(-193368) - (-1)/4) a multiple of 14?
True
Let o = 35 - -121. Suppose 0 = 5*j + o - 1766. Is 55 a factor of j?
False
Let o = 1190 - -27. Does 39 divide o?
False
Suppose -3*h + 8*h = -5*g + 7510, -3*g + 4508 = 2*h. Does 47 divide g?
True
Let y = 23494 - 3523. Is y a multiple of 21?
True
Let f = -35 + 36. Let i be 7*(8/28)/f. Suppose 25 = i*s - 35. Does 6 divide s?
True
Suppose 0 = 5*y + 92 + 123. Let v be -8 + (-3)/(4/(-4)). Is 9 a factor of 2/v*(-2 + y)?
True
Let m be (3/(-12)*-4)/((-1)/(-299)). Let n be m/13 - (2/(-1) + 1). Suppose -4*b + 28 = 2*a - n, 3*a + b = 53. Is 3 a factor of a?
False
Let p be ((-63)/18 + 0)*-2. Let n(u) = u**2 + 5*u + 4. Let c be n(-4). Suppose c = -5*d + p + 63. Is 12 a factor of d?
False
Let g(m) = m**3 - 7*m**2 + 12*m + 2. Suppose -i + 15 = 2*i. Let h be g(i). Is 6 a factor of 4/h*0 + 36?
True
Suppose 776 = 4*p - 312. Let a = -73 + p. Does 9 divide a?
False
Suppose -13230 = -d - 5046. Suppose 5*a = 27*a - d. Does 31 divide a?
True
Suppose -207*j + 261*j - 118692 = 0. Is j a multiple of 14?
True
Let x be 