= -5*i + c + 9. Which is smaller: 2 or i?
2
Let g be ((-2735)/182)/5 - (-36)/12. Is g at most as big as -1?
False
Let l be 1 + 3/9*0. Is l at least -1?
True
Let k be (-2)/10*(-10)/8. Suppose -3 + 33 = 6*l. Suppose -l*t = 13 - 8. Is k at least t?
True
Suppose -2*j = 4*l + 2 + 6, -3*l - 4*j - 16 = 0. Which is greater: -1/2 or l?
l
Let y(c) = c**2 - 4*c - 1. Let l be y(4). Let q = -19 - -11. Let r be q/(-44) - 82/88. Do r and l have the same value?
False
Let x be (-12)/30 - (-163)/(-5). Are x and -33 nonequal?
False
Suppose -2*f - 3*t - 9 = 0, -f + 6*f = -2*t - 6. Are f and 2/7 unequal?
True
Let c(k) = -k + 4. Let z be c(8). Is z greater than -4?
False
Let b(d) = -d**2 + 6*d - 1. Let t be b(6). Let r = -24.7 - -15. Let a = r + 10. Is a >= t?
True
Let u be 1/(-2)*6/8. Let s be 2 - 1*(2 + 1). Is s greater than u?
False
Let u = -71 + 58. Which is smaller: -10 or u?
u
Let p = 932/5 + -186. Is 21/2 smaller than p?
False
Suppose 5*h + 2*j = -178, 2*j = -6*h + 2*h - 144. Which is smaller: -33 or h?
h
Let z = 38 - 26. Is z less than 12?
False
Let b = -30/17 - -9/34. Suppose -v - 2*v = 0. Let r = -2 - v. Which is smaller: r or b?
r
Let i = 0.8 + 0.2. Let l = -7 + 14. Is i smaller than l?
True
Suppose 4*x + k = 26, 0 = x + 3*x + 2*k - 28. Suppose 4*u + 0*c + x = c, 2*u - 2 = -2*c. Which is bigger: u or 1/7?
1/7
Suppose 0 = -5*n - 0*n. Let b = -10 + 12. Let v be 3 + (-256)/52 + b. Is v > n?
True
Let m be 2*(-2)/(-8)*-9. Suppose -3*i + 3*k - 104 = -2*k, -1 = -k. Let a = 28 + i. Which is smaller: m or a?
a
Let n = 5 - 3. Let h(o) = 2*o**2 - o + 5. Let j be h(0). Suppose -w + j*w - 8 = 0. Is w at least n?
True
Let m = -9 + 9.1. Let t = -4.1 + m. Let d = 0 + t. Is d bigger than 2/5?
False
Suppose -3*c = 108 + 93. Which is smaller: c or 0.1?
c
Suppose 3*n - 4*n + 3 = 0. Let m be 2*(-6)/(-3) + -2. Suppose -3 = m*t - 11. Is t < n?
False
Let l = 11 - 21. Suppose -3*q - 27 = -0*q. Which is smaller: q or l?
l
Let t = -7.87 - 0.13. Let p = -9 - t. Do 0.1 and p have the same value?
False
Suppose h = 2*h - 1. Let k be (-1)/(-15) + (-2)/(-6). Which is bigger: h or k?
h
Let h = 2 - 10. Suppose -x = x + 14. Let k = h - x. Do -1 and k have the same value?
True
Let h be (-19)/(-3)*(-2 - -5). Which is smaller: 20 or h?
h
Let y be -1 + 2 + (4 - 2). Let l be y - 3/(36/40). Is -1 greater than or equal to l?
False
Let p be 5 + 2/(2 - 4). Suppose 0*h = 2*h - p. Suppose 0 = -0*w - 5*w + 15. Is h less than or equal to w?
True
Let l be 1/(-3*2/(-18)). Suppose 6*q - 3*q = l. Suppose -4*j = -q + 17. Is j at least -6?
True
Let y = -13 - -19. Let q = y + -4. Suppose -5*g = 4*p + 4, -g - 2*p + 0 = q. Are 1/3 and g nonequal?
True
Let y = 3 - 1. Let o = y + -2. Is 4/3 < o?
False
Let a = 4 + 1. Let t = 2 + 3. Let n = a - t. Are -5 and n nonequal?
True
Suppose -p = -4*p + 18. Let m be 88/(-42) + 4/p. Let w = 16/21 + m. Which is smaller: w or -2?
-2
Let s = 0.1 - 0.075. Let v = s - 4.225. Let m = -4 - v. Which is smaller: m or 1?
m
Let j be 1/(-2) + (-3)/2. Let b be (0 + 0)/(j + 0). Which is greater: b or 2/11?
2/11
Let b = 28/5 - 29/5. Which is bigger: b or 1?
1
Let y = 11 - 14. Is y greater than 10?
False
Let m = -6.5 - -6. Let d = 2.5 + m. Let j = -2.1 + d. Which is bigger: j or -4?
j
Let h = 0.97 + 7.03. Which is bigger: h or 0?
h
Suppose 3*f + 5*l = 12, 2*l - 4 = -3*f + f. Which is smaller: 80 or f?
f
Suppose -4*v - 10 = r, 0 = -r - v - 1. Suppose -10 = 2*x - r. Let s be 0/(-3) + x/2. Is 1 less than s?
False
Let v = 23/4 - 6. Suppose -28*k = -34*k - 6. Which is bigger: k or v?
v
Suppose 27 = -0*y - 3*y + 3*p, -25 = 5*y - p. Let o be (y - -5)*(-3)/3. Is o at least -3/2?
True
Let j = -565/6 + 95. Let g be 2 - (4 + 1) - 0. Let p be (-1)/((g/(-3))/(-2)). Is p at most j?
False
Let u = -8 + 20. Which is greater: 13 or u?
13
Let y = 61 + -43. Let t = -37 - -52. Let w be ((-4)/(-10))/(y/t). Is 1 smaller than w?
False
Let b = -1/46480 + 156077/1719760. Let u = 6/37 - b. Which is smaller: 0 or u?
0
Suppose -4*f = -4*d + 6 + 18, -2*d = 3*f - 17. Let o(j) = -j + 10. Let x be o(d). Let s be x - (-4)/(84/(-75)). Which is greater: s or -1?
s
Let i = 2 - 2. Suppose i + 5 = -5*x. Let n = 0.2 + 0.8. Which is smaller: x or n?
x
Suppose -4*f - 26 - 6 = 0. Which is greater: f or -0.1?
-0.1
Let b = -10.9 - -9.9. Is -0.16 bigger than b?
True
Let u be 61/(-595) + 4/10. Let w = 1/85 - u. Suppose -3 = -3*h + 5*l, -4*h + 6*h - 2 = -3*l. Which is bigger: w or h?
h
Suppose -47 = -2*s - 45. Is s less than or equal to 3?
True
Let c be (-4 + 10)*(-6)/4. Let p = c - -13. Suppose -b - p*g + 23 = 0, -4*b - 3 = -0*b - 3*g. Is 1 at most b?
True
Suppose -2 = 6*x - 8. Is -2/19 <= x?
True
Let a = -83/8 + 10. Are a and 0 equal?
False
Let q = -1450 - -88452/61. Do q and 1 have different values?
True
Let s = -18 + 3. Let j = 12 + s. Which is smaller: j or 1?
j
Suppose g + 3*g = -24. Let l be (-2)/(-4)*g/(-1). Which is smaller: 4 or l?
l
Let w(l) = -l**2 + 4*l - 2. Let n be w(2). Is 3 greater than or equal to n?
True
Let v be 3/(-15) + (-2301)/(-30). Let f = v + -78. Which is greater: f or -1?
-1
Let n = -674/25 - -27. Suppose -3*f - j = 0, 3*f - 4*j - 9 = -24. Which is smaller: n or f?
f
Suppose 0 = -3*u + 2*u + 7. Suppose -4*x + 3*x + u = 0. Is x at most as big as 7?
True
Let p = -7 + 11. Let x(z) = z + 3. Let b be x(p). Let h = b - 7. Is -1 < h?
True
Suppose -52*y - 100 = -48*y. Is y >= -25?
True
Let q be 3/(-6) - (-19)/34. Let k = q - 53/34. Is 0 greater than or equal to k?
True
Let i be 12/5 + (-8)/20. Suppose -i*v + 6 = v. Suppose v*h + 15 = -h. Which is smaller: h or -4?
h
Let j(q) = q - 1. Let h be j(3). Suppose h*m - 6 = -0. Is m < 3?
False
Let i = 3 - 3.2. Let h = 1.2 + i. Let o be (-10)/50 - 16/(-30). Does h = o?
False
Let x = 47 + -49. Which is bigger: x or 0?
0
Let i(z) = z**2 + 7*z + 6. Let b be i(-6). Suppose -2*g = -b - 4. Let l be 2/(-5) - (-9)/10. Which is smaller: l or g?
l
Let j = -1 - 3. Let a(k) = k**2 - 8*k - 5. Let v be a(8). Which is smaller: j or v?
v
Let b(s) = 51*s - 4. Let g(o) = -25*o + 2. Let c(j) = -2*b(j) - 5*g(j). Let q be c(-2). Let d be q/70 + (-4)/(-14). Is d greater than -1?
True
Suppose -14*w + 1 = -15*w. Which is smaller: w or 1/15?
w
Let u = 10 + -12. Let j = 74 + -220/3. Are u and j unequal?
True
Let g = -47158/8463 + 1/1209. Which is smaller: g or -7?
-7
Let h = -3.7 + 0.7. Let m = -0.42 - 2.98. Let i = h - m. Is i smaller than 2/5?
False
Let l(s) = s**2 + 7*s + 4. Let t(y) = 2*y**2 + 14*y + 9. Let r(f) = 9*l(f) - 4*t(f). Suppose 0 = -4*k - 0*k - 28. Let h be r(k). Which is greater: h or -5/4?
h
Let l = 499 + -15965/32. Is 0 less than l?
True
Suppose -3*q + 9 = -3. Let s = q - 3. Let v = -2 + s. Is v > 1/4?
False
Let c be 0/(1/(2 - 1)). Let t be (-56)/(-343)*2/8. Which is smaller: t or c?
c
Let t be (-4)/(-3)*1/(-2). Let n = -217 + 211. Is t at most n?
False
Suppose 5 = 3*a + 4*i, -5*a + 2*i - 4 - 5 = 0. Let l be 38/8 + a - 1. Is l at least 2?
True
Let t(j) = j**2 + 15*j + 13. Let y be t(-15). Is y less than or equal to 13?
True
Let w(r) = -r**3 - 7*r**2 - 6*r + 3. Let f be w(-6). Suppose f*t - 2*t + 1 = 0. Let a be 1 + 0*t/2. Is a at most as big as 1?
True
Let a = -1600/8679 - -2/789. Is a greater than -4?
True
Let r = 533 - 3737/7. Suppose 2*h + 2*h + 44 = 0. Let q = 9 + h. Is r less than or equal to q?
False
Let n be ((-45)/(-63))/(26/(-14) - -1). Which is smaller: n or -0.1?
n
Let o(r) = r**3 + 4*r**2 - r - 4. Let z be o(-3). Let b be (-6)/((-2)/z*3). Let x(t) = -t**3 + 9*t**2 - 7*t - 9. Let h be x(b). Which is smaller: -4/3 or h?
-4/3
Let n = 1.1 - -3.9. Let a = -4 + n. Let x be 1/3 + 13/(-21). Which is smaller: x or a?
x
Suppose -3 = -4*k + f, -3*k - f - f + 5 = 0. Let j be 4/(-5) + 2 - k. Do 0 and j have different values?
True
Suppose u - 3*u - 6 = 0. Let f = -3 - u. Suppose -2*p - 2*n + 3*n = f, 0 = -2*n + 8. Is 2 < p?
False
Let z = -3475/8 + 435. Which is bigger: 0 or z?
z
Let d be 0 + 0 - (-4)/(-7). Suppose -s = h - 3, 12 = 3*s - 3. Is h <= d?
True
Let a = 5531/19 + -291. Let l be 5 + -3 - 6 - -4. Do l and a have different values?
True
Suppose l = -t - 2 + 1, l - 4*t + 6 = 0. Let j be 2 + (-4 + 2 - l). Let g be 5/(1 + 1 + 0). Which is bigger: j or g?
g
Let j = 0.72 - 0.82. Let z = 2 - 5. Let o = z + 2. Which is smaller: o or j?
o
Let n(u) = u + 5. Let k be n(-3). Suppose -3*