 Let w be c/(2 - (-3 + 7)). Which is greater: -2/11 or w?
w
Let t be -37*((-51)/(-9) - 6). Let s = 10 - -2. Is t at most as big as s?
False
Let f(w) = w**3 - 5*w**2 - w + 8. Suppose 0 = 2*i - 6, 7 = 4*c + i - 16. Let k be f(c). Let y be (4/6)/(k/18). Is y smaller than 3?
False
Let h = 2120 + -36027/17. Let b = h + -194/187. Let j = b + 58/253. Is -1 smaller than j?
True
Let m = -70.167 - -0.167. Let u = m - -71. Which is greater: 13 or u?
13
Let y = -133233/24310 - 101/442. Let j = y + 54/11. Which is smaller: j or 3/4?
j
Let m(b) = 2*b - 2. Let g be m(-4). Let i be 2/(-6) - 5990/(-15). Let u be (-2)/(-4) + i/(-38). Is g >= u?
True
Let y be (-6)/33 - 6/(-33). Suppose q + 1 = 3*l - 1, 4*q - 26 = -5*l. Suppose 0 = -v - q - y, -4*t + v + 12 = 0. Which is smaller: 2/3 or t?
2/3
Let z = 10 - -10. Suppose -n + i + 3*i + 37 = 0, -2*i = -5*n + 113. Which is greater: n or z?
n
Let m(v) = 2*v + 7 - 1 + 2. Let z be m(-6). Suppose 370*j = 367*j - 6. Are j and z unequal?
True
Suppose 195*n + 221 = 208*n. Which is smaller: 9 or n?
9
Let i be (-4805)/465 - (0 + 0). Suppose s = -0*s - 9. Is i at most s?
True
Let a = -4 + 16. Let y = a - 14.2. Which is greater: 1 or y?
1
Let f be 3 - (1 - 314/24)*-82. Let t = f + 990. Which is smaller: 1 or t?
1
Let f = 3 + 2. Suppose -3*g = 15, 5*c - 4*c = -g - 30. Let t be f/c + 14/(-30). Is -1 < t?
True
Let h = -16 - -5. Let s(u) = 2*u**2 + 34*u + 23. Let g be s(-16). Which is bigger: h or g?
g
Let f be (-3)/36*-6*-2 - 43. Is -48 at most as big as f?
True
Let x be 3/(-18) - (0 + (-17212839)/4194). Let c = x + -4104. Which is smaller: c or 0?
c
Let v(z) = -32 - 9*z + 4*z + 3*z. Let x be v(-16). Which is bigger: 18 or x?
18
Let q(g) = g - 2. Let l be q(7). Let h = l + 0. Suppose -3*z = 2*i - 7, 0 = -h*i + 15 + 10. Is z greater than or equal to -3?
True
Let h(l) = -l**3 - 6*l**2 - 7*l - 7. Suppose -x = 1, 2*x = 3*z - 21 + 4. Let j be 2/z - 81/15. Let u be h(j). Which is smaller: 2 or u?
2
Let f = 6 + -2. Let z be (2 - 2)*2/f. Let i = -8/5 - -23/30. Which is smaller: i or z?
i
Let z = -4/31 - 1636/775. Which is smaller: -2 or z?
z
Let s be ((-2)/3)/((-4)/18). Suppose s*n = 2*n - 5*w - 29, 0 = n + 4*w + 25. Let y = 236 - 245. Are n and y equal?
True
Let a = -343 + 342. Is -1 >= a?
True
Suppose 0 = 4*n - 12, -18*n + 13*n + 246 = 3*a. Is a <= 467/6?
True
Let u = 78 - 78. Which is greater: -355 or u?
u
Suppose -9*n = 192 - 318. Which is smaller: n or 130/9?
n
Let i = 509 + -617. Which is bigger: -107 or i?
-107
Let q = 543 - 543. Is 76/3 at most q?
False
Let w(g) = 29*g - 307. Let i be w(9). Are -47 and i equal?
False
Let t(i) = -2*i + 7. Let f be t(6). Let q be 3*(3/18*2 - 4). Let y(n) = -6*n - 70. Let x be y(q). Are f and x equal?
False
Let f(a) = a**3 + 8*a**2 + 4*a + 23. Let n be f(-8). Let v be (8/3)/(-4)*n/(-333). Which is smaller: -1 or v?
-1
Let i = 26 - 24. Suppose i*q + 4*z = 6, 0 + 4 = 2*z. Let y be 94/264 + 3/(-9). Which is greater: y or q?
y
Let n be (-3)/2*(-6)/(-69). Suppose i - 3 = -2*m, -35*i - 5*m = -34*i - 9. Is n at least i?
True
Let s = 305 + -3354/11. Is -87 equal to s?
False
Suppose 2*d - 14 = -4*q + 4, 0 = 5*d - 2*q - 9. Suppose -o - 2 = -5, d*a + 5*o - 9 = 0. Which is smaller: a or -8/7?
a
Let y = -138.882 - -138.7. Which is smaller: y or 3?
y
Let b = 16719/13 - 1286. Is b at most 1/3?
True
Suppose -2*f + 6 + 0 = -5*l, 0 = 4*f + l + 32. Let b = 5 + f. Is b greater than or equal to -3?
True
Let s be 8/(-4)*9/2. Suppose 5*j - 8 + 28 = 0, 5*n = -2*j + 52. Suppose 0 = -4*v - n - 24. Is v less than or equal to s?
True
Suppose -7 - 9 = -16*o. Which is bigger: o or -1/156?
o
Let d(s) be the second derivative of s**5/20 + s**4/3 - s**2/2 - s. Let m be d(-4). Let h be (m - 3/3)/2. Do -8 and h have the same value?
False
Let c = 1077 - 1077. Suppose 3*f + 238 = 3*d - 116, -2*f + 3*d - 236 = 0. Let o = f + 1179/10. Which is smaller: c or o?
o
Let j = 494266/11 + -44882. Is 51 at most as big as j?
True
Let y(j) = 2*j - 1. Let t be y(1). Let r = 8 + -12. Let q = r - t. Which is smaller: q or -4?
q
Suppose 3*s + 12 = -3. Let q be 0*s/(-25) + -2. Which is greater: q or -1/2?
-1/2
Let d(a) = -2*a**3 - 10*a**2 + a + 41. Let r be d(-6). Are r and 110 unequal?
True
Suppose 130 - 124 = 6*q. Is 1.33 equal to q?
False
Let z = 323 - 322.3. Which is smaller: z or -0.5?
-0.5
Let p = 2299.95 + -2300. Let n be (-2)/(-4) - 11/30. Which is smaller: p or n?
p
Let y(x) = x**3 + 4*x**2 + 2*x + 4. Let l = -13 - -23. Let c = 7 - l. Let z be y(c). Which is bigger: z or 8?
8
Let f = 1027 + -1054. Which is bigger: -336/13 or f?
-336/13
Let h(j) = 2 - j**3 - 3 + 0. Let n be h(-1). Let d be ((-12)/(-84))/((-60)/(-21) + -2). Is n at least d?
False
Let z = 121 + -121.047. Which is greater: z or 2?
2
Let z(p) = p + 10. Let n be z(10). Let t = -4 - -10. Let x be 12/(-4) + n/t. Is x > 1?
False
Let w = 311/400 - 21/25. Which is greater: w or -0.5?
w
Let o = 182 + -247. Which is greater: -62 or o?
-62
Let w(i) = -i**2 + 9*i + 13. Let o be w(9). Suppose o*z - 110 = 8*z. Suppose -5*u - 50 = -4*q - 16, 2*u + z = 3*q. Is q less than or equal to 5?
False
Let f = -1079 - -1088.44. Is f smaller than 1?
False
Let s(u) = -29*u + 194. Let x be s(5). Is x smaller than 48?
False
Suppose 16 = 2*t + 4*w - 18, 2*t - 4*w - 66 = 0. Let d = 31 - t. Is d at least as big as 4?
True
Suppose -5*u - 3*c + 7*c = -47, -5*c - 8 = u. Suppose -3*y + 2 - u = q, 4*q - y + 7 = 0. Is q less than -1?
True
Suppose 2*r + 3*i = 4*r - 17, 4*r - 1 = -5*i. Let p = -7 - -12. Let g = -1 + p. Is g at most as big as r?
True
Let k be (-15 + 14)/(3/156). Which is greater: k or -46?
-46
Suppose q + 78 = -3*w, -w + 3*q + 18 = -2*w. Let m = w + 21. Is m greater than -7?
True
Suppose 11*h - 23 + 34 = 0. Let j be 2/5*10/18. Which is smaller: h or j?
h
Let u = -0.54 + 0.5. Let l = u + -0.04. Let q = -0.18 - l. Is q bigger than 7?
False
Let y = 61 - 60.9. Let h be 5/12 - (-1)/(-3). Is h bigger than y?
False
Let n = 13 - -14. Let b = n + -30. Let f = 3 - 3. Is f < b?
False
Let i = 73 - 72. Which is bigger: -2/5751 or i?
i
Let y(o) = 133*o**2 - 10*o + 1. Let k be y(1). Is 125 equal to k?
False
Let z = -266/15 + 52/3. Let q be (-1)/(9/3)*(1 - 4). Let d be 4 + ((-3)/(-9)*3)/q. Which is smaller: z or d?
z
Let c = -1/278 - 57/61438. Is -1 != c?
True
Let d = 1.725 - 1.525. Which is greater: -29.8 or d?
d
Let m = -205 - -191. Is m < -0.2?
True
Let f = 71 + -47. Let s = f + -23. Which is bigger: 4/5 or s?
s
Let u be 0 - 4/(-20)*26. Let w = 24/5 - u. Which is greater: w or 0?
0
Suppose -5*z + 9 = -2*t, 2*t - 1 - 2 = z. Suppose z*x + j = -23, 0 = -3*x - 0*j - 3*j - 15. Let s be 24/(-4) + 0 + -3. Do s and x have different values?
False
Let d = 0.03 + -0.33. Let n = -58 - -57.71. Let c = n - d. Which is bigger: 2 or c?
2
Suppose 12 = -5*x - 5*i - 13, -i + 2 = 0. Let d(n) = -5 + 4 + 3*n + 3*n - n**2. Let l be d(7). Are x and l equal?
False
Suppose -3*w = 2*q + 5 - 11, -3*w + 6 = 3*q. Let f(i) = -i**3 + 4 + 2*i**2 + 0*i**2 + 0*i**2 + 3*i. Let d be f(3). Is d at most q?
False
Suppose 7*a + 8 = -6. Let f be (0/(-9))/(-1 - a). Is -8/7 smaller than f?
True
Let l = 2123.98 + -2097. Let q = l + -27. Which is bigger: 0.03 or q?
0.03
Let b be 0 + 1 + (-73)/(-2)*8. Do b and 294 have different values?
True
Let j = -5.48 - 0.02. Let g = -4.5 - j. Let t = -0.06 - 9.94. Is t at least as big as g?
False
Let n(c) = -c - 71. Let a be n(-29). Is a < -42?
False
Let m = -0.07 - -0.155. Let y = -0.085 + m. Is y bigger than -5?
True
Suppose 0 = -35*d - 345 + 30. Is d <= -12?
False
Let s = -19 + 21. Suppose -517 - 889 = -4*t - s*y, 0 = -3*y + 9. Let u = t - 3503/10. Which is smaller: u or -2?
-2
Let n = 90.1 - 82. Let d = 8.18 + -0.18. Let m = d - n. Which is bigger: m or -9?
m
Let h = 68 + -338/5. Let w(b) = -b**3 - 6*b**2 + 3*b + 15. Let d be w(0). Do d and h have different values?
True
Let u be (5/15)/(2/12). Let r be 1 - (u - (-1)/9). Let q(m) = -m**3 - 7*m**2 + m + 6. Let s be q(-7). Which is smaller: s or r?
r
Let c(w) = -w**3 + 6*w**2 - 4*w + 1. Let x be c(6). Let r = x + 44. Let j(d) = d**2 - 50*d - 138. Let z be j(53). Is r less than z?
False
Let b be (3/6)/(2/(-36)). Suppose 0 = 5*r - 0*w - 3*w - 98, -r + 5*w = -24. Let u = r - 27. Which is smaller: b or u?
b
Let d = 2115.6 - 2118. Which is smaller: -1/16 or d?
d
Let c = 46.5