u + 6. Let t be c(-1). Suppose t*o + 30 = -135. Let r = -38 - o. Which is smaller: -4 or r?
r
Let o = 2/68039 - 72973/167852213. Is 1 greater than o?
True
Let n be (10/(-15))/((-1)/3). Suppose 54 = y - n. Let b be (-12)/54 - y/(-9). Is b < 6?
False
Let i(j) = -j**2 + 16*j + 8. Let q be i(16). Suppose -11*o + 19*o - q = 0. Let x be 4/(-190)*(3 + -2). Is x at least o?
False
Let u = -112 - -105. Let a be (-67)/6 - u/42. Let c be 1 - ((-121)/(-2))/a. Which is smaller: c or 2?
2
Let o = 22835/798 - 5/114. Does o = 29?
False
Let x(p) = 12*p**3 - 6*p**2 - 4*p - 8. Let w be x(-4). Which is smaller: w or -851?
w
Let b = -6 - -6. Let k = 2.89 + -19.69. Let h = -27.8 - k. Which is greater: b or h?
b
Let a = 4 - 7. Let w = 113 + -113.87. Let s = 9.13 - w. Which is greater: a or s?
s
Let w = 43.8542 - 0.0542. Let m = -42.8 + w. Are m and 0.63 nonequal?
True
Let a be (-12 - -11)*2028/4. Let g be a/135 + 7 + (-4)/30. Does g = 0?
False
Let k be (-46)/(-138)*(-24)/2. Let s(o) be the first derivative of -o**3/3 - o**2/2 + 6*o - 2. Let r be s(k). Is -6 smaller than r?
False
Let f be 918/4*18/27. Which is greater: 1533/10 or f?
1533/10
Let l = 524 + -116858/223. Let t(j) = -34*j**2 + 1605*j - 328. Let g be t(47). Is l at least g?
False
Suppose 172 = 5*o - 2*y, -2*o - 2*y - 100 = -5*o. Suppose m + o = 33. Let d be (-312)/(-32)*-2*m/18. Which is smaller: 4 or d?
d
Let f = -44/87 - 6871/348. Suppose -10194*j + 10102*j - 1840 = 0. Is f less than j?
True
Let j be (-4047)/(-5396)*4/42. Let l(k) = -k**3 - 3*k**2 + 3*k - 5. Let g be l(-4). Is g greater than j?
False
Let z = -5.031 - -0.031. Let i = 4.982 + z. Let x = 0.018 + i. Which is bigger: -3 or x?
x
Let k(y) = -3*y - 5. Let q be k(-6). Suppose 23*j = 3112 + 384. Let h be (4/((-96)/j))/((-2)/4). Is q bigger than h?
True
Let d be (1/3)/((-2)/(-108)). Let i = 32 + d. Let v = -205/4 + i. Which is greater: v or 0.2?
0.2
Let p be 1 + ((-12)/(-8) - (-2)/4). Suppose p*s = 22 + 2. Let j be 50/8 - (4 - 30/s). Which is bigger: 5 or j?
j
Let j = 2555 + -2557. Which is smaller: -1 or j?
j
Let w be 4/(-2) + (-14)/(-9) - 336750/(-135). Is 2494 bigger than w?
False
Suppose -5*v - 41 - 19 = 0. Let u be 81*1*v/18. Let a = u + 50. Which is greater: a or -5?
a
Let g be (1/(3/(-18)))/(2/48). Let x(q) = 11*q - 22. Let k be x(-11). Is k at most as big as g?
False
Suppose 107 = -6*b - 7. Let l = -2 + b. Let c(r) = -19*r**2 - 9*r - 10. Let h be c(-1). Does l = h?
False
Let j = -349 - 128. Let z be (j/(-1272))/(0 + 23/(-4)). Is z < -1?
False
Let p = -123 - -131. Suppose -5*v = -4*k + 18, 8*v = -k + 3*v - p. Suppose 0 = k*b - 5*i + 84, -4*i = -5*i. Is -42 smaller than b?
False
Let k(f) = 58*f + 6. Let l be k(3). Suppose -2*b = l - 14. Is -83 >= b?
True
Let q = 130.37 - 130.55. Let z = 10/3 - 16/5. Is z at most as big as q?
False
Let a = 2589 + -3386. Is a greater than or equal to -797?
True
Let d = -0.6 - 2.4. Let t = 3.2 + d. Let u = -13835 + 13838. Which is bigger: t or u?
u
Suppose 38*w = 52*w + 28. Let b(t) = 14*t**2 + 3*t + 3. Let u be b(w). Which is bigger: 52 or u?
u
Let b be 5907/(-22)*2/(-3). Let j = -138 + b. Do 125/3 and j have different values?
True
Let o be (-4)/(-2) + 153/(-75). Let i be 52/(-104)*-1*14. Let u be -7 - (-7)/(i/8). Is o less than or equal to u?
True
Let b = 401 - 1998/5. Let p(w) = 2*w - 11. Let q be p(9). Let o = -5 + q. Which is greater: o or b?
o
Let c be (5 + -2)/((-1)/((-13)/(-39))). Suppose 0*k - 3 = k. Is c < k?
False
Let i(r) = r**2 - 7*r - 1. Let p be i(8). Suppose 0*h = p*h + 42. Let v be ((-84)/40)/(9/h). Is v at least as big as -0.1?
True
Suppose -8*n + 5*n - 1707 = 0. Let k = -380 + n. Let l be (1 - -3) + 3770/k. Which is bigger: l or 1?
1
Let l = 1829 + -1829. Let h = 3 - 7. Let d be (-18)/(-15)*2/h. Is l less than or equal to d?
False
Let s = 3215/6 + -1073/2. Let x = -16.924 - -17. Is x greater than s?
True
Let i = 0.55 + -39.55. Let n = i + 39.17. Let y = -0.301 - -1.301. Which is smaller: y or n?
n
Let o be (-16)/12*(-6)/4. Let x be -5 - (-2)/(9/((-90)/(-4))). Suppose x = -o*m - 22 + 24. Which is smaller: m or -2/3?
-2/3
Let j = -22259185/81 - -274811. Are j and 6 nonequal?
True
Let c = 30632 + -30520. Which is smaller: 123 or c?
c
Let j be -4 + 2*(-14)/(-7). Let t = 13 + -47. Let i = t - -33. Is j less than i?
False
Let h be -100*(3/(-12) + 95/(-100)). Suppose 7*w - h - 468 = 0. Let q = -68 + w. Which is smaller: q or 19?
q
Suppose 3*j + 1587 = -561. Is j smaller than -716?
False
Let w(v) = v**3 + 8*v**2 - 16*v - 54. Suppose -16*z - 90 = 54. Let k be w(z). Which is smaller: 7 or k?
7
Let p = 19 - -22. Let f = -40.9 + p. Let o(w) = 2*w**3 - 27*w**2 - 15*w + 16. Let l be o(14). Which is smaller: l or f?
f
Suppose -a + y - 1 = -2*a, -2*y - 10 = -a. Let m be (a/(-6))/(2/9). Suppose -60 = -2*v - 60. Which is smaller: v or m?
m
Let s be (-12174921)/(-58) + -2 + -1 + -1. Let j = 209918 - s. Let t = j + 27/29. Is t at least as big as 12?
False
Suppose -28*z = -2*z - 12506. Let d = z + -6255/13. Suppose 2*r = -4*a + 2, -3*r + 3*a = 2*a + 4. Is d at least r?
True
Let d(o) = 682*o**2 - 26*o + 12. Let u be d(1). Which is smaller: 666 or u?
666
Let b = -29 - -32. Suppose -5*m + m = 3*q + 76, -q - b*m = 32. Let w be (q/(-8) + -3)/((-2)/4). Which is greater: w or -2/15?
w
Let t(v) = -v**3 + 10*v**2 + 4*v - 15. Let k be t(11). Let c = 152 + k. Let r be (126/c)/(2/(-5)). Which is smaller: r or -5?
r
Let k be (36/(-120))/((-3)/(-4)). Let q = 207 + -133. Let m = q + -224/3. Which is bigger: m or k?
k
Let m be (2 - (-15400)/(-48))*-12. Which is smaller: m or 3824?
3824
Suppose 29*m - 1998 = -25*m. Suppose 0 = 3*b - 5*y + 9 - m, 3*b - y - 8 = 0. Which is bigger: 11/26 or b?
b
Let h = 83.05862 - 0.05862. Which is greater: 2/5 or h?
h
Suppose i - 16 = -3*i + 2*j, 2*j + 4 = 0. Let t be ((-10)/(-15))/(i - 0). Let r(q) = -q**2 + 36*q - 132. Let b be r(5). Is t bigger than b?
False
Let y(m) = m**2 + 86*m + 824. Let c be y(-11). Do c and 5/117 have the same value?
False
Suppose 0 = j - 8 - 5. Suppose k = 3*m - k, -5*k + j = -m. Suppose y - q = -4*y - 18, -m*y = 3*q + 14. Which is bigger: -1 or y?
-1
Let i = 2215.02 - 2215. Do 16 and i have the same value?
False
Suppose 0 = -25*z + 32 + 18. Suppose -z*q = -257 + 45. Which is smaller: 107 or q?
q
Let v = -13413 - -13412.875. Which is smaller: v or 0.2?
v
Let u = -7502 - -8583. Which is smaller: 1077 or u?
1077
Suppose 10*i + 6*i = 31*i - 225. Is i at least as big as 486/31?
False
Suppose 4*b = 11*d - 10*d + 4610, 6*b = -4*d - 18264. Are d and -4577 nonequal?
True
Let t = -29 - -29.2. Let o = t + -0.4. Let n = -54 + 51. Which is smaller: o or n?
n
Let l be 0 - (-2 - (-1 + 0)). Let g be 293680/(-11760) + 175/7. Is g greater than or equal to l?
False
Let j(x) = -x**3 - 3*x**2 + 4*x - 2. Let w be j(-4). Let l be (2/(-6))/((-4)/(-72)*w). Suppose l*i + 3*b = -24, -i - b = 3*i + 32. Which is greater: 1 or i?
1
Let f(d) = 2*d**2 - 17*d + 24. Let x be f(0). Let v = -13 + 34. Which is bigger: x or v?
x
Let m(q) = 10*q**2 - 299*q - 148. Let k be m(35). Do k and -1 have different values?
True
Let x = 640 + -649. Let h be 6 + x*(-2)/(-3). Which is smaller: 1/386 or h?
h
Let u(t) = -t**2 + 14*t - 42. Let k be u(10). Let g be 79/(-2)*1*k/2. Is g != 40?
True
Suppose -2215 = -24*h - 727. Let w = -147 - -207. Is h != w?
True
Let p = 401370283/528054 + -56254/1581. Let n = -1449/2 + p. Suppose -2*v = 2*a + 8, 4*a + 35*v - 37*v - 2 = 0. Which is smaller: n or a?
a
Suppose -g = -5*s + 9 + 15, 5*g - s = 0. Let p be 0 - 1 - (-1 + g + -13). Suppose -5*a + 23 = -p. Which is greater: a or 28/5?
a
Let z be (-98)/(-266)*(2 - 3 - 6). Let v = z - -58/133. Let b = 1 + -3. Which is greater: v or b?
b
Let i be (-2)/(-7) - 834/273. Suppose p + x - 735 + 739 = 0, 5*p + 4*x + 19 = 0. Which is bigger: p or i?
i
Let v = -5205.8 + 5206. Is v equal to 1081?
False
Let u = 33925/21347811 - -3/18677. Is 3/8 greater than u?
True
Let g = 16 - 4. Suppose 11*j = g*j - 15. Suppose -3*l = -2*l - j. Is 16 smaller than l?
False
Let y = -76/539 + -2/49. Let l be 5 - 2/((-8)/(-4)). Let s = -5 + l. Which is greater: y or s?
y
Let z be (-1)/13*(-4)/(-6). Let j be ((-4)/10*-2)/((-22)/(-55)). Suppose -j*n - 4*u + 2*u = -4, -n - 5*u = -6. Which is greater: n or z?
n
Let g be (-6)/(-9) + -2 + (-1376546)/(-1383). Is g equal to 