 y(q) = 4*g(q) + 33*z(q). Is 8 a factor of y(-6)?
True
Let t(f) = -8*f - 22. Let p be t(-3). Suppose r - p*s - 6 = 5*r, 2*r - s - 3 = 0. Suppose -5*m + 15 = -0*m, r = -5*o + m + 27. Is o a multiple of 2?
True
Let l(t) = 5*t**3 + 4*t**2 - t - 16. Let b be l(-3). Let n = b + 130. Is 9 a factor of n?
True
Let v = 69 - 47. Is 24 a factor of 2 + (3 - 6)/(-3) + v?
False
Suppose 71*k - 196*k + 8204402 = 272*k. Is 159 a factor of k?
False
Suppose 28*w - 876616 = -308692. Is w a multiple of 237?
False
Suppose 4*c = 16, -7*y + 3*c = -5*y - 96. Suppose -y*o = -15*o - 7371. Does 3 divide o?
True
Does 71 divide (-18242)/(-6) + -2 + 121/33?
False
Suppose 406*k + 13447 = 413*k. Suppose -2*j = 5*b - k, 4*b + 4*j + 371 = 5*b. Does 9 divide b?
False
Suppose -6*q - 6 = -8*q. Let a(f) = 5*f - q + 3 + f**3 + 4 - 3*f**2. Is 27 a factor of a(4)?
False
Suppose -2*z + 467 = -861. Suppose 5*h = 2*q + 830, 4*h + q + z = 8*h. Is h a multiple of 31?
False
Suppose 0 = -99*w + 27995 + 179608. Is w a multiple of 3?
True
Is 32 a factor of 2020/160 + -13 + ((-306939)/(-8) - -1)?
True
Let q(c) = -c**3 - 16*c**2 - 65. Is 23 a factor of q(-18)?
False
Is 2 a factor of (5 + -2)/(-21) - 71698/(-77)?
False
Let d = -139 + 156. Let j = 65 - d. Is 16 a factor of j?
True
Suppose 0 = 5*d - 5*f - 25, -6 + 16 = -2*d - 2*f. Suppose 4*z - 40 = -4*p - d*z, -3*z + 15 = 0. Let w(i) = i**2 + 3*i + 4. Does 18 divide w(p)?
False
Let h(i) = 8*i**2 - 8*i - 10. Let b be h(-5). Let q be 7/(-4) + 2 - b/(-8). Let k = q - 8. Is 5 a factor of k?
False
Suppose -3*i - 8 = -7*i. Let v be 390/91 - i/7. Suppose 0 = -v*l - 3 + 7, 0 = -4*b + 5*l + 187. Is b a multiple of 9?
False
Suppose 0 = -2*g + 839 - 801. Suppose -z + 4 = 0, -3*d - 7*z + 3*z + 3922 = 0. Suppose -d = -g*t + 13*t. Is t a multiple of 40?
False
Let a(r) = 2*r - 2. Let l be a(2). Let p be (-3)/((-1)/(-4)*4). Does 4 divide (-2*(-5 - p))/(1/l)?
True
Suppose 0 = -158*a + 2212585 + 1590791. Is a a multiple of 59?
True
Let i(u) = -u**2 - 11*u - 8. Let d be i(-9). Suppose -4*v - v = 4*p - 1970, 5*v + d = 0. Is 45 a factor of p?
True
Suppose -38*a + 82*a - 132 = 0. Suppose -2*y - 10*o = -5*o - 660, 2*y - a*o - 628 = 0. Is 8 a factor of y?
True
Let z be 3/(-6)*(-56 + 10). Suppose 2*l = -z*s + 19*s + 84, 3*l = 2*s + 102. Is 12 a factor of l?
True
Let x(s) = -s**3 - 25*s**2 - 27*s + 17. Let p be x(-24). Let i be (0 + 4/(-2))*p*-1. Let z = i - 115. Is 21 a factor of z?
True
Let k be 244/6 + (-12)/18. Suppose -2*t + 153 = q, -2*t - 5*q + k + 109 = 0. Is 11 a factor of t?
True
Suppose -6*m = 3*p - 5052, -2*p + 10*m - 15*m = -3370. Suppose 202*l - p = 186*l. Is l a multiple of 9?
False
Suppose 2 = 2*c - 4*b, -c + 2 = -4*b + 7. Suppose -c*p + 10 = -4. Suppose 2*z - 4 = -0, -p*d + 288 = z. Is d a multiple of 24?
False
Suppose -4*h + 0*z - 3*z - 598 = 0, 0 = -5*h - 2*z - 751. Let k(p) = -218*p**2 + 2*p - 1. Let u be k(1). Let o = h - u. Is 13 a factor of o?
False
Let z be (12 - 12)/(-4 + 5). Is 11 a factor of 327 - (6 - z - -2)?
True
Suppose 109*j - 154459 - 121329 = 1395727. Is j a multiple of 19?
False
Suppose 3*z - 5*z - b - 131 = 0, -5*z + 2*b = 350. Let f = z - -113. Is f a multiple of 3?
True
Let d(p) = -6*p**2 - 35*p - 1. Let i(v) = -3*v**2 - 17*v. Let q(y) = 4*d(y) - 9*i(y). Suppose 13*w - 90 = 1. Is 15 a factor of q(w)?
False
Let d(s) = s**2. Let i(w) = 4*w**2 - 2*w - 34. Let a(f) = 6*d(f) - i(f). Suppose -3*y = -9, 0 = 2*r + 5*y - 9*y + 12. Is 17 a factor of a(r)?
True
Suppose -2*j + 3*k + 168 = 0, -j + 17 = 3*k - 85. Let q be 20/j - (-34)/9. Is ((-292)/4)/(q/(-8)) a multiple of 16?
False
Let j be 4188/21 + (-6)/14. Let p = j + 191. Does 39 divide p?
True
Let b(i) = 4*i**2 - 27*i + 20. Suppose d = -4*l + 43, -12 = -4*d - 0*d. Is 8 a factor of b(l)?
False
Suppose -3*j + 6 = 5*n - 13, 0 = -5*j - 10. Suppose -q - 5 = -3*c + 6, 5*c - n = 5*q. Suppose a = c*w - 727, 3*a = -w + 5*w - 586. Does 23 divide w?
False
Suppose 17*z + 0*z - 2691 - 33757 = 0. Is z a multiple of 4?
True
Let v = -19 + 22. Suppose -2*z = v*a - 7*z - 460, 469 = 3*a + 4*z. Is 31 a factor of a?
True
Suppose -30*l = -32*l + u + 7230, -4*l = 4*u - 14472. Is l a multiple of 15?
False
Let o(u) = -u**3 - 7*u**2 + u - 6. Let m be o(-9). Let c = 155 - m. Is c even?
True
Suppose 0 = -79*r + 20*r + 1107253. Is r a multiple of 49?
True
Let x be -8 + 5 + (-516)/((-15)/5). Suppose x = 6*y - 131. Is y a multiple of 50?
True
Suppose 8*n = 3*n - 4*l - 12, -4*n - 2*l = 6. Suppose 0 = -4*v - n*s - 5*s - 15, 3*s + 9 = v. Suppose v = 16*p - 12*p - 780. Is p a multiple of 39?
True
Let w(g) = g**3 + 7*g**2 - 20*g - 6. Suppose 6*c + 4 = 10*c. Let k(b) = -8*b**2 - b. Let z be k(c). Is 4 a factor of w(z)?
True
Let o = -12208 + 18064. Is o a multiple of 12?
True
Let q(t) = 371*t - 4947. Does 6 divide q(18)?
False
Let p(l) be the first derivative of -19*l + 8 + 1/4*l**4 + 3/2*l**2 - 19/3*l**3. Is p(19) a multiple of 19?
True
Let x(t) = -139*t**2 + 2*t + 5. Let v(l) = -140*l**2 + 3*l + 5. Let z(a) = -4*v(a) + 3*x(a). Is z(-1) a multiple of 8?
True
Suppose 8*q = 4*q + 12. Suppose -q*j - 6*j = -63. Let i(g) = 2*g + 6. Is i(j) a multiple of 10?
True
Suppose 62*a + 42*a - 270865 = 1525007. Is a a multiple of 12?
True
Suppose 0 = 3*z + z. Suppose z = -2*d + 48 - 52. Let p(l) = -10*l + 4. Is p(d) a multiple of 6?
True
Let l(y) = -y**3 + 8*y**2 - 10*y - 5. Let s be l(6). Suppose 0 = s*h - 3*h - 168. Suppose 3*j - 42 = 5*c - 2*c, 5*j = -2*c + h. Does 3 divide j?
False
Let u = 40 + -37. Let t be (-398)/8 - u/(-4). Is 7 a factor of t*1*(-1 + 0)?
True
Is -1 + 21/18 - (-764624)/96 a multiple of 37?
False
Let t(q) be the third derivative of q**6/180 - q**5/30 - 3*q**4/8 - 8*q**3/3 + 12*q**2. Let z(v) be the first derivative of t(v). Is 7 a factor of z(5)?
True
Suppose -4*d - 3456 = -3*i, 2*i - 4*i + 4*d + 2308 = 0. Suppose i = 4*w + j - 832, -w + j = -495. Is w a multiple of 33?
True
Let f(o) = o**2 + 33*o - 43. Is f(7) even?
False
Suppose 120 = 2*o + 24. Let c = o + -38. Suppose 0 = c*n - 288 - 602. Is 37 a factor of n?
False
Suppose 114855 = 808*q - 751*q. Is q a multiple of 5?
True
Suppose 8*z = 781 - 749. Suppose 3*p - 3612 = -3*g, g + 3*p = -z*g + 6022. Is 53 a factor of g?
False
Suppose -7119 = -p - 5*a, -148*p + 144*p = -4*a - 28596. Is p a multiple of 4?
True
Suppose 0 = -2*j - 83 + 99, -2230 = -z + 3*j. Does 77 divide z?
False
Let x(h) = 28*h + 28. Let b be 5 + (-3 - 9/3). Let n be (-3 + -4)*1*b. Does 56 divide x(n)?
True
Does 22 divide (1*-6)/(228/152 + 7002/(-4664))?
True
Suppose 0 = -3*c + c - 0*c. Suppose c = 3*x - 368 - 361. Does 9 divide x?
True
Let q be -5*4/6 + 6/18. Let j = 21 - q. Does 32 divide (-3)/(-9)*1 - (-5344)/j?
False
Suppose -24 = 4*n - c + 50, n = -2*c - 23. Let t(h) = -8*h - 5. Let l be t(8). Let d = n - l. Is 25 a factor of d?
True
Let x(l) = -5*l + 36. Let r be x(6). Let z(v) = -v**3 + 5*v**2 + 5*v + 8. Let t be z(r). Is (-1)/((0 + -1)*t/62) a multiple of 4?
False
Suppose y = 3*f + 7, 5*y - 3*f + 17 = -f. Suppose 5*n - 268 - 14 = 3*m, 12 = -3*m. Let g = n + y. Does 7 divide g?
True
Suppose 3*i + i - 4*b + 8 = 0, 4*b - 2 = 3*i. Let c be 5*4/(-8)*i/5. Suppose -n - c*n = -60. Is 5 a factor of n?
True
Suppose -12*t + 5472 = -4*t. Suppose -6*k + t + 120 = 0. Does 21 divide k?
False
Suppose -8*u + 338000 = 13*u - u. Is 20 a factor of u?
True
Suppose 0 = 28*g + 263697 - 1517033. Does 114 divide g?
False
Suppose -40*z + 331182 + 246033 = 61*z. Is 15 a factor of z?
True
Let z be (3/(-6) - 0) + 543/(-6). Let l = z + 203. Suppose l = q - 3*a, 0 = -3*q + 3*a + 42 + 270. Does 10 divide q?
True
Does 5 divide ((-25)/5 - -1) + (3 + 75 - -2)?
False
Suppose -128*y + 2075623 = 946779 - 1738356. Is y a multiple of 25?
True
Let m be (-56 - -6)/1*-238. Does 30 divide m/51*6/4?
False
Suppose 5*j - 70 = -2*d, 4*j + 5*d - 56 = -0*j. Let i be 1 + 2 + 14/j. Suppose -i*y = -4*c + 124, 4*c - 159 + 27 = 2*y. Does 5 divide c?
True
Suppose -616*o + 123711 = -573*o. Is 24 a factor of o?
False
Suppose -2*w = n - 44, -4*w + 111 = 5*n + 23. Suppose 1188 = -w*a + 13002. Is 86 a factor of a?
False
Let k(i) = 45*i + 7. Let a be k(-1). Let d = a - -357. Suppose -67 + d = 6*o. Is o a multiple of 3?
True
Suppose -2*u = 3*u - 15, -2*j + 865 = -3*u. Suppose 5916 + 524 = 4*q - 3*v, -3*v + 12 = 0. Suppose -q + j = -12*t. Does 14 divide t?
