same value?
False
Let u = -2 + -2. Let z(y) = -y + 2. Let o be z(-8). Let c = o + -15. Which is greater: u or c?
u
Let b be ((-7)/35)/(-1) + -3*1. Is b at least -2?
False
Let y be -1 + 0 + 9/7. Suppose 0 = -5*t, 2*u = u + 5*t - 1. Is u smaller than y?
True
Let f = -4 + 4. Are f and 7 equal?
False
Let r be 1 - (9/(-3) + 0). Which is smaller: 5 or r?
r
Suppose 0 = 7*j + 3*j - 120. Is j at least as big as 1?
True
Let g = -4054/55 - -1011/11. Let a = g + -18. Let u(y) = y. Let c be u(0). Is c equal to a?
False
Let s = 181/4 - 46. Let y(v) = v**2 - 11*v + 8. Let l be y(10). Is l less than s?
True
Let h = -9 + 10. Which is bigger: 0.2 or h?
h
Let w = -12.9 - -12. Let r = w - -1. Do r and 0.2 have the same value?
False
Let k = 5 - 6. Let c = 1 + k. Which is bigger: 1/2 or c?
1/2
Let m(n) = n**3 + 6*n**2 + 4*n - 4. Let v be m(-5). Let z be v + -2 + -2 - -3. Which is smaller: -1/15 or z?
-1/15
Let y = -126 - -125. Which is smaller: -4/5 or y?
y
Let p(q) be the first derivative of -q**3/3 + 6*q**2 - 13*q + 2. Let z be p(11). Let g = -1 + -1. Is z equal to g?
True
Let l(b) = 3*b - 12. Let w be l(8). Suppose 5*v = v - w. Does v = 2/5?
False
Suppose -3*q = -10 + 1. Suppose 2*r = -q*r. Let v(y) = -y + 1. Let u be v(0). Is r <= u?
True
Suppose 8*s + 2*i = 6*s - 80, 2*s = -4*i - 82. Is -39 greater than s?
False
Let z = -5.2 + -4.8. Which is bigger: z or -0.1?
-0.1
Let k = 13 - 12. Is k < 0?
False
Let w be ((-4)/(-6))/((-5)/15). Let a = w - -6. Let z be a/26 - 55/(-65). Which is smaller: 0 or z?
0
Let o = 3.01 + -3. Let b = -63 - -62.69. Let f = b + o. Which is bigger: -0.1 or f?
-0.1
Suppose 0 = 2*b - 2 + 10. Suppose -3*g = 0, -3*g - 2 = -q + 2*g. Suppose 10 - q = -2*a. Does a = b?
True
Let n = -14 - 6. Which is greater: n or -21?
n
Let d = 193 + -2510/13. Is 3 <= d?
False
Let g be (12/(-5))/((-19)/(-95)). Is -12 equal to g?
True
Let c = 65 - 12. Let i = -163/3 + c. Let b be 30/45 + 4/(-6). Which is bigger: i or b?
b
Suppose 10 = 5*s + 2*z, 21 = 5*z - 4. Let n be ((s + -1)*0)/(-2). Let k be (-2)/(-10) + (-92)/260. Is k > n?
False
Suppose -2*x - 5 = -3. Are x and -1/69 non-equal?
True
Let h = 2 + -5. Let q be -1*h/6*-2. Let b be (2/4)/q*-1. Which is smaller: 2 or b?
b
Let v = -22 - -58. Do v and 36 have the same value?
True
Let v(q) = -2*q + 6. Let t be v(7). Which is bigger: -6 or t?
-6
Let l = -0.051 + 0.151. Let h = -49 + 25. Let y be 2 - (-1)/(10/h). Is l greater than or equal to y?
True
Let o = -7 + 7. Let r = -596/17 + 3949/85. Let t = r + -632/55. Which is smaller: o or t?
t
Let x be ((-1)/(-171))/((-16)/500). Let n = x + -3/76. Let j(v) = -v**3 + 11*v**2 - v + 12. Let y be j(11). Which is bigger: y or n?
y
Let v = -0.3 - -0.2. Let y = 14 + -12. Are v and y non-equal?
True
Let q be -1 + -1*-8*1. Let p = q + -8. Let r = -1/87 - -185/957. Which is bigger: r or p?
r
Let n be 6/(-27) - (-452)/(-72). Which is smaller: n or -8?
-8
Let n be (-108)/30 - 4/(-1). Is n >= 2/15?
True
Suppose -2*a = 3*d - 6, d + 0*a = a - 3. Suppose 2*j - 3*j = d. Suppose -2*p - r + 0*r + 1 = j, -2*p - 5*r = -5. Which is bigger: 1 or p?
1
Let l be 2/(-5)*(0 + -5). Let o(v) = 7*v - 3*v**3 + 8*v**l + 2*v**3 + 2*v**3. Let s be o(-7). Which is bigger: 2 or s?
2
Let c be (0/(-2))/(-5 + 3). Suppose c = -s + 3*s. Is 6/7 < s?
False
Suppose 3*b = b - 24. Let s be (-3)/9 + 2/b. Let c = 1 + -2. Which is bigger: c or s?
s
Let r be 6/(-4)*(-4)/(-6). Let s = -3 + 2. Let w = s + -1. Which is greater: w or r?
r
Let u = 0.298 + -0.798. Let f(h) = h + 1. Let c be f(1). Are c and u nonequal?
True
Suppose 15 = -2*g + 4*f - 9*f, -5*g = -4*f - 12. Let o = -16/5 - -18/5. Which is smaller: o or g?
g
Let d = -42 - -29. Is -12 smaller than d?
False
Let h = 37/20 + 2/5. Which is smaller: h or 1?
1
Let f = -38 + 42. Is f < 3?
False
Suppose -5*n + 12 = -3*i - i, 2*i - 3*n + 8 = 0. Is i at least as big as 8/11?
True
Let g = -180/11 + 170/11. Which is bigger: -2 or g?
g
Let h = 17 + -17. Is -2/5 < h?
True
Let o be (-22)/(-33) - (-1)/(-15). Suppose 4 - 1 = 3*r. Is o less than r?
True
Let b be 4/(-14) - 53/(-63). Let o = b - 2/3. Let s be -3 + 7/(7/2). Are s and o non-equal?
True
Let x = 18 - 16.2. Let i = x - 1.9. Which is smaller: -4 or i?
-4
Let o be (0 - 3)/((-9)/6). Suppose -4*a + 2*a = o. Is a >= 4/11?
False
Suppose 5*i + 41 = 4*j, 4*j = j + 3*i + 30. Let u = 0 + j. Does u = 9?
True
Let q = -6 + 7. Let b be -1 + (0 - (q - 0)). Let t be (b/(-4))/((-3)/(-2)). Which is bigger: t or -1?
t
Let z(k) = -k**2 + 6*k - 6. Let v be z(4). Suppose -4*p + 19 = 3. Which is smaller: p or v?
v
Suppose -8 = 3*n + 7, -5*n = -3*w + 19. Let b(x) = -x + 2. Let h be b(7). Let p = h - -5. Are p and w non-equal?
True
Let p be (5/2)/((-2)/(-4)). Let u = p - 6. Which is smaller: -3 or u?
-3
Let c = 28 + -85/3. Let m = -6 + 4. Is m smaller than c?
True
Let l(i) = -i**3 + i**2 + i + 1. Let d be l(2). Let t(u) = -u**2 - u - 1. Let x be t(d). Let f = 2 + x. Is f less than -0.06?
False
Let q = -7.98 - 0.02. Which is bigger: -1 or q?
-1
Let k = 9 - 4. Let s(f) = -3*f - 1. Let b be s(-2). Is k equal to b?
True
Suppose 0*s - 3*s = 0. Is s equal to 0?
True
Let c(g) = g**2 - 22*g - 1. Let d be c(22). Do -1/57 and d have the same value?
False
Let o be (26/24 - 1)/24. Let x be -3*1 + (-1223)/(-288)*1. Let k = x + o. Does 1 = k?
False
Let u(d) = 5*d + 2 + d**2 + 0*d**2 + 0. Let i be u(-5). Let q be 1/(-1) - (-5 - -4). Is q at least as big as i?
False
Suppose -4*k = 2*l + 2, k + k = 2*l + 14. Let f(x) = -3*x**3 - x - 1. Let u be f(-1). Suppose 4*w + 10 = w + 2*a, w + 7 = -u*a. Is w < l?
False
Let a be (-4)/(-6) + 4/(-6). Which is greater: 2/45 or a?
2/45
Let t be (3 - 0) + (2 - 6). Which is smaller: t or -2/37?
t
Let v = 22 + -34. Are -12 and v unequal?
False
Suppose 0 = 3*a - 15*a - 660. Which is bigger: -1 or a?
-1
Let u = 0 - 4. Let z be (5 + u)/(2 - 1). Let c = 0.8 - 1. Which is greater: z or c?
z
Let b = 0.51 + -0.5. Suppose 0 = 38*j - 39*j - 1. Is b less than j?
False
Let n(r) = -2*r**3 - 2*r**2 - r + 2. Let s be n(-2). Let x be (s/(-10))/((-3)/(-10)). Suppose b + 4 = -0*b. Are b and x equal?
True
Let d = 14.94 + 0.06. Let j = d - 10. Which is bigger: j or 0.1?
j
Let u = 4 - 1. Suppose 6 = 2*p + p, u*c = -4*p + 23. Suppose -15 = -5*d + 5*i, c*d + 2*i = -8 - 12. Which is bigger: d or -1?
-1
Let l = 0.3 - 0.79. Let q = 0.29 + l. Is q at least -1?
True
Let k = -8 - -15. Suppose 5*q - 27 = 2*w, k*q - 5*w - 15 = 2*q. Is q greater than 7?
False
Let u be ((-183)/(-4))/((-36)/52). Let p = u + 66. Which is smaller: p or 1?
p
Let b be 2 + (-1 + 3)/2. Let r be (-1)/(2*(-3)/(-18)). Let u be b/6 + r/14. Is 1 greater than u?
True
Suppose 3*i - 3*l = l + 88, -136 = -5*i - 4*l. Let s be ((i/(-8))/(-7))/(-1). Suppose 2*j = -3*k - 10, 3*k = 2*k - 4*j - 20. Is k smaller than s?
False
Let c(b) = b**2 + 2*b. Let s be c(-2). Suppose -x + 16 = 4*n, 2*n - n + 4*x + 11 = s. Suppose n*y + 3*a = -25, -6*y + 2*y + 7 = -3*a. Is y greater than -2?
False
Let w = -2652 + 212129/80. Let p = w + 3/16. Let m be (1 - 1)*4/(-8). Which is greater: p or m?
m
Let s be -2 - -9*3/(-9). Which is greater: s or -6?
s
Let o = -90 - -122. Does 32 = o?
True
Let m = -2.9 - -2.91. Is -0.2 at least as big as m?
False
Let b be 370/(-22) - (-10)/(-55). Is -17 >= b?
True
Let w be (-3)/2*(-8)/(-6). Let x be 9/(-6) + (-1 - 0). Are w and x unequal?
True
Let m = -0.02 - 0.01. Let q = m - -0.06. Let i = q + -0.03. Is 3 bigger than i?
True
Suppose -k - 20 = -6*k. Suppose k = -t + 5*t. Is t <= -2/9?
False
Let m = 12 + -17. Let l be (1 + 3)*4/8. Let x be ((-4)/16)/((-1)/l). Which is greater: x or m?
x
Suppose -4*u - 8 = -d, -u + 3*u + 4 = -d. Let f = 3 + u. Let j be (-2 - -4)/(4 + -2). Is j bigger than f?
False
Suppose -q = 4 + 2. Let c = -7 - q. Is -1/6 >= c?
True
Let n = 17 - 24. Let x be 1 + -18 + (-5 - n). Let q = -10 - x. Is 5 > q?
False
Let b = 8582/85 - 506/5. Which is smaller: b or 0?
b
Let l = 0 + -2. Let o = -3 - l. Let n be (-16)/80 + (-3)/(-5). Is n != o?
True
Let x = 1.1 - 2.2. Let c = 1.1 + -0.1. Let t = x + c. Which is greater: t or -1?
t
Let c = 7 - 6. Is 68 >= c?
True
Suppose 4*c + 12 = -5*t - 8, -16 = 4*t. Let o(r) = 21*r. Let g be o(-6). Let h be 78/g + (-2)/(-6). Which is bigger: c or h?
c
Let t = 4/71 + -86/4047. Which is smaller: t or 1?
t
Let m = 0.5 + -3.5. Let d = -1 - m. Le