lse
Suppose 2*p + 2 = -y, -5*p = -0*y - 2*y - 13. Let n = p - -3. Is n at most as big as 2?
False
Let c(t) = -2*t**2 + 4*t + 5. Let o be c(-1). Which is smaller: 8/41 or o?
o
Let h(s) = -s**3 - 18*s**2 - 3*s + 2. Let j be h(-18). Is 57 less than j?
False
Let q = 2 - 11. Let c be (-4)/(-18) + 4/q. Which is bigger: c or 0?
0
Let j = 166/99 - 1/99. Is 2 less than or equal to j?
False
Let u be ((-8)/(-40))/(2/(-12)). Which is bigger: u or 0?
0
Let x = -1 + 7. Let q = -5 + x. Which is greater: q or -0.1?
q
Let k be (-1 - 0)*(2 - 1). Let v be ((-7)/45)/((-94)/(-48)). Let q = 10/47 + v. Which is greater: k or q?
q
Let t = -9.3 + 9.38. Is -0.01 equal to t?
False
Let q be -4 + 4 - (-5 - -2). Suppose 0 - 6 = q*d. Is d less than 0?
True
Suppose 4*q - 4 = 2*f + 6, 0 = 5*f - 5*q + 10. Is f greater than 5?
False
Suppose 2*z = -f - 7, f - 1 = z - 5. Is -1/26 greater than or equal to z?
True
Let x = -15 - -83. Which is greater: x or 69?
69
Suppose -4*r - a = -18, 4*a = 5*r - 6 - 6. Let j = 12 - 7. Suppose 16 = r*t, -5*k - j*t - 3 = -28. Which is smaller: k or 2/11?
2/11
Suppose -3*w = -v + 7, -v - w + 3*w = -5. Let k(b) = 9*b**2 - 2*b + 2. Let q be k(v). Is q greater than 9?
False
Let w = 4/22119 - -330409/7608936. Let j = w + -18/43. Which is smaller: j or 1?
j
Suppose -5*w + 3*v = -63, 0*w = -3*w + 3*v + 33. Which is smaller: w or 16?
w
Let a = 0 - 8. Let y = -4 - a. Let l = y + -5. Is l <= -2?
False
Let i = -27 - -62. Which is bigger: 34 or i?
i
Suppose 0 = 3*c + 2*d + 2*d + 2, -5*c + 50 = -4*d. Suppose -c*m = -m + 100. Let v be 3/m + 4/(-16). Which is bigger: v or 1?
1
Let u(w) = -w**2 + 8*w - 9. Let x be u(7). Let a be (-3)/x*(11 + -9). Suppose 1 = 5*b - 5*k + 6*k, 0 = -a*b + 4*k - 4. Is 1 bigger than b?
True
Let f = 22.4 - 20. Let t = f + -2. Let b = 2.4 - t. Which is bigger: -1 or b?
b
Let s(g) = g**2 - 8*g + 9. Let i(f) = -6*f + 1. Let k be i(-1). Let n be s(k). Do 4 and n have the same value?
False
Let m(g) = -7*g**2 + 8*g + 10. Let o be m(-1). Suppose -2*x = -7*x - 20. Which is greater: o or x?
x
Let s = -73/45 - -7/5. Suppose 0 = -5*b + 5*q + 65 - 10, 5*q = -5. Let d be 2 - (b/2 + -2). Is s bigger than d?
True
Let v be 1 - 1 - (-8)/(-96). Is v <= 1?
True
Let z = 4 - 2. Suppose 0 = 3*q - l - 30, -4*l + 32 = z*q - 2. Let i = -11 + q. Is i != 1/9?
True
Let p be (4/50)/(-21 + 22). Suppose -15 = -5*b, -4*b - 1 = 3*v - 10. Which is smaller: p or v?
v
Let a = -2.8 + 3. Let n = 31 - 33. Is a <= n?
False
Suppose 3*v = -5*c - 64 - 184, 5*c - 2*v = -243. Is c < -49?
False
Let o be ((-1)/(2/12))/(-1). Let b(y) = y + 10. Let x(t) = t**3 - 10*t**2 + 9*t - 5. Let k be x(9). Let i be b(k). Are i and o unequal?
True
Let n = 0.065 + -26.065. Let y = n + 27. Which is bigger: y or -1?
y
Let f = 65 - 196. Let h = -521/4 - f. Is h at most as big as 0?
False
Let c be -2 + -2*(-201)/207. Let j = c + 182/759. Which is greater: 1 or j?
1
Let a = 46 - 47. Do 1/51 and a have the same value?
False
Let d be 8/(-20) - (-86)/(-10). Let f = -9 - d. Which is greater: -5/6 or f?
f
Let l(u) = -4*u**2 - 10*u - 10. Let o(i) = 5*i**2 + 11*i + 11. Let v(a) = 4*l(a) + 3*o(a). Let f be v(-6). Which is bigger: -2/33 or f?
-2/33
Let d be (16/10)/((-6)/(-15)). Suppose 0 = -d*w + 2*c - 24, 2*c - 6*c = -2*w - 24. Do -5 and w have the same value?
False
Let p(w) = w - 1. Let x be p(-2). Let y be x/6*(-4 - -2). Which is smaller: -1/19 or y?
-1/19
Let b be (-516)/(-20) + 2/10. Suppose -p + d = -0*d + 6, p - 5*d + b = 0. Which is bigger: -2/41 or p?
-2/41
Suppose 2*h = -2*h + v - 133, 64 = -2*h - 2*v. Do 0 and h have the same value?
False
Let l(n) = -n + 7. Let j be (3/(-6))/(1/(-4)). Suppose 0 = -5*v + 2*o + 30, v + j*v - 5*o - 18 = 0. Let k be l(v). Is k less than 0.1?
False
Suppose -2 = -2*o - 2*t, 1 - 5 = -2*o - 3*t. Let m be (-13)/(-20) - o/(-4). Are 0 and m equal?
False
Let x be ((-8)/12)/((-4)/18). Suppose 0 = -7*s + x*s - 4. Does -2/71 = s?
False
Let i be -13*2/(-22) - 1. Let o = -0.2 + 0. Let w = 0.8 - o. Which is smaller: w or i?
i
Let l = -0.7 + 4. Let i = l + -3. Let k = i + -4.3. Which is bigger: 0 or k?
0
Let o = 0 - 2. Is -2 > o?
False
Let k = 6 - 2. Let r = k + -1. Is -1/2 > r?
False
Let m(q) = -q**2 - 6*q - 2. Let r be m(-5). Is 4 at least as big as r?
True
Let q(j) = j + 5. Let k be q(-4). Which is smaller: k or -1?
-1
Suppose -g - 3 = -6. Which is smaller: 2 or g?
2
Let l = 73 - 77. Is -17 > l?
False
Let f be (3/36)/((-1)/(-3)). Let y be (-8)/(-15) - 15/75. Which is smaller: f or y?
f
Let u = -11.28 + 11. Let z = -1.38 - u. Is 1 at least as big as z?
True
Suppose q - 3*t = 3*q - 42, -5*q + 91 = 4*t. Let c be 3/q - 6/5. Let x = 0.2 + -0.4. Is c bigger than x?
False
Let i(l) = -l**2 + 18*l - 20. Let f be i(17). Are -1.1 and f nonequal?
True
Let r(q) = q - 2 - 5 + 17. Let v be r(-7). Let l = 7 - v. Which is smaller: 3 or l?
3
Let v(t) = -t + 24. Let u be v(23). Which is bigger: 1/31 or u?
u
Let g = 1 + 1. Let h be 0 - 4 - 371/(-63). Let l = h - 101/63. Which is bigger: l or g?
g
Suppose -2*b + 6*b = 0. Is b less than or equal to 1?
True
Let y = -0.31 + 0.41. Is y at most as big as -11?
False
Let v = -29 - -59/2. Let h = 4.1 - 4. Let w = h - 0.3. Is v greater than or equal to w?
True
Let u(f) = f**2 - 9*f - 2. Let v be u(8). Are v and -9 non-equal?
True
Let l = 1039 + -1034. Let i be (3/4)/(2/24). Let o = i + -4. Do l and o have different values?
False
Let u(m) be the second derivative of m**3/6 + 3*m**2/2 - 4*m. Let b(o) = o. Let h be b(-4). Let i be u(h). Which is smaller: -1/5 or i?
i
Let p = -1/86 + -1/86. Which is smaller: p or 1?
p
Suppose -95 = -5*r + 215. Suppose 5*g - r = -17. Is 10 at most as big as g?
False
Suppose 3*s - 3 = 3. Suppose s*d = 2 - 4. Do -5/7 and d have the same value?
False
Suppose -85*s - 11 = -84*s. Does s = -10?
False
Let v = -5 - -10. Let m = v - 6. Is 0.2 less than m?
False
Let h(b) = b**2 - 7*b - 12. Let a be h(9). Which is greater: a or 7?
7
Let w be (-676)/332 + 5 + -3. Is w <= 1?
True
Let t = 19 + -24. Let b = t - -5.3. Which is greater: b or 4?
4
Let f be 26/(-3 + 17/5). Let z = 98 - f. Let u be z/27 - 4/18. Is 2/3 at most as big as u?
True
Let w = -6/2887 - 3644/1024885. Is w smaller than -1?
False
Let z = 0.17 - 0.16. Which is bigger: 1 or z?
1
Let j = 1.978 + 0.022. Which is smaller: j or 2/15?
2/15
Let h = -3636/80023 - 2/1861. Which is greater: h or -1?
h
Let g be ((-1)/(-3) + 0)/4. Let o = -1/3 + g. Suppose -6*l = -l. Which is bigger: l or o?
l
Let z = -6623/25 + 265. Is z > -1?
True
Let p = 9 - 14. Suppose 7*f - 2*f = -40. Let a be (20/f)/(1/2). Is p <= a?
True
Let f(v) = -6*v**2 + 2*v - 1. Suppose -w + 0*w + 1 = 0. Let q be f(w). Let z = 3 + q. Are z and -1 equal?
False
Suppose 2*k = 7*k - 15. Let c be 52/6 + k/9. Let z = 13 - 5. Which is smaller: c or z?
z
Let g(y) = -y**2 - 2*y - 1. Let z be g(-2). Suppose -4*n + 3*u + 37 = 0, -4*u + 33 = 3*n - u. Let o be 96/(-165) - (-4)/n. Which is bigger: o or z?
o
Let d(x) = x**2 - 3*x - 3. Let f be d(4). Let i = -7 - -7. Let h = f - i. Which is greater: h or -2/3?
h
Let i(y) = -3*y**2 + 9*y - 5. Let t be i(2). Is t at most 2/87?
False
Let b(j) = j - 6. Let s = 9 - 5. Let i be b(s). Let v be (i/3)/((-1)/(-2)). Do v and -1 have the same value?
False
Suppose -l - 7 = -3*c, 4*l - 4*c + 0 = -12. Let z be l/2 - (-5)/90. Is z less than -1?
False
Suppose 4*d + 0*d = 12. Let y = 19 + -15. Suppose -y*z = 5*b - 0*z - 10, -4*b + 8 = z. Which is bigger: b or d?
d
Let l = 1 + -1. Let o = -547/15 - -110/3. Which is smaller: l or o?
l
Let h be (2/(-2))/(10/(-84)). Let n = 8 - h. Let q = 0.7 + -0.7. Which is bigger: q or n?
q
Let g(y) = -y**2 - 9*y + 14. Let z be g(-10). Suppose -3 - 5 = -z*d. Are d and 1 nonequal?
True
Let g = 43 - 130/3. Let s = 5 - 4.6. Let t = 0.2 - s. Which is greater: t or g?
t
Let m be (-3 - -5)/(0 + (-16)/(-2)). Which is smaller: -0.45 or m?
-0.45
Suppose l - 72 = 4*l. Do l and -24 have the same value?
True
Let n(l) = l**3 - 5*l**2 + 2. Let v be n(5). Let x be v + -1 + 1 + 1. Suppose -2*s = -1 + x. Which is bigger: s or 2/9?
2/9
Let a be (-4)/30 - (2 + -2). Let o = -15 + 14.92. Let c = o - -1.08. Which is bigger: c or a?
c
Let f be 2 - ((-15)/7)/(-1). Suppose -2*g - 2*g - q - 47 = 0, -4*q + 16 = -g. Let o be 4/g*1*3. Which is greater: o or f?
f
Let q = 10 + -9. Let d be 4*(2 + 2/(-8)). S