lse
Suppose -28*d = -26*d - 2*p - 620, -d + 310 = -2*p. Is d a multiple of 41?
False
Let i(x) = 1472*x**2 + 13*x + 13. Does 49 divide i(-1)?
False
Let a(v) = -v**3 - 4*v**2 + 5. Let b be a(-5). Suppose -2*f + 0*w - w + 8 = 0, -5*f - 5*w + b = 0. Is 2 a factor of f?
True
Let s = -2 + 6. Suppose -s*z + 464 = 4*j, 3*j = 5*j - 3*z - 222. Is 31 a factor of j?
False
Suppose 0 = 2*b - 4*h - 316, -3*b + 323 = -b + 3*h. Does 16 divide b?
True
Let a = 39 - 24. Suppose 0*y = 5*y - a. Suppose -o - y*o = -28. Is o a multiple of 5?
False
Is 37/(-74)*(-6190 - 0) a multiple of 13?
False
Let i be 4/(7 - (-2 - -7)). Suppose 6*m - 272 = i*m. Does 34 divide m?
True
Does 7 divide (18 - 19) + 2*80?
False
Suppose 4*i = -20, 5*n = 3*i - 6*i. Let p(m) = 30*m**2 - 2*m + 2. Is p(n) a multiple of 34?
False
Suppose 0 = k + m - 1078, 4*m = m - 12. Suppose 7*j + 81 - k = 0. Is 10 a factor of j?
False
Suppose 5*d - 698 = 412. Is d a multiple of 41?
False
Let r(c) = 7*c**2 - 16*c + 62. Is 86 a factor of r(7)?
False
Let b = 8 + -3. Let j(w) = w**3 - 4*w**2 - 8*w + 6. Let p be j(b). Let u = 1 - p. Is u a multiple of 3?
False
Let v = 26 - 46. Let u = 12 - v. Is u a multiple of 14?
False
Suppose -1510 + 310 = -4*z. Suppose 5*c + k = 507, -3*c = -0*c + 2*k - z. Is 17 a factor of c?
True
Let l be 0 - (-4 - (3 - -1)). Suppose 0 = 11*b - l*b - 342. Does 57 divide b?
True
Let y = -1076 + 1113. Is 9 a factor of y?
False
Let l(r) = 5*r - 4. Let d be l(4). Let w(h) = -h**2 + 18*h + 8. Is w(d) a multiple of 8?
True
Suppose 5*s = 8 + 12. Suppose u - 3*u - s = 0. Is 2 a factor of u/1*(-6)/4?
False
Let m(w) = -3 + 27*w - 2*w**2 + 4*w**2 - 28*w. Let f be m(-4). Suppose -3 = l - f. Is 15 a factor of l?
True
Suppose 30*v - 18*v - 5520 = 0. Does 10 divide v?
True
Suppose 2*h - 10 = -0. Is 7 a factor of 1/h - (164/(-5) + -2)?
True
Suppose 0 = -5*b - 2*u + 1805, -4*b + 1790 = b + 5*u. Is b a multiple of 51?
False
Suppose 1 = -5*s + 6. Let x be (0 - s)/((-2)/14). Suppose -z - x*w + 8 = -2*w, 0 = 2*z - 5*w - 61. Is 10 a factor of z?
False
Suppose o = -0 + 6. Let d = o - 22. Does 9 divide (-408)/d - 1/2?
False
Let j(b) = 463*b - 21. Does 34 divide j(1)?
True
Does 21 divide 1 + 1255 - (-47 - -43)?
True
Let q(a) = a**3 + 11*a**2 - 12*a + 4. Let i be q(-12). Suppose -i*h + 274 = m + 2, -5*h + 340 = m. Is 17 a factor of h?
True
Let n = 15 + 0. Is 24 a factor of (81/n - -1)*30?
True
Let n(r) = -r**3 + 5*r**2 + 14*r + 4. Let q be n(7). Let o(y) = 19*y + 7. Is 7 a factor of o(q)?
False
Let m(q) be the first derivative of -1/3*q**3 - 8 - 8*q + 9*q**2. Is m(15) a multiple of 20?
False
Let m = 10616 - 7050. Is m a multiple of 44?
False
Let a be ((-2)/(-4))/(-1)*12. Is 24 a factor of ((-4)/(-3))/(a/(-216))?
True
Let c = 50 - 42. Is ((-120)/4)/((-6)/c) a multiple of 10?
True
Let s = 171 - -225. Does 22 divide s?
True
Suppose -h + 1 = 5. Let y be (-74)/((2 + h)/4). Let j = y - 89. Is j a multiple of 18?
False
Let b = 45 + -34. Suppose -3*a + 105 = 4*k, 3*a + 2 - b = 0. Is k a multiple of 12?
True
Let o(x) = -x**2 - 3*x. Let m(u) = -u**2 + 5*u + 9. Let f be m(7). Let j be o(f). Let d(h) = -h + 7. Is 13 a factor of d(j)?
False
Suppose -155 = -3*s - o + 15, -2*s + 112 = 2*o. Is s a multiple of 57?
True
Suppose 3*p + 2 - 8 = 0. Suppose -40 = -p*d + 54. Does 16 divide d?
False
Let t = -7588 + 10797. Does 78 divide t?
False
Let x = 4055 - 2388. Is x a multiple of 35?
False
Suppose -728*z + 18048 = -716*z. Is z a multiple of 21?
False
Let p be (12/(-18))/(2/(-15)). Suppose -p*f + 4*i + 138 = 0, 5*f - 5*i + 39 = 174. Is 30 a factor of f?
True
Let h = -987 - -1692. Is 9 a factor of h?
False
Let r be (-3)/((-36)/(-339))*4. Let d = r + 158. Does 9 divide d?
True
Let y(o) = 20*o + 4 - 111*o + 3 + 1. Is y(-2) a multiple of 19?
True
Let p(i) = -i**3 + 8*i**2 + 2*i + 7. Let x be p(6). Suppose 0 = -3*d + x + 14. Suppose d = 3*y + 5*j, -18 = -2*y + 3*j - j. Does 3 divide y?
False
Let y(f) = -2*f - 2 - 4 + 45*f**2 + 7. Does 11 divide y(1)?
True
Let i(a) = -a**2 + 8*a - 4. Let q be i(6). Let t(z) = 222*z + 2. Let b be t(-1). Is (24/(-15))/(q/b) a multiple of 11?
True
Let w(y) = -y**2 + 22*y + 29. Let r be w(22). Suppose -7*m + 463 = r. Does 21 divide m?
False
Let m(d) = 3*d**2 - 9*d - 5. Let s be m(-5). Suppose -3*c - 5*i + s = 0, -9 - 1 = -2*i. Is c a multiple of 24?
False
Suppose 25 = 5*j + 5*y, 5*j = 4*y + 98 - 37. Suppose 0 = -2*g - j + 31. Is 11 a factor of g?
True
Let d be 6/9*(-3 + 7 - -371). Suppose -3*w = m - 1 - d, 0 = 3*w - m - 253. Is 10 a factor of w?
False
Let c(o) = -o - 3. Let r be c(-5). Let w(m) = 5*m**3 - m**2 + 1. Does 37 divide w(r)?
True
Let m(c) = c**3 - 3*c**2 - 5*c - 2. Let q be m(4). Let b be (-2)/q + (-80)/15. Let j = b + 10. Is 2 a factor of j?
False
Let y be (4/(-3))/((-2)/3). Suppose 4*a + 12 = 0, 0*k + k - a = -y. Does 5 divide -3*(-3)/(-9)*k?
True
Let d(h) = 4*h**2 - 3*h + 2. Let m be d(1). Is 14*((-114)/(-14) - m) a multiple of 18?
True
Suppose 5*d = 956 + 4344. Does 68 divide d?
False
Let d = 4 + 0. Suppose -k = 12 - 16. Suppose -5*s = -d*j + 57, 2*j + 0*s - 24 = k*s. Does 18 divide j?
True
Let d be (-25 + 21)/((-2)/4). Let o(m) = -m**2 + 8*m + 5. Let i be o(d). Suppose -w + 6*w = -i*p + 275, -3*p = -2*w + 90. Does 17 divide w?
True
Let i = 20 + -18. Suppose -i*v + 64 = -8. Is v a multiple of 3?
True
Let h(s) = s**2 + s - 202. Is h(23) a multiple of 14?
True
Let m = -55 + 55. Suppose m = -5*x + 83 + 67. Is x a multiple of 10?
True
Let s(c) = -c**2 + 15*c - 14. Let z be s(14). Suppose z = -5*b + 121 + 119. Is b a multiple of 8?
True
Suppose 3*k - 6*k + 15 = 0. Suppose k*r - 10 = 5. Suppose 2*u - r*u + 21 = 0. Is 7 a factor of u?
True
Let w(l) = -l**2 + 3*l + 39. Let u be w(0). Suppose -2*z + 27 = -u. Does 11 divide z?
True
Let v = 3392 + -2360. Is 10 a factor of v?
False
Let p be 14/(12/5 - 2). Suppose -3 = 4*f - p. Let t = f - 4. Does 4 divide t?
True
Let r = -1326 + 2247. Is r a multiple of 98?
False
Let i be ((-568)/24)/(1/(-12)). Let s be i/8*(1 + 1). Suppose 10 = -5*c - 15, s = 4*b - 3*c. Does 13 divide b?
False
Let z(c) = c**3 - 2*c + 6. Let i be 24/(-16) - 18/(-4). Is 27 a factor of z(i)?
True
Let b(g) = 7*g**2 - 6*g - 9. Is 22 a factor of b(4)?
False
Let n = -20 + 20. Suppose -3*g - 9 = -n. Is 4 a factor of 2/(g/(-13 - -4))?
False
Let t be (8/(-20))/((48/30)/(-8)). Suppose 5*b - 5*y + 10 = 0, 5*y = -b - 3*b + 28. Is b + t + 45 + 2 a multiple of 17?
True
Let v(d) = -11*d - 4. Let n be v(2). Let f = n + 96. Does 35 divide f?
True
Let c(t) = -t + 11. Let s be c(15). Let h = s - -53. Is 14 a factor of h?
False
Let w(j) = -137*j - 32. Let h(o) = 46*o + 11. Let a(t) = 8*h(t) + 3*w(t). Is a(-3) a multiple of 33?
False
Let o(z) = 5*z - 4. Let d be o(4). Suppose 3*m - 19 - 9 = -2*s, 0 = m + 2*s - d. Let v(b) = 5*b**2 - 12*b - 8. Is 20 a factor of v(m)?
True
Let p be 2 + 0/(-3) - 0. Suppose l - p*l + 8 = 0. Suppose -3*u + l + 25 = b, 33 = b + 2*u. Is b a multiple of 11?
True
Let o be 680/3*(9/3 + 0). Suppose 4*x = 2*f + o, 5*f - 161 = -2*x + 191. Is 19 a factor of x?
True
Let u be 46/12 - 3/(-18). Suppose 34 - 14 = u*z. Suppose z*i + 165 = 8*i. Is 18 a factor of i?
False
Let l = 566 + -116. Is l a multiple of 15?
True
Suppose 3*t - 571 = -x, 0 = -4*t - 4*x + 394 + 370. Suppose t = -9*g + 640. Is g a multiple of 3?
False
Let p = -4115 - -6608. Is 31 a factor of p?
False
Suppose 0 = 48*y - 26*y - 3432. Is y a multiple of 6?
True
Suppose q - 1094 = 180. Is 13 a factor of q?
True
Suppose -5*w = -5*g - 170, -g - 3 = w - 41. Let s = w + 8. Suppose -140 = -3*x + o, -x + o - s = -2*x. Is 23 a factor of x?
True
Let q(o) = 4*o - 2. Let i be q(2). Let h(m) = m**3 - 5 - 4*m + 4 - 5*m**2 - 3. Is 4 a factor of h(i)?
True
Is 5 a factor of (-5)/((9/143)/(-9))?
True
Let h(u) = -u**2 + 19*u - 22. Let o be h(18). Let y be (-8 - 16/o)*-1. Suppose -2*p = y - 110. Does 16 divide p?
False
Does 29 divide 1/((3 + 3)/7734)?
False
Let t be 0*(0 + 1)/(2/(-1)). Suppose 3*s + 9 - 63 = t. Is s a multiple of 7?
False
Let o(l) = -13*l - 11. Let q(d) = d + 1. Suppose -24 = t + 3*t. Let b(a) = t*q(a) - o(a). Is b(7) a multiple of 15?
False
Suppose 2106 - 247 = 13*o. Does 4 divide o?
False
Suppose -9*v - 64 = -7*v. Is 29 a factor of (-3728)/v + (-2)/(-8)*-2?
True
Let x(l) = l**3 - 5*l**2 - 9*l - 3. Does 9 divide x(8)?
True
Let z(b)