. Let y be 2/(-2) + (i - -2). Is y bigger than 1?
True
Let s(w) = w**3 - 6*w**2 + 4*w + 4. Let n be s(5). Let f be n/1 - 1/(-4). Which is smaller: f or -2?
-2
Let m(g) = -g**2 + 2*g + 2. Let i be m(3). Let o = -398 + 4382/11. Is o smaller than i?
False
Let w = 1 - -1. Suppose w*t - y - y = 4, 3*t - 12 = 5*y. Let p = 0 + t. Is p at least 0?
False
Let s = -380/7 + 54. Let t = -8 - -9. Which is smaller: t or s?
s
Let t = -245/8 + 1779/56. Which is smaller: t or 1?
1
Let j = 0.36 + -0.66. Let o = -1.8 + 2. Let p = o - 0.2. Are j and p nonequal?
True
Suppose 0 = 5*k + 5 - 25. Suppose 2*x + k = 3*x. Which is greater: 5/2 or x?
x
Let a = -69/2 + 171/5. Suppose 2*o + 3*m + 4 = 1, 0 = -4*o + m + 1. Are a and o nonequal?
True
Let x be -10 + (1 - 3/3). Is x not equal to -11?
True
Let b be 0 - (-2)/20*-1. Which is smaller: -1 or b?
-1
Let w(u) = -u**3 + u**2 + 7. Let q be 0/(1/(0 + -1)). Let y be w(q). Suppose -5*x = 2 - y. Is 3 at least as big as x?
True
Let j = 19 + -18. Which is smaller: 2/7 or j?
2/7
Let j = -1.1 + 5.1. Let v = j + -2. Let f = v + -3. Is 0.2 greater than or equal to f?
True
Let r = -3.5 + 3.4. Let j = -0.2 - -0.2. Which is smaller: j or r?
r
Suppose m = 4*m + 3. Let w = m - 0. Which is smaller: 0.2 or w?
w
Let n be (4/(-10))/((-16)/(-20)). Let h be 2/6*(-3 - -3). Suppose h = -3*k + 2*k. Which is bigger: n or k?
k
Suppose 68 = -4*v - 4*g, 3*v - 2*v + 3*g = -23. Let s = v - -9. Suppose 4 = -x, 3*x = -z + 2*x - 10. Which is smaller: s or z?
z
Let g = -14.1 + 14. Let i = -0.2 - g. Let x = 2 - 1. Which is smaller: i or x?
i
Suppose 26 + 22 = -4*x. Let o = x + 11. Is -5/9 less than or equal to o?
False
Let s = -13 - -12.8. Which is greater: -1/7 or s?
-1/7
Let p = -21.9 - -22. Let g be 6/4 + 0 - 2. Is p greater than or equal to g?
True
Let y(d) = 3*d**2 + 3*d + 5. Let s be y(-2). Is s > 11?
False
Let w be (6/3 - -57)*-2. Let a = -13/1228 + -1305247/11052. Let p = a - w. Is -1 less than p?
True
Let w = -0.11 - -0.06. Let l = -2.95 + w. Let h be (-4)/(-10) - (-2)/(-30). Is l < h?
True
Let k be 6/21 + 115/(-35). Let s be 4/10 - (-22)/(-5). Which is smaller: k or s?
s
Let j = -9 - -11. Suppose -4*a + 6 = -j*a. Which is smaller: a or 5?
a
Let t be ((-2)/5)/(19/5). Suppose 4*m - 5*m + 6 = 0. Let b(i) = -i + 6. Let r be b(m). Which is smaller: r or t?
t
Let d(v) = -v**2 - 6*v - 6. Let n be (-27)/6*4/3. Let s be d(n). Let o be (-3)/s*(-8)/18. Are -1 and o non-equal?
True
Let z be 2*3*(-3)/2. Let q be ((-10)/8)/(1/8). Which is greater: z or q?
z
Let v be (-462)/(-2040) - (2 + 7/(-4)). Is 1 at least as big as v?
True
Suppose -12 = -3*x - 3*q, -15 = 2*x - 5*q + 5. Do x and 5/14 have the same value?
False
Suppose c + 2*c = -4*l - 21, -5*c - 18 = l. Is c at most -3?
True
Let b = 316.07 - 298. Let y = -18 + b. Which is smaller: 2/3 or y?
y
Suppose 3*a - 5 = a + 5*r, -a + 10 = 5*r. Suppose a*v - 14 = 4*d, -3*v = d - 0*d - 5. Suppose 572*w + 18 = 566*w. Which is greater: w or d?
d
Let h = 12153/59 + -206. Which is smaller: h or 0?
h
Let m = 3.2 - 3. Let a = -9.8 - -9. Let f = a - m. Is f smaller than 1?
True
Let g = -0.28 - -3.26. Let v = g + 0.02. Let n = -2.9 + v. Which is smaller: -2 or n?
-2
Let q(p) = -p - 3. Let b be q(-7). Let d(n) = -3*n + 5. Let u be d(b). Let m(r) = -r**3 - 8*r**2 + 10*r + 2. Let t be m(-9). Is u less than t?
False
Let p = -2.3 - -2.5. Is 0.1 <= p?
True
Suppose 0 = 3*b + 3, 4*l + 3*b = -0*l + 13. Suppose -o = 2 - l, -z - 5 = -3*o. Do 0.3 and z have the same value?
False
Let f be ((4 - 9)/10)/((-2)/16). Which is smaller: f or 7?
f
Let l be 20/(-110) - 128/22. Let v be 84/8 + 3/l. Which is bigger: v or 11?
11
Let l = -4 - -5. Let p = -9 + 13. Let j = p + -3. Is l bigger than j?
False
Let v = 148/9 + 19/18. Is v greater than 17?
True
Suppose -4*i + 0*i = -3*x - 9, 5*x = -i + 8. Let f be 550/(-308) + (-2)/(-1). Which is smaller: f or x?
f
Let w = -1/54 + 191/108. Do w and 2 have the same value?
False
Let v be (-60)/63 - 6/(-21). Let x = -0.4 - -0.5. Which is smaller: x or v?
v
Let b = 8 + -8.03. Let m = -0.22 + b. Let z = m + -0.05. Which is bigger: z or -2?
z
Let z(y) = -y. Suppose -2*c - 7 = 1. Let s be z(c). Are s and 4 equal?
True
Suppose 19 = -3*i - 2*u, -24 = -5*i - 5*u - 64. Let v be (i - 0)*(-6)/27. Let j = 1 - 1. Is j equal to v?
False
Suppose 0*b - 3*m - 1 = -2*b, 3*b - 5*m - 1 = 0. Suppose 0 = -p - 1 + b. Let t = 3 - 3. Do t and p have the same value?
False
Let k(u) = -u - 4. Let r be k(-4). Is r at most as big as 1/5?
True
Let g = -19.2 + 7.5. Which is bigger: 0.1 or g?
0.1
Suppose -b = -2*t - 3, 23 = -3*b - 0*t - 2*t. Which is smaller: b or -8?
-8
Let u(o) = -2*o**3 + o**2 - 2*o + 1. Let m be u(1). Let q be (-1)/m + (1 - 2). Which is bigger: -0.1 or q?
-0.1
Let w = -5 - -3. Let n be 3*(-3 + (-1 - -3)). Which is bigger: w or n?
w
Suppose 3*l + 4 = p + l, 0 = -2*p - 4*l - 16. Let j be (p/3)/(6/9). Let g = 1 + -1. Is g bigger than j?
True
Let p be ((-10)/6)/(-5)*21. Let g = p + -6. Which is smaller: -2/27 or g?
-2/27
Suppose 3*x - 20 = 7*x. Which is smaller: x or -4?
x
Suppose 0*s - 27 = -3*s. Suppose -3 = -z - s. Let n = z - -7. Is n greater than or equal to -6?
True
Let j = -17 + 19. Suppose 2*o = -3*o - 45. Let r be (o/6 + 2)*1. Is r != j?
True
Let l(u) = 5 - 2*u + 5 - 12. Let y be l(-4). Is y less than 2?
False
Let v = -62 - -62. Which is smaller: -2 or v?
-2
Let x = -0.8 + -0.2. Let c = -5.5 + 0.5. Let z = 5.1 + c. Is z != x?
True
Let x be (-4)/8 - 273/(-6). Let g be ((-3)/5)/((-3)/x). Which is smaller: g or 11?
g
Let k be (176/20 - 1)*23. Let h = k + -180. Which is greater: 0 or h?
0
Suppose 6*v - 2*v + 4 = 0. Let o = 97 - 296/3. Is o bigger than v?
False
Let s be 2 - 16/7 - (-531)/63. Is 8 less than s?
True
Let a(w) = 2*w. Let g be a(1). Suppose 4*o = g*o. Let b = 3.9 - 4. Are o and b nonequal?
True
Let x be 13 + -3 + -2 + 0. Let i be (-2)/9 + x/36. Let p be ((-1)/8)/((-1)/(-2)). Is p less than or equal to i?
True
Suppose 2*o + 8 = 6*o. Is o at most as big as 0.04?
False
Let n be ((-12)/(-10))/(3/(-15)). Let y be 18/(-15)*2/n. Let i(l) = -l**2 + l - 1. Let v be i(1). Which is bigger: y or v?
y
Let s(q) = -q**2 - 2*q + 2. Let m be s(-3). Which is greater: m or 4/31?
4/31
Let t(a) = a**2 + 9*a - 14. Let h be t(-10). Let c = h + 1. Suppose 5*r + 12 = w, 3*w + 1 = 2*r - 2. Is r smaller than c?
False
Let q = 2 - 4. Is -1 greater than q?
True
Let n = -241.93 - -244. Let s = n - 0.07. Is s bigger than 1/3?
True
Let c = -105640/33 + 6343/2. Let v = c + 175/6. Which is smaller: v or 0?
v
Let l = 0.3 + -1.3. Let g = 106 + -744/7. Which is smaller: g or l?
l
Suppose j + 4*g = 23 + 12, -50 = -5*j + 5*g. Which is greater: 71/5 or j?
j
Let p be 0*(2 - 3)/(-2). Suppose -7 = -w - 3. Let d be 32/22 - (w - 2). Which is bigger: d or p?
p
Let y = -25 - -26. Is -6 at most y?
True
Let o be 0 - ((-3 - -5) + 0). Is -8 > o?
False
Suppose 6 = -2*m + 14. Let y be 4*(-1)/(12/(-9)). Suppose 0 = y*k - 1 - 8. Is k <= m?
True
Let w = -0.6 - 0.4. Is w equal to 2/9?
False
Let r = -93 + 52. Which is greater: r or -40?
-40
Let m(q) = -q + 1. Let s(j) = -j**3 + 4*j**2 - 3*j + 2. Let c be s(3). Let u be m(c). Is -2/7 equal to u?
False
Let l be (-3 + (2 - -1))/1. Is l bigger than 8/13?
False
Let k be (0/3)/(2/2). Suppose m + m - 36 = k. Suppose t - 3*x - 10 = 0, -3*t - 2*t - x = -m. Is t not equal to 4?
False
Let k(v) = -v**2 + 3*v - 1. Let h be k(4). Let q be -4 + 5 - (-28)/(-36). Which is smaller: h or q?
h
Let u = -0.089 + -0.011. Let z = -7/19 + -91/114. Is u bigger than z?
True
Let k(d) = d. Let j be k(3). Suppose i = -j*q + 1 + 11, 0 = -4*q + i + 16. Suppose 17 = 5*y + q*g, 6 = -3*y + 5*g - 2*g. Is y at least as big as 1?
True
Let u = -0.9 - -0.9. Which is bigger: u or -9?
u
Suppose 4*i = 3*i + 5*z - 23, -5*z = 2*i - 29. Suppose 3*l - 8 = -2. Suppose -5*p = -l*r - 7 - i, r = 5*p - 7. Is p at least 1/3?
True
Let s = -0.1 + 0.5. Let w = -0.6 - s. Let v = w - -1. Do v and 1 have the same value?
False
Suppose 3*k = -2*c + 8 - 3, 5*k - 4 = c. Let i be (-2)/(-2) + -2 + c. Is i greater than -0.1?
True
Let b be 1/4 + 25/(-4). Suppose -2*k + 3*k = 4. Suppose 2*w = 5*q - 20, 35 = -w - k*w + 5*q. Which is bigger: b or w?
w
Let q(n) = -n + 3 + 4*n**2 - 4 + 0*n**2. Let y be q(-1). Let m be y/6 + 6/(-9). Is 0.06 at least as big as m?
True
Let b = 4 - 3. Let 