 b be 666/(-10) - (-4)/(-10). Let s = 332 - 400. Which is smaller: b or s?
s
Let y = 4903 - 34313/7. Which is smaller: y or 330?
y
Let j be 0 + 1 + -4 + (-1758)/(-6). Suppose 2*r - 5*s = 155, 4*s = -4*r + r + j. Let x be (20/r - (-110)/234) + -1. Is x less than or equal to 0?
True
Let q be ((-2)/(-4) - 3/6) + 4. Suppose 4 = q*m + 4*k, -4*k = m - 0*m - 7. Which is greater: m or 3/67?
3/67
Let q = 1464 - 259127/177. Is -1 >= q?
False
Let s be -6 + 2 + 8/48*(-2 - -44). Is s >= -396?
True
Let i(n) = 9*n**3 - n. Let o = -38 - -39. Let j be i(o). Suppose -5 = j*u + 3. Which is greater: u or -2/39?
-2/39
Let d = 396 - 413. Suppose -4*n - n - 3*b = -213, 2*n + 4*b = 88. Let v = n + d. Is v bigger than 24?
True
Let v = 3157 + -3156.2. Let i = -7.7 + 7. Let d = i - -1. Is d bigger than v?
False
Suppose -s + 2 = -z, 762 = -4*z - 4*s + 770. Which is smaller: 74/261 or z?
z
Let q be (-1 - 1)*(-41 - -40). Suppose 0 = w + q*n - 16, 4*n = w + 8*n - 26. Which is bigger: w or 26/5?
w
Let o = 101.1 - 31.1. Let r = 18 - 18. Are o and r equal?
False
Suppose 0 = -5*g - r + 54, -1 = -2*g + 3*r + 7. Suppose 11*f - 4*l - 16 = 7*f, g = 2*f - 3*l. Which is greater: f or 7/11?
f
Let t be 9128/(-18) + 15/135. Let a = t - -631. Which is smaller: a or 123?
123
Let q = -301 - -143. Let s = -157.1 - q. Which is smaller: 9 or s?
s
Suppose 3*h + 12 = -2*x, 0 = 4*x - 4*h + 5012 - 5028. Let r be (2 + 2428/(-1212))/2. Are x and r equal?
False
Let x be 5 + (0 + -1)*1. Suppose 0 = t + x*t + 5. Let n(b) = 7*b**3 + 95*b**2 - 43*b - 49. Let d be n(-14). Which is smaller: d or t?
d
Let b be -1*-15*(8 + -4). Let t = b - 31. Let f = -0.3 - -0.4. Which is bigger: t or f?
t
Let w = 2252 + -407614/181. Suppose a + 19 = -8*f + 3*f, 0 = 2*a + 4*f + 14. Which is smaller: w or a?
w
Suppose 2*r = -o + 21, -28*r = -4*o - 25*r + 84. Is 236/11 < o?
False
Let y(z) = z**3 - 3*z**2 - 20*z + 13. Let o be y(6). Let s be (-2)/(-138)*(-5 + 68/10). Is s bigger than o?
False
Let q be (0 - -2) + 6/3. Let h be 40/28 - (-15912)/4914. Which is bigger: h or q?
h
Suppose -q - 8*h + 8 = -3*h, 2*q - 5*h = 1. Let a(b) = 47*b + 38. Let t be a(q). Is 179 smaller than t?
False
Suppose -5*t = -y + 5 + 7, 0 = 3*y - 5*t - 16. Suppose 132*c = 143*c - 451. Which is smaller: c or y?
y
Let a = -2443 - -2445. Which is bigger: 147/4 or a?
147/4
Let b(c) = -6*c + 99. Let x(q) = -3*q + 50. Let w(p) = -2*b(p) + 5*x(p). Let s be w(16). Suppose 10 = 2*j + s. Is 17 greater than or equal to j?
True
Suppose -2*d = 2*g + 224, 201*g = 204*g - 5*d + 336. Is -221/2 less than or equal to g?
False
Let a be (-1920)/36*(-3)/(-2). Let i = 65 + a. Let f be (-10)/i + 8/(-9). Which is bigger: f or 0.14?
0.14
Let m be 10/(-25)*(4 - -2851). Let z = -1128 - m. Let q be 1/3 + 64/6. Is q at most z?
True
Suppose -4 = -7*p + 6*p + 3*c, 0 = -2*p - c + 15. Let n be (p/(-6) - -1)/(18/405). Which is greater: -1 or n?
-1
Suppose 81*k + 33 = -351 + 60. Let w = -9452/27 - -350. Are w and k equal?
False
Suppose 2 = k, -4*k + 7 = -z - 72. Let q be 2/8 + (-2)/(8/z). Suppose 5*r = -r + q. Are -4 and r equal?
False
Let m be (-106)/(-10) + (2*5 - (-901)/(-85)). Is -226 not equal to m?
True
Suppose 25 = 5*m, -2*s = s - 4*m - 16. Suppose -26*j - 16 = 4*n - 30*j, -2*n = -3*j + s. Is -1/21 less than n?
True
Let q be 612*(-1 + (-18)/(-15)). Let i = 118 - q. Let f(p) = -p**2 - 35*p - 151. Let n be f(-30). Which is greater: i or n?
n
Suppose -3106 = 23*r + 229. Let l = r + 81. Which is bigger: l or -66?
l
Let z(g) = g - 2*g**2 - g**2 + 3168 - 2*g**3 + g**3 - 3159. Let q be z(-3). Which is smaller: q or 9?
q
Let q = -318.347 + 318. Let f = -1.347 - q. Which is bigger: -119 or f?
f
Suppose -3*g - 2*g - 5 = 0. Let q be 6/2 - g/(10/220). Let n(b) = 2*b + 5. Let l be n(10). Is l greater than or equal to q?
True
Suppose 4*g - 80 = -12*g. Suppose -22 = -g*b + 13. Let p be b/(35/15) - (7 + -1). Which is greater: p or 1?
1
Let g = 5680 - 5680. Is -94/79 less than or equal to g?
True
Let w(q) = 237*q**2 + 2*q - 2. Let d be w(1). Let h = d - 233. Are 4 and h unequal?
False
Suppose 18*v - 146 - 52 = 0. Is 0.01 greater than v?
False
Let s(p) be the second derivative of -p**4/12 - 3*p**3 - 33*p**2/2 + p. Let f = -1059 - -1043. Let y be s(f). Which is smaller: 1/2 or y?
y
Suppose -547 = -10*y + 263. Suppose 0 = -4*h + 4*j + 60, 0 = 5*h - 4*j + 2*j - y. Is 63/4 < h?
True
Suppose -3*x - 5*v + 21 - 119 = 0, -2*x + 2*v - 44 = 0. Let k = 81 - 57. Let h = k - 47. Is x > h?
False
Let l be 305 + 370 + 2*(15/6 - 1). Which is greater: l or 0.2?
l
Let g = 16554.8 - 315.8. Is 2 bigger than g?
False
Let j(i) = -i**3 + 7*i**2 - 5*i + 1. Let o be j(5). Suppose -4 = 3*y + o. Are y and 0.03 equal?
False
Let m = 93 - 19. Suppose m = 4*p - 18. Which is greater: 25 or p?
25
Let b = 1677080/157 + -10682. Let a(x) = -x**3 + 4*x + 3. Let c be a(-1). Which is smaller: b or c?
c
Suppose 0*r - 5*r = 0. Let i = 2 - r. Let q = -0.25 - 0.75. Which is bigger: i or q?
i
Suppose 94 + 175 = 3*t - 2*y, t + 2*y - 79 = 0. Let k be (-7)/(21/t) + 1. Which is smaller: -29 or k?
-29
Let h be (12/(-2) - 3)/(48/224). Let d be (82 - -3)*h/1155. Is -3 > d?
True
Suppose -4*r = -5*b - 22, -2*b + 11 = 5*r - 0*r. Suppose -j + r = 23. Let t be -52 + 60 - (22 + 6). Are j and t equal?
True
Let c = -24618.5 - -24618. Which is smaller: c or 723/7?
c
Let n be (-361)/35 + (-24)/60. Let q = n - -771/70. Suppose 4*b + b = 5. Which is bigger: q or b?
b
Let v be (-12)/(-21) - (-1293)/(-21). Let o = 62 + v. Let y = 75 + -129. Which is bigger: y or o?
o
Let c = -457/213 + -3/142. Let i = -43/18 - c. Which is smaller: i or 0.04?
i
Let q = 0.07 + -0.17. Let i be (4 + (-22)/6)/((-2)/(-2460)). Is q at most i?
True
Let l(b) = -21*b + 1054*b**2 - 1062*b**2 - 58 - 42 - b**3. Let f be l(-7). Which is greater: 20 or f?
20
Let f = -2297724116/10353 - -221938. Let r = 24125/165648 - f. Which is smaller: -1 or r?
-1
Let q = 6126116/345 - 1876832063/92460. Let w = -2542 - q. Which is greater: w or -1?
w
Let o = -17.1 - -9.1. Let k = o - -57. Let w = k - 9. Which is smaller: -0.1 or w?
-0.1
Let k = 40805 + -40805. Which is smaller: k or 68/189?
k
Let v = 30 - -27. Suppose z = -3*z + 3*l + 63, l = -3*z + v. Let g be (-4)/z + (-665)/45. Is g > -14?
False
Suppose -4*f = -3*z + 179, -24*z + 27*z = -4*f - 173. Let n = -0.3 + 0.1. Let u = n + 0.1. Which is smaller: u or f?
f
Suppose 0 = -3*m + 2*w - 324 - 143, 0 = -3*m - 4*w - 461. Is m < -156?
False
Let z be 80/25*(-80)/(-826304). Which is smaller: -1 or z?
-1
Let o = 102/11 - 3956/429. Let g = -11298 - -11297. Which is smaller: g or o?
g
Let w = -0.43 + 0.449. Let o = 5027 - 5028.719. Let a = w + o. Which is smaller: -1 or a?
a
Let t(m) = 4*m. Let k be t(4). Suppose -2*j + 3*q + 24 = -7, 2*j + 5*q - 39 = 0. Is k not equal to j?
True
Let b(z) = 168*z - 1336. Let m be b(8). Is m < -74?
False
Let p = 1603 + -1615. Let l = 201 - 69. Let v be (l/18)/((-2)/3). Which is smaller: v or p?
p
Let a = 846 + -632. Do a and 204 have the same value?
False
Let s = 48/25 - 7006/3675. Let f(d) = -5 - 14*d - 3 - 3*d**2 - 15 + 2*d**2. Let c be f(-12). Which is smaller: c or s?
s
Suppose w = -s + 520, 13*w + 518 = 14*w + 2*s. Do w and 522 have the same value?
True
Suppose 0 = -4*z + 21 - 5. Let g be 1*7/(28/40). Suppose g = -y + z. Is y smaller than -6?
False
Let k(x) = -x**3 + 3*x**2 - x + 2. Let r be k(3). Let v be 0/2 - 1/(-5) - (-22940)/(-44950). Do v and r have different values?
True
Let q = -14 + 14. Let w(c) = -2*c**3 - c**2 - c + 24. Let p be w(q). Suppose 95*a - 99*a - p = 0. Are a and -3 equal?
False
Let c be (40/(-4) - -12)/((-4)/(-6)). Let a be 6650/35*c/5. Which is bigger: 116 or a?
116
Let a = 3748 + -3747. Is a bigger than -12/899?
True
Let y = 0.13992 + 93.86008. Let i = 0.5 - 0.6. Which is smaller: i or y?
i
Let q = -0.9 + 1. Let m = 278 + -243. Let g = m + -36.2. Which is smaller: g or q?
g
Suppose 114*g = 111*g + 6. Suppose 0 = 2*b + g*r + 26, r = b + 3*b + 57. Which is smaller: -13 or b?
b
Let t(i) = 11*i + 51. Let r(l) = -6*l - 26. Let n(x) = 9*r(x) + 4*t(x). Let q be n(6). Which is smaller: q or -91?
-91
Let h be (-10)/1*(-4)/10. Let w = 164 + -163. Let a be 1/(-1)*0*w/8. Which is greater: h or a?
h
Let o(r) = -r**3 + 6*r**2 - 5*r + 5. Let s be o(5). Suppose b = -s - 5. Let d(h) = -469*h + 3272. Let k be d(7). 