lse
Suppose -148*j - 15 = -143*j. Does 6 divide (10/(-10))/(j/597)?
False
Let l(a) = -a**2 - 15*a - 16. Let m be l(-10). Let y = 39 - m. Suppose y = 5*k - 135. Is 15 a factor of k?
False
Let a = -40 + 83. Let n = -44 + a. Is ((-4)/(-12) + n)/((-6)/2583) a multiple of 49?
False
Let j = -5212 + 13671. Is 25 a factor of j?
False
Let s(r) = -339*r + 8 + 700*r - 344*r. Let n = -7 - -12. Does 31 divide s(n)?
True
Let n be 7/(-2)*(-1 - (-69)/(-3)). Suppose -b + 2*b - 3*l - 24 = 0, 5*b + 3*l = n. Is b even?
True
Is (11496/48)/(7/42) a multiple of 5?
False
Suppose -3719615 - 2683280 = -393*o - 16*o. Is o a multiple of 15?
False
Suppose -135 = 3*k - 33. Let t = k + 38. Suppose -5*z + 54 = -t*z. Does 4 divide z?
False
Let s = 2332 - 310. Is s a multiple of 11?
False
Suppose -8*t + 3224258 = 378*t. Is 24 a factor of t?
False
Suppose 0 = -3*d + 3*c - 2 + 17, -2*c = d - 5. Suppose 0 = 4*l - 0*b - b + 290, -3*l + d*b = 226. Let j = 68 - l. Is 28 a factor of j?
True
Let d = 9092 + 7592. Is d a multiple of 14?
False
Suppose -39*q = -189*q + 2192400. Does 7 divide q?
True
Is (-19)/(-7 + 4/54864*96006) a multiple of 254?
True
Let h(m) = 31*m**2 - 68*m - 185. Is h(-3) a multiple of 100?
False
Suppose -48960 = -19*m - 21*m. Let c = m + -4. Is 59 a factor of c?
False
Suppose -b = h - 1027 - 5180, -3*h - 2*b + 18624 = 0. Is h a multiple of 27?
True
Suppose 8*t = 30*t - 308. Is 25 a factor of 60/(-48)*t/(-5)*100?
True
Suppose 17*i - 19*i + 28 = 3*q, -45 = -5*i + 5*q. Suppose 374 + 154 = i*n. Is 24 a factor of n?
True
Let g(j) = 67*j**2 - 117*j - 13. Is 7 a factor of g(12)?
False
Does 68 divide (1/(-4))/((25/60)/5) - -1839?
True
Suppose 12 = -2*h + 42. Suppose -2*s - 9 = -h. Suppose 35 = m - 4*i, 2*i + 129 = s*m - 2*i. Is m a multiple of 19?
False
Suppose -44*c + 64*c = 41540. Is c a multiple of 31?
True
Let y(x) = 20*x**2 - 21*x + 27. Let c be y(9). Suppose 5*q = c + 1227. Is q a multiple of 26?
False
Let k = -572 + 872. Suppose -6*y + 11*y = k. Is 4 a factor of y?
True
Let f(x) = x**3 + 11*x**2 - 14*x + 18. Suppose -4*c = -3*p + 10, 0 = 5*c - 6*c - 4*p + 7. Let d be c + (176/(-4))/4. Is f(d) a multiple of 6?
True
Let i = -26 - -34. Let k be 81/18*i/18. Suppose k*t - 261 = -27. Does 13 divide t?
True
Let d(m) = m**3 + 5*m**2 - 5*m + 5. Let z be d(-6). Let b be (-6 - z)/(1/207). Does 23 divide (2/2)/((-15)/b)?
True
Let n(c) = 211*c**2 - 11*c + 24. Is n(3) a multiple of 70?
True
Let p be (1 - 8)*(20/(-4) - 0). Let b(o) = -o**3 + 35*o**2 + 17*o + 78. Is b(p) a multiple of 22?
False
Suppose 10*i - 9*i - 2798 = 4*c, -2*i - 704 = c. Let s = -542 - c. Is 16 a factor of s?
False
Suppose -1540 = -21*r + 16*r. Suppose 0 = -2*w + 76 + r. Is 4 a factor of w?
True
Let b(u) = 5*u + 60. Let x be b(-11). Suppose -x*c = -13*c + 24. Suppose 5*i = c*y - 363, 3*y - 605 = -2*y - 5*i. Is y a multiple of 12?
False
Let m(h) = h**2 + 13*h - 28. Let b be 3 - (0 + 1)*18. Let n be m(b). Does 31 divide ((-943)/69)/(n/(-36))?
False
Suppose 2*g = -0*g, -n = -3*g - 8. Is 1 - (-35 + (0 - n)) a multiple of 4?
True
Let i(o) = 10*o**2 - 6*o - 18. Let c be i(-9). Suppose -3*v + 5*d = -514, c = 11*v - 6*v - 3*d. Is 8 a factor of v?
True
Let h = 342 - -256. Let a = -381 + h. Is 9 a factor of a?
False
Let m be 2/2 + 29 - 1. Suppose 24*y + 40 = m*y. Suppose 36 = y*z - 36. Does 3 divide z?
True
Let t(n) = 15*n**2 - 487*n - 82. Does 44 divide t(47)?
True
Suppose 0 = -23*g + 7500 + 20445. Suppose -8*b - b = -g. Does 5 divide b?
True
Let c be 2/(-2 - (-10)/4). Suppose 10*t + 70 = 110. Suppose 3*z + z + 2*s = 26, -24 = -c*z - t*s. Is z even?
False
Let g(i) = i - 22. Let j be g(25). Let b be (3/((-27)/(-15)))/(j/9). Suppose b*l - 341 = -c, -c = -2*c + 5*l + 301. Is 53 a factor of c?
False
Suppose -2*m - m + 7*m = 0. Suppose 5*y - 5*q - 1460 = 0, -3*q - 7 - 2 = m. Is 17 a factor of y?
True
Suppose 6*u = -13*u - 35*u + 250776. Does 6 divide u?
True
Is 93 a factor of 8093 - 40/(-4) - 7?
False
Suppose 44*j = 79 + 9. Suppose -620 = -2*u - j*a - 3*a, 4*u - 1260 = -5*a. Is u a multiple of 8?
True
Suppose -5*u = -0*u + 10, 2*m - 2*u = 2. Let d be 71/m - (0 + -4). Let y = d - -175. Is 19 a factor of y?
False
Is 7 a factor of (-39 - -4)/(((-41)/(-246))/((-1)/2))?
True
Let z(u) = -u**3 + 21*u**2 + 26*u + 206. Is 118 a factor of z(21)?
False
Let s(b) = 77*b**2 + 230*b + 660. Is 8 a factor of s(-25)?
False
Suppose -2*c - 15 = -3*c - 2*h, 0 = 4*c + 4*h - 48. Suppose -19 = -5*y - 4*v, 4*y - v - 2*v - c = 0. Is 4 a factor of (-2)/y*(-222)/4?
False
Suppose 4*d - 30511 = 2*r + 16299, -r = 5*d - 58502. Is 4 a factor of d?
False
Suppose 0 = 2*l + n - 37447, 22*l + 3*n + 74859 = 26*l. Is 24 a factor of l?
True
Let y(w) = 24*w**3. Let a be y(1). Let v = 31 - a. Is (78/v)/(2/14) a multiple of 26?
True
Let h(s) = 13*s - 9. Let v be h(4). Let t = v + -31. Suppose 0 = -13*i + t*i + 165. Is i a multiple of 12?
False
Let y(w) = -165*w - 1100. Does 22 divide y(-24)?
True
Let j(i) = 1110*i + 53. Does 18 divide j(1)?
False
Suppose 5*c - 875 = -5*u, c - 157 = 4*u + u. Let p = c - 37. Is (p/6)/(9/24) a multiple of 21?
False
Let a(k) = -2212*k - 1683. Is a(-8) a multiple of 42?
False
Let b = -243 - -493. Let o = b + 244. Is o a multiple of 33?
False
Let o be (-56)/(-16)*(-20)/(-35). Suppose 0*a = -5*a + o*j + 82, 70 = 5*a - 5*j. Is a a multiple of 6?
True
Suppose -113*s - 57*s + 10944 = -18*s. Is 18 a factor of s?
True
Let q = 2275 + 371. Does 7 divide q?
True
Let l be (-28)/((56/12)/7). Let y be l/(-28)*16/6. Suppose 2*d + 2*g - 9 = 157, -d + y*g + 68 = 0. Is 10 a factor of d?
True
Suppose m - 5*i = -2*i + 37627, -3*m + 4*i + 112901 = 0. Does 19 divide m?
True
Suppose 0 = 5*r - 20, -17 = 2*s + 3*r + 5. Let t(d) = -2*d**2 - 37*d + 24. Let y be t(s). Let b = y + -47. Is b a multiple of 28?
True
Let k(m) = -28*m - 98. Is k(-57) a multiple of 14?
True
Let g = 139 - 137. Is 19 a factor of (-760)/12*(-3)/g?
True
Suppose -320 = 7*u - 4*u + 5*r, -3*r + 15 = 0. Let q = -81 - u. Is 5 a factor of q?
False
Let x = 9927 - 667. Does 20 divide x?
True
Suppose -2*l = -851 - 349. Is 25 a factor of l?
True
Does 7 divide -19*34/(-4199) - (-1158420)/65?
True
Let m be 1767/3 + -1 + (-16)/4. Let d = 2534 - m. Is 13 a factor of d?
True
Let f = 46174 - 31146. Is f a multiple of 189?
False
Suppose 0 = -f - 2*q - 34, 2*q - 26 = f - 0. Does 37 divide (-5526)/f - (-32)/40?
True
Let t = 135 - 138. Let h(f) = 5*f**2 - 18*f - 53. Is 23 a factor of h(t)?
True
Let l(n) = -14*n**2 + 3 - 7*n**2 - n**3 - 8*n + 11*n**2. Let g be l(-10). Let b = 147 - g. Is b a multiple of 11?
False
Let a(x) = 18*x**2 - 3*x. Let t be 21/(-2)*(-36)/21. Suppose t*l = 15*l + 9. Is a(l) a multiple of 14?
False
Let i(l) = -l**2 + 18*l - 16. Let v be i(16). Suppose f = -2*t + 6, -2*t = 3*f + 3*t - v. Suppose -f*g + g + 41 = -2*x, 2*x = 2*g - 92. Does 11 divide g?
False
Let c = -82 + 266. Let r = c + -780. Is 7 a factor of r/(-28) - (-4)/(-14)?
True
Suppose -2*i - 3*k - 2*k = -25, i - 2*k = -1. Suppose 3*t + 33 = i*t - 3*y, 4*t = y + 41. Is 17 a factor of 30/105 + t*13/7?
True
Let c be (2/(-5))/((11/30)/(-11)). Let y = 14 - c. Is 151*2 + 4 + (-4 - y) a multiple of 39?
False
Let g(o) = -14 + 54*o - 23 + 63*o - 16 + 15. Is 16 a factor of g(1)?
False
Let u = -62 + 243. Let w(t) = t**2 + 6*t - 69. Let q be w(-12). Suppose -v = -3*j - 179, q*v - 4*j - u = 2*v. Does 13 divide v?
False
Suppose 0 = -4*s + 11*s - 7. Let i be (27 - s)/(16/24). Suppose -i*n + 38*n + 90 = 0. Is n a multiple of 9?
True
Let i(l) = -l**3 + 11*l**2 + 6*l + 8. Let c be (1 + (-6)/10)*60. Let x be (-2 + (-24)/(-10))/(c/600). Does 8 divide i(x)?
True
Let p = -52 + 38. Let z be 4/p - (-954)/7. Does 17 divide (60/24)/(2/z)?
True
Let r(z) = 10*z**2 - 35*z - 13. Let x be r(4). Let o(j) = -5*j + 0*j**3 + 8*j**2 - 1 - j**3 - 6. Is 7 a factor of o(x)?
True
Suppose 5*k + 4*f = 15, -5*k + 6*f + 45 = 4*f. Suppose k*d - 5*d + 156 = 0. Let b = -26 - d. Is b a multiple of 4?
True
Suppose -2*k + 5*p + 85 = 9, -5*p = 4*k - 152. Suppose -k*z = -15*z - 3910. Does 10 divide z?
True
Let f(i) = i**3 - 8*i**2 - 4*i + 14. Let x be -1*(2 - (-4)/(-1)). Let b(z) = z**2 - z. Let o(l) = x*b(l) - f(l). Is o(10) a multiple of 3?
True
Let o(d) = 88*d - 1496. Does 88 divide o(23)?
True
Suppose 0 = 3*c + 133 - 25. Let z be ((-24)/(-14))/((-204)/2142). Is 4 a factor of 