952. Are 1247 and s equal?
False
Let w be (-1116)/(-99) + -11 + (-3126)/(-154). Which is greater: -1/4 or w?
w
Let w be 153/34*6/(-45) - 37/(-70). Which is bigger: w or 448?
448
Let i = 8.999 + -7.999. Is 1936 at least i?
True
Suppose 15*j + 26*j - 223*j + 40950 = 0. Which is greater: 236 or j?
236
Let m(b) = -b**3 + b**2 + b + 1. Let i(l) = -2*l - 11. Let d be i(-5). Let t be m(d). Let h be (-5 - -2) + t + 1 + 0. Which is greater: 35 or h?
35
Let n = 387442/949473 - -2/19377. Is -1 <= n?
True
Let l = -1234.1 - -1446. Let x = 212 - l. Is 5 <= x?
False
Let j = -10 - -6. Let t be (j*(-55)/(-50))/(6/100). Let d = t + 74. Which is smaller: 2.1 or d?
d
Suppose t = 25 - 15. Let g be (-14)/((-234)/270 + 2/t). Do g and 21 have the same value?
True
Let s = 40.942 + -41. Let t = 0.024 + s. Let k = t + 0.024. Is k at least 1?
False
Let g = 168 + 47. Let q = g + -214.9. Which is bigger: 56 or q?
56
Let s = -167840 - -5112238558/30459. Is 0 at least s?
True
Suppose -2*i + 6716 = 2*m, -i = -m - 2*m + 10094. Let d be (1572/(4/(-1)))/(42/360). Let j = d + m. Are -7 and j equal?
False
Let n = 195.435 - 1.435. Is n greater than or equal to -0.13?
True
Let s = -656/17965 + 80731253/18108720. Let m = 31/7 - s. Which is smaller: 1 or m?
m
Let c be 10/(-8) + (-3 - 28469/364). Which is greater: -81 or c?
-81
Suppose -4*k - y + 1 = 0, 5 = -51*y + 56*y. Which is smaller: -71/75 or k?
-71/75
Let r = -835 + 316. Let a be (-3 - -1)/((-14)/(-21)*r). Is a at least -1?
True
Let a be 12/14*(-1470)/(-189)*-3. Let n = -139/3 + 46. Which is bigger: n or a?
n
Let g(z) = -z**3 + 4*z**2 - 4*z + 2. Let j be g(2). Suppose -4*l - 5*i = -10, -i = -j*l - 2*l - 2. Suppose 14*c - 11*c + 27 = l. Which is smaller: c or -8?
c
Let c(j) = -122*j + 2463. Let y be c(23). Which is greater: -345 or y?
y
Suppose 11*u = -718 + 707. Which is smaller: u or 1/4288?
u
Let d be -5 + 5 + 2 + 3 + -5. Let c(v) = 5*v + 40. Let a be c(d). Let m = 40 - a. Which is smaller: m or -8?
-8
Let y = -1734 + 2233.9. Let z = -500 + y. Let w = -216 - -855/4. Which is smaller: w or z?
w
Suppose -2422 = -v - 154. Let l be (v/(-96))/((-1)/4) - -4. Which is smaller: 98 or l?
98
Let y be (-4)/22 + 48/22. Suppose 53 - 71 = -y*k. Suppose -u + k*u = 3*u. Which is smaller: -9/19 or u?
-9/19
Let j be 3/(-37)*2/(-3). Suppose 10992*f = 21982*f - 10968*f. Which is greater: j or f?
j
Let r(f) = 9*f**3 - 7*f**2 - 12*f + 14. Let z be r(4). Which is smaller: z or 438?
z
Let j(m) = 20*m - 112. Let q be j(-49). Let p = q - -49142/45. Suppose 0*u - 10 = 5*u - 5*n, 0 = -2*u - 4*n + 8. Which is bigger: u or p?
p
Let f(k) = -10*k**3 - 33*k**2 + 21*k - 29. Let q be f(-4). Is -2/2657 smaller than q?
False
Let f = 115.62 + -115.82. Let m = 0.03 + 0.05. Let k = m + -0.05. Are f and k unequal?
True
Let u = 0.305 + -153.305. Let y = u + 153.2. Let c = -19.73 - -20. Which is smaller: y or c?
y
Let z(b) = b**3 + 5*b**2 + b + 7. Let d be z(-5). Suppose -49*t = -48*t + d. Let h(m) = m - 1. Let a be h(-4). Which is smaller: a or t?
a
Let m = -5134/5 + 1027. Which is smaller: m or 2/2417?
2/2417
Let x = 427 + -1007. Let b = x + 355. Is -225 >= b?
True
Let v(f) = -52*f + 42. Let s(u) = u - 16. Let t be s(19). Let o be v(t). Is o greater than or equal to -113?
False
Let t = -0.01492 - -1.01492. Is t >= -10000?
True
Let f be (5 + 0)*(-88)/(-110). Let h be 1 + 3 + 6 - (-10 + 11). Is f bigger than h?
False
Let p = -51 - -130. Let i = 79.2 - p. Let t = 0.28 - i. Is -6 equal to t?
False
Let g be (-4)/18 + 20/9. Suppose 0 = -2*i + g. Let m be ((-90)/(-225))/((-24)/(-9)). Are m and i non-equal?
True
Let a = -28 - -37. Let p be a/(-12)*2*2. Let y be (p/6)/(2/4). Which is greater: -2/11 or y?
-2/11
Let u = -523/957 + 8/87. Let s(l) = -l - 11. Let g be s(-12). Is g not equal to u?
True
Let b = 660 + -468. Let g = -118 + b. Let p = 70 - g. Which is smaller: -8 or p?
-8
Suppose 17*n - 453 + 147 = 0. Suppose -2*h - n*h = 660. Which is greater: h or -31?
-31
Let j = -8.158 - -11.158. Is 12.74 at least as big as j?
True
Let d = -3853 + 3854. Which is bigger: d or -35/76?
d
Let y(q) = -3*q**2 - 4*q + 2. Let b(u) = -4*u**2 - 3*u + 1. Let a(x) = -4*b(x) + 3*y(x). Let i be a(-1). Which is smaller: 4 or i?
4
Let u = -135 + 135. Let q be (-4)/(12/9) + (-697)/(-233). Which is bigger: u or q?
u
Let m be 424/22*165/18*348/580. Is 843/8 at least as big as m?
False
Let w = -6989816/497 + 14064. Are 0 and w nonequal?
True
Let j = 5611 - 6516. Is j at least -906?
True
Let p = -633280 + 694708090/1097. Is p < 0?
True
Let r = -36 + 25. Let m be (2/(-12))/(r/(-176)). Let l be 4/(-8) + 20/(-8). Is m bigger than l?
True
Let u be 446/(-2453) - 4338/(-22). Is u not equal to 202?
True
Suppose -2*d = 4*s + 796, 3*d + 278 - 1044 = 4*s. Is s < -192?
True
Let z = 26329/150 + -351/2. Let c(m) = m**3 - 6*m**2 - 5*m - 10. Let x be c(7). Suppose 0 = k - x*k. Which is smaller: z or k?
k
Let h = 1035277/4380 + -711/365. Which is bigger: h or 234?
h
Let r = -268 + 260. Let x = 1 - 6. Is r smaller than x?
True
Let s = 29.2 + -196.2. Let b = -101 - s. Which is smaller: b or -1?
-1
Let s be (-5*16/(-120))/((-2)/(-387)). Suppose 4*a + u = s, 0*u + u + 119 = 4*a. Is a != 31?
False
Let s = 987619543/36 - 27430811. Let d = s - 3065. Which is smaller: d or 0?
0
Let i(h) = h - 7. Let n be i(11). Suppose o = 1 + n. Suppose o*u + 2 = 3*u, 4*u = 3*m + 2. Is m at most as big as -0.3?
True
Suppose -5 - 10 = -3*b + 4*j, -2*b - 5*j - 13 = 0. Suppose -36*l + 39 + 249 = 0. Let c(r) = r**3 - 5*r**2 - 30*r + 22. Let o be c(l). Which is smaller: b or o?
o
Let s(j) = -j**2 + 8*j + 434. Let l be s(-15). Which is smaller: 68 or l?
68
Suppose 24*i - 16*i = 808. Suppose 105*o - i*o - 348 = 0. Is 88 <= o?
False
Let r(u) = -24*u - 90. Let j be r(-4). Let f be (28 - 20)*j/(-8) + 18. Let l(i) = 2*i**3 - 2. Let s be l(2). Which is smaller: f or s?
f
Suppose 0 = 5*p - 2*p + o + 224, 3*p - 2*o + 209 = 0. Let g = 2/49735 - 3640604/49735. Which is bigger: g or p?
p
Let d(r) = -r - 8. Let p be d(-11). Let y = 3 + 0. Suppose -t = -5 + y. Which is bigger: t or p?
p
Let o = 81052 + -890921/11. Is o at most as big as 60?
True
Suppose -3*d + 69 = -i, 4*d - 46 - 53 = -i. Let q be (5/(-15))/(992/d). Is q less than or equal to 1?
True
Suppose -3*i - 5*r = 2 + 3, 5*i - 29 = r. Suppose -q - i = -6*q - 3*s, 5*q - 5 = -4*s. Let f be 10/(3600/68) + (-1)/(-5). Do q and f have the same value?
False
Let b(v) = -2*v**2 - 17*v - 29. Let l be b(-6). Is 20/33 less than or equal to l?
True
Suppose -90*c - 22*c - 112 = 0. Which is greater: 1069 or c?
1069
Let g(b) = 56*b**2 - b - 1. Let a be g(-1). Let y be (-114)/a + (-10)/(-5). Suppose -1 = 92*d - 1. Is y less than or equal to d?
True
Suppose 45*k = 44*k + 9. Suppose -d = -3*n, -2*n - k = -1. Do d and -13 have the same value?
False
Let w be 21/(-63) - (4758/(-27))/2. Which is bigger: w or 88?
88
Let j = 62/143 + -435/572. Is j > 3?
False
Suppose 0 = 90*m + 14*m + 11960. Are m and -98 nonequal?
True
Let l = 2.2 + -2.148. Let v = -3.648 - l. Let h = 0.7 + v. Which is smaller: h or 0?
h
Let d = 226 + -288. Let c be 1/((-5)/(-20)) - d/12. Is c smaller than 10?
True
Suppose 0 = -13*k - 0*k - 26. Let b be 2/(k + 0/(1 + 2)). Let r be (-2)/3*(-27)/222. Which is greater: r or b?
r
Let z(p) = -2*p**2 - 16*p + 46. Let v be z(-9). Is -15 less than v?
True
Let f be (77 - 2)*16/27160. Let a = -1881/35987 + f. Is 0 <= a?
False
Let w(n) = -2*n**2 - 4*n + 1. Let q be (-2)/1 - (-2 - -2)/1. Let r be w(q). Let l be (-1 + 3)/((-6)/24). Which is bigger: l or r?
r
Let n = 17 - 1. Suppose 4*j - n = 2*j. Let u = -60 - -61. Which is bigger: j or u?
j
Let c be (-15 - -11)*(1 - (-7)/(-4)). Suppose 2*w = -0*w - c*w. Let k(a) = -10*a**2 - 1. Let r be k(-1). Which is smaller: w or r?
r
Let f(o) = -9*o**2 - 70*o + 18. Let c be f(-8). Let q(t) = -11*t**2 + 7*t - 2. Let v be q(c). Is -31 smaller than v?
False
Let o(c) = 3 + c**2 + 12 - 4. Let d be o(6). Let f be 1557/33 + -4*3/66. Is f at most d?
True
Let y be 40/240 + (-2 - 98/(-60)). Which is smaller: y or 3/197?
y
Let b(a) = 94*a**2 - 513*a + 14. Let k be b(7). Which is smaller: 1030 or k?
k
Let t = 1/89903 - -163803259/629321. Which is bigger: t or 261?
261
Let f be (-9 - (1 - 2)) + 2. Let r(n) = -4*n**2 - 3*n + 27. Let m(i) = 3*i**2 + 4*i - 20. Let a(d) = -3*m(d) - 2*r(d). Let o 