lse
Let p(b) = -14*b + 29994 - 29970 + 3*b - b**2. Let a be p(-13). Are a and -80 nonequal?
True
Let b(u) = -u**3 - 3*u**2 + 12*u - 12. Let c = -52 - -56. Let m be b(c). Let h be 9/(-18) - 22/m. Is h <= 0?
True
Suppose 6*x = -4*x - 800. Let h be x/6*(-36)/15. Suppose 4*q - t = 3*t - h, -t - 8 = q. Which is smaller: q or -5?
q
Let x = -369847/7 + 53063. Which is greater: 228 or x?
228
Let t = -3298 + 3299. Suppose -13 = q - 5*i, -4*q + 4*i - 8 = -2*q. Suppose -17 = x - 2*x - 5*u, -q*x - 3*u + 13 = 0. Is t at least x?
False
Let g = 73633/12 + -6136. Which is greater: -567 or g?
g
Let d be -2 + (-1647562)/2980 + 8/16. Let o = -2772/5 - d. Which is smaller: o or 0?
o
Let a be 46046/(-462) + 2/(-6). Which is bigger: -1298/13 or a?
-1298/13
Let m = 4746 + -4746.9. Let h be 1*(1 - 4/6). Which is smaller: m or h?
m
Suppose -238 = -15*p + 122. Suppose -5*u + r + 3 = -4*u, -5*r - p = 4*u. Which is bigger: -6 or u?
u
Let k be (-2 + 10 + (3 - 1))*-178178. Let a = k - -3255313882/1827. Let g = a + -28/29. Is g less than 1?
True
Suppose -2 = 6*m - 8*m - g, -6 = -5*m - 3*g. Let l be (-1)/(631/1895) + -2 + 5. Is l at most m?
True
Let f = 3984.2 + -3984. Which is bigger: f or -1425?
f
Let n = -1/1049 + -979/73430. Let f = n - -107/140. Are -6 and f equal?
False
Suppose p = -5*u + 39, u - 143 - 89 = -4*p. Let m = 84 - p. Suppose g = k + 17, k + k + m = -g. Is k bigger than -14?
False
Let r = 770 + -712. Let g = -17870.058 + 17812. Let u = g + r. Is u > 1?
False
Let l = -3930 - -4022.26. Let v = l + -64.4. Let g = v - 0.86. Which is greater: -2 or g?
g
Let v be (14 - -8) + -3 + 1. Suppose -2*p = -2*z - 6 - 2, -v = 3*p + 5*z. Which is smaller: -0.02 or p?
-0.02
Suppose -18*m - 212544 = -34*m. Let x be (m/488)/(-9) + 18/6. Which is bigger: -1 or x?
x
Let j(p) = p**3 + 57*p**2 + 245*p - 770. Let l be j(-52). Is 236/21 less than l?
False
Let o = -1018.9 + 1020. Which is greater: o or 1/25?
o
Let q(k) = k**2 + 44*k - 46. Let f be q(1). Which is bigger: -1/86 or f?
-1/86
Let o = -3909 + 3907. Is o bigger than 658?
False
Let a = 732.736 + -12.436. Let x = a - 718. Which is bigger: 1 or x?
x
Let u = 10 - 19. Suppose -7*q - 4*r = -11*q - 56, -3*r = -q - 32. Are q and u non-equal?
True
Let g be 1242/90*10*((-427)/107 - -4). Which is smaller: g or 1?
1
Suppose -23*n = -40*n - 91*n + 108. Is 80/127 equal to n?
False
Let a = 3.40548 + -0.40548. Let t = -663 + 658.09. Let s = t - 0.09. Is s != a?
True
Let o be (1*67)/(2/(-24)*(-6 - 38)). Which is smaller: o or 18?
18
Suppose -3*f + 89 = 5*j, -4*j - 2*f + 86 = j. Suppose 0 = 5*y - j*y - 6622. Let d be y/1220 - (-4)/8. Is d > -1?
True
Let h be (6/284)/(18/(-1112)). Let a be (6/6)/(-1) - (-292)/284. Let g = a - h. Which is smaller: g or 2?
g
Let r be (4293/15 - 2) + 4/5. Let w = -291 + r. Is -34/5 < w?
True
Let y = -4025 + 4024. Suppose -3*m + 15 - 3 = 0. Let t = m + -5. Are t and y non-equal?
False
Let y(v) be the first derivative of -v**4/4 + 2*v**3/3 + 3*v - 3. Suppose -207*x + 220*x - 26 = 0. Let r be y(x). Which is smaller: 15 or r?
r
Suppose 3*a + 38 = 5*v, -14*v + 17*v + 12 = -4*a. Let b be 42/(-63) + -1 + 278/a. Let m(x) = -7*x - 6. Let o be m(6). Is o at least as big as b?
True
Suppose 0 = -0*k - 4*k + 20. Let l be 62/((9 + -219)/(-21)). Is k greater than or equal to l?
False
Let w = 6147 + -6800. Are w and -658 unequal?
True
Let a(b) = -b**2 + 6*b + 10. Let u be a(7). Suppose -5*c + u*v = 192, -c + 6*c + 4*v = -199. Let q be (13/c)/(1/(-15)). Is q at least as big as -2?
True
Let y = 474.75 - 471. Let z = 0.75 - y. Is z at most -18?
False
Let z = -916 - -937. Let m be 26 + -1*(1 - -3). Which is smaller: m or z?
z
Let p = 0.3 + -0.26. Let b = p + 0.35. Let s = 0.61 + b. Do 2/3 and s have different values?
True
Let d = -10.2 + -66.8. Let z = d - -73. Is z at most as big as 0?
True
Suppose 14*j = 7*j - 7. Let x be j - 2 - (-8 + 40). Let i be 4/(-10) - x/75*3. Which is greater: 4/11 or i?
i
Let f(p) = -7*p + 342. Let r be f(52). Let z be (-1)/6 - 131/6. Is z bigger than r?
False
Suppose 5*t + 6 = 3*y, 4*y + 1 = t - 8. Let b be 34/(-2)*((2 - 0) + y). Are b and 10 equal?
False
Suppose -5*o = l + 39, -l - 5 = -o + 2*l. Suppose 16*h = 20*h + 28. Is o at least h?
True
Suppose 3*g = -11*g - 15*g + 667. Are g and -8 equal?
False
Suppose -52*q = 4*q - 112. Suppose -4*b = -4*l - 28 - 4, b + l = -q. Which is greater: b or -51?
b
Let l = -8168 - -2589258/317. Suppose -4*q - 8 = -z, -3*z + 70*q + 8 = 66*q. Which is greater: l or z?
l
Let i = 55 - 167/3. Let n = 13/28854 - 272035811/663642. Let m = n - -410. Which is smaller: i or m?
i
Let h = 0.2 + 0. Let u = 20859.84 + -20860. Is u != h?
True
Suppose 98 = -10*o + 678. Let p = 175/3 - o. Which is greater: 126 or p?
126
Suppose 84*s - 168681 - 67110 = 3*s. Is s < 2912?
True
Let u = 149 + -149. Suppose -75 = 2*s - 5*w, 70 = -3*s - w - u*w. Which is greater: -24 or s?
-24
Suppose 0*b + b + 21 = 0. Let w = 207 + -628. Let r = w + 399. Which is greater: r or b?
b
Suppose -576*v + 2 = -575*v. Let o(s) = -105*s + 184. Let h be o(v). Is -25 equal to h?
False
Suppose n + 2*i = 308, i + 2*i + 1177 = 4*n. Let c = 2091/7 - n. Is -2 less than or equal to c?
True
Let f(y) = 5*y**2 - 12*y + 26. Let o be f(6). Let m = o - 1875/14. Is m less than or equal to -5?
False
Let j = -104 - -188. Let h = 97 - j. Let o = h + -8. Are 4 and o unequal?
True
Suppose 0 = -22*b - 198 - 44. Suppose -5*u = 5*o - 250, -2*u - 2*u = o - 215. Let a be (-11)/u - b/5. Is 22/7 at least as big as a?
True
Let t(h) = -15*h**3 + 27*h**3 - 16*h + 1 + 35 - 11*h**3 - 15*h**2. Let k be t(16). Let l be (-71)/k - ((-77)/63 - -1). Is -2 > l?
False
Let z be (-6)/(-15) + ((-7248)/(-4305))/(-4). Which is smaller: z or 1?
z
Suppose 11*y + 7*y = -8*y + 9048. Is 336 at most y?
True
Let d = -7483 + 14835/2. Let w = -2250/11 - -270. Let r = w + d. Is -1 greater than r?
False
Let z = -1256 - -1729. Is z at most as big as 469?
False
Suppose 0 = 5*z + h + 68, 2*z - 4*h + 50 = -z. Suppose -180 = -3*x - 5*g, -3*x + 300 = 2*x - 2*g. Let d = 47 - x. Is d at least as big as z?
True
Let c(b) be the first derivative of b**2/2 + 10*b - 58. Let g be c(-6). Is 43 > g?
True
Let n = -79 + 224. Let u = 144.8 - n. Which is bigger: 1 or u?
1
Let y be 5 - ((-63)/8)/(-3). Let u = 295/598 + 2/299. Which is greater: u or y?
y
Let d = -18120.018 + 18120. Which is smaller: 100 or d?
d
Let f(o) = -o**2 + 4*o - 4. Suppose u - 6 = -u. Let g be f(u). Let i be (-459)/(-2142) - 41/182. Do g and i have different values?
True
Let f be -2*(-51)/(-2)*(-15)/9. Let v = f - 85. Suppose v = -m + 12 - 34. Is m greater than or equal to -20?
False
Suppose -t - 2*u = 10, 0 = t - 4*u + 6 + 4. Let f = t + 0. Let q be f/284*(-16)/20. Is -1 greater than q?
False
Let g = -9 + 7. Let x = 262 - 262. Let z = g - x. Is -0.4 at least z?
True
Let a = -10996 - -10984. Is -536/47 not equal to a?
True
Suppose 4*j + t = 55, -t + 0*t + 42 = 3*j. Let x = j + -40/3. Which is greater: x or 0.025?
0.025
Let c be ((-15072)/15156 - -1)*(-6)/315. Which is smaller: 0 or c?
c
Let w be ((-45)/(-10))/(2/(-12)). Let g = 39 + w. Let m be (123/g)/(1/(-2)). Are -22 and m unequal?
True
Let f be (54/(-36))/(10/(-10516)). Is f less than or equal to 1576?
False
Let o(t) = t**3 + 10*t**2 + 4*t + 38. Let d be o(-9). Suppose 0 = 7*h - 127 - d. Let r = 29 - h. Which is greater: 4/23 or r?
4/23
Let x(z) = -z**2 + 37*z + 309. Let r = -1272 + 1316. Let j be x(r). Let y = 4.5 + -0.5. Which is bigger: y or j?
y
Let o be 2/(-8) - (-238)/(-8). Suppose -41*w - 43470 = 22*w. Let j = w + 660. Do j and o have the same value?
True
Let h be ((-88)/(-28))/22 - 1898/13188. Is -1 >= h?
False
Let f be (2/7)/((-273)/1274)*1*213. Is -4 at most f?
False
Let o = 16963 + -16521. Which is smaller: o or 0?
0
Let o = -56189 - -56191. Suppose 2*q - 134 = -0*q. Let i = q + -337/5. Which is smaller: o or i?
i
Let j = 5.767 + -5.747. Which is smaller: -37/11 or j?
-37/11
Suppose 5*g - y = 4150, -g + 2482 = 2*g + y. Which is smaller: g or 830?
g
Let m = 137.7 - 145.7. Is m <= 257?
True
Let q be 504/(-576) + 54454/62160. Which is smaller: q or 0?
0
Let k be (-69)/(-21) - (-4)/(-14). Let i = k - 11. Suppose -9*v + 3*v = 2*v + 96. Is i equal to v?
False
Let i(y) = -13*y + 181. Let z be i(14). Let x be z*394/2*(-7 + 8). Is x smaller than -197?
False
Su