 50 + 7 = 0. Is 43 less than or equal to i?
True
Let w = -0.23 + 0.13. Suppose -3*y = -0*y + 9. Which is bigger: y or w?
w
Let q be (-1928)/12 - (3 + -6). Let j = -160 - q. Which is smaller: -2 or j?
j
Let k = -16 + 16. Which is smaller: 8 or k?
k
Let x = 24 + -22. Let h(w) = -w**3 + w**2 + w. Let n be h(x). Which is bigger: -7 or n?
n
Let h = 487/2739 - -1/249. Let a be -2*3/(-6) - 1. Which is smaller: h or a?
a
Let f = -23 - -20. Which is greater: f or 0.3?
0.3
Let l = -1 - -2. Let r be ((-4)/6)/2*6. Let w be (-25)/(-30) + r/(-3). Is w smaller than l?
False
Let f be ((1 - 4) + 1)/((-1)/(-8)). Is -14 smaller than f?
False
Let l(a) = a - 16. Let j be l(8). Let q = 10 + j. Which is smaller: 3 or q?
q
Let p(j) = -j - 9. Let u be (14/(-4))/((-3)/(-6)). Let v be p(u). Let y = 12 + -16. Is y less than v?
True
Let y = 13 - 14. Is y bigger than 0.08?
False
Let o = 0 - 1. Let f = -6 - -8. Let j be (-5 + f)*2/(-9). Which is smaller: j or o?
o
Let q be (-3)/(-3 + 189/60). Let y(m) = 3*m**3 + m**2 + m + 1. Let b be y(-2). Is q not equal to b?
True
Let i be ((-6)/(-15))/(2/70). Let h = i + -15. Which is smaller: h or 1?
h
Let r = -6/193 - 899/2123. Do 0 and r have different values?
True
Let l = 9 - 8. Is l at most as big as 2?
True
Suppose -109*q - 90 = -104*q. Is -19 bigger than q?
False
Let h(z) = -z**2 - 6*z - 4. Let n be h(7). Let d = 759/8 + n. Let r(y) = y**2 + 5*y + 1. Let w be r(-5). Is w less than d?
False
Let d = -235 - -154. Let l be -2*(d/(-6) + -2). Let w = l - -68/3. Is -1 equal to w?
False
Suppose 3*w + 3 = 33. Let f(r) = r**2 - 11*r + 9. Let d be f(w). Is 0 less than d?
False
Let p = 4 - 2. Suppose -3*u + u + 12 = 4*o, p*o - 10 = -2*u. Is o < 0?
False
Let g = 41/114 - 1/38. Let n = 4 - 4. Suppose 2*c + n*c - 2 = 0. Which is smaller: c or g?
g
Let g = 188 + -187. Which is smaller: g or -2/83?
-2/83
Let g = 6 - 5.9. Let z = -1 + 1. Is z greater than or equal to g?
False
Suppose 5*l = 32 + 38. Are 12 and l non-equal?
True
Suppose -17 = 4*r - 17. Which is bigger: 3 or r?
3
Let o be (-2884)/714 - 4/(-1). Which is bigger: o or -1?
o
Let v = -332980 + 132858934/399. Let p = v - 4/57. Which is greater: p or -2?
p
Let n be ((-6)/(-2) - -6)*1. Is n greater than or equal to 11?
False
Let c(l) = l**2 + 8*l - 7. Let w be c(-8). Which is smaller: w or -9?
-9
Let g = -26 + 28. Suppose -n = g - 10. Is n smaller than 8?
False
Let b = -9 - 0. Let p = 7 + b. Which is bigger: p or -1?
-1
Let r(v) = v**3 - 6*v**2 + 2*v - 8. Let l be r(6). Let s = 914/3 - 302. Which is smaller: s or l?
s
Let a = -9 - -17. Let y = a - -1. Let j be (2/(-3))/(6/y). Is 1 at most j?
False
Let x = 5 - 2. Let k(l) = l + 7. Let b be k(-5). Suppose o = -3*o - b*p + 30, 10 = -o + 3*p. Is x smaller than o?
True
Let n = 3 - 5. Let v be 2/n + 1/(-3). Which is smaller: 1 or v?
v
Let c be (-2)/(-8) - 3/(-4). Let y(g) = -g**2 - 8*g - 5. Let x be y(-7). Is x less than or equal to c?
False
Let o(h) = -h - 1. Let z be o(-1). Suppose -110 = 5*a - w, -3*w - 21 + 99 = -3*a. Let s be z - (-6)/a - 0. Is s > -0.1?
False
Let k = 19 - 35. Let f = k - -9. Is 2/11 smaller than f?
False
Let n(q) = q**2 - 3*q + 1. Let t be n(2). Which is smaller: t or 2/15?
t
Let c(n) = n**3 + 4*n**2 - 4*n + 7. Let j be c(-5). Let d be -5 + j*(-2)/(-4). Suppose -16 = 3*m + m. Is d < m?
False
Let t be 1/2*(14 - 4). Suppose -t*p + 16 = -14. Let x = -5 + p. Which is smaller: 0 or x?
0
Suppose 0*a + v = -2*a - 69, -4*a + 2*v - 118 = 0. Let h = a - -14. Let x be (-12)/h*(-3)/(-2). Which is greater: x or 1/6?
x
Let l = 11 + -11. Which is smaller: l or -0.35?
-0.35
Let i be -1 + (-3)/(-3)*0. Let n(k) = -k**2 - k + 8. Let p be n(0). Let w be (p/12)/((-22)/6). Is i less than or equal to w?
True
Suppose -2*m - m + 4*y = -5, 4*y - 13 = -3*m. Is m greater than 13/6?
True
Let t be 2 + 0 + 0/(-4). Suppose 0*i - 6 = -t*i. Is 3 != i?
False
Suppose -6*o = -o + 5. Let b be ((-2)/((-1)/o))/2. Let a be (4/10)/(12/(-20)). Is a greater than or equal to b?
True
Let h be 3 + 6 + -1 + -2. Let p be 28/h + (-4)/6. Suppose 5*a + 5 + 1 = -c, p*c = 4*a. Is -4/7 equal to c?
False
Let c be 3 + 1 + 1/1. Let l = -6 + c. Which is greater: l or -2/7?
-2/7
Let l = -65 + 78. Is 15 less than l?
False
Let x be 0*((-12)/(-8) + -1). Let l(q) be the first derivative of -q**2/2 + 1. Let m be l(-1). Which is smaller: m or x?
x
Let u(w) = -w**3 - 13*w**2 + 15*w + 20. Let i be u(-14). Suppose l - 2*g = -9, -g = 5*l + g - 15. Let r be (i + -7)*l/(-1). Is 1 >= r?
True
Let j(t) = t**2 + 4*t - 8. Let v be j(-6). Let d(u) = u + 2. Let l be d(-6). Let o be (2/l)/((-2)/20). Which is smaller: v or o?
v
Let x = 4 - 9. Let d(h) = -h - 4. Let o be d(x). Let b = 313/5 - 63. Which is greater: o or b?
o
Let a be (-3 - 1)*(-1)/2. Suppose -3*h + a*u = -3, 0 = 5*h - 2*u - u - 4. Which is greater: h or 2/25?
2/25
Let k = 65/473 + -2/43. Let t = -1 + 1. Is k less than t?
False
Let o be 4/3*(-3)/2. Is 16 at most o?
False
Suppose 0*m = -2*m + 4. Suppose -2*b + 3 + 3 = 0. Suppose -m*a = -b - 1. Are 2 and a equal?
True
Let q = 0.09 - -50.91. Which is greater: q or 2/3?
q
Let v = 51 - 50.8. Are v and 0.9 nonequal?
True
Let x(s) = s**2 - 22*s + 32. Let k be x(17). Which is smaller: -54 or k?
-54
Let j(k) = -2*k + 12. Let y be j(6). Which is bigger: 1 or y?
1
Let k be 1/(1 - 2) + 3. Suppose -13 = -5*d + k. Suppose d*w + 4 = -2. Which is bigger: -1 or w?
-1
Let h be -1 + 1 + 0/2. Suppose 0 = -5*p - 3*t + 112, -4*p + t - 7 + 83 = 0. Let c be (6/p)/((-6)/(-8)). Is c <= h?
False
Let r be 3 + (-3 - (-3)/(-51)). Are 0 and r equal?
False
Let f(w) = 4*w + 4. Let p be f(2). Which is greater: p or 1?
p
Let b(x) = 6*x + 35. Let o be b(-6). Which is bigger: 3/41 or o?
3/41
Let a = 97 + -96. Which is greater: a or 8/15?
a
Let c(q) = -q**3 + 8*q**2 - 6*q - 6. Let a be c(7). Suppose 9 = 5*d - a. Which is smaller: d or 8/9?
8/9
Let b be 6/(-20)*10/(-36). Let i be (-23 - -23)/(-1 + -2 + 5). Which is smaller: i or b?
i
Let y = -2.1 - -1.97. Let f = y + 0.03. Which is greater: f or 0.4?
0.4
Let d = 46 + -31. Suppose -d = -4*m + 9. Which is bigger: 5 or m?
m
Suppose -f = 2*t - 3*t + 5, 0 = -2*f - 2. Suppose -2*y = -0*y - 4. Which is greater: y or t?
t
Let n(b) = -4*b**3 + 13*b**2 - 10*b - 13. Let c(t) = 3*t**3 - 9*t**2 + 7*t + 9. Let r(q) = 7*c(q) + 5*n(q). Let z be r(-2). Which is greater: 1/7 or z?
1/7
Let o = 364 - 1106/3. Is -4 greater than or equal to o?
True
Let c be 10 - (-4 + 3)/(-1). Let w = c - 4. Which is smaller: w or 7?
w
Let z(f) = 4 - 3*f**3 + 5*f**2 + 0*f**3 + 2*f**3. Let i be z(5). Suppose -5*u = -i*j + 16, -3*j = -u - 4*u - 12. Which is greater: 1/4 or u?
1/4
Let w = -19.81 - -20. Let b = 12.9 - 13. Which is smaller: b or w?
b
Suppose -3*d + 15 = -5*s + 2*s, 4*s - 8 = -3*d. Which is smaller: d or -4?
-4
Let m be (-6 + 291/48)*1*4. Does m = 0.5?
False
Let g = 93 + -90. Which is smaller: -4 or g?
-4
Suppose 7 = t - 5*v, 3*v - 46 = -5*t - 11. Suppose 5 = -t*p - 9. Is p at least -5?
True
Let k = 2.5 - -13.5. Does -1 = k?
False
Let k = 0.3 + -0.4. Let t = k - -0.2. Let z = 137.1 - 137. Are z and t non-equal?
False
Let q = -0.86 - -0.96. Is 73 greater than q?
True
Let m be -4 - (-1*2 - -2). Let k be 3/18 + (-13)/6. Let v be m/(-3)*k/8. Is v smaller than 0?
True
Suppose 3*g - 9 = -3*p, 0*g = 5*p + 2*g - 6. Let n = -11 + 10.5. Do p and n have different values?
True
Let t = 1 + 1. Suppose 0*d + d = -t. Is d at least -2?
True
Let c(t) be the second derivative of -t**5/20 - t**4/12 + t**3/6 + t**2 - 2*t. Let f be c(-3). Let z be 2/7 - f/35. Which is smaller: z or -1?
-1
Let y(c) = c - 18. Let x be y(19). Let s be (-13)/8 - (2 - 4). Is s less than or equal to x?
True
Let s be ((-14)/(-10) - 1)/1. Suppose -5*u - 2*j + 3 + 3 = 0, 0 = -4*u - 5*j + 15. Is s bigger than u?
True
Let j = -12 - -14. Which is smaller: 3/4 or j?
3/4
Let l = 31/12 + -7/3. Let u(i) be the first derivative of -i**4/4 + 4*i**3/3 - i**2 - 2*i - 1. Let x be u(3). Which is greater: x or l?
x
Let w = 6 - 3. Let k(h) = 2*h**2 - 12*h - 13. Let l be k(7). Which is greater: w or l?
w
Suppose -2*z - 3 + 1 = 0. Suppose 2*f - 12 = a - f, 2*a = 2*f - 8. Suppose 0*g - 5*g - 5 = a. Is g at most as big as z?
True
Suppose 4*p = -i + 363, -4*p + 5*i = p - 460. Let w = -1271/14 + p. Which is smaller: w or 0?
0
Let x(g) = g**2 - 4. Let k be x(3). Let z b