. Let u = -1915 - -350444/183. Is y <= u?
False
Let n be (12114509/(-55))/(804/(-25)) + 2. Let j = n - 6851. Is j greater than 0?
False
Let y(j) = -j**2 - 6*j + 44. Let d be y(-10). Suppose d*g = -20, -3*g - 53 = 4*r + 6. Which is smaller: -12 or r?
-12
Let a = 306 - 307. Which is smaller: -5/872 or a?
a
Let a = 18 - 16. Suppose -3*f = 2*f + 4*q - 14, -a = -f - q. Suppose 0 = f*s - 10*s. Which is greater: -6/13 or s?
s
Let f(x) = x**3 - 6*x**2. Let w be f(6). Let u be 0 + 6/(-183) + w. Let y = 18321 + -18322. Are u and y equal?
False
Let b be 3 - (7 + -16 + 123). Let l be 3/(-12) + (-3)/((-684)/b). Let g(a) = a**2 + 3*a - 4. Let t be g(-4). Do l and t have different values?
True
Suppose 37*g - 11*g - 19*g - 27244 = 0. Which is bigger: g or 3890?
g
Suppose 3*g = 2*g - 2*b + 46, 3*g = 5*b + 171. Suppose 5*l + 158 = -5*q + 558, 0 = -5*l - 4*q + 403. Let y = l - g. Which is smaller: 30 or y?
30
Let d(q) = q**3 + 19*q**2 + 16*q + 312. Let o be d(-19). Which is bigger: o or 418/63?
o
Let g = 25 - -55. Let n = -2.2764 + 0.2764. Which is smaller: g or n?
n
Let p = 7377 - 7055. Which is smaller: 2 or p?
2
Let u = 22/1907 - -213386/17163. Which is greater: -1.2 or u?
u
Suppose -14 = -d - 5. Let p be 2/(-44) - (9 - d). Let t = p - 7/88. Is t != 0?
True
Let n = -1/66 - -3/77. Let o(w) = -w + 11. Let v be o(11). Which is smaller: v or n?
v
Suppose -2*q - 1 = 3*k, 6*k - 4*k + 2*q = 2. Let i be 6/(-12) + k/9. Is -1 at least i?
False
Let y = 150.5 - 150.27. Let l be 4/10 + (-2)/30. Which is greater: y or l?
l
Let l = 0 - 1. Let x = 0.765 + -0.96. Let o = x + -12.805. Which is bigger: l or o?
l
Let t = 2 - 52. Let g be ((-1275)/t)/(1*(-2)/4). Let q be (16/3)/(34/g). Which is greater: q or -0.6?
-0.6
Let u(m) be the first derivative of m**3 - 17*m**2 + 13*m - 16. Let z be u(11). Let q = z - 2/3. Is 1 at most q?
True
Let h be 92/(-161) + 5456/336 + -15. Let z be (-3)/2*64/12. Let b be (2/z)/(6/45). Is h >= b?
True
Let c = -151 - -338. Let i = c - 192. Which is greater: -9/2 or i?
-9/2
Let a = 0.189 - 0.087. Let t = -0.044 + a. Which is smaller: -0.2 or t?
-0.2
Let h = -0.075 - -0.126. Let y = h - 2.351. Let d = y + -5.7. Are -3 and d equal?
False
Let w = 106 - 100. Let h(u) = 4*u - 17. Let v be h(w). Suppose 153 = -v*y - 134. Which is smaller: -39 or y?
y
Let s = 4.36 - -0.14. Let d = s - -24.5. Let t = -19/3837 - 2539/3837. Which is greater: t or d?
d
Let z = 1223 + -434. Suppose 4*b + k = z, b + 24*k = 27*k + 207. Which is smaller: 199 or b?
b
Let a be (4/(-24)*22 + -3)*-3. Suppose -2*q - 2*q = -a. Let g be (q - (-2 + 1))/(1/3). Which is smaller: g or 17?
17
Suppose 0 = -403*g - 83222 + 2622. Which is bigger: g or 13?
13
Suppose -2*q + 932 = p, 288*p - 291*p + 6 = 0. Is q greater than or equal to 472?
False
Suppose -5*k + 7 = -18, -4*f - 5*k - 115 = 0. Let d(o) = -o**3 + 6*o**2 - 17*o + 1. Let g be d(5). Let c = g - f. Which is greater: 2/3 or c?
2/3
Let q(b) = 3*b**3 + b**2 - 2*b + 2. Let i be q(1). Suppose -3*c + 56 = 2*h, 9*c - i*c = 0. Let f = -21 + h. Is 8 > f?
True
Let j = -15/65578268 + 24166968905363/16328988732. Let s = 1480 - j. Which is smaller: s or -1?
-1
Suppose y - 4 = -3. Let n be 9 + (-510)/60 + 1/(-308)*157. Which is greater: n or y?
y
Let d be (-8866)/2015*(-2 - 18/(-10)). Let u = 8 - 6. Which is bigger: d or u?
u
Suppose 9*h + h = 30. Let o be 4/(-54)*h + 4630/(-225). Which is smaller: o or -21?
-21
Let m = -23127 - -22868. Which is bigger: m or -1809/7?
-1809/7
Let p = -170 - -170. Let i be 7 - (4 - p) - 2. Is i smaller than 20.4?
True
Let p be (5 - (0 + 2)) + (-245412)/(-852). Let c = 291 - p. Is c less than or equal to 1?
True
Let s = 1120695/346 - 3239. Suppose -19*c + 55*c = 23*c. Which is smaller: c or s?
c
Let n be 3/(-6) + (-5)/(-2). Let y = 2 - n. Let h be (-20)/(-25) + 759/(-805). Is y bigger than h?
True
Let w(h) = 361*h + 2959. Let b be w(0). Is 2957 >= b?
False
Let g(i) = -i**3 - 62*i**2 - 301*i + 89. Let c be g(-57). Which is greater: 1002 or c?
1002
Let r(v) = -15*v + 1. Let s be r(0). Let j be 132/(-28) - -7 - (s + -2). Is j at most as big as 3?
False
Suppose 5*u = -4*h - 112, 0*u + 5*u = 0. Let r be (-333)/(2 + 7) + 8. Is h equal to r?
False
Let d = -183/7 - -3540/133. Is 0.4 equal to d?
False
Let d = 29.7 - 29.629. Let g = 0.029 + d. Which is smaller: -72 or g?
-72
Let m = 1387 - 2493. Which is bigger: 1 or m?
1
Suppose -1032 = -10*c - 522. Let n be 2/3 + 15368/c. Which is bigger: 300 or n?
n
Let y(n) = -9*n + 383. Let q be y(42). Let a(x) = x**2 + 9*x - 70. Let g be a(q). Let v = 54/73 + -1236/2263. Which is bigger: v or g?
v
Let u = -5742.3 + 5453. Let x = 289 + u. Which is smaller: x or 3?
x
Let v be ((-9)/45)/(392/794). Let p = 1/196 + v. Which is smaller: p or 0?
p
Let n = 324.087 - 0.087. Let b = -390 + n. Is b < -0.3?
True
Let w(g) = 2*g + 89. Let b be w(8). Let h = 105 - b. Is h > 0?
False
Let b(z) = -z**2 - 33 - 10*z + 34 - 8*z. Let c be b(-18). Let d be (c + 0)/((-5)/80). Is -16 bigger than d?
False
Suppose -464 = 78*d - 79*d + 3*p, 0 = d - 5*p - 480. Which is greater: 448 or d?
448
Let z = -2.751 - -2.4. Let t = 0.049 - z. Is t smaller than 1/2?
True
Let p = -6052/8321 - -2513529783/407729. Let g = p + -6248. Let m = g - -84. Which is smaller: 0 or m?
m
Let o = -7915264/69 + 114717. Which is greater: 3 or o?
o
Let i be (14/3 + -4)*(-4 - 2). Let w be 14*(288/(-21))/i. Are 48 and w non-equal?
False
Let h be 1275/10 + (-3)/(-6) + -1. Let l = -124 + h. Is 4 less than or equal to l?
False
Let a = 12690 - 7981. Let b = a + -2901. Let i = -63284/35 + b. Which is smaller: i or 0?
i
Suppose -5530 - 5962 = 26*c. Let a = c - -431. Which is greater: a or -21?
a
Let l be (-22)/6 - (-4)/(-12). Suppose -20*o = -274 + 334. Which is smaller: l or o?
l
Let u(m) = -m**3 + 20*m**2 - 21*m + 33. Let z(g) = g**2 - 23*g + 44. Let f be z(21). Let k be (4/f - 0)*38/4. Let b be u(k). Which is greater: -52/9 or b?
b
Let d = 27 + -191/7. Let r = 55.002 + -0.002. Let b = r - 69. Does d = b?
False
Let d be 5/25 + 1/(3480/(-93466)). Let i = d + 80/3. Let h(y) = y**2 + 4*y - 6. Let j be h(-5). Which is smaller: i or j?
j
Let r = -199329 + 10564083/53. Is -6 <= r?
False
Suppose 853*x - 809*x - 147796 = 0. Which is bigger: x or 3358?
x
Let k(u) = -136*u + 276. Let o be k(2). Is 131/46 at least as big as o?
False
Suppose -20 = 5*r, 47 = 4*x - 2*r - 133. Let p = -40 + x. Suppose -s - j - 12 = -4, -5*s = -p*j + 56. Is -7 >= s?
True
Suppose 0*d - d + 1 = 0, 0 = -5*w - 3*d - 522. Let t = w + 3253/31. Let o = -1 + 1. Which is bigger: t or o?
o
Suppose -34 = -g - 34. Suppose -3*i - 34*o + 39*o - 225 = g, 2*i + 2*o + 134 = 0. Is i less than -70?
False
Let i(q) = 38*q + 2406. Let a be i(-63). Which is smaller: 46 or a?
a
Let a = -5.45 + 7.3. Let f = 1.75 - a. Is f less than 3?
True
Let v be 42 + -40 + (5 - 1). Let w be 1 + v/(-4) - (-66)/44. Is -2/59 not equal to w?
True
Let n = 1280.7 + -1220.7. Which is smaller: n or 59?
59
Let u = 18230/3 - 5872. Is 1 less than or equal to u?
True
Suppose 1732 = 5*g - 45*f + 47*f, -2*g = f - 693. Let k = -323 + g. Which is smaller: k or 27?
k
Suppose 59 = -6*l + 143. Let d be 31 - 39 - (-88)/l. Which is smaller: 2 or d?
d
Let m = 15446723739/34447 - 448420. Is m < -1?
False
Let w(y) = -2*y**2 - 10*y - 5. Let s be w(-4). Suppose -t - 2*t = 3*x - 15, s*t = 4*x + 15. Let n be (-7)/(-2 - 5) - 3/1. Is n at most as big as x?
True
Let y be 0 + ((-3)/(-5) - 2040/100). Let x(v) = -v**2 + 5*v + 4. Let h be x(-3). Is y < h?
False
Suppose -62*d = -59*d. Suppose -g - 79 + 58 = d. Is g smaller than -21?
False
Let h(w) = 2*w**2 + 47*w - 66. Let v be h(-25). Suppose 4*a - 29 = -v, -2*n - a - 9 = 0. Which is bigger: -2 or n?
-2
Suppose -8*z - 9 + 2 = -7. Which is smaller: 7/731 or z?
z
Let x = -5073 + 5045. Let l = -9 + 7. Are x and l nonequal?
True
Let k = 2.5 + 31.5. Let b = 5 + k. Let q = 38.9 - b. Which is bigger: q or 7?
7
Suppose -5*b = 4*k - 35, 2*b - k - 7 = -2*b. Let t be 1/b - (-36)/54. Let d be 93/(-96) + 2 - 1. Is t smaller than d?
False
Let t be 115/(-6) - 2/4. Suppose 30 = 2*q + 70. Let s = t - q. Which is bigger: s or -0.4?
s
Let m = -2214 - -2267. Which is smaller: 14 or m?
14
Let v be ((-200)/(-12))/(2/(-6) - -1). Suppose 5*o - v = -a, -20 = -a - 3*o - o. Suppose -4*i - 7 + 11 = a. Is i equal to -10?
False
Let x =