0 = -3*y + c + 50, 4*y - 5*c = -2*c + 75. Let b be ((-9)/y)/3 - (-3)/(-3). Is -1 > b?
True
Let k be -7 - -2 - (58311/(-612))/19. Which is smaller: k or -1?
-1
Let c be ((-4)/8)/((-932)/(-16)). Suppose 0 = u + 3*o - 15, u + 4 = 2*o - 6. Is u less than c?
False
Suppose -5*x - 45 = -2*x. Let s be (1 + 0)*(2 + x). Which is smaller: s or -5?
s
Suppose -21 = -w + 2*g, 5*w - g - 34 - 71 = 0. Suppose b + 1 = -w. Which is bigger: -23 or b?
b
Let k(o) = o**2 - 97*o + 438. Let g be k(5). Let v(t) = -13*t + 3. Let w be v(2). Which is bigger: w or g?
g
Let m = -5615 - -1341989/239. Which is smaller: m or -1?
-1
Suppose 4*b - 72 = 3*d - 7*d, 0 = -5*b + 4*d + 63. Let t be (-6)/(-4)*(-6)/b. Let p(x) = x + 9. Let s be p(-11). Are t and s equal?
False
Suppose -5*j - 2 = -7. Which is greater: 1/47 or j?
j
Let f = -1641068/287 - -5718. Are f and 0 nonequal?
True
Suppose 9*v + 6 = -2*l + 13*v, -4*v + 11 = -3*l. Which is bigger: l or -44/7?
l
Let w = -21430/47 + 456. Suppose -4*h = -6*h - 2. Which is smaller: h or w?
h
Let s = 7739/5600 - -13/224. Is s <= 0?
False
Let v = -149 + 172.1. Which is greater: 1 or v?
v
Let b = 1357 - 9501/7. Is b smaller than 385?
True
Let h(x) = x**2 + 5*x + 2. Let d be h(-5). Suppose -d*u + u = 0. Let f be (737/57 + -13)*(-3)/2. Are f and u equal?
False
Let a = -4.1 - -11.3. Which is smaller: a or -2?
-2
Let b(t) = 2*t**3 + 17*t**2 + 23*t - 2. Let a be b(-7). Is a less than or equal to -12?
True
Let v = -30 + 28. Let h be (-22)/33 + v*40/(-114). Do h and 0 have the same value?
False
Let d be 32/(-240)*-5 - (-191)/(-3). Which is greater: d or -62?
-62
Let w(l) = 2*l**2 + 3*l + 5. Let t be w(-2). Let d be ((-6)/t)/(8/(-56)). Let i = d + -4. Which is smaller: 2/3 or i?
2/3
Suppose -3*o - 3*i = -18, 3*o = -5*i + 15 + 11. Let t be 4/(1/(-3)*(-1)/o). Is t > 24?
False
Let w(t) = t**3 - 3*t**2 - 9*t - 5. Let c be w(5). Which is bigger: -2/91 or c?
c
Let m(q) = q**2 - q + 3. Let b be m(-5). Suppose 4*r - 41 = -b. Which is smaller: r or -3?
-3
Let r(v) = -v - 7. Let g be r(-8). Let z(x) = -9*x**2 - 5*x - 4. Let j be z(-2). Is g bigger than j?
True
Let n(p) = -12*p + 113. Let f be n(16). Is f <= -77?
True
Let h(q) = q**2 - 12*q + 2. Let f be h(12). Suppose -y - 25 = -f*y. Suppose p = 5*p - 5*j + y, -5 = 3*p - j. Which is smaller: 1/2 or p?
p
Let q = 61580483/7 - 2046381002531/232617. Let l = -2/3021 - q. Does l = 0?
False
Let f = 4221 - 164629/39. Is f <= 1?
True
Let g = 215 - 214. Do -1.5 and g have the same value?
False
Let d = 2691 - 825. Is 1866 at least as big as d?
True
Let u be (6/(-2) + -1)*(-4 - -3). Let x be (-1)/u + 176/(-64). Which is greater: -13/7 or x?
-13/7
Let h(p) = p**2 - 26*p - 28. Let g be h(27). Let a be 7/(-21)*(-2)/(-22). Which is greater: a or g?
a
Let q = -29 + 26. Let s be -2*(-6 - (-2 - q)). Let i be (s/4)/((-10)/(-20)). Is i >= 7?
True
Suppose -6*s = -10*s - 4. Let z(t) = -t + 1. Let h be z(s). Suppose -h*n = 4*i - 6, -3*n + 4*i = -n + 2. Which is greater: 0 or n?
n
Let i be 187*(1/3)/(2/6). Which is greater: 183 or i?
i
Suppose -4*r + 3*d = 2403, 4*d - 2 = 2*d. Which is bigger: r or -599?
-599
Let u = 4.3 - 49.3. Let d = -42 - u. Which is smaller: 0 or d?
0
Let h(d) = d**3 - 6*d**2 - 6*d - 4. Suppose 0 = -4*v + 7 + 21. Let r be h(v). Is 3 <= r?
True
Suppose u = 2*b + 42, -2*b - 63 + 5 = -5*u. Let w = b + 25. Let l be (16/(-6))/(2/w). Is l less than or equal to -7?
True
Let q = 524 + -57641/110. Do -3/7 and q have the same value?
False
Let p(k) = k**2 - 43*k - 109. Let v be p(-3). Does v = 32?
False
Let x = 0.05 - 1.05. Let p = x - 0. Let r be (-4)/(-2) + (-96)/42. Which is smaller: p or r?
p
Suppose 3*w = 0, 0*a - 2*w = a - 34. Suppose 32*v - a*v = 0. Let g be ((-1)/(-14))/((-2)/12). Which is bigger: v or g?
v
Let m be 310/4*(-12)/15. Let n = -68 - m. Which is smaller: n or -52/7?
-52/7
Suppose 47*y - 43*y - 132 = 0. Is y bigger than 0?
True
Let a = 139 + -976/7. Let n = -5/7 - a. Is n less than -8?
False
Let p = 71 + -13. Let z = p + 7. Suppose l + z = 6*l. Which is smaller: l or 12?
12
Let r = -2713 - -13664/5. Let o = 20 - r. Suppose -2*m + 0 + 2 = 0. Is m >= o?
True
Suppose -a = 4*c - 89, -6*a = -2*a + 4*c - 368. Suppose -2*m + 121 = -a. Let y = m - 1711/16. Is 1 > y?
True
Let j = 0.07 - -0.13. Let r = j - -7.8. Let k = r - 13. Which is bigger: 2 or k?
2
Let b = 27.11 - 4.11. Is b at least as big as 1/11?
True
Suppose -254*z + 21528 = -278*z. Which is bigger: z or -896?
-896
Let g = -8.48 + 1.58. Let c = g - -7. Is 25 bigger than c?
True
Let j = 3.13 + -3.4. Let n = 0.37 + j. Is n < 5/7?
True
Let r = -162.873 - -163. Let i = -0.227 + r. Which is bigger: i or 60?
60
Let z be -8*((-2982)/(-248) - 6 - 6). Which is smaller: -1 or z?
-1
Suppose -u + 405 = 4*k - 6*u, 4*u - 117 = -k. Suppose -2*s - 2*g + 3 = -3*g, -5*g = 5. Let b be (k/(-95) + s)*1. Is 0 >= b?
True
Suppose 34*i - 1034 = 12*i. Which is bigger: i or 49?
49
Let u(n) = -23*n. Let t be u(3). Let o be t/(-63) + 4/12. Let y be -3 + 2 + 0 - -1. Is o less than or equal to y?
False
Let o be 2/117*(-1 - -4). Suppose t + 4*j + 61 = 0, -3*t - 161 = 3*j - 2*j. Let q = t + 53. Is o at least q?
True
Let h = 0.4 + 2.6. Let d = h + -6. Let j = 6.9 + -7. Which is greater: j or d?
j
Let r be 696/(-288) - 3/(-4). Is 3 <= r?
False
Let h be (12/(-15))/((-6)/(-15)). Let y = h + 2. Is y at least as big as 2/35?
False
Let m = -50 + 55. Is 6 at most as big as m?
False
Suppose 0*u = -11*u + 220. Are -2/3 and u non-equal?
True
Let i be (22 - 19)*(-4)/(-3). Suppose 0 = -x + i - 3. Is x > 0?
True
Suppose -p + 0 = -1. Let z = 59475244263/1939 + -30673152. Let i = z - 6/277. Which is smaller: i or p?
p
Let g = 1141 - 326. Let o = g - 50531/62. Is o greater than 1?
False
Let o = 30 - 301/10. Let t(d) = -d**3 + 8*d**2 - 9*d + 15. Let x be t(7). Which is smaller: x or o?
o
Let i(n) = 11*n**3 + n**2 - 1. Let v be i(-1). Let h be (-2)/v + 12/(-176)*-1. Which is smaller: 7 or h?
h
Let m = 13 - 6. Let w be 2/((-32)/4)*-40. Let v = w - m. Do 3 and v have the same value?
True
Let t(c) = c - 9. Let j = 9 + 0. Let x be t(j). Suppose -2*o - 8 + x = 0. Which is smaller: -3 or o?
o
Let n be 5/2*((-4635)/(-2))/(-15). Let a = 389 + n. Let w(m) = -m**3 + 4*m**2 - m - 2. Let q be w(2). Which is greater: a or q?
q
Let w = -1434.4 - -1435. Do w and -21 have the same value?
False
Let t(m) = m**3 - 3*m**2 + 2*m. Let o = -3 + 6. Let f be t(o). Let q(v) = 3*v**2 + 281*v + 462. Let x be q(-92). Which is smaller: f or x?
x
Let u = -2/3 + 5/12. Let o = -2.1 - 7.9. Let y = o + 10. Is u at least as big as y?
False
Let k be (-4)/(-10) + (-351)/840. Let u = k + 173/280. Suppose 8*p = 4*p. Which is smaller: p or u?
p
Suppose 0 = 7*v - 20*v - 507. Does v = -113/3?
False
Let v = -1152 + 3419/3. Let q = -16 - -3. Which is greater: q or v?
v
Let k(c) = -c**3 + 13*c**2 - 2*c - 44. Let r be k(14). Which is bigger: r or -270?
r
Suppose -5*t - 1127 = 4*h, -3*t + 3*h - 129 = 531. Which is bigger: 1 or t?
1
Let z(d) be the first derivative of d**2/2 - 3*d - 31. Suppose -n = -2*n. Let k be z(n). Is k greater than or equal to -3?
True
Let c(m) = 2*m + 3. Let p be c(-12). Suppose 2*j + 3*j - 25 = 0, -5*f + 5*j - 135 = 0. Is p > f?
True
Suppose 49*i + 60 = 19*i. Which is bigger: -3 or i?
i
Let t(d) = -3*d**2 + 2*d + 1. Let l be t(-1). Let j be (22/4)/((l - -1)/6). Which is bigger: j or -12?
j
Let f = -47 - 69. Which is smaller: f or -117?
-117
Let h be (-15*6/(-600))/((-61)/(-4)). Which is bigger: h or 1?
1
Let b = -5 - 13. Let h be -1 - 2/b*7. Suppose 0 = 4*t - 2*c + 1 - 15, 4*t + 6 = -2*c. Is t at least as big as h?
True
Let v be (-1)/5 + 8283/40590. Which is bigger: v or 1?
1
Suppose 0 = -79*b + 22*b + 57. Which is smaller: -8/151 or b?
-8/151
Suppose 25 = 5*l + 5*q, 2*q - 3 = -5*l + 7. Which is smaller: -1/6 or l?
-1/6
Suppose -3*i = -6*i - 48. Let d = i + 15. Is -7/3 at least as big as d?
False
Let u = 30.83 - -1.17. Let d = -31 + u. Which is greater: 4 or d?
4
Let v = 199 + -750. Is v greater than or equal to -550?
False
Let c(x) = -5*x**2 + x. Let s be c(1). Let d be (-30)/(-50) - s/10. Which is smaller: d or 4/17?
4/17
Suppose -7*w = -6*w + 5, -q - 2*w + 3 = 0. Is 6 at most as big as q?
True
Let j = -302/15 + 671/15. Is 26 greater than or equal to j?
True
Let i be 0 - (-3)/(78/24584). Let g be 52/39*4257/6. Let r = g 