et x(j) = j**3 + 7*j**2 - 13*j - 9. Let i = -7 - 1. Let l be x(i). Let d = l - 9. Is d a multiple of 11?
True
Let l(t) = -4*t + 10. Let c be l(3). Is 25 a factor of (2 + -3 - c)*346?
False
Let a = -3 + 6. Does 3 divide 8/a*54/12?
True
Suppose -4*h - 5*r = -105, 3*h - 4*r = -1 + 41. Suppose 4*g = -4*o + h, 0*o - 4*g + 14 = o. Suppose o*c = -2*c + 24. Does 6 divide c?
True
Suppose 4*p - 5*w - 1823 = 0, 0 = p + 5*w - 193 - 269. Does 20 divide p?
False
Is 22 a factor of (-15112)/(-5) + -1 + 57/95?
False
Suppose -118800 = -67*v - 13*v. Does 35 divide v?
False
Suppose -2*t + 14 = -0. Suppose -350 = -0*h - t*h. Is 12 a factor of h?
False
Suppose -62*c + 280 = -52*c. Is 8 a factor of c?
False
Let o(q) = -q**2 + 7*q - 7. Let j be o(6). Let n = 48 - j. Is n a multiple of 25?
False
Let l = 38 - 40. Is 12*(l + 17/2) a multiple of 13?
True
Let t(i) = -i**2 - 7*i + 3. Let v be t(-6). Suppose -4*g = -v*g + 25. Suppose 0 = -3*k - 2*d + 28, -g*k + 48 + 4 = -2*d. Does 10 divide k?
True
Suppose 10*y - 717 = -t + 9*y, -4*t - y = -2880. Is 7 a factor of t?
True
Suppose 0 = -9*o + 11*o. Let w be 0 - 5 - (o + -4). Is 4 a factor of (-1)/(w*5/95)?
False
Let m = -412 - -956. Is m a multiple of 32?
True
Let d(c) = 18*c + 4. Let n = 3 + 3. Let q(s) = -s + 9. Let x be q(n). Does 18 divide d(x)?
False
Let c(n) = n - 15. Let t be c(21). Suppose 104 = t*k - 166. Is 14 a factor of k?
False
Suppose 3*w - 5*w + 4 = 0. Let q(f) = 0 + 5*f**w + 3 - 3*f**2 + f. Does 14 divide q(-5)?
False
Suppose 3*a - k = -6*k - 46, 2*k - 32 = 3*a. Let h(y) = -y**3 - 13*y**2 - 13*y + 9. Is h(a) a multiple of 5?
False
Suppose -4*l - 4*u + 80 = 0, -l + 4*u + 37 + 8 = 0. Suppose b = 4*d - b - 100, -d + l = -2*b. Is 10 a factor of d?
False
Let z(s) = s**3 - 2*s**2 - 6*s - 4. Suppose 10 = 5*n - 3*n. Is z(n) a multiple of 12?
False
Let h = -635 - -646. Does 10 divide h?
False
Let w(h) = -2*h**3 + 3*h**2 - 3*h + 2. Suppose 0*g - 2*s + 8 = g, -4*g = -4*s + 4. Let v be w(g). Does 26 divide 6/8 - 410/v?
True
Let m be -1 + 1 + 10 + -2. Suppose -4*d - 2 = g, 6*g = g - 5*d - 55. Let a = m - g. Does 11 divide a?
True
Suppose -15*o + 9*o + 36 = 0. Is 6 a factor of (-914)/(-8) + (o - (-75)/(-12))?
True
Suppose -5 = -h + 5. Let z = h - -27. Is 13 a factor of z?
False
Let m = -194 - -362. Is m a multiple of 28?
True
Is 1*124*1890/360 a multiple of 18?
False
Suppose -1368 = -3*g - 5*r, 3*r + 2*r - 917 = -2*g. Is g a multiple of 47?
False
Let g(r) = 2*r - 6. Let f be g(4). Let y(u) = -9 + 2*u**3 - 2*u**3 - 5*u - 7*u**f - u**3. Does 11 divide y(-7)?
False
Suppose 3*r - 2 = 13. Suppose r*l + 5*s = -0*l + 65, 5*s + 15 = 5*l. Does 4 divide l?
True
Suppose 0 = -2*z - 2*z - 16. Let n = z - -31. Is n a multiple of 6?
False
Let a(f) = -f**2 + 6*f - 5. Let x be a(4). Suppose x*d + 78 = -0*d. Let t = 41 + d. Is t a multiple of 5?
True
Let r = 7 + 7. Does 12 divide (-2)/r - (-1830)/70?
False
Suppose 23*w = 26606 + 1477. Does 33 divide w?
True
Suppose -5*v + 5 = z - 17, 3*v = 5*z + 2. Suppose -v*l - l = -120. Is l a multiple of 8?
True
Let w(i) be the first derivative of i**4/4 + 7*i**3/3 + 8*i - 5. Let s be w(-7). Suppose -4*g = -5*g + s. Is g a multiple of 4?
True
Let f = -21 + 15. Let b be (65 + 4)/(-3)*f. Suppose 4*n - 184 = -2*v + 3*v, 3*n - b = 5*v. Is 23 a factor of n?
True
Let f = 50 - 39. Suppose -77 = -f*g - 0*g. Is g a multiple of 2?
False
Let c(j) = -j**3 + 5*j**2 + 15*j - 18. Let d be 2 - (3 + (-14)/2). Does 6 divide c(d)?
True
Suppose 5*y + 155 = 25. Let p be 6/39 + 2292/y. Let o = -63 - p. Is 11 a factor of o?
False
Let h = -58 + 696. Is h a multiple of 22?
True
Let r(n) = -n**3 + 18*n**2 + 16*n - 15. Let c be r(19). Let o = 192 + c. Is o a multiple of 30?
True
Is 21519/63 + (-12)/21 a multiple of 31?
True
Let r = 56 + -27. Suppose -2*v + r = -91. Suppose 19*a - 24*a + v = 0. Is 4 a factor of a?
True
Let z(q) = q**2 + 3*q - 6. Let a be z(-6). Let b = a - 10. Suppose 4*l - 58 = 5*f + 3, -4*f = -b*l + 32. Is 14 a factor of l?
True
Let o(t) = -t**3 - 4*t**2 - 5*t + 6. Let r be o(-3). Let p(j) = j**2 - 6*j - 7. Does 5 divide p(r)?
True
Is -6*1/(-15) + 1053/5 a multiple of 22?
False
Suppose 0 = 5*i - 3*f - 25, 4*i - 42 = 5*f - 9. Suppose 4*y - 156 = i*y. Is y a multiple of 26?
True
Does 44 divide (29 - -757) + (1 - -5)?
True
Suppose 0*f = -5*g - f, f = 0. Suppose 3*i + 89 = 4*u, -3*u + 5*i + 18 + 35 = g. Let z = u - -18. Does 22 divide z?
True
Suppose -10 = -4*u - u. Suppose -i + 0*i = 4*m - 16, m = u*i - 5. Suppose c = -m*c + 140. Does 10 divide c?
False
Let a(h) = h**2 + 10*h + 2. Let y be a(-10). Let p be (-2 - 0)/(y/(-35)). Suppose 0 = -o - 4*o + p. Is o a multiple of 3?
False
Let j = -28 + 43. Is j a multiple of 15?
True
Suppose 3*u + 12 = j, -4*j - 4*u + 6*u = -38. Suppose 42 = -j*h + 12*h. Is 14 a factor of h?
True
Suppose -22 = -3*t + 2*t + 5*h, -12 = -2*t + 2*h. Is (2/6)/(t/36) even?
True
Suppose l + 4*a - 20 = 0, 7*l - 98 = 3*l + 2*a. Suppose -c + 6*c - 2*n - 34 = 0, c = -3*n. Let g = c + l. Is g a multiple of 15?
True
Let y(l) be the first derivative of -l**2/2 + 1. Suppose 36*x = 37*x + 5. Is y(x) a multiple of 3?
False
Let r(o) = o**2 + 11*o + 13. Let g(h) be the first derivative of h**3/3 + 13*h**2/2 + h - 4. Let b be g(-12). Does 13 divide r(b)?
True
Suppose 4*v = 4*i + 6*v + 54, 5*i = -3*v - 66. Is (-2991)/i - -5*(-4)/50 a multiple of 29?
False
Suppose -5*x + 20 + 3 = 3*u, -2*x + 2*u + 6 = 0. Let h(l) = 3*l**2 + l. Let q be h(-1). Suppose -5*b = x*g - 8*g + 114, q*g = 2*b + 56. Does 13 divide g?
True
Let x = 28 - -17. Suppose 3*w + x = 6*w. Is (8 + -3)*42/w a multiple of 4?
False
Suppose -9*b = -2*b - 7. Is -1 + 24*1/b a multiple of 5?
False
Suppose -o - 4 = -6, 4*m = -o + 2942. Is m a multiple of 15?
True
Let k(w) = 15*w**2 - 3*w + 10. Is k(4) a multiple of 19?
False
Suppose 25*r - 4*z + 2052 = 27*r, 0 = 4*z - 20. Is 8 a factor of r?
True
Suppose 3*p - 5*p = -18. Suppose 0 = -g - 4*b - 12 - 6, 3*g = 2*b + 16. Suppose -c + g*c = p. Is c a multiple of 3?
True
Suppose 61 = -2*x - a + 322, a = -3. Is 3 a factor of x?
True
Let p(q) = -q**3 + 45*q**2 - 28*q - 74. Is p(44) a multiple of 14?
True
Let x = -27 + 46. Let t = -15 + x. Is (t/(-10))/(16/(-120)) a multiple of 2?
False
Suppose 7 - 11 = 2*c. Let h(p) = 2*p**3 - 2*p**2 + 2*p + 6. Let z be h(c). Let x = 58 + z. Is x a multiple of 36?
True
Is (-3)/9*(12 - 1419) a multiple of 37?
False
Let d be (-10)/8 - 2/(-8). Is 10 a factor of d/2 - 2032/(-32)?
False
Let w = -48 + 8. Let x = -60 - w. Let r = x + 39. Is r a multiple of 11?
False
Is 30 a factor of 0 + (-15)/5 + 156 + -3?
True
Let o = -172 - -400. Is 5 a factor of o?
False
Suppose 2*q + 3*p = 287, p - 80 = 3*q - 538. Does 15 divide q?
False
Let s(v) = 4*v**2 + 8*v - 20. Let k be s(-7). Suppose q + k = 2*q. Is 5 a factor of q?
True
Let o = -4 + -4. Let p be (-4)/o + 3/(-2). Is -3 + 54 - (-4 - p) a multiple of 18?
True
Let q(p) be the second derivative of 2*p**3 + 47*p**2/2 + 31*p. Is 45 a factor of q(22)?
False
Let r be ((-2)/(-4))/(10/(-20)). Let m = 7 + r. Does 6 divide m?
True
Let v = 2446 + 2090. Does 28 divide v?
True
Let c(b) = b**3 - 9*b**2 + 6*b - 7. Let i be c(9). Suppose z = -3*a + i, -6*a + a + 4*z = -50. Is 21/a - 2/(-4) even?
True
Is (4624/(-12))/(-4) + (-2)/6 a multiple of 16?
True
Let w = -41 - -46. Let p(t) = t**2 + 3*t + 2. Is 7 a factor of p(w)?
True
Let b(k) = k**3 - 4*k**2 - k - 9. Is 17 a factor of b(7)?
False
Let g = -223 + 287. Does 16 divide g?
True
Let d = -50 + 14. Let a = d - -66. Suppose 0 = -5*n - t + 82, -4*t = -2*n + a - 6. Is n a multiple of 6?
False
Let z be (-91)/(-13)*(1 + 0). Let g = 11 - z. Does 4 divide g?
True
Let u = -8 + 5. Let d be ((-2)/(-6))/(u/(-27)). Is (d + -2)*(-22)/(-2) a multiple of 11?
True
Let c(y) = 106*y + 77. Is c(6) a multiple of 23?
True
Suppose n - 3*s - 134 = 0, 2*n = 11*s - 7*s + 262. Is n a multiple of 9?
False
Let r(m) = m**3 - 14*m**2 - 15*m + 7. Let j = 20 + -23. Let u be j/(4 - (-63)/(-15)). Does 7 divide r(u)?
True
Let r = 6246 + -2574. Is r a multiple of 24?
True
Let o(g) = 15*g + 2. Let j be o(1). Let i = j - 9. Does 12 divide (-2)/(-4) + 204/i?
False
Suppose -2423 = -4*t - 4*w + 1397, -949 = -t + w. Is 12 a factor of t?
False
Let v(o) = -3*o**2 + 7*o + 9. Let m be v(-7). Let b = m + 290. Is 17 a factor of b?
False
Let y(j) = -3*j - 2.