3)*5. Is -22 at most as big as t?
True
Suppose 6*u - 67 - 113 = 0. Let t be 5/u*3*0. Let s be 30/(-20)*2/(-6). Do s and t have the same value?
False
Let b = -83051948/333 + 249405. Let a = b + 1/37. Let g be (2/(-3))/(-18 - -16). Is a less than or equal to g?
True
Let b be 9/((-3)/(-2) - (-7)/(-14)). Suppose -9*a = -13*a. Suppose 2*q - 20 + a = 0. Which is smaller: b or q?
b
Let s = 28.99 + 0.01. Let d = s + -29. Which is bigger: d or 0.1?
0.1
Let l = 8169/4 + -2042. Is -1248 > l?
False
Let l = -356.35 - -343. Let d = -13 - l. Let y = -0.05 + d. Do y and -1/2 have different values?
True
Let i = -4 - -4. Let h be -1*(i + -1) - -1. Let b = 248 + -495/2. Is b >= h?
False
Suppose -x + 2 - 5 = w, 0 = 5*x + 4*w + 10. Let j be 1 + 1 + -1 + 0/x. Is j at least as big as 2/23?
True
Let b = 16 + -8. Suppose -30*y - b = -32*y. Is y greater than 3?
True
Let f(p) = -9*p**2 + 209*p - 20. Let y be f(22). Which is bigger: y or 220?
y
Let c be 75/(-6) + 6/4. Is -13 < c?
True
Let n(q) = q**2 + 4*q - 7. Let x be 16/40 - (-27)/(-5). Let k be n(x). Which is bigger: k or -10/11?
-10/11
Let w = -2433/16 - -152. Let o = -1.93 + -0.07. Which is bigger: w or o?
w
Suppose 4*s = 4*n - 16, 4 = -3*s - n - 0. Let a be (-1)/2 - 54/72. Which is bigger: s or a?
a
Let o be (-9)/6*(19/(-3) - -1). Suppose c = o*c - 7. Which is greater: -1/8 or c?
c
Let t(h) = h**3 + 7*h**2 - 5*h + 1. Let u be t(-6). Which is bigger: u or 337/5?
337/5
Let w = 25 - 4. Let p = 25 - w. Suppose -150 + 62 = -p*v. Which is bigger: v or 23?
23
Let l(y) = -y**2 - 12*y - 20. Let k be l(-16). Let x = k + 586/7. Which is smaller: 0 or x?
x
Suppose 2*q = 2*u + 8, 4*q + u - 19 = -3. Suppose -5*k + 2 = -q*y - 7, 0 = 4*k + y - 3. Is -2/21 >= k?
False
Let i(p) = p**3 - p**2 + 1. Let l be i(2). Let f = -11 + l. Suppose -8 = 2*s + 2. Which is bigger: s or f?
s
Let o = -884.97 + 889. Which is bigger: o or 1/2?
o
Let v = -114 - -20. Which is greater: v or -95?
v
Let s = 1555 + -1554. Is 4/213 at most as big as s?
True
Let d(x) = -x**2 - 38*x + 230. Let z be d(-44). Do -39 and z have the same value?
False
Let r be (-9)/(((-9)/27)/((-6)/(-27))). Is r at least 108/17?
False
Suppose -5*w - 5*r + 20 = 0, 4*w + r = -r + 8. Suppose w = 2*l + 3*l + 2*k - 14, -5*l + 5*k = 0. Let y = -855/7 + 3455/28. Which is bigger: l or y?
l
Let h(v) = -v**2 + 20*v - 29. Let x be h(15). Let l = -74 + x. Are -27 and l equal?
False
Let d(y) = -4*y + 51. Let p be d(16). Let c = p + 22. Are 8 and c equal?
False
Suppose 12 = 6*x + 6*x. Which is greater: 2/317 or x?
x
Let o(l) = l. Let u be o(-1). Suppose 6 = 2*y - y + 4*i, -24 = -2*y + 4*i. Let k be y/1260 - 2/9. Is u greater than or equal to k?
False
Let u = 0.1248 - 0.0948. Let h(j) = -j**2 + 3*j + 4. Let i be h(4). Suppose i*n + 3 = 3*n. Which is smaller: n or u?
u
Suppose -17*c + 7683 + 222 = 0. Which is bigger: 466 or c?
466
Let r(g) = -g**3 - 4*g**2 - g - 3. Let k = 10 + -17. Let b = k + 3. Let q be r(b). Which is smaller: -1/6 or q?
-1/6
Let g(c) = 54*c - 197. Let z be g(6). Are z and 126 non-equal?
True
Let f(w) = -37*w**2 + 11*w - 4. Let p be f(-2). Is p greater than or equal to -176?
True
Let h = -0.41 - -6.61. Let u = -15 - -21. Let z = u - h. Is z greater than or equal to -0.1?
False
Let o be 6/2 + 6 + -8. Suppose 10 - o = d. Let g = 9 - d. Is g greater than 1?
False
Let x be (6/28)/((-12)/32) + 4. Which is bigger: 2 or x?
x
Suppose 10*m - 6 = 13*m. Let t = 136 + -547/4. Which is greater: m or t?
t
Suppose -h = t + 209, h - 6*h = -t + 1051. Let q be 2/(-8) - h/(-24). Let a(m) = 2*m + 9. Let w be a(q). Is w not equal to -9?
False
Let q(o) = -o - 16. Let g be q(-12). Let y = 14/9 - 7/45. Do y and g have the same value?
False
Suppose -5*l + 5 = -5. Suppose -4*k - h - 8 + 30 = 0, 0 = -l*k + h + 8. Let n = 14 + -10. Which is bigger: n or k?
k
Suppose 5*u - 2*u + 2*g = 117, 4*u = 3*g + 139. Suppose 5*r - 20 = 2*w, -5*r + u = -4*w - 23. Which is smaller: w or -19?
w
Let t be (12 - 6)*3/((-12)/(-22)). Is 32 <= t?
True
Suppose 4*i - 12*i = -9*i. Let t(w) = -w + 7. Let j be t(6). Are i and j non-equal?
True
Let x = 63 - 62.49. Let c = -0.22 + x. Let y = c + -0.09. Are -3 and y equal?
False
Suppose -w - 2 + 1 = 0. Is 14 not equal to w?
True
Let g be (-1)/4 - ((-37)/4 - 3). Suppose -4*f - 2*f + g = 0. Which is smaller: f or 15?
f
Let w = 87.7 - 89.8. Is w greater than 26?
False
Let r(j) = 2*j**3 - 7*j**2 + 11*j - 15. Let g be r(4). Suppose 2*t + 2*t = 3*m + 182, 0 = 4*t - 2*m - 180. Which is smaller: t or g?
t
Suppose 0 = 9*m + 96 - 348. Let s be ((-1)/2)/(m/16). Are s and 0 equal?
False
Let o be (18/16)/((-5)/(20/(-66))). Which is smaller: o or 0?
0
Let d(j) = -87*j**2 + 7*j - 8. Let w be d(1). Let c be (-66)/w + (-18)/8. Is -2 < c?
True
Suppose 5*b - 2*l - 92 = 0, 0*l - l = -4. Let m = b + -45. Let v = -10 - m. Which is bigger: 14 or v?
v
Let l(y) = -y**3 - 11*y**2 - 13*y + 11. Let g be l(-10). Let i = 42 - g. Let m be (8/(-10))/(2 + 0). Is m bigger than i?
False
Let k(h) = h**2 - 15*h - 2. Let q be k(15). Let d be (-150)/(-20)*q/3. Is -4 <= d?
False
Let a = 11 + 0. Let m = a + -11.28. Let t = 6.72 - m. Which is greater: t or 1?
t
Let n = 3509/4 + -882. Let s = -49/12 - n. Is 0 at most as big as s?
True
Suppose 3 = 2*t - 1. Let j be (-260)/(-22) + t/11. Let c = j - 23. Are -11 and c unequal?
False
Let b = 1.1 + -0.9. Let x(m) = -m**3 - m**2 - m - 8. Let g be x(0). Let h be 20/(-50) - g/30. Which is greater: b or h?
b
Let s(b) be the third derivative of -b**5/30 + b**4/12 + 7*b**3/3 + 43*b**2. Let c be s(5). Does -26 = c?
True
Let b = -0.41 + 0.01. Let v be (-312)/(-84) + (-2)/(-7). Suppose r + v - 3 = 0. Is r smaller than b?
True
Let v = -1.89 + -118.11. Let d = 67 + v. Which is bigger: d or 1?
1
Suppose 0 = -44*r + 20*r + 24. Which is smaller: 12 or r?
r
Let n = -81 - -84. Let u = 1 + -1.4. Let y = u + 0.3. Which is smaller: y or n?
y
Let j = 103 + -95. Suppose 0 = -2*y + j, -f + 3*y - 22 = -2*y. Is f smaller than -20/9?
False
Let j be 5 + (2 - 10) - -4. Which is greater: j or 2/127?
j
Let a = 156 + -470/3. Let k = 2 - -2. Let w = -6 + k. Which is smaller: a or w?
w
Suppose 31*j = 27*j - 8, -2*w - 236 = 4*j. Is w at least -103?
False
Let b = 66.2 - 114.2. Which is smaller: b or 5?
b
Suppose 0 = 3*d + d + 12. Let q be 4/(-1 + 9 + d). Suppose -14 = 4*m - 2*u, -15 = 4*m + 3*u - 6*u. Which is bigger: q or m?
q
Let o = -1289 - -9025/7. Do o and -319 have the same value?
False
Let p be (-35)/(-2)*(-15)/(-245). Let v = -3511 + 3513. Which is smaller: p or v?
p
Let z = -70804/37 - -1914. Which is bigger: z or 1?
1
Let v = -11 + 21. Let k be 64/v + (-16)/40. Suppose 20 = -2*i + k*i. Which is greater: i or 8?
8
Suppose y - 4*y - 63 = 2*n, 102 = -3*n - 2*y. Let m be (-4)/n + 37/(-9). Let a be 2/(-6) + (-1)/15. Which is greater: a or m?
a
Let o be (-2)/6 - (0 - 74/258). Is -1/4 < o?
True
Let y = 24 - 16. Let n be (-2)/y + (-3)/(-4). Is n >= 0?
True
Suppose 94*x + 11 = 83*x. Which is bigger: x or -46?
x
Let c = 68724/1547 + 1/221. Are 45 and c equal?
False
Suppose -10 = 5*o + 4*u, -7*o + 3*u - 6 = -4*o. Which is bigger: -99 or o?
o
Let k = -56 + 44. Suppose -3*b = -22 - 98. Let m be (b/k + 3)*-45. Is -0.1 greater than or equal to m?
False
Suppose 4 - 5 = c. Let y = -3 + c. Which is smaller: y or -3?
y
Let a(i) = 3*i - 25. Let s be a(10). Suppose -t = 2*c - 4*c + 25, 2*c + 5 = -s*t. Let z be (-1 + 7)/((-4)/c). Which is smaller: -16 or z?
-16
Suppose 14 = 5*n + 2*i, 5*n + 0*i - 4*i = 32. Let l be n/(-6) + (-16)/(-6). Suppose -k = l*k + 6. Which is greater: k or -3?
k
Suppose -2*p + 102 = -2*i, -3*p + 81 + 96 = 3*i. Suppose -8*h - p = -7. Which is greater: -5 or h?
-5
Suppose -2*g = -5*m - 314, -2*m - 194 = m - 4*g. Which is smaller: m or -2/5?
m
Let u(h) = -3*h + 207. Let s be u(28). Is 125 <= s?
False
Let v = -182 + 254. Is v less than or equal to 72?
True
Let a(p) be the first derivative of p**3/3 - 3*p**2 + 7*p + 6. Let w be a(2). Is w >= 3/80?
False
Let i = -11 - 10. Let s be (-12)/i - 48/(-14). Suppose s*v = 5*d + 11, -3*d - 2*d + 5*v = 15. Is d < 6/5?
True
Suppose -166*q - 228 = -163*q. Which is smaller: -373/5 or q?
q
Suppose -l - 18 = l. Suppose 31*y - 2*y + 261 = 0. Does l = y?
True
Let l = 0.26 - 0.34. Let z = 1.8 + -3.8. Which is smaller: z or l?
z
Let d = 722 + -15178/21. Which is smaller: 0