 = t - -8. Is j a multiple of 7?
False
Let q = 4706 - 1582. Is q a multiple of 22?
True
Suppose 5*f = -30, 8778 = -6*g + 9*g + 5*f. Does 4 divide g?
True
Let x(t) = 9*t - 61. Let k be x(7). Let h be k - ((-420)/(-8))/(9/12). Let q = h + 152. Is q a multiple of 7?
True
Let z = 18 + -24. Let i be (-1)/(-2)*z + -2. Is 18 a factor of 36/(i/50*-5)?
True
Let o(a) = -52*a**3 - 5*a**2 - 8*a - 3. Let v(w) = 52*w**3 + 4*w**2 + 7*w + 2. Let u(y) = 4*o(y) + 5*v(y). Does 14 divide u(2)?
True
Let t = -5941 - -9342. Is t a multiple of 13?
False
Let a = -419 - -1496. Does 2 divide a?
False
Let l(o) = 728*o**3 - o**2 + 4*o + 4. Let g be l(-1). Let n = -397 - g. Is 35 a factor of n?
False
Let p = -55 - -59. Suppose 16 = -p*q - 4. Is q*-22*(-5)/(-50) a multiple of 2?
False
Does 15 divide (910 + 1)/(3/(-6))*(-20 - -19)?
False
Let l(b) = -b**3 - 3*b**2 - 5*b - 3. Let q be l(-3). Let x = q + -8. Suppose 3*v - 1129 = -x*k, -5*v + 1303 = 5*k - 112. Is k a multiple of 28?
True
Suppose 0 = -49*q + 55*q + 18. Let h(w) be the third derivative of 7*w**5/20 + 5*w**4/24 + 13*w**3/6 - w**2. Is h(q) a multiple of 11?
True
Let b(a) = a**3 - 16*a**2 - 17*a + 4. Let j be b(17). Suppose z + 0*w = -j*w - 10, z = -5*w - 9. Is z/(-7) + -1*(0 + -34) a multiple of 7?
False
Let z be 3 - ((-2)/10 + (-455)/(-25)). Let x = -11 - z. Suppose -x*l + 93 + 55 = 0. Is l even?
False
Let w(g) = g - 145. Let y be w(30). Suppose 4*v - 421 = 2*v + x, 1033 = 5*v + 4*x. Let h = y + v. Is h a multiple of 9?
False
Let q(a) = -2*a**3 - 3*a**2 - a - 3. Let o be q(-3). Suppose -o*d = -25*d - 402. Does 11 divide d?
False
Suppose -2*w - 3*f + 0 = -4, -4*f = 5*w + 4. Let y(x) = -6*x + 3. Let k(r) = r. Let j(p) = 3*k(p) + y(p). Does 4 divide j(w)?
False
Let i(c) = -c**2 - 22*c - 126. Let s be i(-12). Is 3 a factor of 12 + s*(-5)/10?
True
Let t = 5 + 8. Let q = 37 - t. Suppose -22*u - 74 = -q*u. Does 7 divide u?
False
Suppose -5*u + 716 = -u. Suppose u*p - 14784 = 158*p. Is p a multiple of 5?
False
Suppose 23*x = 82436 + 232641. Is x a multiple of 35?
False
Suppose -5*t + 3*m + 209 = 0, -3*t + 8*t - 5*m - 215 = 0. Let y be -5 + 69/(-2 - -5). Let u = t + y. Does 8 divide u?
False
Does 11 divide (-1875)/(-6)*2 - (112 - 113)?
False
Suppose -29*s + 32*s = 1392. Suppose -5*i - x + 467 = 0, -x - s = -5*i - 3*x. Is 15 a factor of i?
False
Suppose 0 = -4*l - 4, -3*y + l = -17 + 1. Let x(m) = m**3 - 4*m**2 - 4*m - 3. Let q be x(y). Suppose q*g + 5*r = 13, -3*g + 5*r + 72 = 15. Is g a multiple of 8?
False
Let n(i) = i**2 - 14*i + 53. Let z be n(15). Let v = z - 28. Is v a multiple of 4?
True
Suppose 280*d - 685064 = -22*d + 731014. Is d a multiple of 5?
False
Is ((-407)/(-74))/(2/7 + 27/(-126)) a multiple of 29?
False
Suppose -36*g + 12 = -32*g. Suppose 4*j - 2*p - 105 = 285, g*j + 2*p - 282 = 0. Is 5 a factor of j?
False
Suppose -5*y + 2066 = -364. Suppose 4*u = -5*l + y, 0*u - 3*u + 382 = -5*l. Let x = u + -54. Is x a multiple of 35?
True
Let x(q) = q**3 + 32*q**2 - 66*q + 71. Let o be x(-34). Does 5 divide 97 + o + -2 + 0 + 3?
False
Let x(t) = -9*t**2 + 286*t - 20. Does 148 divide x(26)?
True
Let c(q) be the first derivative of 1/2*q**2 - 36 - 2*q**4 + 0*q**3 + 3*q. Is c(-2) a multiple of 6?
False
Suppose -x - 4*b = -1761, 18*x - 21*x + 2*b + 5255 = 0. Is 6 a factor of x?
False
Suppose 4*s + 3*l = 47, -33*l - 16 = -2*s - 37*l. Suppose -f + 1184 = -s*j + 16*j, 4*j - 5950 = -5*f. Does 21 divide f?
False
Suppose 42*a = 110374 + 13442. Is 22 a factor of a?
True
Let l(j) = -j**3 + 2*j**2 + 8. Let n be 8/36 - (104/(-18) - -2). Let k be l(n). Let r = 34 + k. Is 3 a factor of r?
False
Does 72 divide (-15050)/(-105) - (16/(-12))/2?
True
Suppose 64*a - 3865450 = -130*a. Is a a multiple of 246?
False
Suppose 142*o - 2215919 = -125111. Is 12 a factor of o?
True
Let l = 6578 - -9287. Is l a multiple of 95?
True
Is 7 a factor of 327 + ((-56)/(-20) - 60/75)?
True
Let g be -33 + 10 + (-8 - -2). Suppose -51 = -5*b + 59. Let q = b - g. Is q a multiple of 16?
False
Let a(m) = 27*m**2 + 62*m + 129. Let j(q) = -14*q**2 - 32*q - 63. Let l(t) = 6*a(t) + 11*j(t). Is l(-8) a multiple of 15?
False
Suppose -6*p + 232*l - 233*l = -57389, 0 = 3*p - 2*l - 28712. Does 6 divide p?
False
Suppose t - 1590 = 5*b + 4125, -28386 = -5*t + 4*b. Does 70 divide t?
True
Let o(f) be the second derivative of f**4/6 + 8*f**3/3 + 19*f**2/2 + 8*f. Is o(-10) a multiple of 13?
False
Let b = 16296 - 12455. Is b a multiple of 24?
False
Let u = -165 + 166. Does 32 divide -1 + (57/38)/(u/214)?
True
Let y = 97831 - 56361. Does 26 divide y?
True
Let z(x) = -x**3 + 3*x**2 - x - 1. Let s be z(0). Is 8 a factor of (-22)/((-176)/4440) + 6 + s?
True
Suppose 0*b = -3*b + 3*h + 6, h = 3*b - 6. Suppose -b*x = -x - 55. Is 7 a factor of x?
False
Let v(d) be the first derivative of d**4/4 + 3*d**3 - 8*d - 181. Let l(s) = -s**3 - 8*s**2 - 6*s - 1. Let j be l(-7). Is v(j) a multiple of 14?
True
Let z = 2027 + 3804. Is 9 a factor of z?
False
Let y = -682 + 843. Suppose -7 - y = -2*q. Is 14 a factor of q?
True
Suppose 2*o + 12 = 4*i, -2*o = -i + 2*i - 8. Let n be 99/(-132) - ((-457)/i)/(-1). Let r = n - -162. Is r a multiple of 15?
False
Suppose 5 = t + 2*k + k, 12 = 5*t + 2*k. Suppose 3*u - 3 = 0, -259 - 13 = -3*d - t*u. Let l = d + -35. Is 6 a factor of l?
False
Suppose 11*y = 17*y + 12. Does 52 divide (-25)/(((-2)/(-21))/y) - 5?
True
Let d = 13204 - 7408. Is d a multiple of 92?
True
Let q be (-21)/(-6) - 25/10 - -8. Suppose 0 = q*g - 194 - 85. Is g a multiple of 4?
False
Suppose -11*l + 14*l - 6 = 0. Suppose l*h = 459 + 239. Does 17 divide h?
False
Does 13 divide (-9)/(27/876)*(0 - 156/16)?
True
Suppose 28 - 6 = 11*q. Suppose -9 - 11 = -4*h, 5*h = -q*m + 949. Is m a multiple of 65?
False
Let h = 120 - -89. Let l = h + -310. Let z = 146 + l. Does 3 divide z?
True
Suppose -j - 121423 = -4*a, 3*a - 43368 = 5*j + 47678. Is 69 a factor of a?
False
Let v(d) = d**3 - 15*d + 8. Let o be v(4). Let y be (-3)/12 + 27/o + 2. Suppose u - 28 = -2*n + 36, 5*u + y*n - 338 = 0. Is u a multiple of 10?
True
Let z(d) be the first derivative of 5*d**2/2 + 149*d + 185. Is 4 a factor of z(12)?
False
Let g = -50 - -24. Let b = 36 + g. Suppose 102 = 4*z - b. Does 13 divide z?
False
Let i be (-4)/18 + (-84245)/261. Let a = i + 539. Does 27 divide a?
True
Let z(p) = p**3 + 19*p**2 - 28*p + 80. Let b be z(-22). Let j = 12 - b. Is j a multiple of 42?
False
Does 67 divide 22514/14 - 0 - (-16)/(-2352)*21?
True
Suppose 294 = -3*v + 3*p, 481 = -5*v - 24*p + 20*p. Suppose -2*d - 116 = -d. Let y = v - d. Is 3 a factor of y?
False
Suppose -6*i - 10*i + 41152 = 0. Is 31 a factor of i?
False
Is (1320/16)/(((-4)/(-2892))/((-16)/(-24))) a multiple of 241?
True
Let x(s) = 14*s**2 - 83*s - 4708. Does 17 divide x(-50)?
True
Let g be 6 + (-2 - 0) + 0. Suppose g = -d - 5*h + 7, -5*d + 3*h - 13 = 0. Is d*(-1)/2 - -12*1 even?
False
Let t be (-40)/(-16)*(-4)/25*-15. Let x(b) = 4*b**2 + 6*b - 22. Let h be x(t). Let p = h + -113. Does 8 divide p?
False
Let u = -196 - -200. Suppose -2*z + 94 = -0*z - u*k, -16 = -4*k. Is 3 a factor of z?
False
Let z be 3/6 - 150/(-4). Suppose 3*g - z = 4*d + 107, 105 = -3*d + 3*g. Does 23 divide (161/(-28))/(1/d)?
True
Let c = -2156 + 4132. Is c a multiple of 4?
True
Let g(m) = 2*m**2 - 34*m - 204. Let n be ((-12)/(-10))/((-33)/220). Is 4 a factor of g(n)?
True
Is 21 a factor of (-2696 + 9)*(24 - 28)?
False
Let v = 266 + -270. Is 25 a factor of (-15)/(v*2/200)?
True
Is 173 a factor of 8*(1 + (-1923)/(-12))?
False
Let a = -12 + 446. Suppose -5*m = -4*p - a - 28, 0 = -m - 4*p + 78. Does 9 divide m?
True
Suppose y + 2*i = 17840, 4*y + 4937*i = 4934*i + 71400. Is y a multiple of 159?
False
Let d = -38 - -40. Suppose -d*b + 0 = c + 5, 4*c - 10 = 2*b. Let k = 53 + c. Is 18 a factor of k?
True
Let t be 21*((-174)/(-21) - 8). Suppose -78 = -6*b + t. Is 8 a factor of b?
False
Let u = 10087 + -7674. Is 6 a factor of u?
False
Let a(x) = x**2 + x + 1. Let n(o) = -14*o - 6. Let j(s) = 6*a(s) + n(s). Let t be j(-7). Let b = t - 198. Does 50 divide b?
False
Let p(d) = -7*d**2 - 6*d - 16. Let h be p(-4). Let m = h - -377. Is 7 a factor of m?
True
Suppose -5*l + 15 = -3*c, -l - 12 = 3*l. Let u = 2929 + -2923. Is (12 - c)/(2/u) a multiple of 18?
False
Does 20 divide (-30)/(((-630)/3752)/15)?
True
Suppose -43*g + 4