lse
Let a be (-15 - -19) + 2/((-2)/(-145)). Let z = a + -75. Does 46 divide z?
False
Suppose -2*k + 338 = 40. Let f = k - -94. Suppose -c + 111 = -5*a, -2*c + 4*a + f = a. Is c a multiple of 14?
True
Let y(r) = -r**3 + 19*r**2 - r - 28. Is 31 a factor of y(12)?
False
Let l(p) = 9 + 5 + 20 + 5*p + 19. Let h be l(-15). Does 20 divide 6/33 - (-2 + 3142/h)?
False
Suppose 5*i + 3*k - 52698 = 0, 26*i - 3*k = 27*i - 10554. Is 57 a factor of i?
False
Suppose 1976 + 6592 = 6*x. Suppose -2*f - n + x = 0, -5*f + 12*n = 16*n - 3564. Does 13 divide f?
False
Let v = 31 + -23. Let z = 15 - v. Let b(s) = s**3 - 5*s**2 - 10*s + 17. Is 40 a factor of b(z)?
False
Let q be ((-8)/(-32))/(2 + (-18)/8). Does 43 divide (-6165)/(-21) - q - 4/7?
False
Let s = 2785 + -1253. Does 4 divide s?
True
Let g = 101 + -57. Let r = g + -44. Suppose 10*j - 60 - 110 = r. Is 7 a factor of j?
False
Let c be (-31)/(-1) - (5 - (5 + 3)). Suppose a - c = -a - 2*b, 0 = -4*b + 8. Does 15 divide a?
True
Suppose -v - 8 + 8 = 0. Suppose z - 284 = -4*q, v = -2*z - 5 - 3. Is 24 a factor of q?
True
Is 6654/10*(13 + (-56)/7) a multiple of 30?
False
Suppose -5*b - 4*d + 23917 = -19, 0 = -3*b - d + 14363. Is b a multiple of 42?
True
Let w(c) = c**2 - 14*c - 1418. Is 124 a factor of w(49)?
False
Suppose -307*s + 1213918 = -4124198. Does 46 divide s?
True
Let k = -368 - -367. Suppose 4*x - 141 - 91 = 0. Let t = k + x. Does 4 divide t?
False
Suppose 1480 = 5*f + 3*b, -f + 0*f = 2*b - 303. Let j = f - 150. Does 18 divide j?
False
Let x = 11111 - 4878. Is x a multiple of 50?
False
Suppose -4*r + n = -0*n + 577, r = -n - 138. Let o = r - -143. Suppose 6*a - 820 - 20 = o. Does 10 divide a?
True
Let o be -16*(3/4 + -1). Suppose 6*k - k = -2*z + 1592, k + o*z - 304 = 0. Is 24 a factor of k?
False
Let l(t) = -t**3 - 9*t**2 + 7*t + 37. Let n(p) = p**3 + 8*p**2 - 8*p - 38. Let w(s) = 7*l(s) + 6*n(s). Is 3 a factor of w(-15)?
False
Suppose -20*n + 24*n = -2*q + 608, 5*q - 1552 = -2*n. Let g = q + -262. Does 50 divide g?
True
Suppose 5*h - 31430 = -5*n, 3*n + 5*h - 14135 = 4723. Does 8 divide n?
False
Let w(a) = 10*a**2 - 7*a + 4. Let m be w(1). Suppose 101 = r + 4*o + m, 4*r = -o + 361. Does 45 divide r?
True
Let v = -206 - -185. Let q = 124 - v. Does 29 divide q?
True
Suppose 63*p = 3*z + 67*p - 8488, -5*z - 2*p = -14114. Does 7 divide z?
False
Suppose 0 = -16*d + 442218 + 355418 - 201412. Is d a multiple of 8?
True
Let h(v) = -v**2 - v + 7. Let k be h(-4). Let s(l) = 1. Let y(r) = 3*r + 5. Let g(q) = k*s(q) + y(q). Is 6 a factor of g(9)?
False
Let u(h) = -5*h + 45 + 42*h**2 + 36 - 93. Let r be u(-6). Is (-4)/6 + r/27 a multiple of 24?
False
Let y(p) = 39*p - 1 - 2 - 16*p. Let u be y(-2). Let a = 77 + u. Does 4 divide a?
True
Let w be ((13608/16)/3)/((-2)/(-4)). Let g = 1398 - w. Does 85 divide g?
False
Let k(f) = f**3 + 18*f**2 + 55*f + 135. Does 3 divide k(-13)?
False
Let p(j) = 6*j**2 + 18*j - 3447. Does 188 divide p(52)?
False
Suppose -3*a - 5*m + 25 = 0, 0*a - 5*m = -3*a + 5. Suppose 2*w + 3*q - 204 = -33, 5*q - a = 0. Is 4 a factor of w?
True
Let r(q) = -19*q - 16. Suppose 0 = 6*p + 91 - 13. Let w = -17 - p. Does 20 divide r(w)?
True
Let t(o) = o - 3. Let q(y) = -24*y + 33. Let l(h) = q(h) + 4*t(h). Is 2 a factor of l(-4)?
False
Does 42 divide (-242)/((-148)/(-1110) - (1747/1515 + -1))?
False
Let z be 502 + 11/((-33)/(-9)). Let r = -468 + z. Is r a multiple of 4?
False
Let z = -12 - -12. Suppose k - 7*k + 546 = z. Suppose q + 6*s - 2*s = k, 0 = 4*q + s - 394. Is 33 a factor of q?
True
Suppose -97680 = 117*v - 147*v. Is v a multiple of 8?
True
Let q be (-76)/(-10) + -19 + (-1358)/(-70). Let y be ((-4)/(-5))/((-2)/30). Is 19 a factor of (-26)/q + 3 - 567/y?
False
Let b be (2963 - 11) + 1*3. Suppose 42*i = 37*i - b. Let k = -351 - i. Is k a multiple of 30?
True
Let x(d) = 58*d - 14 + 16 - 21*d + 53*d + 18. Is 16 a factor of x(6)?
True
Let r(z) = 269*z - 8626. Is r(77) a multiple of 17?
True
Let n = 146 + -142. Suppose 926 = n*o - 2018. Is 12 a factor of o?
False
Does 2 divide (-8 - -3) + 8772/34?
False
Suppose 12 + 2 = u. Suppose 10*y - u*y = -684. Is y/15 - 2/5 a multiple of 2?
False
Let g(w) = -w + 4. Let s be g(-2). Let v be (-21)/(-28) - (s/8)/1. Suppose 2*m + x = 6*x + 216, -2*x + 8 = v. Does 25 divide m?
False
Suppose -128 + 972 = -2*n + 2*c, -3*n - 1261 = 2*c. Let s = n + 703. Let p = s - 178. Is 8 a factor of p?
True
Suppose 7*j = 10*j + 5*a - 17607, -j + 2*a + 5880 = 0. Does 89 divide j?
True
Suppose -15*l + 18 = -21*l. Let o(g) = 36*g**2 + g - 9*g - 3 - 4 - 11*g**2. Does 30 divide o(l)?
False
Let t = 34459 + -23107. Is 43 a factor of t?
True
Let p(q) = q**3 - 7*q**2 - 42*q - 18. Let d be p(11). Suppose -o + 5*t + 62 = -86, -643 = -d*o + 3*t. Is o a multiple of 2?
False
Suppose -x + 302 = -652. Suppose 2*m - 31*m = -319. Suppose -m*b + 509 = -x. Is 19 a factor of b?
True
Let t(m) = -m**3 - 9*m**2 + 18*m - 23. Let l = 312 - 326. Is 47 a factor of t(l)?
True
Suppose -i = -5*i + 16. Suppose 4*c - i = -2*h - 0*h, -2*c = 5*h - 10. Suppose -32*j + 27*j + 375 = c. Is 11 a factor of j?
False
Let g = 42 - 37. Let j(d) = d**2 + 2*d - 5. Let v be j(2). Suppose 44 = v*f - g*l - 30, 4*f - 3*l - 106 = 0. Does 2 divide f?
True
Let y(r) = r**3 + 16*r**2 - 17*r + 18. Let w be y(-17). Let v = w + -12. Is 3 a factor of 2 + v/(-2) - -18?
False
Suppose 3*q = -d - 1, 8 = -10*q + 6*q - 3*d. Is 5 a factor of (5 - -4*23)/q?
False
Suppose -4*g + 2*h - 152 = 0, 4*g + 3*h + 18 + 144 = 0. Let u = 115 - g. Suppose 8*n + u = 9*n. Is n a multiple of 22?
True
Let f be ((-4)/(-6))/(-2 + (-56)/(-27)). Suppose 0 = -f*m - 2515 + 7258. Is m a multiple of 31?
True
Let p = 66 - 64. Suppose 0 = -b + p*b - 4. Suppose 5*c + 2*r - b*r = 395, -2*c + r + 158 = 0. Is 6 a factor of c?
False
Suppose -48*k - 105*k + 6077568 = 113*k. Is k a multiple of 11?
False
Suppose 2*m = i - 43 - 647, 5*m + 1712 = -4*i. Let u = m + 584. Does 15 divide u?
True
Let s(w) = 3*w + 20. Let h be s(-6). Suppose 4*l - h*l = 3*k - 1, -4*l = 3*k - 43. Is 2/l - 1446*2/(-21) a multiple of 23?
True
Is 4 a factor of 1*5 + 79/((-1738)/(-146476))?
False
Let z be (22/(-10) + 1)/(195/20150). Let u = 537 + z. Is 43 a factor of u?
False
Suppose 496334 + 1063346 = 137*g - 9*g. Does 36 divide g?
False
Let j(g) = 5 - 5 + 6 + 20*g + 17*g. Let h be j(-9). Is 18 a factor of -1 + 0 + h/((-9)/3)?
True
Let u(h) = -h**2 + 10*h - 21. Let b be u(6). Suppose -4*i = -3*i, -5*l = -b*i + 30. Let c(s) = 6*s**2 + 13*s - 10. Is 16 a factor of c(l)?
True
Let z(c) = -13*c - 52. Let j be z(-4). Suppose 2*y + 6 = j, 4*k - 2*y + 4*y = 394. Is k a multiple of 5?
True
Let g be (-2)/24 + (-1176)/(-288). Is (48 - 26)*26/g a multiple of 35?
False
Is 17/(204/(-108)) + 8808 a multiple of 29?
False
Suppose 4*a = 4*l - 4, a + 11*l + 7 = 14*l. Suppose 2*c - 320 = -a*f, -5*f - 2*c = -10*f + 793. Is 39 a factor of f?
False
Suppose 19887 = 3*q - 4*i, 2*q - 32*i = -33*i + 13247. Is q a multiple of 136?
False
Let t(h) = h + 129. Let y(f) = -2*f - 4. Let x be y(-2). Let n be t(x). Suppose 50*w - 53*w = -n. Is 7 a factor of w?
False
Let z(n) = -8*n**3 + 684*n**2 - 157*n + 195. Is 30 a factor of z(85)?
True
Let t(q) = 59*q**2 - 171*q + 100. Is 8 a factor of t(10)?
False
Suppose k = f - 200, -2*f + 0*f + 420 = 3*k. Suppose -f = 20*h - 26*h. Does 5 divide h?
False
Let y(f) = 29*f**2 - 490*f + 6. Is y(25) a multiple of 16?
False
Let x(s) be the second derivative of 24*s**3 - 22*s**2 + 20*s. Let y be x(6). Suppose 0 = 4*i - n - n - y, 0 = -4*i + 3*n + 822. Is i a multiple of 52?
False
Let k(c) = -c**2 + 5*c - 4. Let v be (6/3)/(2/4). Let u be k(v). Suppose -2*o - 3*g + 138 = u, -g + 0*g = 3*o - 207. Is 23 a factor of o?
True
Does 81 divide (14/56*174)/((-2)/(-412))?
False
Let u(s) = 2*s**3 + 4*s**2 - s - 2. Let c be u(-2). Suppose -2*q + j + 239 - 44 = c, q = -4*j + 120. Is 45 a factor of q?
False
Suppose 30*l - 750795 = -17*l + 190474. Is 95 a factor of l?
False
Let l = -1524 + 4926. Suppose 938 = -11*a + l. Is a a multiple of 8?
True
Suppose -13379 + 3504 = -25*r. Suppose 29*s - 24*s = r. Is s a multiple of 5?
False
Let s = 2536 - 1385. Suppose j = -2*c + 621 - 91, 5*j = 0. Suppose 4*n = s + c. Is 31 a factor of n?
False
Suppose -22 - 22 = -4*m. Suppose 7*q - m*q + 452 = 0. Suppose 5*w - 4*w - q = 0. Is 16 a factor of 