1 or y?
-2/11
Let s(w) = 4*w + 56. Let h be s(-9). Is h not equal to 5?
True
Let c(k) = 3*k - 18. Let l be c(6). Which is smaller: -1 or l?
-1
Let p(a) = -8*a + 5 - 6 + a**2 - a + 3*a. Let o be p(6). Is o < -1?
False
Let p = -0.12 + 27.12. Is 2 > p?
False
Suppose -3*w = -2*l + 13, -5*l + 67 = -w + 2. Is 4 > l?
False
Suppose -2*x + 10 = -2*g, -2 = 3*x - 7*x - 2*g. Let j be -1 + x*1/(-4). Which is smaller: j or -3?
-3
Let x = -3 + 3. Is -1/4 <= x?
True
Suppose -3*s + 20 = -4. Let b = 1 - 0. Let p be s/(-3) + (3 - b). Which is smaller: p or 1?
p
Let m = -19 + 21. Which is greater: 1 or m?
m
Let n = 139 - 242. Are n and -103 unequal?
False
Suppose 0 = -3*w + 7*w - 48. Suppose 0 = 4*m - w, -2*v + 10 - 33 = -3*m. Is -6 at most v?
False
Let r = 29.95 + -30. Is 1/3 less than or equal to r?
False
Let y be -90*(-1 - 21/(-6)). Let g = 895/4 + y. Which is smaller: -1 or g?
g
Let b = 1348/15 - 90. Suppose -8*y = -3*y. Let k be (4 + -3)/(-1 - y). Is b at most as big as k?
False
Let h(t) = 23*t - 19. Let x be h(4). Which is greater: x or 0?
x
Let c be 12/90*-5 + 101/138. Which is bigger: 1 or c?
1
Suppose 0 = 4*r + a - 2*a - 80, 4*r - 92 = 4*a. Which is smaller: r or 21?
r
Let m be ((-10)/30 - (-1 - 0))*12. Do m and 9 have the same value?
False
Suppose -5 = 5*m - 3*o + 13, 3*m + 4*o = -5. Let a = -1 - 0. Let n = a - m. Is n less than 2?
False
Let w(s) = s**3 + 9*s**2 + 8*s - 4. Let h be w(-8). Let a be (-1)/2 + h/8. Let z be (a - 2) + 7/4. Is z at least as big as -2?
True
Let r be (-70)/(-22) - (-4)/(-22). Suppose 5*j - 4*m - r = -3*m, 4*j + 4*m = 12. Does j = 4/3?
False
Let m = 39 - 40. Let j be (2/4)/((-10)/12). Is m < j?
True
Let b = 864 - 11218/13. Which is bigger: 1 or b?
b
Suppose -2*z = -10, -3*c = -c - z + 3. Which is bigger: c or 2?
2
Let x be (9006/(-144))/(1/2). Let g = x + 125. Is 1 > g?
True
Let w(i) = -i**3 - 27*i**2 - 5*i - 44. Let t be w(-27). Is 92 <= t?
False
Suppose -4*r - 10 + 6 = 0. Which is bigger: 3/14 or r?
3/14
Let s be 49/(-14)*6/(-21). Which is smaller: s or -1?
-1
Let z(c) = -2*c + 12. Let f be z(9). Let o = 5 - 7. Is f > o?
False
Suppose -2*h + 5 = -7. Let y be (-2 - 0) + 3 - -2. Let m be 6 - -1 - y/3. Is m greater than h?
False
Let k = 1.2 - 1.22. Let t = -0.98 + k. Let b = -3 + 1. Is b bigger than t?
False
Let g(x) = -x**2 - x. Let v(t) = 5*t**2 + 10*t + 1. Let h(n) = 6*g(n) + v(n). Let m be h(5). Suppose -4*i = 4*q, -2*q + 2*i = -q + 9. Which is smaller: m or q?
m
Suppose 4*z = 3*z. Suppose -3*g - t - 1 = z, 0*t - 5 = -4*g + 5*t. Suppose g = -3*p + p - 3*i + 5, 3*p = -5*i + 9. Is p at least -1?
False
Let i(b) = b**3 - 6*b**2 - 5*b - 9. Let f be (9 - 14)*(-14)/10. Let l be i(f). Is -1/4 > l?
False
Let r be (-1)/(2/(-2 + -4)). Let u be 0/2 - (-8)/2. Suppose -u*m + y + 8 = 2*y, 0 = -2*m - y + 2. Are r and m equal?
True
Let z = -122 - -123. Is z smaller than 7?
True
Let r = 2.043 - 0.043. Is 19/6 at most as big as r?
False
Let g = 0.4 - 0.5. Let o = g - -0.3. Let h = 0.4 - 0.2. Is o greater than h?
False
Let l(f) = f**3 + 3*f**2 + f. Let k be ((-4)/3)/((-2)/6). Suppose 2 = -3*m - k. Let p be l(m). Are 3/4 and p equal?
False
Let y = 28.9 - -0.1. Let z = y + -27. Which is smaller: z or 2/5?
2/5
Suppose -34 = -4*m + 2*g, 16 - 1 = 5*m + 3*g. Is 7 at least as big as m?
True
Let z = 6 + -4. Suppose -7*c = -z*c - 50. Let v be c/15 + (-26)/30. Are v and -1 equal?
False
Let b be ((-12)/50)/((-36)/120). Is b smaller than 0?
False
Let b = -0.005 + -3.895. Let y = 4 + b. Let j = y + -0.1. Do -3 and j have different values?
True
Let m be (-652)/(-182) - (-6)/(-39). Which is greater: 2 or m?
m
Let b = 2 + -7. Let r = 6 + b. Which is bigger: -0.4 or r?
r
Let j be (-5 - (-3 + -1))*-1. Let o = -1/5 - 1/20. Is j at most as big as o?
False
Let b = 0 + 0.1. Let l = -0.08 + -0.1. Let k = l + 0.28. Is k less than b?
False
Let r be 42/(-9) + (-4)/12. Is r greater than 0?
False
Suppose -f + 5*i = -4, 5*f - 2*i + 3*i = -6. Let p = -1 + f. Which is smaller: p or -3/4?
p
Let q = 0.14 + 5.86. Let s = q - 5.9. Are -4 and s unequal?
True
Let r be (-585)/(-8) + (-2 - 1). Let u = -70 + r. Which is greater: u or 1?
1
Let c(v) = -v - 5. Let a be c(-3). Let q = 4 + a. Let p be 72/(-15) + q/(-10). Is -6 bigger than p?
False
Let c = 40 + -28. Let q = 5 - c. Let x = 7.1 + q. Is 0.6 <= x?
False
Let k = 7 + -7. Let m = -1/2 + k. Is -1 > m?
False
Let z be 71/108*2/(-10). Let g = z + 4/27. Let n = g - -3/20. Which is greater: n or -1?
n
Let j = 12 - 7. Suppose 5*z - j*x + 5 = -4*x, 2*x + 10 = 0. Is z greater than -2?
False
Let f(v) = v**2 - 2*v + 1. Let q be f(2). Are q and 0 unequal?
True
Suppose 3*s - 28 = 7*s. Let h be 86/s + (-18)/(-63). Is -12 at least as big as h?
True
Let m(g) = -g + 8. Let q be m(7). Let d(o) = 3*o**2. Let y be d(q). Let j be (y - 9 - 1) + -1. Is j less than -7?
True
Let d be ((-6)/15 - -1)/1. Let k = 48 + -46. Do k and d have the same value?
False
Suppose 0 = -2*i - i - 9. Let c = 4 + i. Let r = -93/136 + 18/17. Which is smaller: c or r?
r
Let l = -24 + 28. Is 6 smaller than l?
False
Let h(b) = -b**2 + 6*b - 6. Let c be h(5). Which is smaller: 2/55 or c?
c
Let d = 1.3 - 8.3. Let c = d - 4. Let k = -10 - c. Which is bigger: 2/3 or k?
k
Let j be (15/(-20))/(27/24). Which is smaller: j or 9?
j
Suppose t = 5*t. Let a = t + -7. Which is smaller: a or -8?
-8
Let m(f) = f**2 + 2*f - 1. Let d(s) = -2*s. Let r be d(2). Let c be m(r). Is 7 smaller than c?
False
Let r(l) = l**3 - 3*l**2 - 3*l + 1. Let i be r(4). Suppose i*m = -0*m. Which is bigger: -1/2 or m?
m
Suppose -2 = -w + 2*y - 6, 0 = -3*w + y + 8. Let f(g) = 2*g - 8. Let u be f(w). Which is bigger: 1/6 or u?
1/6
Let s = 19 - 19.11. Let i = 0.89 - s. Let d = -4/17 - -33/68. Which is smaller: i or d?
d
Suppose 6 = 2*y - 10. Let s be 5/3*(-9 + y). Suppose 3*i = -0*i - 3. Which is smaller: i or s?
s
Suppose c + 3 = -4*z + 28, -2*z = -10. Suppose 10 = 4*q - 2*l + 5*l, c*l = q + 9. Let r be ((-39)/(-30) - q)*2. Is 1 not equal to r?
True
Let r = 7.9 + 0.1. Is 0 <= r?
True
Let z = -448 - -3142/7. Suppose 0*o = -5*o. Which is smaller: o or z?
o
Suppose 11*q = 1 - 23. Is -3/4 less than q?
False
Let r = 12 - 10. Is 4 > r?
True
Let x = -43 - -560/13. Is x less than or equal to -1?
False
Let s be 16/(-16) - 184/(-30). Let x = 5 - s. Which is greater: x or 0?
0
Suppose -b = -6*b - 5. Is b at least as big as 2/7?
False
Suppose -2*m + l - 40 = -l, -m - 32 = 5*l. Are -24 and m nonequal?
True
Let i = -12 - -12.2. Is i <= 1/5?
True
Let s(f) = f**2 + 3*f + 3. Let q be s(-2). Let t = 0.3 - -0.2. Which is smaller: q or t?
t
Let t = 0 - 2. Suppose -2*f - 3*f = -4*a - 9, 4*f - 4 = 4*a. Let b = -9 + f. Which is smaller: t or b?
b
Let u = 248085492392/175 - 1417644703. Let b = u - -13318. Let v = b + -6/25. Does v = 1?
False
Let d = 0 + 0. Let g = 0.5 + -0.5. Let u = g - -0.2. Is d > u?
False
Let k = 3.68 - 0.71. Let c = -3 + k. Is c <= -1?
False
Let h = 0.9 + -0.7. Let v = 13 + -66/5. Which is smaller: v or h?
v
Suppose -g + 90 = -3*g. Let t be -1*(-6)/g*10. Which is smaller: -2 or t?
-2
Suppose -5*h = -g - 14, -6*g + 2*g = 4*h - 16. Let u(b) = -b**2 + 5*b - 8. Let l be u(8). Let w = l + 158/5. Is w at least as big as g?
False
Let y(g) = -9*g - 1. Let o be y(-3). Let x be o - (3 - (0 - -2)). Suppose 0 = -5*d - x. Are d and -5 unequal?
False
Let y = -311 - -916/3. Is -1 smaller than y?
False
Suppose 7*r - 6 = 8*r. Which is bigger: r or -14/3?
-14/3
Suppose 3*s - s - 8 = 0. Suppose 2*t - z = 5, -t - 3 - 12 = -s*z. Let p = t + -4. Is p greater than 2?
False
Suppose 2*y - y = 0. Suppose 2*c + 22 = 3*h, 4*h - 10 = 3*h - 2*c. Let f be h/(-16) - 10/(-36). Which is smaller: f or y?
f
Let j = 10 + -33. Is -2 <= j?
False
Let y = 1595/8 + -199. Are -1 and y nonequal?
True
Suppose -m = m. Suppose 7*s = 8*s. Is s less than m?
False
Suppose 7 = 2*b - 9*b. Which is smaller: b or -6/13?
b
Suppose 4*t - t = -l + 5, 2*l - 10 = -3*t. Which is greater: 1 or t?
1
Let f be 2/(-6) - 169/(-39). Suppose -q = f*q. Which is smaller: q or -2/25?
-2/25
Let j be (-1)/(-2) - (-27)/18. Is -2 >= j?
False
Let g be 1/(38/116) - 3. Is g less than or equal to 0.1?
True
Let d be 5/30*(1 + -3). Which is smaller: 0 or d?
d
Suppose 5*x + 11 = 6. Is x < 1/17?
True
Let w(o) = -o**2 - 3*o + 2. Let q be w(-4). Let v be 12/18 - 12/(-9). Let c be (-20)/15 + v/6. Is