 of l**4/2 + l**3/2 + 3*l**2. Is 15 a factor of i(1)?
True
Let s = 111 - -109. Is s a multiple of 20?
True
Let i = -1901 + 1999. Is i a multiple of 7?
True
Let q(d) = -595*d - 372. Is 73 a factor of q(-4)?
False
Suppose 5*b = 3*d - 568, 4*b = b + 4*d - 343. Suppose 4*u = -12, 6*w - 2*u = 5*w + 216. Let n = w + b. Is 23 a factor of n?
False
Let b(y) = -y**2 + 4*y - 2. Let g be b(6). Let w(q) = -3*q**3 + 4*q**2 + q. Let v be w(3). Let m = g - v. Is 7 a factor of m?
True
Let m be (-1 + -4)/(2 + -3). Suppose 0 = -2*v - 15 + m. Let x = 0 - v. Is 2 a factor of x?
False
Suppose 4*m + 0*a - 21 = -a, 0 = -2*m + a + 3. Suppose 2*u = m*y + 156, 5*y + 234 = 4*u - u. Is 13 a factor of u?
True
Let f(y) = -y**3 + 10*y**2 + 45*y - 15. Is 21 a factor of f(13)?
True
Let r be 4 - -3*(-4)/6. Is r/(2 - (-264)/(-135)) a multiple of 15?
True
Let a be 3 - 1 - -22*1. Suppose 2*u + 3*u = -2*d + a, 2 = -5*d + 3*u. Let x(j) = 12*j**3 - j**2. Is 27 a factor of x(d)?
False
Suppose -20*b + 3*b = -1632. Is b a multiple of 8?
True
Let q be 72/18 + 15/(-1). Let h(n) = n**3 + 13*n**2 + 16*n - 8. Does 4 divide h(q)?
False
Let n = -72 - -72. Suppose 14*w - 1208 - 164 = n. Does 14 divide w?
True
Let o(f) = 34*f + 39. Is o(15) a multiple of 61?
True
Let r(l) = 3*l**3 + 2*l**2 + l - 4. Is r(5) a multiple of 31?
False
Let y = 19 - 16. Let n be -3 + y + 5*3. Let l = 32 - n. Is l a multiple of 5?
False
Suppose -2*q = -n - 3*n + 102, n = q + 28. Does 8 divide 322/2 + (-46)/n?
False
Let f = -766 + 1580. Is f a multiple of 11?
True
Let w(i) = i**3 + i**2 + i + 1. Let k be w(-1). Suppose -b - 620 = -5*c + b, 2*c + 4*b - 272 = k. Is 21 a factor of c?
True
Suppose -h - 9*h = -2490. Suppose h + 74 = p. Is p a multiple of 10?
False
Does 78 divide 5/(6/(1200 - 6))?
False
Is 26 a factor of 2231 + 1 + 3 + (-12 - -13)?
True
Let t be 50 + -3 - 9/(-3). Let q be 1/(-3) + t/15. Suppose -5*i + 299 = -2*a, q*i - 97 = 4*a + 74. Is i a multiple of 24?
False
Is 2563/13 + (-34)/221 - 0 a multiple of 13?
False
Suppose -143 - 373 = 4*x - 2*k, 6 = -3*k. Let m = x + 229. Suppose -3 = 2*f - m. Is f a multiple of 16?
True
Let z = -287 - -697. Is z a multiple of 10?
True
Let o = -12330 + 17406. Does 47 divide o?
True
Suppose 2288 = 25*m - 17*m. Is 11 a factor of m?
True
Let d(z) = -z**3 - 23*z**2 - 25*z - 38. Is 7 a factor of d(-22)?
True
Suppose 0 = k - 4*o, 1 = -k - 0*k + 5*o. Suppose -r + 5*m = 2*m - 68, 293 = k*r - 5*m. Does 36 divide r?
False
Suppose -w + 5*t = 8*t + 9, -6 = -2*t. Let d = 43 + w. Is d a multiple of 5?
True
Is 6 a factor of 2/(-12) - 127/(-6)?
False
Suppose 5 - 110 = h. Is (h/(-28))/(1/32) a multiple of 10?
True
Suppose 6*a = 2*a - 664. Let b = 279 + a. Is 21 a factor of b?
False
Suppose 5*c = 6*c - 31. Let p = 59 + c. Is 18 a factor of p?
True
Let y be 5*(-10)/175 + (-320)/7. Let s = 206 - 126. Let p = s + y. Is 9 a factor of p?
False
Let q = 4 + -1. Let v be ((-916)/16)/(q/(-12)). Suppose -v = -5*x + 3*r - 10, -5*x + 213 = -r. Is 18 a factor of x?
False
Suppose 828 = 5*u - 3*m, u + m + 3*m = 161. Suppose -2365 + u = -10*d. Is 44 a factor of d?
True
Suppose 10*u + 9*u - 13376 = 0. Is u a multiple of 22?
True
Let x(g) = -g**2 + 14*g + 12. Let b be x(10). Suppose 4*j + 232 = 2*o - b, -3*o - 4*j + 426 = 0. Is 17 a factor of o?
False
Suppose 504 = 4*f - o - 183, 4*f = 4*o + 684. Let l = -79 + f. Suppose -8*p + 163 + l = 0. Is 10 a factor of p?
False
Let s be 4/22 + (-216)/(-22). Let o(p) be the first derivative of -p**4/4 + 3*p**3 + 6*p**2 + p - 2. Is o(s) a multiple of 16?
False
Let k(i) = 2*i + 10. Let o be k(-4). Suppose -43 = -2*s - m, 0*s = -2*s - o*m + 48. Does 3 divide s?
False
Let o(d) = 3*d**2 - 2*d - 1. Let b(l) = -l**3 - 2*l**2 + 3*l + 4. Let w be b(-3). Is o(w) a multiple of 9?
False
Suppose 5*t = 10, -4*t - 28 = -4*r - 0*t. Suppose 10*v - 3 = r*v. Suppose v*w - 264 + 99 = 0. Is 11 a factor of w?
True
Suppose -65*z + 49761 = -8*z. Is z a multiple of 9?
True
Let r be -1*10/25*-5. Does 11 divide ((565/r)/(-5))/(9/(-18))?
False
Is 80 a factor of 2/((1 + 1489/(-1490))*4)?
False
Let h = 3 + 4. Suppose 0 = 5*z - h*z + 8. Suppose 0 = -0*p - z*p - 2*o + 46, 4*o = -4*p + 56. Is p a multiple of 2?
False
Let g be (63/(-14))/((-1)/2 + 0). Suppose 4*w = g*w - 300. Is 15 a factor of w?
True
Suppose -12*l + 14*l = -4*d + 1798, -3*l + d = -2676. Is 60 a factor of l?
False
Let m(n) = -n - 4. Let t be m(-9). Suppose -3*y + t*y = -b + 27, 0 = -5*y + b + 57. Suppose 0 = -8*u + y*u - 100. Does 14 divide u?
False
Let q = 20 + -18. Suppose 0 = q*j + 5*n - 52, -j + n = 2*j - 112. Suppose -4*p - 4 + j = 0. Is 4 a factor of p?
True
Suppose -4*d - 3 = -15. Suppose 0 = 4*j - 12, 5*q - 4 = -d*j - 15. Is 7 a factor of 17 + (-1 - 0/q)?
False
Let a be (4 - 21/6)*16. Is (0 - (-140)/a)/(2/4) a multiple of 8?
False
Let t = -56 + 80. Is t a multiple of 6?
True
Suppose -1290 = -28*w + 25*w. Does 16 divide w?
False
Suppose 0 = -t + 15*f - 17*f - 32, -4*f = -4*t - 176. Suppose -2*o - 2 = -o. Is ((-9)/(-6))/(o/t) a multiple of 15?
True
Suppose 0 = -287*v + 286*v + 394. Is 36 a factor of v?
False
Let x(k) = k**2 - k - 1. Let l be 14/49 - 38/(-14). Let h be x(l). Suppose -2*p + 375 = 5*b, -4*b - p + 300 = -h*p. Does 25 divide b?
True
Let i = 14 + -10. Is 9 a factor of 2/i*(37 + -19)?
True
Let y(b) = b**2 + 8*b - 6. Let i be y(-9). Suppose 5*l = -2*c + 595, 2*l - 116 - 131 = c. Suppose -59 = -2*n - 3*z, -i*n - 3*z + l = n. Is 17 a factor of n?
False
Let x(d) = -d**3 - 9*d**2 + 7*d - 24. Let f be x(-10). Suppose -f*o + 0*o = -708. Is 13 a factor of o?
False
Suppose 427 = 22*h - 21*h. Is 47 a factor of h?
False
Let y(x) = -2*x**2 - 69*x - 201. Is y(-30) a multiple of 35?
False
Let i(u) = -u**2 - 12*u - 15. Let l(f) = -f**2 + 6*f - 6. Let n be l(6). Let h be i(n). Let y = 63 - h. Is 14 a factor of y?
True
Suppose 3*p - 4*r = 2*p + 2, -p - 4*r + 2 = 0. Let c be (3 - -3 - p)*1. Suppose -c*u = 4*v - 114 - 62, 4*v - u - 156 = 0. Is v a multiple of 10?
True
Let j = -666 + 442. Let h = 160 + -293. Let p = h - j. Is p a multiple of 13?
True
Let b(n) = -n + 14. Let p be b(9). Suppose -p*l = -3*l - 58. Does 3 divide l?
False
Let q(m) = m**2 - 2*m + 27. Let a be q(0). Is (-6)/a - (-222)/27 even?
True
Let w(m) = 3*m**3 + 2*m**2 - 7*m - 33. Is 15 a factor of w(6)?
True
Let o(p) = p**3 + 6*p**2 - 8*p + 4. Let b be (-3)/(-4)*(10 + -18). Is 13 a factor of o(b)?
True
Let i = 45 - 146. Let b(s) = -21*s + 6. Let y be b(7). Let c = i - y. Is 13 a factor of c?
False
Let f(g) = g**3 - 9*g**2 + 7*g + 9. Let u be f(8). Let x be (-3 - -2)/(u/(-3)). Suppose -2*m + 4*y + 72 = 2*m, -2*m - x*y = -36. Does 6 divide m?
True
Suppose -51 = s + 83. Let b = 242 + s. Does 36 divide b?
True
Let l = 6 + -4. Let c(z) = 0*z - 4*z + l*z + 4*z + 1 + 9*z**2. Does 8 divide c(-1)?
True
Let y be 984/14 + 5/(105/(-6)). Suppose -3*c - 305 = -6*w + 2*w, y = w - 2*c. Does 16 divide w?
True
Let c = 73 - 99. Let j = 75 + c. Is j a multiple of 40?
False
Let d(m) = 19*m**2 + 2*m. Let c = 25 + -27. Is 18 a factor of d(c)?
True
Let p(x) = 192*x**2 - x. Is 63 a factor of p(-1)?
False
Let j be (6/(-7))/(6/(-21)). Suppose -j*z = -1 - 17. Is 33 a factor of (z/4)/((-12)/(-824))?
False
Let l = -2589 + 4365. Does 13 divide l?
False
Let i(s) = -2*s + 1. Is 9 a factor of i(-13)?
True
Let p(a) = -2*a**3 + 6*a + 846. Is 3 a factor of p(0)?
True
Does 45 divide (-179)/4*25/(150/(-72))?
False
Let d(q) = -3*q - 6 + 0*q - 2*q. Let r be 3 - (9 + 4/(-2)). Is 9 a factor of d(r)?
False
Suppose 0 = 16*a - 8*a - 1152. Does 7 divide a?
False
Let d(c) = c**3 - 38*c**2 + 109*c - 115. Does 2 divide d(35)?
False
Does 25 divide -2*3*6400/(-192)?
True
Let r(y) = 5*y - 15. Let n be r(4). Suppose n*h = 5*i - 2*i - 38, 4*h + 16 = 0. Is i even?
True
Suppose -11*k + 2369 + 1272 = 0. Is k a multiple of 12?
False
Suppose -5*y - 145 = -160, -4*y + 15762 = 5*q. Does 150 divide q?
True
Let w(d) = -d**3 + 7*d**2 + 7*d + 10. Let m be w(8). Suppose -3*l + 470 = 2*j, -m*l - 4*j + 408 = 92. Does 39 divide l?
True
Suppose 10*k - 13*k + 70 = 4*z, -3*z = -2*k + 24. Is k a multiple of 3?
True
Suppose -352 = 2*g + 2*g. Let i = 124 + g. Does 3 divide i?
True
Suppose -s - 49 = -h, h - 2*s - 39 = 14. Let m = h - 19. Is m a multiple of 14?
False
Let d(o) = -3*o**3 + o**2 + 3*o - 1. Let q = -62 + 60. Is 3 a factor of d(q)?
True
Let