 than or equal to y?
True
Let w = 4 + -4.3. Let g = 0 - 0.4. Let h = g - w. Is -2 < h?
True
Let y = -0.3 + 2.3. Suppose -a + 2*a = 0. Suppose a = -2*v - 2*v. Which is smaller: v or y?
v
Let z = 113257/4452 - 7/636. Let m = z - 25. Is m greater than or equal to 0?
True
Let j(m) = m**3 + m. Let y be j(0). Which is smaller: y or 6/5?
y
Let c = -31 - -27. Is c >= -4?
True
Let m = 3.4 + -0.4. Let y = -0.6 + 0.7. Which is bigger: y or m?
m
Suppose -2*j - j = 9, 3*w = -2*j - 9. Let u be (w*1)/(12/(-48)). Is u at least 1?
True
Let j = -813 + 815. Suppose -3*f = 2*f - 20. Which is smaller: j or f?
j
Let m = -341 + 333. Let i = 0 + 1. Does i = m?
False
Let z be (6*(-3)/24)/(6/(-4)). Which is smaller: z or 2?
z
Let m = -55 - -380/7. Which is bigger: m or -1?
m
Let l(u) = -u**3 + 9*u**2 - 9*u + 9. Let j be l(8). Let a = -85 + 596/7. Which is bigger: a or j?
j
Let z = 2 - 1.7. Let v = -0.5 + z. Let g be 3/9 - (-2)/6. Is v smaller than g?
True
Let i(n) = -3*n**2 + 2*n + 1. Let h be i(-1). Let z = 2 + h. Suppose 0 = 4*s + 2*y + 10, 3*s - 2*y + 0*y = -4. Is z bigger than s?
False
Let w(n) = 19*n + 2*n**2 - 13*n - 3*n**2 - 5. Let t(b) = b**2 - 4*b + 5. Let d be t(4). Let y be w(d). Which is smaller: y or -0.2?
-0.2
Let x(r) = -r**3 - 3*r**2 + 3*r. Let n be x(-4). Let u be (6/(-3))/(n/6). Which is smaller: u or -1?
u
Let s = 100 - 108.1. Let o = s + 8. Which is smaller: o or 0.2?
o
Let h(n) = n + 3*n**2 + 0*n + 3 - n**3 - 10*n**2. Let v be h(-7). Which is smaller: -5 or v?
-5
Let r(f) be the first derivative of f**2/2 + 12*f - 3. Let d be r(-10). Let k be (6/d + 0)*-1. Are k and -3 unequal?
False
Let z be (4/3)/2*-1. Suppose -5 = 5*n - 2*k, n - 5*k = -2*k - 14. Is n <= z?
False
Let v = 11321/8 + -1411. Are v and 5 equal?
False
Let u = 10.7 + -12. Let n = u - -0.3. Let t = -0.1 + 0.2. Is n != t?
True
Let o(d) = -d**3 - 9*d**2 + 7*d - 16. Let h be o(-10). Which is smaller: 16 or h?
h
Let s = 4.282 + -0.312. Let p = -0.03 - s. Let x = -0.33 - 0.67. Are p and x equal?
False
Let z be (5/(-10))/((-1)/6). Let i be (z + -1)/(2/3). Let f be ((-1 + 1)*-1)/i. Which is smaller: 4 or f?
f
Suppose -2*d - v = -4*v + 2, 2*d + v + 2 = 0. Let j be 0 - 8/(-28)*1. Which is greater: d or j?
j
Let o be (-12)/(-10)*80/6. Let m be o/(-6)*45/(-20). Suppose 0 = -5*j + 2*r - 21, 0 = -j + m*j + 5*r. Do -2 and j have the same value?
False
Let x be (13/20)/((-5)/20). Let s = -47/20 - x. Which is smaller: s or -0.1?
-0.1
Let p be (0 - 8/14)/(62/(-527)). Is p > 5?
False
Suppose 5 = -4*p + 9*p. Let l be p + (-4)/(4/3). Let w = 0.1 - 0.1. Which is smaller: l or w?
l
Let v = 2 + 0. Suppose 4*n + 5*j - 7 = -0*j, -v*j + 8 = -n. Let i be (-9)/(-15) + (-4)/(-10). Which is greater: i or n?
i
Let s = 1/77 - -4/539. Are -1 and s unequal?
True
Let z be 1 - 2 - 18/(-6). Which is smaller: 8/3 or z?
z
Let j(x) = 2*x**2. Let q(d) = d**3 + 6*d**2 + 4*d - 6. Let b be q(-5). Let m be j(b). Suppose -h = -m + 3. Which is smaller: h or -1/3?
h
Let y(i) = i**3 + 7*i**2 + 5*i - 1. Let j be y(-6). Let z(r) = -r**2 + 4*r + 3. Let w be z(j). Let k be ((-5)/w - 2)*-2. Is k greater than -1/6?
False
Let m be 14 + 3*2/(-2). Which is greater: 9 or m?
m
Let p = -16.06 - -16. Is 0 greater than or equal to p?
True
Suppose -3*k + 2*k = -4*o + 1, -16 = -5*k - o. Let r be (-2)/4 + (3 - (-4)/(-8)). Is k < r?
False
Let p be -2 + 0 - 2349/(-1122). Let g be (-2 + (-26)/(-4))/(-51). Let f = p - g. Is -1 at most as big as f?
True
Let z(v) = -v - 1. Let a(y) = -18*y - 6. Let f(t) = -a(t) + 6*z(t). Let o be f(-1). Let q be (o/9)/(-1 + -1). Which is smaller: q or 2?
q
Suppose 13*g = 16*g - 144. Is -2/5 at most as big as g?
True
Let g(p) = -p + 1. Let s be g(2). Let a = -7.86 - 0.14. Is s at most a?
False
Let z = -110.4 - -120. Let r = z - 9. Let p = r - -0.4. Do 1 and p have the same value?
True
Suppose 140 = -0*m + 5*m. Let u be (-8)/m + (-64)/(-28). Is u smaller than 2?
False
Let g = -1.8 - 1.1. Let b = -3 - g. Let q be (0 - 0)*-1 + 8/32. Is b >= q?
False
Let y = 109/185 - 7/37. Suppose 0 = 4*o - 4*d + 4 + 4, 0 = 5*d - 15. Which is bigger: y or o?
o
Let o = -0.01 + 2.01. Let p = o - 4. Is 1 <= p?
False
Let w(j) = -7*j - 55. Let b be w(-6). Is -16 less than b?
True
Let m = 2 - 2. Let o = -0.1 - m. Is o greater than or equal to 1?
False
Let m = -4 - -4.1. Which is smaller: m or -9?
-9
Let s(m) = -20*m - 17. Let d(o) = 7*o + 6. Let y(x) = -17*d(x) - 6*s(x). Let u be y(1). Is 0 smaller than u?
True
Let q be (10 - 31)*6/(-14). Let p(a) = 7*a**2 - a. Let s be p(-1). Which is smaller: s or q?
s
Let m(n) = n**2 - 4*n + 3. Let v be m(2). Let h(a) = -a**3 + 8*a**2 - 6*a - 8. Let k be h(7). Is v at least k?
True
Suppose l + 1 = 5*z, -5*l + 3*l - 2 = -4*z. Suppose 5*t + 3*p + 8 + 9 = z, -3*t = 3*p + 15. Suppose -2*a + 6*a = -8. Which is smaller: a or t?
a
Let q = -48 + 44. Is 1 >= q?
True
Let u = -6 + 5. Let k be 1 + u - 7/(-35). Does k = 1?
False
Let m(r) = -4 - 2*r**2 + 1 - 28*r + 31*r. Let i be m(4). Is -22 < i?
False
Suppose 5*o - 130 = -0*o - 5*s, 3*s = -3. Is o at most 26?
False
Let c = 41/4 - 10. Let r = -0.05 + 2.75. Is c smaller than r?
True
Let w be -1 + 2 + -10 + 8. Let d be w + (-4)/2*-1. Which is bigger: d or -1/4?
d
Let d be 1/(-3*2/42). Which is greater: d or -22/3?
d
Let c = -77/2 + 36. Let u(d) = d**3 - 6*d**2 + 4*d + 3. Let q be u(5). Which is smaller: q or c?
c
Let v = -0.32 - 0.66. Let y = v - 0.02. Is 1/8 greater than y?
True
Let p = 0.08 + -0.38. Let g = 0.4 + -0.3. Which is bigger: p or g?
g
Let r(y) = y**2 - 3*y - 1. Let b(n) = n**3 - 2*n**2 - 2*n - 4. Let t be b(3). Let o = 4 + t. Let k be r(o). Which is greater: k or -2/9?
-2/9
Let y = -3 - -6. Suppose 2*m - y = -5. Let s = 668/5 + -134. Which is greater: m or s?
s
Suppose 3*x + 0 = -4*b - 7, -x = -3*b + 24. Let m = 12 + x. Let s be -2*(1 - 2) + -3. Which is bigger: s or m?
m
Let o = 4832/23 + -210. Let c = -12 - -16. Suppose -5*z - g = -c, -3 + 6 = -2*z - 5*g. Is o at most as big as z?
True
Let h(g) = g**3 + 4*g**2 + 2*g - 2. Let z be h(-3). Is z greater than or equal to 2/177?
True
Let t be (1 + (-20)/16)/(10/(-592)). Which is smaller: t or 15?
t
Let i = 32 + -23. Suppose 0 = -j - 2*j + i. Is j != 3?
False
Let q(z) = -z**2 + 12*z - 15. Let s be q(11). Let c be 2/s - (-5)/(-30). Let l = 0 - 1. Is l bigger than c?
False
Suppose 2*n + 5*a = -18, -4*n + a = -3*n - 5. Let v be (3 + 30)/3*2. Let i = -19 + v. Is n greater than i?
False
Let g = 7 - 1. Let h = -6.1 + g. Which is greater: h or -1?
h
Let m be 21/14*84/9. Which is smaller: m or 13?
13
Let o be 1/(-3 + 4) + -3. Suppose -a - 2*a - 10 = 2*c, -c = 5. Which is bigger: a or o?
a
Suppose 0 = -3*y + 7*y - 4. Suppose -y - 3 = -2*x. Is x <= 2?
True
Let f be 2 - ((-2 - -4) + 2). Which is smaller: f or 8?
f
Let f be (1 + -6)*3/(-3). Suppose x - f*x + 20 = 0. Suppose 4*s - 5*q - 1 = 0, -2*s - x*q - 9 + 2 = 0. Is -1 <= s?
True
Suppose 3*r = 2*a - 25, -4*a - 27 = 17*r - 12*r. Let y be ((-8)/3)/(4/12). Are r and y equal?
False
Let t = -543/8 - -68. Is t greater than 1?
False
Let y be ((-23)/46)/((-2)/236). Is 58 at least as big as y?
False
Let k(r) = 5*r + 1. Let y be k(-2). Is y > -8?
False
Let c = -214 - -84. Let x be 240/c - (1 + -3). Let d be -1 - -1 - (3 + -2). Which is greater: x or d?
x
Let n = 16 - 20. Let r be n + ((-14)/(-2) - 2). Let t(m) = m**3 + 2*m**2 + m. Let j be t(-1). Which is smaller: r or j?
j
Let j = -2258/11 + 205. Which is smaller: -1 or j?
-1
Let t = 25 + -25.2. Which is smaller: 0.07 or t?
t
Let l(i) = i**3 + 4*i**2 + 2*i - 1. Let q be l(-3). Suppose q*c - 36 = -4*m, 5*c = -m + 39 - 12. Let r be (2/(-4))/((-18)/252). Is r greater than m?
False
Let w(i) = i**2 - 6*i + 6. Let z be w(5). Which is greater: -1/19 or z?
z
Let g = 12 - 11. Is g smaller than 9/4?
True
Let v = -184140 + 18230353/99. Let n = v - 67/11. Which is greater: n or -1?
-1
Let a(c) = -c**2 + c + 2. Let s be a(2). Let d be 1/2*90/(-3). Let g be (-3)/d + (-116)/380. Do s and g have the same value?
False
Let p(v) = v + v**3 + 5 + v**2 + 5*v**2 - v**2. Suppose 0 = 3*t - 5*t - 10. Let q be p(t). Are -3 and q non-equal?
True
Let g = -4.1 - -4.3. Let i = 0.1 - 0.2. Which is bigger: g or i?
g
Let j be ((-16)/(-6))/(7/168). Is j bigger than 64?
False
Suppose -6*g - 20 = -11*g. Which is smaller: g or 6?
g
Suppose 0 = 4*x - 9*x - c + 9, 0 = -4*x 