Suppose -2*u + 4*u - 4 = n, w = -u - 3*n. Suppose -5*b + u*b - 36 = -2*a, 2*b = -4*a. Which is smaller: b or -1?
b
Let u = -106 - -109. Suppose -2*c = -u*m + 126, 5*c - 3*m - 2*m + 325 = 0. Is c > -69?
False
Let r be (-15*(-44)/12)/(2/18). Is 495 smaller than r?
False
Let s be (-2)/(-12)*(5 + (-8 - -5)). Which is bigger: -0.29 or s?
s
Let m be (-4)/(-56)*-4 + 36/28. Let y = 2 + m. Is y at least as big as 2?
True
Let q = -19 + 7. Let l be ((-104)/448)/(2/(-104)). Let s = l + q. Is 0 at least s?
False
Let n(u) = -u + 3. Let w be n(5). Let g be (-1)/w - (-7)/(-2). Let i = -110 - -105. Is g less than i?
False
Suppose 5*j - 5*i - 218 = 152, 2*j + 3*i - 138 = 0. Suppose 4*k = 4*w - j, 0 = 3*w + 2*k - 24 - 15. Is w smaller than 31/2?
True
Let l be 0 - (1 - 45)/4. Let c = -8 - -13. Suppose c*b - k = 59, -3*b - 2*b - 2*k + 47 = 0. Do b and l have different values?
False
Suppose -3*x - 32 = -3*p + 58, -75 = -2*p + 5*x. Suppose 2*a + 38 = 4*b - 6*b, -a - p = -b. Which is bigger: a or -23?
a
Let i = 9084/5 + -1817. Which is bigger: 8.2 or i?
8.2
Let g = -1981 - -2501. Is 520 less than g?
False
Let n = 5 + 34. Is 38 smaller than n?
True
Let z be (-4)/(-18) + (-20)/9. Let x be (z/(-6))/((-7)/(-21)). Let p be x*(1 + -2 + 2). Which is smaller: 3/4 or p?
3/4
Suppose -s - 5 = -11. Let n be -24 - 2*3/s. Which is greater: -23 or n?
-23
Let n = 88398863201 - 17944927062731/203. Let h = -207719 + n. Let w = 4/29 - h. Is 1 bigger than w?
True
Let o = -397 + 5553/14. Is o not equal to -1?
True
Suppose -3*k = -2*k - 3. Let o(g) = g**3 - 3*g**2 - g + 1. Let z be o(k). Let i be 4 + z + (-45)/5. Is i at most as big as -9?
False
Let n = -23 - -25. Let x = -694 + 6262/9. Which is smaller: n or x?
x
Let f be 1220/(-8) + (-8)/(-4). Let d = f + 155. Is d less than -2?
False
Suppose 2*p - 10 = 0, -4*p = 2*i - 5*p - 23. Let j be (-5)/7 + (-4)/i. Which is greater: j or 2/13?
2/13
Suppose -4*b + 2*q = -54, -6*q + q = b - 30. Let o(h) = -h + 3. Let k be o(-12). Are b and k equal?
True
Suppose -3*z + 4*z = 11. Let a(m) = -m**2 + 12*m - 5. Let c be a(z). Suppose c = -v - 5*u + 3*u, -4*v + u + 21 = 0. Which is smaller: 1 or v?
1
Let g be 11/(55/10) + (0 - 4). Let j(m) = -m**2 - 10*m + 8. Let u be j(-11). Let z be 2/u - (-150)/(-99). Which is bigger: g or z?
g
Let r = 16 + -10. Let f = -341 + 236. Let n = f + 329/3. Which is greater: r or n?
r
Let v = -186.96 - -187. Let p(i) = -i**2 - 6*i + 3. Let u be p(-6). Let b = u - 5. Is b equal to v?
False
Let q = -4/3 - -1. Let n = 22 + -233. Let u = n + 193. Is u at least as big as q?
False
Let m = -5/592 - 2/37. Suppose 86 = 109*d - 23*d. Which is smaller: m or d?
m
Let k be -89*(-2)/504 - 4/(-14). Which is bigger: k or 0?
k
Let w be 6/9 + 30/9. Let v = -127 - -132. Which is smaller: w or v?
w
Let x be ((-52)/(-12))/(1/3). Suppose -4 = 3*u - x. Suppose 5*w = -4*h - 4, u*h + h = w - 4. Which is smaller: 2/39 or w?
w
Let d = -88.037 + 88. Let z = d - -0.137. Let w = -5 - -8. Which is bigger: w or z?
w
Let c = -371 + 236. Is -135 at least as big as c?
True
Let y = 0.9 - 3.9. Let x = 4 + y. Suppose 5*a - 2*j = j + 11, 0 = -a - 2*j - 3. Are x and a nonequal?
False
Suppose 0 = -2*u - 3*u - 3*t + 19, 3 = t. Suppose -u*n + 24 = -10*n. Which is smaller: n or 3?
n
Let y = -8835/177704 - -21/458. Which is greater: y or -1?
y
Let q = 0.0273 - 0.0273. Which is bigger: -0.0888 or q?
q
Let m(f) = f**2 - 17*f - 38. Let c be m(19). Which is smaller: -52/45 or c?
-52/45
Let c be 0/(-100) + (-2)/(-20)*2. Does c = 39?
False
Let x = -23.97 - 0.03. Let a = 23.8 + x. Which is greater: a or 0.03?
0.03
Suppose 2*i + 2*p - 92 = 0, -178 = -18*i + 14*i + 2*p. Is 45 less than or equal to i?
True
Let r be (-467)/(-2142) + (1 - 1). Let v = -2054 + 488851/238. Let f = v - r. Which is smaller: 1/2 or f?
f
Let x = 22 - 16. Suppose 0 = -6*o + 3*o + x. Let r = -2/173 - -702/865. Is o at most r?
False
Let f = -40 + 41. Which is bigger: f or -17/5?
f
Suppose 4*b + 2*w - 62 = 2*b, -5*b + 179 = -3*w. Suppose 4*m + b = 26. Let j = -54/7 + 50/7. Is m less than or equal to j?
True
Let y = 2/123 + -88/369. Let h = 2.99 - 3.3. Let z = 0.21 + h. Which is smaller: z or y?
y
Suppose 4*b - 3*l = -0*b + 43, -5*l = 5. Suppose b*o - 8*o = 14. Suppose 36 = -o*u + 3*u. Are u and -9 equal?
True
Let n = 186 - 187. Is -392 > n?
False
Let c(b) = b**3 + 17*b**2 - b. Let u be c(-17). Suppose 3*t = t - z - u, 3*t + 27 = -2*z. Let k(p) = p + 1. Let i be k(-3). Which is bigger: t or i?
i
Let b(s) = s**3 - 18*s**2 - s + 19. Let o be b(18). Suppose -n + u = n - o, -2 = 2*n - 4*u. Is n less than or equal to -54/5?
False
Let z be -2*(0 + (-2)/4). Let m = -38 + 41. Let i be m + 95/(-30) - 2/36. Is i > z?
False
Let l be ((-3)/(-5))/((-242874)/2620). Is -0.1 less than or equal to l?
True
Let h = -210702 + 3156463/15. Let q = 271 + h. Let g be (2/(-4))/((-1)/2). Is q < g?
True
Let m be (-50)/12 + 4 + 1006/(-12). Let i = -234 + 149. Is i < m?
True
Let b = -12/19 - -5885/9348. Is b greater than or equal to 1?
False
Let r(b) be the second derivative of -11*b**4/12 + b**3/2 - b**2 - 2*b. Let f be r(1). Are f and -10 nonequal?
False
Suppose 4*g + 359 = 67. Let d be -3 + 2 - 6/(-18)*(-426)/2. Is d bigger than g?
True
Let k be (3 - 36)*(2 - (-1 + 2)). Suppose -35 = l - 1. Is l > k?
False
Let q = 4.105 + -0.105. Let y = 9 + -5. Let d = y - 3.8. Which is bigger: d or q?
q
Let q(x) = -x**2 + 29*x - 28. Let s be q(25). Let t be -3*(-1)/s*1. Which is smaller: -1 or t?
-1
Let z(o) = -o**3 - o**2 + o. Let q be z(0). Let v(a) = a**2 + 10*a + 13. Let g be v(-9). Let x be (-1)/2 + 5/g. Is x > q?
True
Let w = 1.25 - 14.15. Let y = w - -12.5. Is y not equal to 1?
True
Let o be (-978)/(-24)*(-16)/(-6). Let p = o - 106. Are p and 3 non-equal?
True
Suppose 0 = -w + r - 10, 5*w + 18 = -0*r - 3*r. Let q(d) = d**3 + d**2 - 4*d - 1. Let m be q(-3). Which is greater: m or w?
w
Suppose 2*g = 4*o - 3*g - 146, 2*o = -4*g + 86. Is o less than or equal to 40?
True
Let p = 0.121 - 0.268. Does p = 1?
False
Let t be (2/(-1) + 1)*-18. Let o be 468/81 + 0 + 4/t. Which is smaller: o or 9?
o
Let w be -1*(-2 - -2) + 1. Let a be (-10)/7 + 2 + (-1520)/2464. Is a greater than w?
False
Let t = -317 + 109. Is t less than -208?
False
Suppose 1 = 2*b - 5. Suppose 3 = 3*a - 7*a + 5*g, 0 = b*a + 2*g - 15. Is 0 >= a?
False
Let t = -57.94 + 58. Let q = t + 0.94. Let x = 4 + -6.5. Which is smaller: q or x?
x
Let b = -12646/16653 - 2/793. Is -2 at most as big as b?
True
Let a be (-2)/(-1 + 2/(-1)). Let n be 3/4*8/(-21). Let u = n + 20/21. Does u = a?
True
Let s = 4 + -4.2. Let f = -1.2 - s. Are f and 0.6 nonequal?
True
Let a = -62 + 64. Suppose 1 - 37 = 2*o + 2*f, 52 = -2*o + a*f. Which is smaller: -20 or o?
o
Suppose -2*h + 8213 = -5*h - t, -2*t = h + 2746. Let m be (-2)/14 + (h/42)/6. Let y be 2/1*22/(-4). Is y less than m?
False
Let k = 75.6 + -11.6. Let g = k + -64.2. Which is smaller: g or 16?
g
Suppose 7*y - 238 = 21*y. Let h be (18/(-8))/(2/16). Is y at most h?
False
Let u(k) = 4*k + 2. Let o be u(-1). Let d be (-2)/(-7) - (560/49)/o. Let q = 1.8 + -2. Do d and q have different values?
True
Let v(k) = 85*k - 731. Let u be v(7). Which is bigger: -406/3 or u?
-406/3
Suppose 3*b + 6 = -4*f, 3*b = 3*f + 1 + 14. Which is bigger: f or -39/14?
-39/14
Let b be (35/(-14))/(1/(-2)). Let u = b - 8. Let m = 5 + -7. Which is smaller: m or u?
u
Let m(s) = 37*s - 239. Let u be m(10). Which is smaller: u or -0.4?
-0.4
Let j be 4/27*3/(-22). Suppose -6*t - t = 3*t + 10. Is j at least t?
True
Let d = -137 + 139. Let p be ((-8)/6)/((-4)/(-138)). Let v = 183/4 + p. Which is smaller: d or v?
v
Suppose -d + g - 4*g = -14, -3*d - 6 = -3*g. Suppose -d*r - 6 + 2 = 0. Let h = 8 - 15. Is r at most as big as h?
False
Suppose -2*b = -3*b + 5*u - 53, -2*b - 106 = 5*u. Let s = b - -23. Let n = -6 - s. Which is bigger: n or 25?
25
Suppose -5*y = 9*m - 7*m - 275, 0 = 2*m - 3*y - 235. Which is greater: 129 or m?
129
Let n = -6 - -4. Let i = n - -3. Let r = i + -0.5. Is r < 1/3?
False
Let z = -8 + 8. Suppose -3 = -3*k, 2*r - 5*k - 1 = -z. Let f = r + -10. Do f and -1/4 have different values?
True
Suppose -28*f = 13 + 15. Which is greater: f or 1/248?
1/248
Let l be (4/(-6))/(2/9). Let o be (-77830)/33 + 1/l. Let c = o + 2357. Which is smaller: c or -3?
-3
Suppose 96 = -2*o + 5*g + 6, 