-8 or u?
u
Let h = 3 - -1. Suppose -17 = 4*g - 3*m, 0 = h*g + 5*m - 4 - 3. Let o = g - -3. Which is bigger: 1/3 or o?
o
Let n = -3 + 6. Let v = n + 0. Is -0.1 less than or equal to v?
True
Suppose -m - 4*j + 80 = m, 2*m + j - 77 = 0. Which is greater: m or 37?
m
Let d(r) be the first derivative of r**2 + 2*r + 2. Let u be d(4). Let h be (-8)/20 - 16/u. Is -1 at most as big as h?
False
Let k be (-10)/35 - ((-705)/336 - -2). Which is greater: k or 0?
0
Let h(k) = -k**3 + 3*k**2 - 5. Let a be h(4). Let x = a + 41/2. Let g = -6 - -6. Which is bigger: g or x?
g
Suppose v = 3*k - 28, v - 5*k + 72 = -2*v. Which is bigger: -20 or v?
v
Let g(c) = 2*c**2 + 1. Let t be g(-1). Suppose 0 = t*p + p - 8. Suppose p*s + 2*s = 0. Is 1/6 smaller than s?
False
Let j = -228 + 697/3. Let s = 0.72 - 0.62. Are j and s equal?
False
Let q be 4/(-14) + (-23)/(-7). Suppose 8 = -q*n - 2*i, 4*n + 2*i + 9 = i. Which is greater: -1 or n?
-1
Let g = 2/183 - 82/61. Let a be (12/(-3))/(3 + -1). Which is smaller: a or g?
a
Let k = 0.39 - 0.49. Are 9/8 and k unequal?
True
Suppose -2*g = -16 - 0. Let v be (g/(-48))/(1/(-2)). Let r = 2 - 3. Which is bigger: v or r?
v
Let u(h) = h + 7. Let v be u(-4). Do v and -3/5 have the same value?
False
Let n be 4 - (6/15 + (-10)/(-3)). Let t be 1/((1 + -2)*1). Is t greater than or equal to n?
False
Let l = 2 + -3/2. Let a(p) = p + 8. Suppose -i = -3*i - 16. Let j be a(i). Do l and j have different values?
True
Let r = 20 + -6. Let l = r - 13. Which is smaller: l or 1/6?
1/6
Let r = 121 - 128. Is 6 greater than r?
True
Let f = 1.4 + -1.5. Let k be (-3)/12 - (-340)/16. Is k at least f?
True
Let a(q) = -q**3 - 5*q**2 - 10*q + 5. Let k be a(-4). Which is smaller: 28 or k?
28
Let y = -25.1 - -25. Which is smaller: -23 or y?
-23
Let p = -7 - -5. Let r be ((-1)/(-3))/((-1)/(-21)). Let s(t) = t - 8. Let y be s(r). Which is greater: p or y?
y
Let s(f) = -2*f + 21. Let r be s(8). Which is bigger: -0.2 or r?
r
Let l(q) = q**2 - 7*q - 7. Let a be l(-1). Are -4 and a equal?
False
Let w = 31 - 14. Let z = w - 17.1. Let f = -2.02 + 0.02. Which is greater: z or f?
z
Suppose -1 - 5 = 3*w. Let j be (-20)/4*(-1)/(-1). Let l(v) = v**3 + 6*v**2 + 5*v - 3. Let c be l(j). Does w = c?
False
Let t = 28 + -73. Which is smaller: t or -44?
t
Let k be (-1)/2 - (-10)/(60/27). Which is greater: 1/13 or k?
k
Let z = 88/39 - 12/13. Which is greater: 0 or z?
z
Let f = -0.3 + -0.7. Which is bigger: f or -14?
f
Suppose 2*p + 13 = -3*z, -z + 3*p = 4*z - 10. Let w = -20/21 + 2/7. Which is greater: z or w?
w
Let f be (-4)/5 + -2 + 2. Suppose 4*s - 527 + 531 = 0. Is s not equal to f?
True
Let x(k) = -k**2 - 12*k - 11. Let p be x(-12). Is p < -10?
True
Let t = -7.4 - -3.8. Let f = -1.6 - t. Which is smaller: f or 4?
f
Let x(k) = k**3 + 1. Let t be x(0). Which is smaller: -2/33 or t?
-2/33
Suppose -u + r + 8 + 6 = 0, -3*u - 3*r = -30. Let y be (6/u)/(1/(-148)). Let p = y - -224/3. Is p > 0.2?
True
Let s be 3 + 45/6*-1. Let h = -9 - -5. Let m = s - h. Is -1 smaller than m?
True
Let w = 37 - 37. Let d be 2/(-6) - 14/(-6). Which is smaller: d or w?
w
Suppose 40 = 5*g - 3*d, -4*g + 0*g = -4*d - 40. Is 4 != g?
True
Let v = 0 + 2. Let d be (v/(-9))/(7/3). Which is smaller: -1 or d?
-1
Let i = -137 - -220. Is i less than 82?
False
Let k = -11 + 10.8. Let u = -2 + 2.4. Let a = u + k. Which is smaller: a or 1?
a
Suppose o - 4*w = 0, 3*o - 5*w = -o + 11. Suppose 0 = -o*z + 10 + 2. Suppose 3*x + 0 + z = 0. Which is smaller: 1 or x?
x
Suppose -n = n - 4. Let k be (4 + (-54)/12)*-10. Which is bigger: k or n?
k
Let p(y) = -y**3 - 6*y**2 + 6*y - 5. Let c be p(-7). Suppose -2*a + c*t = -7*a + 17, -a + 3*t = 0. Let k be (0 - 0 - -2)/1. Which is smaller: k or a?
k
Let n = -20 - -24. Is 5 != n?
True
Let t be 1/4 - (-2)/16. Suppose x + 46 = 2*f, 2*f + 3*x = -2*x + 22. Let v = 20 - f. Is t at most v?
False
Suppose -3*r = 2*k - 6*k - 24, -4*k - 40 = r. Let w be 36/k - (1 + 0). Let h be 2/(-4) + 3/(-2). Which is smaller: w or h?
w
Let a be ((-2)/2)/((-1)/(-2)). Let z be (-1)/a*4 + -2. Which is bigger: z or -3/8?
z
Let p = 0.017 + -0.017. Is 5/9 at least p?
True
Suppose -5*b = -o + 3*o + 14, 3*b = -12. Let v be (6 - 6/3)/1. Which is greater: v or o?
v
Suppose 0*p - p + 3 = 0. Let b be (-4)/(-18) + (-4)/18. Suppose -c = -3*s - s + 6, s - 2 = b. Which is smaller: p or c?
c
Let h = -2 + 6. Suppose h*g - 6 - 2 = 0. Let q(f) = -f + 1. Let o be q(0). Is o at least as big as g?
False
Let r(o) = -3*o**2 - 6 + 0 - 5*o + 6*o**2 - 4*o**2. Let z be r(-10). Let s be (-2)/8 - 30/z. Which is greater: s or 2/5?
2/5
Suppose 3*p + 3 = -3*z, -5*p = -2*z + 4 + 15. Is z at least 1?
True
Let u(z) = z**3 - z**2 + 16. Let j be u(0). Which is bigger: j or 12?
j
Let j = -1 - 2. Is 5/4 greater than j?
True
Let c = -27 - -67. Let y = -23 + c. Let z = y + -12. Is 4 less than z?
True
Let w be (2/(-2))/(19 + -18). Is w greater than 4/69?
False
Suppose -t + 6 + 2 = 5*x, -4*x + 10 = -t. Is x < 2/5?
False
Let c = -70 - -489/7. Which is smaller: c or 0.4?
c
Suppose -66 = 5*p + 219. Is -57 at most as big as p?
True
Let i = 16 - 23. Let t = -20 + 12. Is t not equal to i?
True
Let x = -0.1 + 0. Suppose 0 = 4*a - 2*k - 18, 2*a + 13 = a - 3*k. Are a and x non-equal?
True
Let c(m) = m**2 - 4. Let f be c(-2). Let h(t) = t**3 - 7*t**2 + 8*t - 8. Let o be h(6). Suppose 3 = o*g - 1. Is f equal to g?
False
Suppose -3*h + 98 = -2*b, h - 28 = 7*b - 4*b. Let j be h/6 + (-4)/6. Suppose 0*w - j*w + 15 = 0. Is w greater than or equal to -2/5?
True
Let m = -287/18 + 154/9. Which is smaller: m or -1?
-1
Let p = -133222/5 - -26774. Let n = -130 + p. Is 1 >= n?
True
Let f = -22054 + 88827/4. Let y = f + -152. Is 2 smaller than y?
False
Let n = -14.78 + 15. Let j = n - 0.12. Is j less than or equal to 5/3?
True
Let a be -2 + 1/1 - -1. Let d be 0/1 + a/1. Let r be (-72)/130 - (-38)/95. Which is smaller: r or d?
r
Let g be ((-4)/(-49))/((-6)/(-7)). Let o be 69/15 + (-4)/(-10). Suppose -2*x = 6, -j + x - 12 = o*x. Is g at most j?
False
Let w = 0.23 - 9.23. Let b = w + 8.5. Which is smaller: b or 0.1?
b
Let k = -79/2 + 40. Suppose 3*b + 0*b = -9. Does k = b?
False
Let d = 0 + -0.1. Let k be (72/20)/(-3)*(-15)/(-42). Is d greater than k?
True
Let w be ((-2)/6)/(8/(-48)). Which is smaller: 2/3 or w?
2/3
Let t = -10 - -7. Which is bigger: -2 or t?
-2
Suppose -16 + 7 = 3*t. Let k be (3/2)/((-18)/t). Let x be 9/(-6) - (-2)/4. Is x at most k?
True
Let g(z) = -z - 4. Let l be g(-3). Which is smaller: 1 or l?
l
Let w = -0.032 - -46.032. Which is greater: 1 or w?
w
Let z = 20.49 - -0.51. Let j = z - 12. Which is smaller: j or 1/3?
1/3
Let u = -0.03 - -5.03. Let j = 0.06 + -7.06. Let b = u + j. Which is smaller: -1 or b?
b
Let r(b) = b**3 - 10*b**2 + 9*b + 35. Let o be r(9). Which is greater: 33 or o?
o
Let p(i) = -i**2 + 8*i - 8. Let y = 13 - 6. Let h be p(y). Let b be ((-7)/(-14))/(h/(-2)). Is b greater than or equal to 1?
True
Let w = 4.52 + -0.32. Let k = 4 - w. Which is greater: 1 or k?
1
Let b = -3 - -1. Let r = 1.9 + b. Which is smaller: -1 or r?
-1
Suppose 0 = -5*t - 3*z - 2*z + 70, -z = 4*t - 44. Suppose -5*o + 4 = 14. Let k be -2 - o - t/(-12). Which is greater: 1 or k?
1
Let d = -21/2 - -11. Is 5 at most as big as d?
False
Let s be (-250)/(-8) + -3 + 3. Let o(j) = -31*j**2. Let w be o(-1). Let g = w + s. Is g != 2/5?
True
Suppose 5*q - 4*m = -81, 4*q - 4*m + 68 = -0*m. Let n be q/(-4) + (-2)/8. Let b be ((-1)/n)/(11/6). Which is bigger: b or -1?
b
Let i(w) = w - 2. Let u be i(2). Let t be 5*-1 - ((-14)/(-21) - 7). Which is greater: t or u?
t
Let f be 42/(-8)*7/18. Let l be (5/3)/((-48)/54). Let j = l - f. Which is bigger: j or 1?
1
Let s be -6*(15/(-6))/5. Suppose -2*u + 3*i - 8 = 0, 0*u - 3*u - s*i = -18. Is u less than 3?
True
Let m = -4.7 + 2.6. Let x = -2 - m. Which is greater: 5/7 or x?
5/7
Let h = 587/13 - 45. Suppose -2*o + 8 = 2*k, 5*k - 26 = 4*o - 6. Is h equal to o?
False
Let n = -3 + 2. Let d be 3*(0 - n)/(-1). Suppose -3*m = -c - 18, 0*c - 2*c = -4*m + 26. Is c > d?
False
Let y = 5/9 - 19/18. Which is bigger: y or 13?
13
Let p(q) = -7*q - 8. Let w(t) = -15*t - 16. Let k(r) = -9*p(r) + 4*w(r). Let n be k(-4). Which is smaller: -5 or n?
-5
Let t be 2*12*(-3)/30*-5. Is t less than 9?
False
Let c(d) = d**2 - 8*d + 10. Let j be c(8). Let p be (8/(-60))/(4