lse
Let p = -9.2 + 9. Let b = -0.2 - -0.1. Which is smaller: p or b?
p
Suppose 10 = 4*p - 9*p. Let q be p/8 - 1/(-4). Let g = 114/5 + -2176/95. Do q and g have the same value?
False
Let x be -6*(-3)/(120/14). Let h = x - 5/2. Which is smaller: h or 5?
h
Let f be 69/9 - 4/6. Suppose -3*n + 9 = -0*n. Suppose -1 = n*t - f. Which is greater: t or 3?
3
Let r(l) = 4*l**2 - 5*l + 5. Let v be r(4). Let o = v + -195/4. Let q = -3 + 0. Are o and q non-equal?
True
Let j be 4/(-22) + (-238293790)/22275. Let s = j + 10698. Let q = s + -1634/2835. Which is greater: -2 or q?
q
Let p = -37 - -263/7. Which is greater: p or 2?
2
Let t = -317/9 - -35. Let f = t - 5/18. Suppose -8 = 2*l - 4*l. Is f < l?
True
Let m = -67 - -67. Which is smaller: m or 0.1?
m
Let u be (2 - 2) + (-10)/5. Is 1/9 smaller than u?
False
Suppose 2*q + 2 = 62. Suppose 4*a - 3*l + 15 = 0, q - 10 = 4*l. Suppose 5*p - 3*z + 14 = a, z + 0 = -4*p - 1. Which is smaller: p or 2/9?
p
Let o = -8.2 + 4.4. Let k = o + 4. Is k at least as big as 0.2?
True
Let m = 0.3855 + -21.3955. Let s = -21 - m. Do s and 1 have the same value?
False
Let v = 2 - 3. Let i(p) = 8*p**2 + p. Let c be i(v). Let a(d) = -d**3 + 6*d**2 + 7*d - 2. Let b be a(c). Which is smaller: b or -1?
b
Suppose 2*h - 5*d + 18 = 5*h, 1 = -5*h + 2*d. Is 6 smaller than h?
False
Let h = 0.08 - 17.08. Let y = 12 + h. Which is bigger: 2/7 or y?
2/7
Let n be 0 + -2*(-1)/(-6). Let a(b) = b**2 - b - 56. Let y be a(-7). Which is bigger: n or y?
y
Suppose 2*j - 4*u = 6*j - 8, -5*j = 2*u - 13. Suppose -6*y = -3*y + j. Is -1/9 not equal to y?
True
Suppose 4*n = 2*n + 6. Suppose 2*l + 1 + n = 2*b, -2*b = 3*l + 1. Which is bigger: b or 2/13?
b
Let i = 45/4 - 11. Suppose 3*s = s. Are s and i non-equal?
True
Let x be (-6)/10 + 9/15. Let d(l) = -3*l - 3. Let z be d(-2). Let a = z + -4. Are x and a non-equal?
True
Let j = -5 - -4. Let t be j/(-2)*1/4. Which is bigger: 0 or t?
t
Let c = -6 - -1. Let m = c - -4. Suppose 0 = 2*v + 3 - 5. Which is bigger: v or m?
v
Let q(y) = -y**2 + y + 2. Let g be q(0). Let r be 28/6 - g/(-6). Suppose -3*c + 8 = 2*n - 3, 0 = -2*n - 4. Are c and r equal?
True
Suppose d = -3*b - 2*b + 2, -4 = -b + d. Let j = -5 - -6. Let m = 1 + j. Is b > m?
False
Let v be (0*1/(-4))/2. Suppose -u - 15 = -v*m - 5*m, -5*u + 21 = -m. Which is greater: m or 5?
5
Let t = -13 + 3. Let l be (-1)/(t/(-28)) + 2. Are -1 and l unequal?
True
Let d = -1 - 2. Is d smaller than -9/4?
True
Suppose 0 = 2*h + 20 - 8. Let y be (-4)/h*54/(-12). Suppose 4 = -4*i + 3*n, -i = -0*i - n + 1. Which is greater: i or y?
i
Let n(s) = s**2 + 5*s - 1. Let w be n(-6). Suppose 3*q = 2*q - w*m - 4, 0 = -4*m. Is q > -3?
False
Suppose -4*o = 5*v + o - 15, 4*v + o - 3 = 0. Suppose 0 = -v*k - 4*k - 4. Which is smaller: k or 0.4?
k
Suppose 0*n + 15 = 3*n. Suppose -4*o = -n*w - 19, 2*o - 5*w = -o + 13. Suppose -c = c + o. Is -3 bigger than c?
False
Let h = -50 + 44.6. Let i = -5 - h. Let v = 1.6 + i. Which is greater: v or -1?
v
Suppose -2*y - 3 = 1. Which is bigger: y or 1?
1
Let v be ((20/3)/(-2))/((-6)/18). Is v bigger than 10?
False
Suppose -4*u = -3*y - 41, -20 = u - 5*u. Which is smaller: -10 or y?
-10
Let k = -0.89 - -0.89. Let a = -2.2 - -2. Is k at least a?
True
Let r(p) be the first derivative of -p**4/4 + 2*p**3 + 3*p**2 - 1. Let i be r(7). Let z = 7 + i. Is 1/2 != z?
True
Let p(o) = o**3 + 17*o**2 - o - 17. Let d be p(-17). Suppose 4 = -m + 5. Which is smaller: d or m?
d
Let v = -115 - -29. Is v bigger than 0?
False
Let z = -2 + -2. Let h = 20 + -13. Let w = h + z. Is 3 greater than w?
False
Let v = 25 + -26. Is v smaller than 2?
True
Let f = 53240 - 476935/9. Let z = f - 247. Which is smaller: -1 or z?
-1
Let b(r) = r - 12. Let f be b(4). Which is greater: 0.3 or f?
0.3
Let n(o) = -23*o**2 + o + 2. Suppose -x - 4 = -6. Let w be n(x). Let u be w/14 - (-2)/7. Which is bigger: u or -5?
-5
Suppose 2*l = 4*r + 4, r + r + 2 = 3*l. Is l smaller than -1/54?
False
Suppose 0 = -5*l + 11 + 34. Suppose 4 + l = 3*b - 2*x, b = -5*x - 7. Suppose 4*z - 5*g = -25, g = -b*z + 9 - 4. Which is smaller: z or 0.1?
z
Let r be -3 - -2 - (-2)/(-2). Let k = -10 + 5. Let s = 4 + k. Which is smaller: s or r?
r
Suppose 2*k + 2 = -2. Suppose -3*t = 8 - 2, 2*h - 4*t - 4 = 0. Is h != k?
False
Let l = 5 + -8. Which is smaller: 0 or l?
l
Let z(o) = -o**3 + o**2 + o. Let s be z(-1). Suppose 5 = q + s. Suppose -8*y = -q*y. Is 2/9 >= y?
True
Let w(y) = y - y**2 + 5 - 4 - 3. Let i be w(0). Let f be (2 + -3)*(-2 - -3). Is f greater than i?
True
Let p(i) = 7 + 0 + i - i**2 - 6. Let t be p(0). Which is bigger: -1 or t?
t
Let x(m) = 11*m**2. Let l be x(1). Let i(t) = t**3 - 11*t**2 + 3*t - 22. Let a be i(11). Is a at most as big as l?
True
Let q = 0.7 - -0.3. Let d be ((-30)/8)/((-6)/16). Let f(t) = -t + 11. Let m be f(d). Are q and m equal?
True
Suppose -4*z = -z + 9. Let s be -3 + 80/13 + z. Which is bigger: s or 0?
s
Let c = -0.2 + 0.2. Let k = 0 - 3. Let d be 1 + -1 + k - -3. Are c and d nonequal?
False
Let w(h) = -h**2 - 8*h + 2. Let k be w(-8). Suppose -5*r = -6*r - k. Let n be (-5 - r) + (2 - 0). Which is greater: n or -2?
n
Let d = 0.3 - 0.2. Let b be (2/(-4))/((-4)/(-56)). Let n be 2 + (b/6 - 1). Which is greater: n or d?
d
Let g = 1.3 + -0.3. Let j = -135 - -135.14. Which is bigger: j or g?
g
Let j be 12/(-18) + (-47)/(-3). Let a(k) = k**3 - 8*k**2 + 15*k - 3. Let h be a(6). Is j > h?
False
Let u be 1/(-6) + (-4089)/90. Let f(r) = -2*r**3 + 5*r**2 + 2. Let y be f(4). Let n = y - u. Which is greater: 0 or n?
0
Let a = 2.4 - 0.4. Suppose k + 188 = -3*k. Let x = -233/5 - k. Is x > a?
False
Let s = 6 + -4. Let g be s/(-6) - (-33)/18. Is g < -1/4?
False
Suppose 1 - 5 = -4*b. Suppose b = -j + 4. Suppose 2*h - 15 = -j*h. Is 2 > h?
False
Let h be (4/8)/(-3 - -4). Which is smaller: -0.2 or h?
-0.2
Suppose -4*c - 321 = -3*n, 4*c + 3*n - 165 = -492. Do c and -80 have the same value?
False
Let p be -2 + 176/58 + -1. Let d = p + 53/145. Which is smaller: -1 or d?
-1
Suppose -18 = -3*z - 21. Let f = 7 - 10. Let c = f - -1. Which is bigger: c or z?
z
Let b be (-44)/(-33)*(-3)/2. Let k = -0.51 + -0.09. Let d = k - -0.3. Which is greater: d or b?
d
Let t(d) = -d**2 + 5 - 6 + 0*d - 3*d. Let a be t(3). Let p = a - -135/7. Is p greater than 1?
False
Suppose 2 = -4*f - 6. Let d = f - -4. Suppose 2*i - 22 = i - 5*u, 3*u = 2*i + 8. Is d at least i?
True
Let p(b) = -b**3 + 13*b**2 - 14*b + 24. Let c be p(12). Is 6/5 < c?
False
Let k = -35 + 34.3. Is 2 <= k?
False
Suppose 3 = -3*j - 18. Let d = j - -3. Is d at least as big as -5?
True
Let v be (22/18)/((-15)/(-9)). Let t = v + -2/5. Let g = -11/21 + 4/21. Is g equal to t?
False
Let u be 24*(15/9 - 1). Let v be (-1)/(3 - u/5). Is v greater than 5?
False
Let i = -0.06 - 2.44. Let p = i + -0.5. Let f = p - -4. Is f at least as big as 3/2?
False
Let i(k) = 5*k**2 - 4*k - 3. Let a be i(-2). Suppose 4*z - f = -0*z - a, 3*f + 3 = -z. Which is bigger: z or -7?
z
Let w be ((-1)/10)/((-1)/4). Let i = 32 - 14. Let x be -2*(-1)/i*-2. Which is bigger: x or w?
w
Suppose -2*y = 3*y + 75. Which is smaller: -13 or y?
y
Let w = -15.2 + 1.2. Let c = w - -19. Is 0.2 != c?
True
Suppose 10 = -3*n + 1. Let x = -11 + n. Let j be (-13)/(-21) + 4/x. Which is bigger: j or 0?
j
Let z = 55/147 + -2/49. Are z and 3 non-equal?
True
Suppose 29 = 6*t + 5. Which is bigger: t or 3?
t
Let h = -1.2 - -0.2. Let n = 44 - 48. Which is smaller: n or h?
n
Suppose 4*w + 79 = m, 3*w - m = -3*m - 62. Let x be 43/(-5) + (-12)/w. Let y = 7 + x. Are y and -1 nonequal?
False
Let b(d) = 4*d**3 + d**2 + d + 1. Let w be b(-1). Let v be -3 - (-3 - -1) - w. Which is smaller: 2/11 or v?
2/11
Let j = 0.017 + 0.083. Which is smaller: j or 5?
j
Let u be (-2 - -4)*1 + 1. Which is greater: 2 or u?
u
Let i = 47/700 + -3/28. Which is smaller: i or 0?
i
Let v be 4/6 - 48/(-9). Let k be ((-20)/12 + 0)*(-4 - -1). Do k and v have the same value?
False
Suppose -3*t + f = 3*f, 3*t - 3 = -f. Suppose -t*p = p + 12. Let w = -1.2 + 0.2. Which is greater: p or w?
w
Let s be (-1 - (0 + -1))/1. Let i = 269 - 6724/25. Which is bigger: s or i?
i
Suppose f - 3*f + 6 = 0. Suppose 5*t - f*t = -4. Let l = -0.6 + -0.4. Which is smaller: l or t?
t
Let k = -37.07 + 37. Is 1/2 != k?
True
Let s = 4 + -9. Let v(q) = q**3 + 5*q**2 + q + 4. Let g be v(s). I