v = 210 - s. Which is smaller: -1 or v?
-1
Let w(u) = -4*u - 102. Let j be w(-24). Suppose -7*y + 40 = 4*b - 3*y, 0 = 5*b + y - 54. Let s = b - 18. Which is smaller: s or j?
s
Suppose -g - 4*u - 15 = 5, 0 = 2*g - 4*u - 20. Suppose 3*k + p - 17 = -g*p, -3 = -k + p. Is 1 less than k?
True
Let h be 14/(-12)*(-3)/(-21). Which is bigger: h or 0?
0
Let t = 5777/9 + -641. Which is bigger: 0 or t?
t
Let p = -8 - -4. Let y = p + 8. Is -2/7 greater than y?
False
Let s = 0.06 - 0.16. Suppose 0 = -3*d + 2*u - 4, -5*d + 2*d = -u - 1. Let r be (d + (-5)/3)/(-1). Is r < s?
True
Let a(x) = -x**3 + 10*x**2 - 7. Let h be a(10). Is h at least -7?
True
Suppose 4*j - 8 = 6*j. Does j = -7?
False
Suppose -4*f - 44 = 4*m, -2*f - 3*f + 5*m - 55 = 0. Let u be 1/1 - (f - -11). Is u greater than 1/20?
True
Let g = 2/395 + -1983/1580. Is g at least as big as 2/9?
False
Suppose -5*l + l = 0. Let t be 1 + 1 - (0 + -4). Let y(z) = z**3 - 5*z**2 - 7*z + 5. Let m be y(t). Which is smaller: l or m?
m
Let w be (-16)/(-6) + (-1)/(-3). Let a = 1 - 1. Suppose -3*o - 17 = 3*g - 4*g, a = 5*g + 2*o. Which is smaller: g or w?
g
Suppose -4*x + 65 - 9 = 0. Let c = 13 - x. Which is bigger: c or 1/17?
1/17
Let d = 1/237 - -263/79. Let l = 3 - 2. Is d <= l?
False
Let l be 4 - (-2)/(-16)*98. Are -7 and l non-equal?
True
Let b be (-38)/12 + 5/30. Is -5 smaller than b?
True
Suppose v = 2*v - 5. Suppose d + 4*d - v = 0. Let x be (4/(-6))/(3/d). Is 0 > x?
True
Let w be (40/48)/(10/1). Which is smaller: 1 or w?
w
Let r be 21/2 - 11/22. Let i be (-2)/(-4) + (-153)/(-18). Which is bigger: i or r?
r
Let t = -3 - -2. Let v = -2888/33 - -262/3. Is t smaller than v?
True
Let c be 81/18*4/6. Suppose 5 = c*q + 26. Is q at most as big as -6?
True
Let f = -0.1 + 7.1. Let l = f - 4. Is l != -1?
True
Let l = -170 - -169. Let q = 0.01 + -2.01. Which is smaller: q or l?
q
Let m = 22.1 + -23. Let b = m - 0.1. Let g = 6 + -5. Which is smaller: g or b?
b
Suppose 0 + 6 = v. Let f be v/(-4) - 3/(-3). Which is smaller: 2/13 or f?
f
Let o be (-5 + 4)/((-1)/(-15)). Which is greater: o or -17?
o
Let y(m) = m**2 + 4*m - 7. Let p(f) = -f**2 - 4*f + 8. Suppose 0 = 4*z - 9*z, 2*z - 6 = -w. Let h(u) = w*p(u) + 7*y(u). Let b be h(-4). Is b bigger than 1/5?
False
Let b = 4.07 - 4. Let j = b + -0.37. Let t = 0.1 + j. Are 0 and t nonequal?
True
Let y(b) = b**2 - 7*b - 3. Let z be y(8). Suppose -z*s = -5*o + 40, 5*o = -2*s + 3 + 9. Is 5 greater than o?
True
Let c = 1914338/215361 - 2/23929. Let u = c - 26/3. Is u greater than or equal to -1?
True
Let g = 7 + -11. Let x = -5 - g. Let u = x - -1. Which is bigger: u or 0.1?
0.1
Suppose 3 = -k + 4. Let z be 0 + (k - 32/6). Which is smaller: z or -4?
z
Let u be (6/(-4))/(1/(-6)). Let z be 11/u - (-4)/(-18). Suppose 3*i = 5 + z. Is i bigger than 1/2?
True
Let l(u) = 4*u**2 - u + 1. Let c be l(1). Suppose -2*n + c*n = 32. Let x be 6/15 + n/10. Which is bigger: 3 or x?
3
Let o = -16 + 22. Let u(s) = -s**3 + 7*s**2 - 5*s - 2. Let n be u(o). Suppose n*p = -5*g - 25, p + 0*g = -5*g - 10. Does p = -4?
False
Suppose -5 = g + 3. Which is bigger: g or -4?
-4
Let c be (1 - 5)*(-2)/(-6). Let l = 29.1 - 29. Is c less than l?
True
Let s = 37/2 - 18. Let n be (-1)/4 + 14/(-8). Let q be 0 + (-6)/(-3) + n. Is s at most q?
False
Let n(v) = v**2 + 6*v + 2. Let h be n(-6). Suppose -z + h = 5. Let k = 291 + -294. Are k and z equal?
True
Let o(v) = -v**3 - 6*v**2 + 5*v - 10. Let b be o(-7). Let d = -5 + b. Suppose 6*w = w + 2*u - 7, u = 1. Is w at most d?
True
Let n(h) = -2*h + 13. Let u be n(7). Which is greater: u or 1/7?
1/7
Let i(g) = g + 0*g + 1 - 3 - 2. Let t be i(3). Let m be (4/(-2))/(t + 2). Which is bigger: m or 0?
0
Let q(t) = -2*t. Let f be q(-3). Let x = -56/9 + f. Does 0 = x?
False
Suppose -4*t + 14 = 2*v, -3*t - 4*v + 1 = -2. Suppose -t*f - 125 = -20. Let h be (4/6)/((-14)/f). Is h greater than or equal to 1?
True
Let p = -145/2 + 71. Let g = 2 + p. Is 2 at most g?
False
Let t be 2/(-700)*-1*4. Let c = t - 227/175. Is 0 != c?
True
Suppose -2*n = 2*m - 4 - 4, -13 = -4*n - 3*m. Let u be (-3*(-1)/9)/n. Which is smaller: 2/7 or u?
2/7
Let d(r) = -r - 1. Let s be d(-8). Let j(c) = -c**2 + 12*c + 7. Let t be j(s). Let b be 2 + t/(-11) + 2. Which is smaller: 1 or b?
b
Let k(p) = -7*p - 5. Let f be k(-5). Suppose -4*h = -f + 70. Is 0 at least as big as h?
True
Let l be (5/15)/((-2)/(-354)). Is l != 60?
True
Let j = 33 + -9. Let p be 1/(j/(-9))*4. Let c(t) = t**3 - 5*t**2 - 5*t - 7. Let d be c(6). Which is greater: d or p?
d
Let n be 4/(-18) + (-56)/(-9). Let b be 2/(-6) - (-26)/n. Is 5 < b?
False
Let c(t) = t**2 + 13*t + 3. Let m be c(-13). Let x be -3 + 2/2 + m. Which is smaller: -1/7 or x?
-1/7
Let i = -0.18 - -0.15. Let c = -36.07 + 34.1. Let y = i + c. Is 0.2 smaller than y?
False
Let p be 2/12 + (-1)/2. Suppose -s - 4*s + 24 = -2*j, -3*s = 3*j - 6. Suppose 0 = 4*d - 0*c - s*c, -1 = 3*d - 4*c. Which is smaller: p or d?
p
Let b = 1 + -1. Let r = 2780 + -13528/5. Let a = -74 + r. Which is greater: b or a?
a
Let i = -23 + 85. Let w = -435/7 + i. Which is greater: 0 or w?
0
Let a = 12 - 15. Let f = -2 + 0. Is a > f?
False
Suppose -3 = -2*b - 31. Let a be (-6)/14 + (-13)/b. Is 1 >= a?
True
Let j = 27/320 + 1/64. Is 0 bigger than j?
False
Let k be 4/30 - (-7)/10. Let z = k + -7/12. Are 0 and z equal?
False
Let x be 1*(9/(-6))/3. Which is smaller: x or -2/59?
x
Let z be 2/(-85 - 1) - 0. Which is bigger: -1 or z?
z
Suppose -z - 5 = -y - 4*y, 3 = 3*y + 3*z. Let i be (-1 + 4)*(-2)/(-6). Is y < i?
False
Let z = -12 - -11.9. Is z not equal to -7?
True
Let m be 88/(-276)*6/8. Let n = 6/23 - m. Is 1 at least n?
True
Let t = -0.016 + -0.144. Which is bigger: 1 or t?
1
Let r be 2/(8/(-12) - 974/6). Is 1 greater than r?
True
Let t(s) = -144*s**3 + 2*s**2 - 2*s + 2. Let j be t(1). Which is smaller: j or -141?
j
Let y = 2 + -1. Suppose -6*u + 4*u + i = y, 4*i + 18 = -3*u. Is u < -2?
False
Suppose -46 = -5*n - 4*l, 55 = 5*n + 2*l + 17. Let u be (-1 + 0/1)*-7. Do n and u have the same value?
False
Let m = 86 + -70. Is -1 less than m?
True
Let m(y) = 17*y**2 - 2*y + 1. Let w be m(1). Is 15 at most w?
True
Let b be (-6 - -3)*2/((-2)/1). Which is smaller: 0 or b?
0
Let g be (-64)/(-110) - 20/50. Is -1 at least g?
False
Let z = 2 + -3. Let k(f) = f**2 - 2. Let h be k(0). Let o be h - z - (-22)/18. Is 1 greater than o?
True
Suppose 3*h - 9 = -3*r, 4*h - 11 = -3*r - 4. Let v = -5 + 6. Does v = r?
False
Let v be 4/(-3)*27/(-18). Let o be (4/(-6))/(8/12). Let b be 3 - (2 + 1 + o). Is b smaller than v?
True
Let z = -1/811 - 1601/17031. Let g = 149 + -148. Are g and z unequal?
True
Let q = -3/2 + 11/8. Is q at least 0.3?
False
Let r = 0.4 + -0.3. Which is smaller: 0.4 or r?
r
Let n be (-2)/(-16) + (-5535)/120. Which is smaller: -44 or n?
n
Let n be (-4)/(-16) - 21/(-12). Which is smaller: -0.6 or n?
-0.6
Let d(z) = -z**3 + 4*z**2 + 5*z - 4. Let p be d(3). Suppose -2 + p = 3*o. Which is smaller: o or 5?
5
Let h = -0.4 - -0.3. Which is smaller: -22 or h?
-22
Let i be (52 + -39)*1/(-4). Are i and -1/3 equal?
False
Let t = -0.045 - -1.545. Which is greater: t or -0.2?
t
Let t = -0.06 + 1.36. Let j be ((-3)/14)/((-78)/91). Which is smaller: j or t?
j
Suppose -2*u = -39 - 1. Suppose 0 = -9*d + 4*d - u. Do -3 and d have the same value?
False
Let h be (-21)/14*(-8)/(-3). Let f = 11 + -6. Let l = f + -9. Is h >= l?
True
Let a = -3 + 15. Is a less than 13?
True
Suppose -k - 3*k = 8. Suppose 2*m + 4*w = -16, -4*w + 23 = -4*m - 9. Let v = m - -6. Is k > v?
False
Let q = -0.8 - 0.2. Let t = -14 + 20. Let p = -4 + t. Does p = q?
False
Let v be (-2)/10*-5 - 13. Let y be (-2)/10*10/8. Which is greater: v or y?
y
Let b = -9 - -18. Suppose 1 = 2*g - b. Which is smaller: 4 or g?
4
Let w be 2/(-11) - (3 + 300/44). Which is smaller: -11 or w?
-11
Suppose -2 = n - 4. Let k be n/(3/3)*10. Suppose 2*t = -2*t - k. Is -6 < t?
True
Let s(p) = p - 17. Let g be s(6). Which is bigger: g or -23/2?
g
Let s be 2 + 0 - (-4 + 1). Suppose -4*a = -4*m - 7*a + 33, 3*m - 3*a = 51. Suppose -s*f + 2 = m. Which is smaller: -1 or f?
f
Let m = -59 - -41. Let o = 28 + m. Is 11 smaller than o?
False
Suppose 8*a - 10 = 3*a. Let o be (-78)/(-18) + a/(-6). Suppose 0 = -3*p - 5*g, -o*p + 4*g = p. Which is bigger: p or -1/6?
p
Let p = 8/5 - 338/205. Let o be (1/3)/((-11