. Let j be 1 - 0 - (-96)/3. Suppose -4*y + j = -y. Which is bigger: y or q?
y
Let g = 254 - 760/3. Which is greater: g or 357?
357
Let s = 2333 - 2343. Which is smaller: s or -164/15?
-164/15
Let m(y) = y + 24. Let p be m(-23). Let z be (-3 - (-2480)/1235) + 1. Is p smaller than z?
False
Let t = 116646296 - 27411954006/235. Let a = -1584/5 - t. Which is greater: -1 or a?
a
Let q be -4 - ((-820)/(-272) - 3)*-275. Which is bigger: q or -1?
q
Let l be 14*-1*(-30)/6*1. Is l at least 73?
False
Let m = 15166/63 + -1640/7. Which is greater: m or 7?
7
Let u = -3 - -2. Let g be 3 - (504/32 - (-1)/4). Is u less than or equal to g?
False
Let m be 0/(2*1/(-2)). Suppose 3*n + n = m. Suppose 2*g + n*g = 4. Does -3 = g?
False
Suppose -5*d + 6 = -2*k, -17 = 2*k + d + 13. Let w = -15 - k. Suppose 21 = -5*b + 1. Is b > w?
False
Let m be 1 + (72/(-4))/6. Which is bigger: -11/7 or m?
-11/7
Suppose 2*y + 10 = 7*y. Suppose s - 6 = 3*d, 2*d + s + y = -3*d. Let n = 1489/5 + -299. Is d != n?
True
Suppose 2*p - 812 = -0*b + b, p + 2*b - 406 = 0. Which is smaller: 407 or p?
p
Let k = -13 - -12.1. Let j be (-2)/10 + 7/(-15). Do j and k have the same value?
False
Let i(h) be the first derivative of h**4/4 - 7*h**3/3 + 9*h**2/2 - 18*h + 82. Let o be i(6). Let k = 62/3 - 517/24. Is k greater than o?
False
Let v(l) = -2*l + 5. Suppose 4*h = -19 - 1. Let u be v(h). Suppose 3*f - 2*t - 31 = 0, -2*t = -2*f + 7 + u. Which is smaller: 10 or f?
f
Let w(j) = 3*j + 7. Let d be w(0). Suppose 85 = d*k - 2*k. Is 31/2 < k?
True
Suppose 5*q = 4*s - 26, 8 = -3*q - q. Suppose 0 = 2*w - 6, -43 = -s*y - 5*w. Is 7 <= y?
True
Let o = 67 + 10. Is o at most as big as 77?
True
Suppose 7*f + 14 - 7 = 0. Is -5/116 >= f?
True
Suppose 5*x - 3*t = 132, -2*t = 3*x - t - 82. Let d be (3/9)/((-3)/x). Is d < -4?
False
Suppose 5*f - 3 + 22 = q, -f = -4*q + 19. Suppose -q*a - 2*z + 8 = 0, -a + 2*a - z = 2. Does a = -2?
False
Let m be (-44)/(-16)*3*(-6 + 30). Is 197 equal to m?
False
Suppose 0 = 2*a + 2*a - 20. Suppose 4*v = 52 + 28. Suppose 3*b - 7*b = -v. Is b greater than or equal to a?
True
Suppose 10*y + 5*q = 14*y - 40, -3*y + q = -30. Is 9 greater than y?
False
Let y be ((-2)/(-2))/(5*7/(-175)). Which is smaller: 24 or y?
y
Let k(m) = m**2 + 5. Let w be k(0). Suppose 2*b - w*b = 2*c - 104, -4*b + 140 = 3*c. Suppose -25 = -h + 5*t, 2*t + b = 4*h - t. Which is smaller: 0 or h?
0
Let y = -112702745/113204 - -11/16172. Let v = y - -999. Is 3 < v?
True
Let z be ((-764)/28 - -1) + (-6)/(-21). Suppose -j = 0, 2*j = 2*a - 3*a - 24. Which is smaller: a or z?
z
Suppose -7*a + 1 - 127 = 0. Which is smaller: a or -37/2?
-37/2
Let r = -1646.1 - -1646. Do r and 61 have the same value?
False
Let k be 2 - 6*(-6)/(-11). Let r = -83 - -82. Is r less than or equal to k?
False
Suppose 693 = -i + 4*i. Let p = -691 + i. Let f = -1396/3 - p. Is f bigger than -4?
False
Let k = 0.5 + -0.1. Let d = k - 0.2. Suppose -9*f = 145 - 64. Do f and d have different values?
True
Let g = 0.017 + -21.017. Let s = 21.11 + g. Let c = 0.11 - s. Is c != -3?
True
Suppose -159 = -3*g + 51. Let k be (-19523)/(-280) + (-12)/(-5) + -2. Let f = k - g. Which is bigger: f or 0?
f
Suppose -22 = -5*h + 8. Let c be 0 + 4 - (h + 15). Which is greater: -35/2 or c?
c
Let y be ((-43)/(-3))/(22/(-66)). Which is smaller: y or -28?
y
Let i = 4/3 + -5/6. Which is greater: i or 0.1?
i
Let b be (3/(-4))/((-9)/6). Let d(w) = 2*w**2 - 11*w + 2. Let k be d(6). Let f(j) = -j**3 + 7*j**2 + 7*j + 9. Let a be f(k). Is a less than b?
False
Let r = 4.8 - 5. Let q = 1.8 + -2. Let n = r - q. Is n < -0.6?
False
Let b = -0.038 + 0.038. Let n = -0.02 + 0. Let f = b + n. Which is greater: 0 or f?
0
Let h = 42 - 544/13. Let r(n) = n - 3. Let z be r(4). Which is greater: z or h?
z
Let p = -12.9 + 13.1. Which is bigger: p or 9/5?
9/5
Let u = 110 + 99. Which is greater: 2/3 or u?
u
Let a = 1951 - 70243/36. Are a and -1 equal?
False
Let g = 281 + -505/2. Which is smaller: g or 28?
28
Suppose -5*m = -d - 10 + 3, 0 = 2*m - 4*d + 8. Suppose 5*w - 148 = m. Is w less than or equal to 28?
False
Let h = 0.09 + -0.166. Which is greater: -1 or h?
h
Let s = -346 - -374. Which is greater: 23 or s?
s
Let t = 9.162 + -0.162. Are t and -0.1 non-equal?
True
Suppose 5*i - 5*q - 11 = 3*i, -i = 3*q + 22. Let t be i/9 + ((-16)/(-9) - 2). Which is smaller: -3/115 or t?
t
Suppose -5*g + 270 = -4*d, 7*d = 6*d - 2*g - 74. Which is smaller: -71 or d?
-71
Let j = 25 - 20.5. Let p = j - 2.5. Are -6 and p unequal?
True
Suppose -j + 4 = 2. Suppose -j*h + 0*h = 2*a - 8, a = 4*h - 1. Suppose a*f - 14 = 5*f. Is f <= -7?
True
Let o = -7.7 - -8. Let y = -27 + 41. Let v = y - 13.9. Which is bigger: o or v?
o
Let s(l) = l**3 + 2*l**2 + l - 37. Let r be s(-6). Which is bigger: r or -184?
-184
Let w = 181 - 2351/13. Let d be 4/(-2) + 28/12. Which is greater: w or d?
d
Let p be 9 - (0 - -16)/4. Suppose 5*k - 5*u + p + 20 = 0, -13 = 2*k - 5*u. Let l be 42/(-9)*k/21. Which is smaller: 2 or l?
l
Suppose -w + 0 = -r - 4, -3*w + 4*r + 10 = 0. Let i = 37 + -37. Suppose i = -3*q - q - k + 25, 4*q = 3*k + 37. Which is bigger: w or q?
q
Let h be 45/(-6)*8/(-4210). Let o = 1100/18103 - h. Is 0 < o?
True
Suppose -3*c + 4 = -s, 3*c + 2 = 4*c. Let t be -3 - (-8)/2 - s. Do 1/25 and t have the same value?
False
Let b = 110 - 96. Is 6 >= b?
False
Let f be 3 - 1 - (-6 - (-7732)/966). Is -1 greater than or equal to f?
False
Let n = 1396 - 1396.04. Which is greater: 6/5 or n?
6/5
Let g(z) = 2*z**3 - 10*z**2 - z + 1. Let r be g(5). Let p be r/10 + -1*(-24)/30. Let d = -4.1 - -0.1. Which is greater: d or p?
p
Let h = -2/815977 + -1867771327/10607701. Let c = -175 - h. Which is greater: -1 or c?
c
Let w = 2106 + -448577/213. Which is greater: 1 or w?
1
Let n be 22/24 + 2/(-3). Let t be 900/(-1500) - 62/(-70). Is t at most as big as n?
False
Let u = 6 - 15. Let f(j) = j**3 + 9*j**2 + j + 5. Let d be f(u). Let z be 38/(-372) + d/(-24). Which is smaller: z or 0?
0
Suppose -3*l + 3*b + 71 = -b, b = -2. Let u be 6/28*2 + (-9)/l. Which is smaller: u or -4/11?
-4/11
Let y be (-30)/(-12)*(2 - 0). Suppose 4*n + n + y = -4*w, 3*n - 2*w + 3 = 0. Are n and 3 unequal?
True
Let v = 30 + -48. Which is smaller: -17 or v?
v
Let m = 0.17 - 62.17. Is 2 bigger than m?
True
Suppose y = 2*y - 15. Let g = y - 13. Let q be 0/(0 + g/(-2)). Is 4/5 bigger than q?
True
Let p = 13.4 + -13.3. Which is greater: -144 or p?
p
Suppose 11*x - 15*x = 2*q + 10, -5*x - 5 = q. Which is greater: x or 6/127?
6/127
Let y(o) = -3*o - 21. Let z be y(-8). Suppose 0 = z*m - 0*m + f, -2*m + 2*f = 8. Is m != -3/58?
True
Let t be (-30)/(-8)*(-8)/(-3). Let c(z) = 2*z - 24. Let s be c(9). Let b be 2/s - (-2)/6. Which is smaller: t or b?
b
Let i = 1422.411 + -1.411. Which is smaller: -0.1 or i?
-0.1
Let p = 2633/6 - 439. Is p less than 16?
True
Let d be 3 + (7 + 0)*-5. Let m be 2/10 + d/60. Let s = -2 + 2.7. Which is smaller: m or s?
m
Let y = -353 - -38478/109. Which is smaller: y or 0?
0
Suppose -y = 8*y - 36. Suppose 40 = -y*d + 20. Is d less than -5?
False
Suppose -4*w - x - 316 = 0, -3*w - 53 = -5*x + 184. Is w bigger than -81?
True
Let x be (-2 + (-16)/(-6))*(-3)/(-2). Let d be 9/((-405)/10) - (1 - x). Which is smaller: d or -4?
-4
Let n = -54 + 72. Suppose 2*z + n = -16. Suppose 3*x = p - 45, -x + 0*x - 4*p = 28. Which is greater: x or z?
x
Let o = 881/1485 - -2/297. Let q = 103.064 + -104. Let m = q - 0.064. Is m <= o?
True
Let u(h) = -h**2 - 20*h - 49. Let c be u(-17). Which is smaller: c or 13/6?
c
Let p(i) = -i**3 + 2*i**2 + 2*i + 1. Let b be p(-2). Let o(f) = -f**2 - 11*f + 12. Suppose 5*m + 10 = -45. Let t be o(m). Which is bigger: b or t?
b
Suppose 2*f - 26 = 4*f. Let p = f + 14. Is 0.16 greater than p?
False
Let l(n) = n**3 + 7*n**2 + n + 9. Let g be l(-7). Suppose -3*z + 5*k - 3 = -z, -3*k + 9 = -g*z. Let o = 6 + z. Is o bigger than -1?
False
Suppose 3*l + 5 = -0*u + 4*u, -2*u + 13 = -5*l. Let m be (l - -6) + 147/(-47). Let i = 52/329 - m. Is i > 0?
True
Suppose -314 = -4*i + 5*o + 142, 570 = 5*i + o. Is 109 greater than or equal to i?
False
Let g be 8/(-40) - 2/(-10). Let d be -1*(8 - g) + -1. Let l = 36 - 36. Is d < l?
True
Suppose 0 = 6*r - 2*r - 924. Are r and 230 nonequal?
True
Let c(s) = -s**3 - 6*s**2 - 6*s - 4. Let b be c(-5). Let o be 11 + -1 - (0 + b). Let d be