- 5 = -0*u + v, -8 = 4*v. Which is greater: u or 2?
2
Let y = -87 + 123. Let b = -178/5 + y. Suppose -5*p + 4 = -1. Which is smaller: p or b?
b
Let r(x) = x**3 - 7*x**2 + 10*x. Let m be r(5). Is 1/33 at least as big as m?
True
Let n = 0.09 - -0.01. Let t = -1.1 + n. Are -0.2 and t equal?
False
Let m = 2.71 - 0.71. Is -46 at most m?
True
Let f = -37 - -37.3. Is f less than -0.04?
False
Let h = 16/5 - 47/10. Is h at most -1/4?
True
Let m be ((-10)/70)/(2/(-14)). Which is smaller: 1/37 or m?
1/37
Let n be 1/1 + 261/(-33). Let v = n - -68/11. Let t = -75/88 - v. Which is smaller: 0 or t?
t
Let z = -2043 - -190001/93. Is z bigger than 1?
False
Let k be ((-1)/5)/((-6)/(-15)). Let b = 239 - 239.6. Is k at most as big as b?
False
Let b = 1/19 + 31/133. Which is smaller: -1/4 or b?
-1/4
Let p = 4 - -5. Let m = p + -10. Is m bigger than -4?
True
Let v be (-315)/670 + (2 - 3)/(-2). Is 0 at least v?
False
Suppose -2*w + 2*i + i + 12 = 0, -w + 2*i + 7 = 0. Suppose 1 = 4*g - w. Do 4/7 and g have the same value?
False
Let w = 0.08 + 3.92. Let n = -4.2 + w. Let d be 1/2 - 5/(-30). Does n = d?
False
Let t = 2 + -3. Let z = 3/14 + -1/2. Which is greater: t or z?
z
Let y = -9 - -14. Is y at most as big as 1/3?
False
Let k be 3 - (-1)/(2/(-8)). Let a be 10/185 - (-1 - -1). Which is smaller: a or k?
k
Let u(r) = -r**2 - 6*r - 2. Let x be u(-6). Let z = x + 2. Is z at most as big as 0?
True
Let v be 1 + (-3)/(-12) + 24/32. Which is smaller: v or 1?
1
Let i = 11878/27 - 440. Let h be 52/60 - (26/30 + -1). Is h smaller than i?
False
Let a = 7 - 10. Suppose 0 = 4*t - 4*x - 8, -x - 6 = x. Which is greater: t or a?
t
Let v(t) be the second derivative of t**3/6 + 7*t**2/2 - t. Let b be v(-6). Which is greater: -2/11 or b?
b
Let z be 4/10 - 326/20. Let f = -16 - z. Let n be (-10)/(-2) + -3 + -3. Is n at least as big as f?
False
Let f = -5 - -4. Is f at most as big as -2/7?
True
Let d be 3 - (2 - 5/(-3)). Is d at most 1?
True
Suppose 0*a - a - 3 = 0. Let h be -6*(81/(-3))/a. Let f be 4/(-18) + 42/h. Which is smaller: f or 0?
f
Suppose 0*s - 2*s + 12 = 0. Let j be (-2)/(-8) - s/(-24). Which is smaller: 1 or j?
j
Let d = 0.13 - 6.13. Let b = d - -5.4. Which is smaller: 0.2 or b?
b
Let x = -23 + 20. Let f = 2.3 - 2.9. Which is smaller: f or x?
x
Let t(b) = b**3 + 4*b**2 + 3*b + 1. Let j be t(-3). Let a be ((-3)/15)/(4/20 - 1). Which is smaller: j or a?
a
Suppose 5*d + 107 = -z, 0 = d + 2*z + 2*z + 10. Is d less than 3?
True
Let q be 39/(-11) - (-3)/1. Which is bigger: q or 0?
0
Suppose 8*d = 3*d - 25. Is d less than or equal to -5?
True
Let z(b) = -b**3 - 4*b - 2 - 7*b**2 + 1 - 2*b. Let w be z(-6). Suppose 5*s - s = 0. Is w >= s?
False
Let h = 1/3 - -7/6. Which is greater: 1 or h?
h
Let b be 38/9 + 6/(-27). Let t be (30/(-140))/((-1)/b). Let y = 1 - 1. Is y at most t?
True
Let x = -40713 + 284419/7. Let c = x + 82. Which is smaller: -1 or c?
-1
Let h(j) be the first derivative of -j**4/4 + 4*j**3/3 - 3*j**2/2 + 4. Let f be 1/2 + (-5)/(-2). Let y be h(f). Is -2 smaller than y?
True
Let x = 0.5 + -1.2. Let t = 0.8 + x. Which is smaller: t or -0.01?
-0.01
Let h = 234 - 237. Let g be -5 + 3*2/3. Is h greater than g?
False
Let c = -21 - -61. Suppose 4*g = 4*n - c, 3*n - 5*g = 30 + 6. Suppose -2*h - 5 = -n*h. Which is smaller: h or 3?
h
Suppose -8*z = -2 + 26. Are z and -15 unequal?
True
Let r(w) = -4*w - 1. Let q be r(-1). Suppose -5 = q*h + 1. Are -1/2 and h equal?
False
Let o(j) = j + 2. Let k be o(0). Let h = k - 5. Let s be 2/(-3) + 55/(-30). Which is smaller: s or h?
h
Let b = 0.57 + -0.77. Which is smaller: -1/99 or b?
b
Let w = 553 + -3862/7. Is 0 > w?
False
Let x be (-2)/2*12/(-20). Suppose -2 - 8 = -5*a. Suppose 2*d = r + 1, a*r = 3 - 1. Which is smaller: x or d?
x
Suppose -5*v + y = -42, 0 = v - 0*v - 4*y + 3. Which is bigger: v or 8?
v
Let t = 12 + -4. Let p be ((-11)/22)/((2/2)/(-18)). Which is greater: t or p?
p
Suppose -2*x = -x. Let f be 4 - (0 - 4 - -8). Do x and f have the same value?
True
Let h be 33/(-22)*4/14. Let a be 1 + (4/(-2) - -1). Suppose -3*b = i - 4, 2*b + i + a = 3. Which is greater: h or b?
b
Let x = -7.5 + 7. Let v = x - -0.49. Let l = v + -0.39. Which is smaller: 2/7 or l?
l
Let p = -405 - -2829/7. Suppose -s - 2 = s. Which is greater: p or s?
p
Suppose -3*o + 4 + 6 = -m, 2*o + 4*m = 2. Let p(s) = -3*s - 6. Let t be p(o). Is t <= -14?
True
Let a = -18 - -35. Let k = a + -19. Which is bigger: -4 or k?
k
Suppose 5*m = h - 0*h - 1, 0 = h + 4*m - 10. Suppose -3 = -s - h. Is s at least as big as -3?
True
Let p = -4 + -4. Let y be (-2)/(-5) + 37/(-5). Which is bigger: y or p?
y
Suppose 2*y = -2*y - 8. Let d be (-3)/y*(-10)/(-15). Suppose 3*p = d + 8. Is p > 2?
True
Suppose 0 = h + 5 - 4. Let x = -1 + 1. Let q be (h - x)*3/9. Are 1 and q non-equal?
True
Let u be (30/(-80))/((-18)/200). Is 4 != u?
True
Let z = 0.07 - 0.16. Let s = z - 1.91. Is -2 greater than s?
False
Let r(d) = -4*d. Let l be r(-2). Which is greater: 7 or l?
l
Let s = -0.1 - 0.1. Let o = s - -0.1. Let n = -11 - -12. Which is smaller: n or o?
o
Suppose 3 = 3*c, -5*c = -5*r - 10 + 25. Is 3 at most r?
True
Let i = 9 + -11. Let m be (-16)/i - (5 + -4). Which is smaller: m or 8?
m
Let h be (-3)/((-2)/(8/6)). Let c = -676/5 - -136. Is c != h?
True
Let k = -177/7 - -4765/189. Are k and -1 nonequal?
True
Let r = -6 - -4. Let q be 3/(-2) - 3/r. Which is bigger: -2/3 or q?
q
Let d = 32 + -13. Suppose 3*z = 3*p + 2*z + d, -4*p - 23 = z. Do -7 and p have the same value?
False
Let v = -56 - -55. Are v and -1/31 equal?
False
Suppose -3*a - 1 = -4. Suppose 0*y = 4*y - 32. Let d be y/10 - 2/5. Which is greater: d or a?
a
Suppose -3*f = -2*q + 29, f - 2 = -q - 0*f. Suppose -q = c + 2*l, 0*c = -5*c + 3*l + 17. Let s be 2/(-5)*c/2. Which is bigger: 0 or s?
0
Let q(u) = -u**2 + 9*u - 8. Let o be q(8). Is o less than 1?
True
Let l = -1.79 - 0.01. Let g = l - -0.8. Which is greater: g or -2?
g
Let s = -2.4 + 4.5. Let r = s + -2. Let v = 167 + -832/5. Are v and r equal?
False
Let m = -7.962 + -0.138. Which is smaller: -2/5 or m?
m
Suppose -3*m - 6 = -2*m. Which is bigger: m or 2?
2
Let r = -0.039 - 0.961. Let w(d) = d**3 + 4*d**2 + 8*d + 2*d**2 + 2*d**2 + 9. Let x be w(-7). Is x smaller than r?
False
Let n = 62 + -247/4. Let i be 2*((-6)/(-3) - 1). Suppose -3*g + i*g = 0. Is g < n?
True
Let c be 60/16*(-16)/(-6). Which is smaller: c or 13?
c
Let s be 82/(-5) - 10/(-25). Which is smaller: s or -15?
s
Let p = 221/154 - 15/14. Suppose 5*t = 5 - 10. Which is smaller: p or t?
t
Suppose -3*i + 3*b = 3, -2*i + 10 = -4*i + 4*b. Let w = i + -6. Let z be 0 - (6 - (0 - w)). Is z greater than or equal to -4?
True
Let w(l) = l**3 - 4*l**2 + 3*l + 2. Let j be w(3). Which is greater: 0 or j?
j
Suppose 1 = 8*x - 9*x. Which is greater: -1/4 or x?
-1/4
Let f(n) = n + 2. Let q be f(2). Suppose q*y + y = -10. Which is smaller: y or -3?
-3
Let k = 64981/34648 + -2/4331. Which is smaller: 1 or k?
1
Let a be (4/3)/(1/(-6)). Let n = -5 - a. Suppose -v - 1 = -3*z - 2*v, 4*z - n*v = 10. Is z at least 1?
True
Suppose 0*o = 5*o + 25, o - 55 = -4*g. Does g = 16?
False
Let c = -0.07 - 6.93. Let a = -0.02 - -5.02. Let b = c + a. Which is greater: -1 or b?
-1
Let o be 1/(-2)*(-48)/3. Let w be (-4)/o - (1 + -3). Is w > -1/3?
True
Suppose -2*a = 4*a. Let l = -58/7 - -571/63. Let n = -17/45 + l. Which is smaller: a or n?
a
Let m be (-3176)/15*6/(-8). Let n = 160 - m. Let d(c) = c - 2. Let t be d(2). Is t less than n?
True
Suppose -2*h - 35 = -9. Is h > -9?
False
Suppose 2*b = -5*o - 11, 0*b - 3*o = 2*b + 5. Suppose 0 = 2*j - u + 2, 0*j + b*u - 4 = 5*j. Suppose -2*y - 5 + 3 = j. Is -2/5 < y?
False
Let c be 1/22*(2 + 3). Let u = c - -151/110. Is 2 greater than u?
True
Let c be (-4)/(4/(-3)) - (22 + 10). Is -28 less than c?
False
Let z be (-28)/(-12) + 2 - 4. Is -1 > z?
False
Let o be (1 - 6)*16/20. Let t be 1/(-1 - o/5). Is -5 less than or equal to t?
True
Let b = -14 - -10. Let l = -1.01 - -0.01. Which is bigger: b or l?
l
Suppose -11 = -3*s + 4. Let u be s*(-1 - 14/(-10)). Which is bigger: u or 3?
3
Let w be (2/(-6))/(2/6). Which is smaller: w or 0.9?
w
Let m be (-2*(-9)/(-48))/((-7)/56). Suppose 3*x - 2 = 2*x. Let z be ((-10)/(-6))/(x/3). Is m <= z?
False
Let g(v) = -v**3 + v**2 - v. Let j be g(1). Let r be 1*2/(-1)*j. Suppose -12 = r*q + 