6/906). Let c = -1/143 - v. Is -2 greater than or equal to c?
False
Suppose 404*b - 410*b - 1692 = 0. Which is greater: -281 or b?
-281
Let o(u) = u**2 + u. Suppose 20*z = 22*z. Let s be o(z). Which is smaller: 6/17 or s?
s
Let r = 0.4 + 3.6. Let h = r - 3.9. Is h bigger than -9?
True
Suppose -2*x + 10 = -32. Let o = 20.17 + -20.27. Which is smaller: x or o?
o
Let j(r) = -r - 3. Let w be j(-8). Suppose v - 5*v - 3*n = -11, w = n. Let y = 98 - 781/8. Is y at most as big as v?
False
Let u = 2943/14 + -210. Which is greater: 1 or u?
1
Suppose t + 3*b = 7*b, 3*b = -t. Which is greater: t or 13/17?
13/17
Suppose 9*w - 31 = 59. Which is greater: w or 23?
23
Let c = 488 + -489. Does c = -7/65?
False
Let z(y) = -2*y + 19. Let q be z(8). Suppose 0 = -o - q - 2. Which is greater: o or -11/3?
-11/3
Let f(x) = -2*x + 20. Let g be f(10). Which is bigger: g or 5/4?
5/4
Let t = 280.5 + -279. Are t and -0.03 equal?
False
Let g = -9304 - -344272/37. Which is smaller: 1 or g?
g
Suppose -4*z + 54 = 5*z. Suppose z*q - 1 + 7 = 0. Is q < 1/50?
True
Let c(v) = -v**3 - 3*v**2 + 8*v + 4. Let x be c(-6). Let a be x/48 + (-40)/(-6). Are a and 7 equal?
False
Let z = 153/5 - 31. Suppose -2 = f - 1. Let w be 0/f + 1/5. Which is smaller: z or w?
z
Let j be -3*4/(-12) + -127. Let a be 26 - 25 - j/(-122). Are a and 2 non-equal?
True
Suppose -3*f = 3*q + 4 - 19, 0 = -2*q - 5*f + 25. Which is smaller: 2/623 or q?
q
Let d be ((-480)/(-50) - 10)/(-2 + 22). Is -2/13 greater than or equal to d?
False
Let v(k) = -k**3 - 3*k**2 + k + 2. Let a(l) = -3 + 0 - 9*l - l**2 - 2 - 6. Let y be a(-8). Let w be v(y). Is -1 at least as big as w?
True
Suppose 560 = -2*m + 562. Which is greater: m or 9/170?
m
Let q be ((-16)/120)/((-140)/21 - -7). Is q at least 3.99?
False
Let b be 226/(-8)*6 + 2/4. Is b at most as big as -511/3?
False
Let s = -26 + 24. Let j be (-2)/(-8) + 1*s/4. Is -5/3 at most as big as j?
True
Let g = -1.4 + -8.6. Let f = g - -9. Let r = -0.85 - -0.75. Is f greater than or equal to r?
False
Let u be 4 + -1 + -1 - -8. Let m be 716/(-10) + (-8)/(-40)*-2. Let v = 80 + m. Is u bigger than v?
True
Let n be (-1)/(-2 - 27/(-15)). Let t be (6/6)/((-1)/(-7)). Suppose -2*q - t = 2*h + 3*h, 3*q - h = 15. Which is bigger: q or n?
n
Suppose u - 1 = 4. Suppose 113 + 222 = -u*x. Let s be (-6)/(-8) + x/4. Is -17 at most as big as s?
True
Let w = -6 + 24. Let m be 4/24 + (-11)/w. Let j be (-4)/10 - 4/(-10). Are j and m equal?
False
Suppose 4*w = -4*j, 2*w - 35 = -3*w + 2*j. Let a be 34/(-34)*(-1 + 1)/2. Suppose a = w*h - 2*h + 21. Is h greater than -7?
False
Let a be (8/(-16))/((-2)/20). Let m be -1 + (-4)/a - -2. Suppose q = 4*q + 3. Is m bigger than q?
True
Suppose 1280 = 24*i + 8*i. Are 38 and i non-equal?
True
Let r = 43 - 29. Let m be (-5*(-3)/9)/((-10)/(-90)). Is m at least as big as r?
True
Let p = 14 + -11. Let i be (p/(24/(-44)))/2. Let r = 7 + -11. Is r not equal to i?
True
Let d be 1/(-2)*-4 + 110/(-46). Which is smaller: d or 1?
d
Let w = -501 + 4514/9. Are 1/2 and w unequal?
True
Let l(c) = c**2 - c + 1. Let v be l(1). Let m be -2 - 3/1 - (-17 + 13). Is v > m?
True
Let j = -122 + 122.57. Let b = 6.43 + j. Is -2/7 <= b?
True
Let c(y) = 2*y**2 - 54*y + 36. Let l be c(23). Are -148 and l equal?
True
Let a(j) = -j + 1. Let l be a(-1). Suppose h - l*h = 0. Suppose h = 2*y - 10, -5*y + 31 = -3*p - 0*y. Which is smaller: p or 1?
p
Suppose -4*a + 33 - 9 = 0. Let s = 2 - a. Which is smaller: -10 or s?
-10
Let m = 6.8135 + 0.1865. Which is bigger: m or -2/13?
m
Let c = 3025 - 3024.96. Let u = 11 + -78/7. Which is smaller: c or u?
u
Let x = 57 + -53. Suppose x*y - 5*u + 73 = 0, 0 = -0*y + 5*y + u + 55. Which is bigger: -9 or y?
-9
Let g(d) = -3*d**2 - 3*d - 2. Let y be g(-1). Let h be 0 - (-4)/(-4)*y/(-2). Is h bigger than 1/9?
False
Let b be 7*-1*60/(-105). Let i be (-10)/b*12/(-75). Which is bigger: 1.3 or i?
1.3
Suppose 7*a = -1210 + 839. Is a at least as big as -267/5?
True
Suppose 5*u + 4*v = 63, -2*v + 4*v = 5*u - 51. Suppose t = u + 14. Which is smaller: 24 or t?
24
Let z(q) = -q + 3. Let o be z(-7). Let g be o/(-6)*(-24)/16. Which is smaller: 0.05 or g?
0.05
Let c = 6457/40774 + -1/2146. Which is smaller: -1 or c?
-1
Suppose -2*v = -2, -5*k - 6*v = -v. Let f be (54/(-6))/(6/4). Let z = f + 6. Which is bigger: k or z?
z
Let z = 12.102 + -11.73. Which is smaller: -0.1 or z?
-0.1
Suppose 5*x = 25, 0 = 2*j + x - 3 - 0. Let z be 14031/(-49335) - 7/((-35)/3). Let r = z - 2/253. Is r smaller than j?
False
Let f(s) = -s - 5. Let v be f(-7). Let t be (v/(-4))/(7/((-98)/(-7))). Does -4 = t?
False
Let u be 4 - 6/(4 - 6). Let p(z) = -z**3 + 6*z**2 + 6*z + 10. Let d be p(u). Let a be (-1)/d*6/4. Which is smaller: a or -0.05?
a
Let t be 8442/693 + 2/(-11). Is t at least 3?
True
Let c = -454.05 + 480. Let i = c + -26. Is i less than 2/15?
True
Suppose -29*i = -c - 25*i - 4, 4*i = 2*c + 4. Let n be (-2 - 0)*(-2)/(-174). Which is smaller: c or n?
n
Suppose -3*w = 24*x - 28*x + 410, 2*x = -8. Which is greater: w or 0.5?
0.5
Let d = -914 - -1801/2. Is 2/9 at most as big as d?
False
Let g be (-4 - -6)*-277 - (9 - 10). Are -554 and g equal?
False
Let s = -16/23 + 551/759. Which is smaller: 1/3 or s?
s
Let x(z) = 2*z**2 + 3*z - 2. Let r be x(-2). Suppose 4*n + k = 30, r = n - 5*k - 7 + 10. Is n smaller than 2?
False
Let q = -415 - -422. Is q less than 20?
True
Let i(l) = l**3 + 6*l**2 + 5*l. Let p(n) = 2*n + 15. Suppose 9 = -2*t - 11. Let r be p(t). Let j be i(r). Which is greater: j or 1?
1
Let y = -71/102 + 96835/138822. Which is smaller: y or -1?
-1
Let r be ((-1)/(3/1))/((-1084)/(-24)). Which is smaller: r or 0?
r
Suppose -j = 6*j - 455. Let i be ((-8)/5)/(26/j). Is -21/4 < i?
True
Suppose 8 = 2*o - 3*z - 2, -2*o - 3*z - 14 = 0. Let c(f) = 5*f**2. Let l be c(o). Suppose l*p + 27 = 7. Which is smaller: p or -2?
p
Suppose -49 = 3*k + 437. Let j be ((-9)/k)/(0 - 1). Suppose 4*t = 4*g + 4, 2*g = g - 2. Which is smaller: t or j?
t
Suppose -2*a + 2 = -72. Are a and 35 nonequal?
True
Let m = -6 + -22. Suppose -w = 3*c - 42, -c = -4*w - 48 + 268. Let q be ((-6)/w)/(1/(-6)). Which is bigger: q or m?
q
Let j = 21.4 + 7.6. Let h = j + -27. Which is greater: h or 2/9?
h
Suppose -1236 + 52 = 8*b. Which is greater: b or -146?
-146
Let x = -6 - -10. Suppose 12 = 4*z - 3*i, -4*z + x*i + 15 = z. Suppose 6 + 9 = -z*n, 5*n = -4*f - 29. Which is bigger: f or -3?
f
Let s = 11 - 15. Suppose 0 = -3*f - 0*f + 9. Suppose a = f*a. Which is smaller: a or s?
s
Let i(r) = -r - 3. Let p be i(0). Let n = 35 - 34.31. Let h = n - 0.39. Which is greater: p or h?
h
Suppose r + 20 = p, p - 6 = -2. Which is smaller: r or 7?
r
Let g = 501 - 552. Which is smaller: 5 or g?
g
Suppose 102 = -4*s + 2*s. Let n be (-7 - -8)*2/((-6)/s). Which is smaller: -1 or n?
-1
Let m = 156 + -139. Let z = 1.9 - 25.9. Let a = m + z. Which is smaller: -2/7 or a?
a
Let u = 36 + -33. Suppose 2*n + 8 = 0, u*c + 5*n - 2*n = -3. Is 13/6 < c?
True
Let s = -490 + 502. Is 4 <= s?
True
Let r be (-42)/(-12)*80/14. Let k = 25 - r. Which is smaller: k or 23/4?
k
Suppose f - 2*f + i + 67 = 0, f - 5*i - 47 = 0. Suppose 56 = 4*y - f. Is 32 smaller than y?
False
Let v be 42/(-105)*(-105)/49. Let a be (-1)/(-3)*30/(-35). Which is bigger: v or a?
v
Let z = 0.033 - -7.967. Let b = z + -8. Suppose 0 = 4*y + x + 65, -2*y + 4*x + 5 = -3*y. Which is smaller: b or y?
y
Suppose -5*z - 30 = 4*s, 0 = 2*s - 7*s. Let b(o) = -o**3 - 6*o**2 + o + 7. Let k be b(z). Let c = -26 - -34. Is c smaller than k?
False
Suppose v = -4*z + 183, -3*v = 4*z - 100 - 89. Let w be z/2 + (-1)/2. Suppose d + 7 = 3*x - 0, w = -5*d + 2*x. Is d <= -6?
False
Let r be 1/(-2)*1*2. Let v = 1809362/277 - 6532. Is r > v?
False
Let t(q) = q**3 + 2*q**2 - 4*q - 7. Suppose -10 = -4*v - 22. Let r be t(v). Is -0.05 > r?
True
Let k = 133675/38 + -3517. Let j = 2047 - 38907/19. Let w = j - k. Is w at least as big as -1?
False
Suppose 7*c + 50 = 92. Is -10 greater than or equal to c?
False
Let m be ((-6)/(-27) + 0)*(-1)/(-12). Are m and 1 unequal?
True
Let h(s) = -4*s + 25*s**2 + s - 15*s**2 - 8 + 2 + s**3. Let b be h(-10). Let a be ((-4)/b)/((-4)/42). Which is bigger: 3 or a?
3
Suppose 10 = -4*f - 2*w, -f + 2*f - 2 = 4*w. Let v be (-22)/(-77) + (1072/1778)/f. Is v not equal to -1?
True
Let u be (-4 - -10) + (94 - 2). Wh