pose -3*i + 2*l = -129, 0 = -4*i - m*l + 94 + 95. Does 15 divide i?
True
Let u(l) = -l**2 + 7*l + 7. Let s be u(7). Let a = s - 4. Does 11 divide -2*-11*(a - 1)?
True
Suppose 0 = -5*z + 2*z + 96. Suppose 8 = -2*x + z. Is 2 a factor of x?
True
Suppose -1825 - 2081 = -7*q. Does 62 divide q?
True
Let p(r) = -14*r**3 - 30*r**2 + 2*r - 40. Is 86 a factor of p(-6)?
True
Let u(b) = 3 - 13*b + 6*b**2 + 2*b + 7*b + b**3 - 2. Is 4 a factor of u(-3)?
True
Let y = -275 + 610. Does 33 divide y?
False
Let c be 25*2 - (-13 - -16). Let u = c - 34. Does 3 divide u?
False
Let j(m) = -34*m + 383. Does 79 divide j(-46)?
False
Does 9 divide (-2)/(-11) - (-82824)/638?
False
Suppose -6*o - 8 = -14*o. Let u = 31 - o. Is 15 a factor of u?
True
Let v = -5 - -11. Let w be 9/v + 3/2. Suppose -5*j + s - w*s = -149, -5*j - 5*s = -155. Does 13 divide j?
False
Suppose 5*l + w = -3*w, 41 = -4*l + 5*w. Let a be 4/(l/18*-3). Does 14 divide (1 + a)/(13/78)?
True
Suppose -3*w = 5*a + 10 - 6, -16 = -5*w + 3*a. Suppose 3*j - 21 = 2*g, -w*j - g + 0*g = -7. Is 2 a factor of j?
False
Let o = 312 + -177. Is 27 a factor of o?
True
Let m = -5 + 1. Let b be (-3)/4 - 419/m. Suppose 0*l - b = -4*l. Does 5 divide l?
False
Let t = -239 + 256. Let j = 3 - -5. Let u = t - j. Is 9 a factor of u?
True
Is 6 a factor of ((-50)/14 - -1)/(3/(-238))?
True
Suppose 5*u - 8 = u. Let l be -2 + u - (-49)/1. Is 12 a factor of l - 2 - 0/4?
False
Let z = 2 + 19. Let b = 48 - 17. Let t = b + z. Is 26 a factor of t?
True
Suppose -k = 31*s - 36*s - 888, 0 = -3*k + 4*s + 2664. Does 24 divide k?
True
Let l(j) = j**3 + 11*j**2 - 12*j + 5. Let u be l(-12). Suppose u*g = -5*p + 470, -5*g + p + 476 = -0*g. Does 24 divide g?
False
Let b(q) = 3*q - 12. Let k be b(5). Suppose 4*v + k*p - 171 = 0, -128 = 4*v - 7*v - 2*p. Is 17 a factor of v?
False
Let y = -732 + 882. Is y a multiple of 10?
True
Let u be 5 + (16/(-4) - -4). Let r(w) = 4*w**2 + 2. Let n be r(2). Suppose -u*s - t = -145, -s + 7 + n = t. Is s a multiple of 10?
True
Let q(l) = -2*l + 18. Suppose i + 101 = n, -2*i + 6*i = -3*n + 275. Suppose 5*m + n = -2*j, 2*m - 3*j = -0*m - 35. Does 28 divide q(m)?
True
Suppose 5 = -6*k + 41. Is 20 a factor of (-5 - -8)*80/k?
True
Let i(j) = -j**3 + 7*j**2 - 5*j - 7. Let o be i(6). Is 4 a factor of (240/140)/(o/(-7))?
True
Suppose -24*o + 24 = -23*o. Let t = 44 - o. Is t a multiple of 8?
False
Suppose 27*y - 8 = 23*y. Let p be y + (-3 - -5) + -1. Does 27 divide 4970/56 - p/4?
False
Let i be 9/27 - 8/(-3). Suppose 363 = i*o - 69. Is o a multiple of 12?
True
Suppose 32*l + 100 = 57*l. Let c = -6 + 14. Does 18 divide 2*l/c - -17?
True
Let d be 0/(3 - 0) + 4. Suppose -12*i + 10*i + d = 0. Suppose -h = -4*c - 27, -c - c + 14 = i*h. Is h a multiple of 11?
True
Let t(f) = -f**3 - 6*f**2 - 7. Let l(c) = 8*c**3 + 2*c**2 - 2*c - 3. Let o be l(-1). Is t(o) a multiple of 21?
True
Suppose -11*m + 12*m - 20 = 0. Let i = m + 16. Does 4 divide i?
True
Let n be (1 + -1)*4/(-8). Let a(p) = p + 29. Let m be a(n). Let o = 43 + m. Does 21 divide o?
False
Let y(o) = -o**2 - 14*o + 16. Let q be y(-13). Let r = q + -27. Is 10 a factor of (-103 + 1)*r/(-6)?
False
Suppose -2 = -8*j + 7*j. Suppose 40 = h - j*h. Let y = 60 + h. Does 20 divide y?
True
Let f = 2039 + -1670. Does 4 divide f?
False
Let b be 1/((10/(-76))/(-5)). Let r = -67 + b. Let j = r + 77. Is 12 a factor of j?
True
Let p = 58 + 348. Is p a multiple of 14?
True
Let r(j) = 2*j**3 - j**2 - 4*j + 6. Let t(d) = -d**3 - 2*d**2 - 7. Let b be t(-3). Is r(b) a multiple of 4?
False
Let a(i) = 2*i**2 + 20*i - 24. Does 9 divide a(-13)?
True
Is (-7*738/126)/(2/(-34)) a multiple of 49?
False
Let f(u) = -u**3 - 20*u**2 + 10*u + 14. Let h be f(-21). Suppose -4*n + 7 = -h. Is n a multiple of 28?
False
Suppose 0 = -435*x + 438*x - 1140. Is 38 a factor of x?
True
Let g = 18 - 14. Let f(h) = -2*h**2 - 13*h + 4. Let t be f(-6). Suppose -t*i = -g*i - 72. Is 12 a factor of i?
True
Suppose 5*x + 924 = 4*r, 4*x = 2*r + 6*x - 462. Is r a multiple of 21?
True
Suppose -u + 122 = 2*n, -2*u = 5*n - 86 - 154. Suppose -2*g = -4*g - 4*g. Suppose -3*o + 8*o - u = g. Does 13 divide o?
True
Let d be (-189)/(-56) - (-3)/(-8). Suppose 69 = 3*b - d*x, 0*x + 2*x = -5*b + 122. Is 12 a factor of b?
True
Is (-51)/(-9)*(74 + -20) a multiple of 8?
False
Suppose -8*h + 6*h = -636. Let w = h - 186. Let l = w - 44. Is 27 a factor of l?
False
Is 16 a factor of (3 - 60/18)*-753?
False
Let l = 9 + -6. Suppose -2*m = -4*k + 20 - 2, k = 3*m + 7. Suppose k*a - 114 = l*a. Does 19 divide a?
True
Let p(d) = -4 + 8*d**2 - 2*d**2 - d**2 + 2*d - 4*d**2. Does 11 divide p(-5)?
True
Suppose 5*d - 9*d = 0. Suppose d = c - 6 + 3. Suppose c = t + 3*z, 4*z + 27 + 64 = 5*t. Does 3 divide t?
True
Suppose -5*w - 4*n = -51, -15 + 46 = 5*w - n. Suppose -w*l + 121 + 5 = 0. Is l a multiple of 2?
True
Suppose -5*h - 115 - 37 = -3*x, -192 = -4*x - 4*h. Let r be (4/7)/(14/x). Suppose r*s - 23 = 17. Is 20 a factor of s?
True
Does 8 divide 0 + ((-12)/(2 + 0) - -928)?
False
Suppose -5*t - 41 + 813 = 3*x, -4*x = -t - 1037. Let m = -141 + x. Is m a multiple of 21?
False
Let w = 131 + -105. Let f(t) = -t**2 + 32*t - 51. Does 35 divide f(w)?
True
Suppose w + 2*w + 34 = 5*c, 5*c = -4*w + 13. Suppose 0*i = c*i. Suppose 6*t - 66 = -i*t. Does 11 divide t?
True
Let o(i) = i**2 + 3*i - 38. Let g be o(0). Let u be 4/10 - g/5. Suppose 0 = 2*q - 52 - u. Is 6 a factor of q?
True
Let c(i) = -3*i**3 - i**2. Let q be 3/2*(-8)/6. Does 4 divide c(q)?
True
Let o(q) = q**3. Let v(z) = -7*z**2 + 5*z + 2. Let i(r) = o(r) - v(r). Is 11 a factor of i(-4)?
True
Let u(x) = -x**3 - 2*x**2 - 4*x - 2. Let l be u(-2). Suppose -457 = -l*c + 227. Is 19 a factor of c?
True
Let r be (-24)/30 + (-5)/(50/(-28)). Suppose x - 76 = -r*i, x + 0*i - 56 = 2*i. Is x a multiple of 33?
True
Suppose 4*b - 3*c - 6086 = 0, 2*b + 221*c - 3048 = 225*c. Is 8 a factor of b?
True
Let z be 6/4*(-16)/(-12) + 63. Let l = -47 + z. Is l a multiple of 9?
True
Let n(m) = 41*m + 120*m**2 + 35*m + 1 - 75*m. Does 40 divide n(-1)?
True
Let f = -515 + 1195. Is f a multiple of 34?
True
Let o = -366 - -682. Does 25 divide o?
False
Let x be 7 - -3*8/(-6). Suppose -x*a - a = -88. Is a a multiple of 11?
True
Let k(u) be the first derivative of -u**4/2 + 2*u**3 + 7*u**2/2 - u - 9. Does 5 divide k(-2)?
True
Suppose 0*j = -3*j. Suppose a - 206 - 9 = j. Let q = 307 - a. Is q a multiple of 17?
False
Is (-4)/26 + (-21063)/(-273) a multiple of 7?
True
Suppose t - 4*a - 97 = 0, -4*a = -10 - 6. Is 5 a factor of t?
False
Let f(d) be the third derivative of 0 + 0*d + 1/3*d**4 - 3*d**2 + 10/3*d**3. Is f(6) a multiple of 17?
True
Does 23 divide (7 - 77)/14 + 1 + 763?
True
Suppose 4*s - 816 = -5*g, 0*g - 991 = -5*s + g. Suppose 2*p - s = -3. Is p a multiple of 23?
False
Let q be 2 + -39 + 2 + 1. Does 10 divide (3 + -23)/(((-12)/q)/(-3))?
True
Suppose 5*f - 1140 = -5*f. Is 48 a factor of f?
False
Let h(v) = -v + 0*v + 80 - v**3 + 2*v. Let x be h(0). Suppose -x = 5*g - 7*g. Is 28 a factor of g?
False
Suppose 5*o = -0*o + 145. Suppose 4*m - o = 3*h - 3, 20 = -2*h + 4*m. Is 27 a factor of (-27)/(3 - 0)*h?
True
Let v = -33 - -35. Let m(o) = 63*o. Is m(v) a multiple of 9?
True
Suppose 2*u - 10*u = -2032. Is 9 a factor of u?
False
Suppose 0 = 3*r + 14 - 5. Let b(i) = i. Let u be b(r). Let w(j) = -j**3 - j**2 - 3*j + 4. Is w(u) a multiple of 9?
False
Suppose 0 = 30*w - 75934 - 12266. Is w a multiple of 70?
True
Is 17 a factor of 44 + 1383 - (0 - 0)?
False
Let f(s) = s**3 - 4*s**2 - 19*s + 12. Does 29 divide f(11)?
False
Let m(o) = -14*o**3 - 18*o**2 - 73*o - 25. Does 27 divide m(-6)?
False
Let z = -74 + 36. Is 2018/38 - (0 + (-4)/z) a multiple of 6?
False
Suppose -2716 - 1886 = -13*r. Does 59 divide r?
True
Let c(i) = i**3 + 17*i**2 + 17*i + 18. Let f be c(-16). Suppose t - 216 = f*n, -3*t + t - 2*n = -414. Does 13 divide t?
False
Let g(o) = 3*o - 1. Let m be g(1). Suppose -5*k = -l - 533, 0 = l + 1 + m. Does 12 divide k?
False
Suppose 0 = -5*f - 10, 0 = 4*h + 4*f - 2*f - 72. Is 2 a factor of h?
False
Let z be ((-27)/4)/((-4)/(32/3)). Let w = z - -7. Is 6 a factor of w?
False
Suppose 52*q + 376 = -42*q. Suppose -3*t + t = -2. Is (q + 1)*t*-3 a multiple of 5?
False
Suppose 0 = 5*f - 2*m + 3 - 11, -4*f = -2*m - 8. Is 0 + f + 1 - -15 a multiple of 7?
Fal