lse
Let v(z) = z**3 + 5*z**2 - z + 1. Let c be v(-5). Suppose -3*i + 3*w + 6 = 0, 0 = -3*w + 2 + 1. Does 4 divide (-10)/i*c/(-4)?
False
Let b = -4068 + 5843. Is b a multiple of 47?
False
Suppose 0 = -4*d - 110 - 86. Let c = 26 - d. Does 52 divide c?
False
Suppose 2*p = -2*p. Suppose p = 7*f - 5*f - 6. Does 28 divide ((-28)/f)/(7/(-63))?
True
Let n = -79 + 45. Let p = -22 - n. Is 12 a factor of p?
True
Suppose 0 = 2*q + j + 499, -2*j + 232 = -3*q - 506. Let f = -148 - q. Is f a multiple of 11?
False
Suppose -9*c + 52 = -155. Suppose -z - 9 + c = 0. Is z a multiple of 5?
False
Suppose 4*c - 4 = 8. Suppose 5 + c = 4*h. Suppose 2*m + 4*y - 22 = 0, -y + 16 = h*m - 0*m. Is 6 a factor of m?
False
Does 104 divide (-12505)/(-3) + -6 + 1/(-3)?
False
Let s(g) = -g**2 + g. Let o be s(2). Is 8/o + 1 - -30 a multiple of 9?
True
Let x be (7/14)/(2/144). Let j(w) = w - x*w**3 + 4 + 3 - 6. Is 12 a factor of j(-1)?
True
Suppose -4*s = l - 1100, -3*l + 5*s + 0*s + 3215 = 0. Is 12 a factor of l?
True
Suppose 4*r - 215 = -r. Let q = 129 - r. Is 32 a factor of q?
False
Let b be (14 - -2)*6/12. Let m = b + 11. Is 19 a factor of m?
True
Let r(w) = 15*w**2 + 15*w + 50. Is 24 a factor of r(-4)?
False
Is 15 a factor of (-6)/(-15)*-5 - -17?
True
Let n = 108 + 221. Is n a multiple of 40?
False
Suppose 0*u + 44 = 4*u. Let a(d) = 5*d - 15. Let z be a(u). Suppose -s + 29 = -z. Is s a multiple of 23?
True
Let x be (-1)/(-4) + 8/(-32). Suppose x = 6*o - 3*o - 129. Suppose 3*b - o = -k - b, 2*k - 2*b - 46 = 0. Is k a multiple of 12?
False
Let s(d) = 9*d - 4. Suppose -n + 2*g + 12 = 0, 2*n + 5*g = 2*g - 11. Suppose -5*v - n = -17. Is 10 a factor of s(v)?
False
Suppose 228 - 12 = 9*g. Let w be (1 - 6)*14/(-5). Let f = g - w. Is f a multiple of 2?
True
Suppose 4*m = -2*v - 18, 0*m + 2*v + 14 = -2*m. Let l be m*43*(-6)/4. Suppose l = 3*d - 0*d. Is 9 a factor of d?
False
Suppose 0*d - 2*d - 42 = 0. Let w be d/(-2)*(-20)/(-30). Let u = 22 - w. Is u a multiple of 14?
False
Let s(r) = -16*r - 10. Let b be s(-17). Suppose a + 113 = 5*z - b, 5*z = 4*a + 375. Is z a multiple of 25?
True
Is 611/(-26)*(0 + -1 + -1) a multiple of 3?
False
Suppose -1 = -r, -5*r - 125 = -0*o + 2*o. Let q = 157 + o. Suppose q = -0*l + 4*l. Is 8 a factor of l?
False
Suppose -y - 2*u - 192 = -5*y, 0 = -2*y - 2*u + 96. Suppose p = -7 + y. Is 15 a factor of p?
False
Let r(x) = -378*x - 28. Is 8 a factor of r(-2)?
True
Let z = 2 + 10. Let a be z/(-7) - 22/77. Does 21 divide 61 - a*(-3 + 2)?
False
Let u = 25 - 22. Does 21 divide 1908/27 - (-1)/u?
False
Let a(k) = -11*k**2 - 4*k + 40. Let w be a(4). Let z = w - -274. Does 20 divide z?
False
Suppose -4*j = -6 - 2. Suppose 0*i - i - 16 = 3*v, j*i - 16 = 2*v. Is (-2139)/(-27) - v/(-27) a multiple of 19?
False
Suppose 4*g = 2*z + 1353 + 2739, -g - 2*z = -1028. Is g a multiple of 103?
False
Suppose 5*w - y - 1302 = 311, -4 = -2*y. Is w a multiple of 11?
False
Suppose -3*x + a = 4*a - 162, 4*a + 127 = 3*x. Is 11 a factor of x?
False
Suppose -6561*i = -6566*i + 3155. Is 6 a factor of i?
False
Let m be 1/((2/24)/(-1)). Is 4 a factor of 25/(-2)*m/15?
False
Let f(c) = 5*c**3 + c**2 + 4*c + 3. Let t(g) = g**3 + g + 1. Let d(l) = f(l) - 3*t(l). Is 4 a factor of d(2)?
False
Suppose 9*z - 11*z + 6 = 0. Let j = -558 + 818. Suppose z*r - j = -r. Does 13 divide r?
True
Let o = 7989 + -5283. Suppose 9*x = -879 + o. Does 13 divide x?
False
Let r = -74 - -205. Is r a multiple of 2?
False
Suppose -3*w + 6*g = 10*g - 2854, -2*w = 5*g - 1898. Does 9 divide w?
True
Suppose -10*v - 1175 + 20695 = 0. Does 92 divide v?
False
Let s(d) = 12*d**3 - 2*d**2 - 13*d + 31. Is 6 a factor of s(4)?
False
Suppose -145*x + 330 = -130*x. Is x a multiple of 10?
False
Let n(l) be the second derivative of l**5/5 - l**4/3 + l**2 - 6*l. Let d be n(4). Suppose 146 = 5*p - d. Does 14 divide p?
False
Let m = 46 + 23. Suppose -5*v = -40 + 15. Suppose -5*h = k - 72, v*k - 3*k - 5*h - m = 0. Does 9 divide k?
False
Let v = 266 + -122. Is 8 a factor of v?
True
Suppose -13 = -3*b + 4*g, -3*b - 5*g = 2*b - 45. Suppose 0 = b*z - 3*z. Suppose 7*n = -z*n + 294. Is 16 a factor of n?
False
Is 50 a factor of (1 + -6 - -154)/1?
False
Suppose 3*w - 19 = g, 5*g + 16 - 1 = -w. Is (102/(-9))/(1*g/30) a multiple of 17?
True
Suppose 2*u = 13*i - 8*i + 585, 3*i = 4*u - 1177. Is 2 a factor of u?
False
Let b(q) = q**3 + 6*q**2 + 4*q + 8. Let g be b(-5). Suppose -17*j + g*j - 72 = 0. Is 3 a factor of 9/(j/(-8)) - -15?
False
Suppose -4 - 3 = -2*f + 5*g, 3*g - 3 = 0. Let x = f + 0. Suppose -x*r = -3*r - 39. Is r a multiple of 8?
False
Let u(a) = a**2 + a - 6. Let f be u(6). Let j = -12 + f. Suppose -j + 9 = -5*n. Is n even?
False
Let m = 543 + -140. Is 18 a factor of m?
False
Let s = -40 + 24. Let p = 27 + s. Suppose 4*z - p = 81. Does 23 divide z?
True
Suppose 0 = 2*f + 3*f - 15, -2*f + 26 = -2*k. Does 15 divide (-1316)/(-22) - k/55?
True
Let f = -13 + 61. Let n be (-4)/(-6) + 92/6. Suppose 0 = 2*a - f - n. Is a a multiple of 16?
True
Suppose -15*z = -16*z + 4. Suppose 9 = 3*w - 15. Is (-1)/z + 994/w a multiple of 29?
False
Let f be 15/(-9)*(-18)/15. Suppose f*q - 119 = -63. Is 14 a factor of q?
True
Suppose -2*i + 4*r - 84 = -0*r, 43 = -i + 3*r. Let j = i + 118. Is j a multiple of 12?
False
Let j(d) = 54*d - 7. Is j(1) a multiple of 2?
False
Let x(m) = -m**2 + 5*m + 6. Let i be x(7). Let t(o) be the third derivative of -o**4/12 + 3*o**3/2 + 2*o**2. Is t(i) a multiple of 7?
False
Let v(g) = g**3 + 2*g**2 + g. Let x be v(-4). Let p be 2/(-20)*x*25. Suppose 3*j - 153 = p. Is 13 a factor of j?
False
Is 30 a factor of (-24)/(3 + -6)*32?
False
Suppose -3*c - 47 = -3*b + 85, 5*c = 20. Let h be (18/(-8))/((-18)/b). Suppose -2*m = h - 54. Is 14 a factor of m?
False
Suppose 29*i = 26*i. Suppose i = 5*x + 15, 0*b - 5*x = 3*b - 225. Is 20 a factor of b?
True
Let n(f) be the second derivative of f**5/20 + 5*f**4/12 - 5*f**3/6 + 7*f**2/2 + 3*f. Let x be n(-5). Suppose 2 + x = 2*b. Does 17 divide b?
True
Let u = -14 - -12. Let z(i) = 7*i + 2. Let a(h) = -13*h - 5. Let n(t) = u*a(t) - 5*z(t). Is 10 a factor of n(-3)?
False
Let r be 4/(-12)*0 - -1. Is 18 a factor of 0 + (r - 3) - -81?
False
Let g(l) = l + 16. Let j be g(20). Suppose 474 = 5*v - j. Does 6 divide v?
True
Is (-706)/(-14) - (-30)/(-70) a multiple of 3?
False
Suppose 18 = u + 5*u. Suppose 82 = 4*w + 3*y - 295, -u*y - 451 = -5*w. Is 31 a factor of w?
False
Let z be 70/22 - (-14)/(-77). Let a = z - 1. Suppose 2*p - 64 = -a*p. Is 7 a factor of p?
False
Let r(v) = -v + 80. Let m be r(0). Suppose -3*k + 2*k = -m. Does 50 divide k?
False
Suppose 0 = u + u - 12. Let n(b) = 3*b**2 - 4 - 1 + 1 - 2*b**2. Is n(u) a multiple of 15?
False
Does 4 divide (6 + -56)*((-4 - -6) + -4)?
True
Suppose -6*t + 53 = -19. Suppose -4*a = -0*a - t. Suppose -q - 4 = -5*c, 2*q + 60 = 5*q + a*c. Does 9 divide q?
False
Let c(x) be the first derivative of 3*x**2/2 + 22*x - 12. Let n be c(-10). Let i(b) = b**2 + b - 11. Is 13 a factor of i(n)?
False
Suppose 3*n + n + 72 = -3*d, 2*d = 0. Let r be (-13)/65 + n/10. Is 31 + r + 3 + 3 a multiple of 23?
False
Let m = 1538 + -468. Is m a multiple of 11?
False
Let l(y) = y**2 + 20*y - 14. Is 22 a factor of l(21)?
False
Let a(u) = u**3 + u**2 - 46*u + 15. Is 15 a factor of a(10)?
False
Let x(l) = -l**3 + 5*l**2 + 4*l + 4. Let h be x(-3). Is 21 a factor of (h/5)/((-22)/(-165))?
False
Let r(a) = 2*a**2 + 49*a - 110. Is r(-42) a multiple of 68?
True
Let m(l) be the first derivative of l**4/4 - 3*l**2/2 - 8*l - 5. Is m(5) a multiple of 16?
False
Let t(h) = -22*h + 36. Does 13 divide t(-9)?
True
Suppose 5*r = 6*r - 4. Suppose -8 = -2*b + r. Does 4 divide 4/b - (-32)/6?
False
Let a = -237 + 556. Suppose -5*w + a = -y, 4*w = -0*w - 5*y + 261. Is 8 a factor of w?
True
Let l = 74 - 47. Let i = l + -30. Is (-4)/4 - i - -20 a multiple of 17?
False
Let g = 10 + -8. Let y(j) = 32*j. Let k(c) = -1665*c. Let p(f) = 2*k(f) + 105*y(f). Is p(g) a multiple of 30?
True
Suppose 0 = 7*n + 915 - 5920. Suppose -5*j - n = -10*j. Is 13 a factor of j?
True
Let q be 19/4 + (-1)/(-4). Let v = 490 - 438. Suppose -2*u + 73 = -q*o, v = u + 2*u + 4*o. Is u a multiple of 24?
True
Let i(g) = 8*g + 263. Is 4 a factor of i(13)?
False
Let n(x) = x**3 + 11*x**2 + 2*x + 27. Let y be n(-11). Suppose v = 2, -510 = -y*m + 4