ppose -283 + 331 = 8*f. Which is smaller: 89/18 or f?
89/18
Let j = 3579 - 3580. Let c = 75666323/1773 + -42677. Are j and c nonequal?
True
Let q = 123677151/83300353 + 1/363757. Which is smaller: q or 2?
q
Suppose 3*z = -5*u - 3, 2*u + 4*z - z = -3. Suppose u = -2*v - 5*k - 0*k - 10, 0 = -4*v + k + 2. Suppose 6*n - 5*n + 1 = v. Does n = -1/50?
False
Let n be (304/14)/(-2) + 3/(-21). Let f(l) = -l**3 + l**2 + 4*l - 2. Let g = -14 - -17. Let h be f(g). Which is smaller: n or h?
n
Let p be 158*2092/(-528) + 4/22. Let h = -626 - p. Which is smaller: 2/31 or h?
h
Let x = 18.1 - -31.9. Let l = x - 50. Is -2.2 greater than l?
False
Let c(v) = 14*v + 61. Let p be c(21). Is 352 greater than p?
False
Let p be 90/(-12)*3 + -7 + (-11)/(-2). Which is bigger: -18/19 or p?
-18/19
Let c be (-30)/(-4)*12/18*-1. Let b(x) = -33*x - 102. Let g be b(c). Is 62 less than g?
True
Let j = -4655 - -4906. Which is smaller: j or 252?
j
Let f = 135 + -237. Let q be (-303)/12*(58 - 54)*1. Is f smaller than q?
True
Let h = 281 - 299. Let l(s) = -5*s**2 - 2*s + 2. Let m be l(-2). Which is smaller: h or m?
h
Let o = -125 - -611. Let v = 499 - o. Is 3 <= v?
True
Let u(o) = 259*o - 18172. Let g be u(74). Is g not equal to 6?
True
Let o = -164/1215 - -2/1215. Are o and 67.2 equal?
False
Let x = 251288 + -4162083142/16563. Is 1 greater than x?
True
Let n(r) = 10*r**2 + 16*r - 67. Let i be n(4). Let d = i - 114. Which is greater: d or 40?
d
Let w be 2/8 - 598/(-8). Let k be 5970/(-3383)*204/(-5). Is k < w?
True
Let c = 494 + -725. Which is smaller: -224 or c?
c
Suppose 0 = -263*y + 142*y - 996 + 149. Is y less than or equal to 473?
True
Suppose 2*u = 5*i - 26, -4*u - 3*i + 8*i = 32. Let z be (1 + u - -1)/(-8 - -9). Are z and 4/245 nonequal?
True
Let s = 1551 + -1549.913. Let v = -0.087 + s. Let m = 0.33 - 0.03. Do v and m have different values?
True
Let y(z) be the first derivative of -31*z**2/2 - 21*z + 252. Let j be y(-3). Which is smaller: j or 71?
71
Let l be 3/12*138/621. Let v be 7/2*(0 + -2). Let o = v + 7. Which is smaller: o or l?
o
Suppose -460919 = -230*g - 1626559. Which is bigger: g or -5067?
-5067
Let q(g) = -g**3 - g**2 + g + 5. Let l be q(0). Let s be (-124)/(-9) - (11 + -1). Which is smaller: l or s?
s
Let w = 332 + -1. Suppose -3*q - w + 331 = 0. Is q less than or equal to -1/523?
False
Let r be 0 - 79/11 - 182/(-1001). Let w(a) = a**2 + 7*a + 6. Let l be w(-3). Which is bigger: r or l?
l
Let k(n) = -n**3 - 62*n**2 - 897*n - 5. Let p be k(-39). Which is smaller: p or -58/13?
p
Let f(c) = -c**3 + 19*c**2 - 93*c + 999. Let i be f(18). Let w = -406 + 54. Which is smaller: i or w?
w
Suppose -177 = -13*x - 801. Let b be ((-16)/x)/((-43)/18). Which is greater: b or 0?
0
Suppose 0 = j - 2*j. Suppose -4*t - 10 + 22 = 0. Let l be 146/(-37) - -3*4/t. Which is smaller: j or l?
j
Let n = 205 + -202. Let h be n - (6 + 1640/(-552)). Is -1 smaller than h?
True
Let s be 3/15*-1 - 44106/(-330). Let w = 134 - s. Which is smaller: -0.2 or w?
-0.2
Let l be 6 - -60*(624/84 - 8). Is l bigger than -1/3?
False
Let y be (-8)/16 - ((-15)/2 + 1). Suppose -5*g + 3*i = -10, 0*i - 4*i - y = -3*g. Let b be (-1)/(-1)*(4 + g + -7). Which is smaller: b or 24?
b
Let m be 8 - 4 - (-1 + 1). Let u be (m/22)/((-1)/(-21)). Let h be (-33)/(-2)*24*27/3564. Which is smaller: h or u?
h
Let k = -7.1 - 5.6. Let o = -59.7 + 72.3. Let i = k + o. Is i at least as big as -14?
True
Let f = 409.487 - 409. Let i = 0.587 - f. Is 55 at most i?
False
Suppose 10*h = -23*h - 33. Let n = 9263/89460 - 19/180. Is n less than h?
False
Let c = 37062 + -37053. Which is greater: -1/123 or c?
c
Let a be (-42)/49 - (2 + 188/(-56)). Which is bigger: a or -156?
a
Suppose -3*s + 12 = 0, 9*p - 153 = 4*p - 2*s. Suppose 9*a = p + 70. Let y = -12 + a. Which is smaller: -24 or y?
-24
Let q be (6*20/(-24))/(1/90). Is -1348/3 bigger than q?
True
Let n = 0.6 - 0.9. Let j = 737 - 743.19. Let q = 0.19 + j. Which is bigger: n or q?
n
Let v be 2 + (16*3)/(-2). Let y = -1548 - -1549. Is v < y?
True
Let w(j) = -j**3 - 5*j**2 + 4*j - 18. Let i be w(-6). Let h(z) = -41*z - 50. Let n be h(i). Is n less than 198?
True
Let w = 39 + -91. Let x = 169 + w. Suppose 5*q + 3*r + 238 = 0, -5*q + 3*r = x + 115. Which is greater: q or -46?
-46
Let t be 32/2778*(-5400)/(-416). Let l = 2/463 + t. Suppose 2*o - y + 5 = 0, -2*y - 3*y + 25 = -4*o. Which is greater: o or l?
l
Suppose 0 = 3*w - 13 - 11. Suppose -11*g - w = -13*g. Suppose 4*f + 8 = 0, 0 = -7*t + 3*t + g*f - 192. Which is bigger: t or -49?
-49
Let k = 2777.52 + -2731. Let t = 3.52 - k. Which is smaller: t or 0?
t
Let h be (-272)/527*(-2 - 7/(-4)). Let y = 34 - 46. Let p = 13 + y. Which is greater: p or h?
p
Let q = -1419 + -1491. Let w = q + 20486/7. Are w and 16 nonequal?
True
Let m(q) = q**3 + 2*q**2 - q - 20. Let n be m(0). Let b be ((-8)/n)/((-1)/(-20)) - 3. Let z be b*(-4)/(-8)*-2. Which is bigger: z or 1?
1
Suppose -102911 = 202*q + 29601. Which is smaller: 0 or q?
q
Let p = -11.97 + 4.15. Which is smaller: 0.2 or p?
p
Suppose -7*n + 5*n = 4*n - 12912. Which is smaller: 15069/7 or n?
n
Let k(f) = 10*f + 92. Let i be k(-8). Let d(z) = -z**3 + 14*z**2 - 24*z - 59. Let u be d(i). Is u greater than -59?
False
Suppose 3*z + 4177 = -2*x, -4*x = -8*z + 5*z + 8327. Is -2085 bigger than x?
False
Let k be (-1)/3 - 2692/6. Let g be 12/30*(23070/(-20) - -31). Is k < g?
False
Let m be (-75)/(-15) - (5336/(-28) - 4). Which is greater: 201 or m?
201
Suppose 16*r - 13*r + 3*y - 33 = 0, 5*r - 55 = 2*y. Suppose -4*m = -0*m - 92. Let j = m + r. Is 34 < j?
False
Let g be -28*(26/4 - ((-31 - -24) + 14)). Let s = 32 - 18. Is s greater than or equal to g?
True
Let r(s) = 168*s - 1009. Let b be r(6). Is b smaller than -8/11?
True
Let j be (-261)/(-63) + (-2)/14. Suppose 0 = 3*y + m - 4, -8 = -3*m + j. Let d be (-274)/(-91) + 21 + -23 + -1. Which is bigger: y or d?
d
Suppose 625 + 1370 = 5*a. Let k be 3997/a - 7 - 3. Which is smaller: k or 1?
k
Suppose -u - 3*i - 38 + 424 = 0, i - 2 = 0. Let c be 6/20 - (-69046)/u. Which is greater: 0.1 or c?
c
Let f = -26450 - -17817. Is -1 smaller than f?
False
Let y = 315/58 + -143/29. Which is bigger: y or 0.3197?
y
Suppose -300*t = 284*t - 12848. Let a be 6/27 - 404/(-18). Which is smaller: a or t?
t
Let x = 82 + -79.57. Let k = -1.08 + x. Let a = 0.95 - k. Is a != 0?
True
Suppose 29*r = -1347 - 1582. Is -100 <= r?
False
Let t(u) = -u**2 - 54*u - 59. Let l be t(-53). Let h = -15.2 + 15. Let n = h - -0.26. Which is greater: n or l?
n
Let m(k) = 21*k**2 - 649*k + 6468. Let x be m(10). Which is greater: 4157/2 or x?
4157/2
Let s be ((-27)/25752)/((-615)/164). Is -1 at most s?
True
Let g be (8/52)/(4811/221). Which is greater: -4/5 or g?
g
Let p = 90288.998 + -89976. Let o = p - 313. Do o and -2 have the same value?
False
Let f(z) = 2*z**2 - 14*z + 1. Let i = 30 - 30. Let l be i + 4 + 2 + 1. Let q be f(l). Is 2/7 greater than q?
False
Let p = 13678/6667 - 120/59. Suppose 241*l = 131*l + 152*l. Is l <= p?
True
Let v(o) = -o + 51. Let z be v(15). Let j be 158/(-164) - 4*(-9)/z. Is j at least 1?
False
Let l = -7947/7 - -206265/182. Which is bigger: l or -3?
l
Let s be -15*(-4 + 3)/(-3) - (-122 + 0). Is s at most 103?
False
Suppose 4*n - 2*n + 332 = 0. Let l = -105294 - -105128. Is l at least n?
True
Let n = -32 - -14. Let g be ((-31)/62)/(3/60*-2). Do g and n have different values?
True
Let i = -0.05 - -0.06. Let j = -5.018 + 4.918. Is j > i?
False
Suppose -3*p - 15 = -w, 0 = -2*w - p + 4*p + 15. Let f(x) = x**3 + 7*x**2 - 7*x - 4. Let r be f(-8). Let y be (72/(-189))/((-8)/r). Which is greater: y or w?
w
Let q = -58364/326665 + 6/4135. Let r = -611/3002 - q. Let x(a) = -a**2 + 11*a - 11. Let s be x(10). Which is greater: r or s?
r
Let b(k) = -112*k - 1593. Let z be b(-13). Which is bigger: -2620/19 or z?
z
Let j = 5517.691 + -5522. Let h = 0.309 + j. Let a = 26 + -41. Is a greater than h?
False
Suppose 9*a = 5*a. Suppose -5*o - 541 + 41 = a. Let x be ((-2)/(-8) - o/(-144))*-1. Which is smaller: x or 1?
x
Let x be (-46032)/(-5752) - (-2 - -10). Suppose 0*y + 4 = -2*y + 2*c, y = -4*c + 13. Does x = y?
False
Let i = -38.23 - -256.23. Is i at most -2?
False
Let n = -105 + -101. Let u = n - -194. Suppose -30 = 5*y + 35. Are u and y unequal?
True
Let m be (6/2)/((-2)/(-6)). Suppose m*g +