lse
Let u = 0.2 - 0.4. Let s = 0.3 + u. Let z = -0.9 - s. Which is bigger: z or 0?
0
Let j be -1*0/((-1)/(-1)). Suppose -4*p + 7 - 3 = j. Are p and 1 equal?
True
Suppose -3*r - 4*h = r + 192, 5*r + 3*h = -234. Let u be (-6 - -5) + (-47)/r. Is u at most as big as 0?
False
Let k = 5 - 5. Let t be 1 + 0 + k + -10. Let x = t + 6. Is 0.1 less than or equal to x?
False
Suppose 2*d + 3*d = 5*f - 50, 5*f = -d + 20. Suppose -5*z = -0*z + 5*r - f, 0 = -5*z - r - 3. Which is greater: 1/11 or z?
1/11
Let f = -1.8 + 0.8. Which is bigger: f or -48?
f
Let g be (4/(-6))/((-2)/(-6)). Let u be (g/3)/(1/(-6)). Which is bigger: 3 or u?
u
Let b = -33 + 67/2. Let k(a) = 0*a**2 - a**2 - a**2 + 3*a**2 + a - 1. Let r be k(-3). Which is bigger: b or r?
r
Let r be -1 + -3 + 0 + 2. Let s be (r/2)/(3/(-42)). Suppose -2*p = -3*c + 3 + s, -5*c - 1 = 4*p. Is p greater than -3?
False
Let p(s) = s - 1. Let j be p(2). Is 1 < j?
False
Suppose 0 = i - 2*d, 0*d + 4 = d. Which is smaller: 9 or i?
i
Let p = -0.02 - -0.32. Let g(r) = r**3 - 2*r**2 - 2*r - 4. Let z be g(3). Is z equal to p?
False
Let l = 0.05 - 0. Let u = 0.05 - l. Does -6 = u?
False
Let v = 13 + -14.6. Let z = v + 2.6. Does -11 = z?
False
Suppose -m - 3*i - 5 - 7 = 0, 2*m + 2*i + 28 = 0. Let f be (-81)/m*2/(-20). Let b = 1/25 + f. Is -2 at least as big as b?
False
Let l(y) = -y - 15. Let k be l(-14). Is k >= 3/11?
False
Suppose f - 2*p = 4, 2*f - 5*p = 7 + 5. Let k = -3 - f. Which is bigger: 1/3 or k?
k
Let r = -21 + 26. Let b = -9 - r. Is -13 <= b?
False
Let u = 18.9 + -10.8. Let l = -8 + u. Is l greater than 0?
True
Let k be 2 - (146/14 + -1). Let v = k - -246/35. Let t = 17 - 53/3. Is t bigger than v?
False
Suppose 4*h - 3 = 5. Suppose 9 = h*r + 33. Let o be 0 - ((-2)/r - 0). Is o <= 1?
True
Let a = -1 + 1. Let u = 3 + 1. Suppose -j + 0 = -u*s + 10, 0 = -s + 2. Which is smaller: a or j?
j
Suppose 0*i - 2*i = -2*j - 16, -2*j - 2 = 0. Let k = -5 + i. Suppose 3*f + 5 = -k*f. Which is bigger: f or 1/3?
1/3
Let t be (1 - -2)*4/(-6). Let k be 1/4*t*22. Let n be (-1)/1 + (-9)/k. Which is smaller: -1 or n?
-1
Let n(q) be the second derivative of -q**5/20 + q**4/12 + q**3/6 + q**2 + 3*q. Let x be n(-2). Let a be x/30 - 24/35. Are a and 0 equal?
False
Let z = 1 - 4. Let l(n) = n + 4. Let y be l(z). Suppose -4*j = 13 - y. Which is smaller: -2 or j?
j
Suppose -2*t - 12 + 82 = -2*g, -157 = -5*t - g. Let f be (-2 - t/(-14))*-2. Which is greater: -1 or f?
f
Let v = 7 + -10. Let h = 10 + v. Let o = -4 + h. Are o and 0 non-equal?
True
Let t(r) = -r**2 - 3*r + 7. Let j(w) = w - 1. Let a(k) = -6*j(k) - t(k). Let y be a(3). Is y > -2/3?
False
Let h be (160/28)/(-1 - 2/2). Is h != -2?
True
Let i be ((-78)/(-30))/((4/(-10))/(-2)). Is i > 13?
False
Suppose 5*w = 15, w - 9 = 2*f - 4*f. Suppose -f = -2*d - d - 3*t, d - 2*t - 4 = 0. Is 4 not equal to d?
True
Let q = -7576/119 + 444/7. Which is smaller: q or 0?
q
Let y be (-144)/54 - 1*-3. Which is smaller: y or 13?
y
Let g be 27/57*4/(-6). Is 0 bigger than g?
True
Let z = 1 + -4. Let q be 0 + 2 + -1 + z. Let t be -5*1/(-8)*-2. Which is smaller: t or q?
q
Let y be 2/(-8) - (-18)/8. Suppose -4*r - y*h = 8, -h + 8 = -5*h. Are r and -1/5 equal?
False
Suppose 3*r = 5*i - 5, -2*i + 2*r + 2*r = 12. Is i at least 2?
True
Let y be (1/(-2))/(4/40). Let b = y - -2. Let x be b/6 + 1/6. Which is greater: x or 1?
1
Let p = 739/552 - 1/184. Let a = 12 - 11. Is a equal to p?
False
Suppose -4*u + 10 + 2 = 0. Let l = u - 6. Let z = l - -3. Which is greater: 1 or z?
1
Suppose -h + 28 = -4*w + 8, 10 = -5*h - 2*w. Is -10/9 at least h?
False
Let x be (-2)/3 + 40/24. Let t = -29/10 - -223/70. Which is smaller: x or t?
t
Let u be (1 - (5 + -2))/3. Which is greater: -7 or u?
u
Let g = -7 + 7. Which is smaller: 4 or g?
g
Let g(c) = 2*c - 3*c + 3*c - 1. Let i be g(1). Let a(z) = z + 6. Let f be a(-4). Are i and f equal?
False
Let z = 1 - -1. Let r = -2.3 + z. Is r smaller than -2/9?
True
Let t(n) = -24*n**3 - 2 + 9*n + 7*n**2 + 23*n**3 - 10. Let r be t(8). Is -4 less than or equal to r?
True
Let z(q) = -q**2 + 10*q + 11. Let n be z(11). Let s = -1 - n. Let g be 4/3*(-6)/28. Is s >= g?
False
Let l(o) = o**3 + 15*o**2 - 15*o + 9. Let h be l(-16). Is -9 equal to h?
False
Let a(j) be the third derivative of 1/20*j**5 - 1/6*j**3 - 1/24*j**4 + 0 - j**2 + 0*j. Let w be a(-1). Are 4 and w non-equal?
True
Let c(d) = d**2 - 2*d - 3. Let m be c(-3). Is m < 13?
True
Let t = -3 - -4. Let s = t - 5. Let z be -3 - (0/4)/(-3). Which is smaller: s or z?
s
Suppose -2*q + 32 = -0*q. Let h be 2/3 + q/(-21). Is 1 bigger than h?
True
Let n be 105/14*(-2)/(-80). Is n greater than -1?
True
Let k = -702 - -5603/8. Is -3 at most k?
True
Let j(q) = 7*q**3 + 2*q + 1. Let b be j(-1). Let r be (3/(-18))/((-2)/b). Let t = 2 - 3. Which is smaller: t or r?
t
Let v(j) = j + 12. Let i(x) = -x - 13. Let c(q) = -q**2 - 6*q + 10. Let k be c(-7). Let a(n) = k*i(n) + 4*v(n). Let s be a(-8). Is s >= 0.2?
True
Let o = 0 + 0. Let d = 0.04 + -0.07. Let z = d - -1.03. Which is greater: z or o?
z
Let v be (0/(-2))/(-4 - -5). Let s be (-3 + 9)/(1*-2). Is s less than or equal to v?
True
Let q be (56/315)/((-4)/(-6)). Let z = q + 2/5. Let b = -0.03 + -1.97. Which is bigger: z or b?
z
Let k = 1825 + -5539/3. Suppose w + 4*s = 7, -5*s = -0*w - 4*w + 112. Let l = k + w. Is l at most 3?
True
Let l be (-12)/1 - (-1 - 0). Is l <= -12?
False
Let t be (-8)/2*6/(-3). Are t and 29/4 equal?
False
Let s(y) = 230*y + 1. Let d be s(1). Let f be (22/d)/(2/6). Let q = -6 - -10. Which is bigger: f or q?
q
Let s be 9/6 + 9/(-6). Is 3/11 less than s?
False
Let c = 0.2 + -0.3. Let h = c - -0.1. Let u = 0 - -1. Are h and u nonequal?
True
Let m be (-18)/12*4/(-3). Suppose m*z - 17 = 5*o, -z + o + 10 = -2*o. Do 4/7 and z have the same value?
False
Suppose 5*s = z + 9, -3*z = -2*z + s - 3. Do -2/155 and z have the same value?
False
Let q = -7 + 2. Let v be 0/1 - (-4)/q. Is v > 0?
False
Let k = -2 + 0. Let g(c) = -5*c - 5. Let w be g(k). Is 5 greater than w?
False
Suppose -2*x - 4 + 6 = 0. Let i(l) = -4*l**2 + 5*l - 5. Let q be i(2). Let k = -10 - q. Is x at most k?
True
Let u(p) = 2*p + 5. Let m be u(8). Is 21 less than m?
False
Let c = -554975483/1448920 - -14172/37. Let w = c - 24044249/352440. Let g = -68 - w. Is 0 greater than or equal to g?
False
Let q = 5.45 - -0.45. Let d = q + -6. Which is smaller: -1/2 or d?
-1/2
Let w be 121/(-3) + (-2)/6. Let u = w + 65. Let s = -24 + u. Which is smaller: -2/7 or s?
-2/7
Let p(u) = u**3 + 8*u**2 + 6*u - 1. Let l be p(-7). Let b = l - 5. Let j(a) = a**3 - 9*a**2 + 7*a + 8. Let s be j(8). Which is smaller: b or s?
s
Let v be ((-3)/5)/((-28)/20). Let s be ((-6)/3)/1 + 8. Suppose 4*k = -3*c + s + 7, -c = 5*k - 8. Is k at most as big as v?
False
Let f = -5.27 + 5. Let j = 0.03 - f. Let b = 20/7 - 18/7. Do b and j have the same value?
False
Let i be 2/(1/3 - 1). Let f = i + 2. Let p = 65/2 - 33. Are p and f equal?
False
Let m = 2134 + -36268/17. Which is bigger: m or 0.1?
m
Suppose -21 = 2*s - 65. Let o = -12 + s. Suppose -w - 4*m + 15 = 2*w, 5*w - 5*m = -o. Is -1/6 greater than or equal to w?
False
Let v(k) = 2*k - 5. Suppose 0*r - 2*r - 17 = -s, 2*s = -r + 9. Let q(w) = -w**3 + 7*w**2 + w - 4. Let j be q(s). Let f be v(j). Which is smaller: f or 0?
0
Suppose j + 4*b + 10 = 0, -j + 2*b + 20 = j. Is 4 less than or equal to j?
True
Let d = 0.18 - -0.02. Which is smaller: d or 7?
d
Let p be 3 + ((-56)/20 - 0). Let w = -1/5 - p. Let i = -1 - -1. Which is smaller: i or w?
w
Suppose -t = 6*k - 3*k - 14, -4*t = -2*k + 14. Which is smaller: 0 or k?
0
Let c = 699/5 + -651/5. Which is greater: 10 or c?
10
Let s be 4/3*3/6. Let m = -0.7 + 2.7. Which is smaller: m or s?
s
Let v = -1076 + 59176/55. Which is greater: v or -1?
v
Let b(t) = t**3 + 6*t**2 - 8*t - 1. Let r be b(-7). Is 37/5 >= r?
True
Let g = 16 + -22. Which is smaller: -14/3 or g?
g
Let n be 20/(-3)*6/4. Let s be 1/(-10)*n/(-4). Let f be (10/(-15))/((-4)/(-3)). Which is smaller: s or f?
f
Let u = -80/9 - -1129/126. Let k = -23 + 22. Which is smaller: k or u?
k
Let b = -65 - -63. Which is smaller: b or -9/4?
-9/4
Suppose 10 = 5*w - 10. Let d be (w + -3)/(13 - 1). Is d <= 0?
False
Suppose 2*x - 2 = -2*a, 19 + 12 = -4*a + 3*x. Is a < -3?
True
Let u(l) = -7*l**2. Let v be u(1). Which is greater: v