a(p) = -p - 5. Let s be a(-8). Let x(o) = -o**3 + 8*o**2 - 5*o - 8. Let q be x(7). Suppose -q = -3*w - s*c, w + 2*c + c = 6. Is w >= -2?
True
Let r = 2 + -1.7. Which is bigger: r or 2?
2
Let x = 10 + -13. Suppose 3*o - 6*o = 0. Let g = o - 3. Is g bigger than x?
False
Let b = -24 + 23. Is 1/13 < b?
False
Let s(o) = o + 1. Let j(n) = 7*n + 8. Let x(m) = j(m) - 6*s(m). Let v be x(0). Which is smaller: 1 or v?
1
Let y(o) = 12*o**3 + 2*o - 2. Let u be y(1). Let q = u - 20. Are q and -7 nonequal?
True
Let p(n) = 4*n - 5 - 3*n - 5 + 3. Let l be p(9). Suppose 0 = -4*r + l*r. Are r and 1 unequal?
True
Suppose -96 = -3*r - 3*m, 5*r + 0*m - 200 = 5*m. Let i = -91 + r. Let s = 713/13 + i. Is s at most -1?
False
Let g(a) = -a - 1. Let y(d) = -d - 1. Let t(u) = -6*g(u) + 5*y(u). Let x be t(-2). Let f = -10/3 + 32/9. Is f at most as big as x?
False
Suppose 4*b = -o + 2*b + 7, 5*o + 35 = 4*b. Let k(n) = n**2 + 3*n + 4. Let a be k(o). Which is bigger: 1 or a?
a
Let q = -11.1 - -11.3. Is 6 greater than or equal to q?
True
Let d be (-10)/15*4/(-10). Is 1 at most as big as d?
False
Let x = -3 + 2.9. Let n(l) = -l + 3. Let y be n(2). Are y and x equal?
False
Let f be 3/4*8/3. Let d be (-6)/15 + f/5. Is d > -1?
True
Let b = 11 + -18. Let d = b - -6. Are -2/5 and d non-equal?
True
Let l = 1.4 - 1.31. Let f = l + -0.04. Which is bigger: f or 0.1?
0.1
Let x be 2*(3 + (-28)/8). Let w be (-36)/(-39) + 0 + -1. Which is smaller: w or x?
x
Let h(t) = t**3 + 5*t**2 - 6*t - 3. Let v be h(-6). Is v bigger than -8/3?
False
Let y = 2.53 + -0.53. Suppose -9 = -h - 0*h. Is h less than y?
False
Suppose 0 = -d - b - 13, 0 = -d - b - b - 18. Is d smaller than -8?
False
Let y be (-1 + 0)*-3 - -3. Let x be (-62)/(-8) + y/24. Which is smaller: 0.2 or x?
0.2
Let s = -158/3 + 52. Which is smaller: s or 11?
s
Let c(x) = x - 19. Let l be c(18). Is 2/291 >= l?
True
Suppose 0 = 4*f - d - 6, 2*f + 3*f + d - 3 = 0. Suppose -3 = -2*q - 1, 2*j - q = -11. Let k = 7 + j. Which is smaller: f or k?
f
Let l = 0.23 + -9.23. Let y = 6.04 - 0.04. Let q = l + y. Is q equal to -1/4?
False
Let i = 0.08 - 3.28. Which is smaller: -1/4 or i?
i
Let f = 0.11 + -0.01. Let r = f - 2.1. Which is greater: 1 or r?
1
Let v be 49/3 - (-4)/6. Let y = 26 - v. Let d = y + -5. Is 3 at least as big as d?
False
Let w(t) = 3*t - 11. Let h be w(5). Is h greater than or equal to 2?
True
Let p = -6.3 + 6.1. Which is bigger: -48 or p?
p
Let w = 1.4 - 1.43. Let o = w - -0.03. Which is bigger: 4 or o?
4
Let k be -1 + -2 + 50/30. Which is greater: k or -0.1?
-0.1
Let n be 2 - -4*2/(-4). Let y = -31/3 - -29/3. Which is bigger: y or n?
n
Let i = -17 - -13. Let x be ((-2)/26)/(6 + i). Which is greater: -1 or x?
x
Let n = 27 - 26.2. Let x = -0.6 + 0.1. Let z = x + n. Is 0 at most as big as z?
True
Suppose -b - 7 = -5*s, 5*b - 4*s - 7 = -0. Let x be (-4)/((-4)/b) + 2. Let j = -2 + x. Is j less than or equal to 1?
False
Suppose 0 = -4*n + 2*n + 4. Suppose -2*t = -5*z + 1, n = -2*z + 4. Which is greater: 0 or t?
t
Suppose -9*u + 10*u + 3 = 0. Let x(i) = i + 2. Let z be x(-3). Is z less than u?
False
Let v = 7/60 - -2/15. Does 1 = v?
False
Let w = -2 + 0. Let l = 30 - 33. Do l and w have the same value?
False
Let h = 81 + -103. Is -22 not equal to h?
False
Let k = 1 - -1. Let a(g) = -g**2 - 8*g + 2. Let o be a(-8). Let l be (-4)/90*(7 - o). Which is smaller: k or l?
l
Let s(k) = k**3 - k**2 - 4*k - 3. Let m be s(-3). Let l be m/5 - 2/(-5). Let g = -186 - -182. Is g >= l?
True
Let j = 74935/52 + -1441. Is j >= 0?
True
Let s(p) = -p - 2. Let l be s(-6). Let x = -1 - -2. Which is greater: l or x?
l
Suppose -7 = g - 0. Let q be g*60/9 + 0. Let r = 47 + q. Is r equal to -0.2?
False
Let u = 108 - 754/7. Which is smaller: u or 1?
u
Let r = -40/129 + -1/43. Let a(o) = o**2 + 4*o + 3. Let m be a(-2). Which is smaller: m or r?
m
Suppose 8 + 4 = 3*n. Is n != 1?
True
Let c be 0 - (-32)/(-20) - -4. Is 2 bigger than c?
False
Let p = 11878/45 - 264. Do 1 and p have the same value?
False
Suppose -7*l + 2*l = 45. Which is smaller: -10 or l?
-10
Let w = -0.06 + -0.34. Let c = 19 - 18.1. Let a = c + -1. Which is bigger: w or a?
a
Let o = 8 + -10. Is o at least -2?
True
Suppose 6 = 5*z - 2*v - 9, 3*v = -15. Let x(c) = -2*c - 6. Let k be x(-4). Is k <= z?
False
Let v be (10/(-6))/(24/(-1296)). Is v <= 90?
True
Let s(r) = -4*r + 12. Let k be s(2). Is k not equal to 1/3?
True
Let f(l) = l**2 + 2*l - 5. Let z be f(-4). Suppose -z = -y - 1. Let s be (2/(-3))/(4/(-6)). Which is bigger: y or s?
y
Let w be 8/6*5/(-30). Let i be 2 - 0 - (-1 - -2). Is i greater than or equal to w?
True
Let f = 100.2 + -100. Which is smaller: f or -2.3?
-2.3
Let k(z) = z - 8. Let b be k(7). Is 1/4 equal to b?
False
Suppose -21 = -5*p - 1. Let g = -6.1 + -0.9. Let v = g + 6.9. Is p greater than or equal to v?
True
Let j = 0.1 + -1.1. Let i = -4.9 - -2.9. Is i at least j?
False
Let d = 48 - 70. Let x be 4/d + 536/44. Let o be (-9)/x + (-2)/(-2). Is o < -2?
False
Let l(j) = j**3 - j**2 - j. Let d be l(0). Let i(f) = f**2 + f - 1. Let b(q) = 2*q**2 - 2*q - 3. Let x(g) = -b(g) + 3*i(g). Let o be x(-5). Is d <= o?
True
Let n = 11.6 - 1.6. Let a = 13 - n. Is a > 1/4?
True
Suppose g - 3*j = 2*j + 21, -5*j = 4*g + 16. Is -4/11 < g?
True
Let b = -233/7 + 33. Is 7.8 bigger than b?
True
Let o = -41 + 16. Let z be (-1)/(-3) + o/30. Let j = z - -1/3. Which is bigger: 0.1 or j?
0.1
Let k(h) = -3*h + 14. Let q be k(7). Which is smaller: -6 or q?
q
Suppose -7*g - 14 = -0. Which is smaller: 0 or g?
g
Suppose -4*y = -y - 6. Which is smaller: -2/15 or y?
-2/15
Let m = 21 + -18. Suppose m = -2*h - 1. Do h and 0 have the same value?
False
Let p = -1 - -1. Let c = 15 - 11. Suppose y - c = -3*y. Is y at most as big as p?
False
Suppose 26 = -5*i + 4*p, i + p = 1 + 1. Let q be ((-18)/30)/(1/2). Which is smaller: q or i?
i
Let q be 2/3*(-6)/(-4). Let n = 136/195 - 2/65. Which is smaller: q or n?
n
Let f = -39351/43 + 915. Which is greater: -1 or f?
f
Let v(l) = l**3 - l**2 - 2*l + 2. Let u be 2/(-7) + (-30)/(-7). Let o = 6 - u. Let c be v(o). Is c equal to 3?
False
Let i be 1/2*(1 + 9). Suppose -i = -5*x + 5. Suppose x*w - 2 - 6 = 0. Is w >= 5?
False
Let a = 9 + -5.9. Let q = a - -0.9. Is -2/7 equal to q?
False
Let f = -4 + 10. Suppose 2*o + f = -2. Let t(z) = z - 1. Let s be t(-2). Is s greater than o?
True
Let w = 1.86 - -0.04. Let m = w + -2. Is m at most as big as 11?
True
Let o(r) = 7*r + 7. Let k(z) = 6*z + 7. Let h(b) = -6*k(b) + 5*o(b). Let f be h(5). Let u = 9 + f. Which is smaller: u or -4?
-4
Let u(c) = -4*c - 3. Let l be u(-3). Let s be ((-3)/l)/(8/(-6)). Suppose 4*w + 12 = 3*k, k - 4*w - 12 = -0*k. Which is smaller: s or k?
k
Let q(c) = 2*c - 4. Let m be q(3). Suppose 12 = -3*d - 3*f, -m*d - 29 = 4*f - 11. Which is greater: d or 2/5?
d
Suppose -6*a + 8*a = 104. Is 51 != a?
True
Let q be 2/(12/(-33))*5. Which is bigger: -27 or q?
-27
Suppose 0 = -2*v + 2*a - 2, 5*v + 3*a - 10 - 9 = 0. Is v bigger than 7/3?
False
Let v be -1*(1 - 12/(-2)). Let j be v/(-2) + 8/16. Let u(k) = -k**2 + 4*k + 1. Let s be u(j). Which is smaller: 2/11 or s?
2/11
Let j = 59.9 + -64. Let d = j + 4. Let i = -0.05 + -0.05. Is d smaller than i?
False
Let b(o) = 12*o + 7. Let w be b(-2). Which is bigger: w or -19?
w
Suppose 25*f = 21*f + 436. Is f at least 110?
False
Suppose 6*u - 1520 = 2*u. Suppose -3*s + 3 = 0, 2*t - u = -3*t - 5*s. Let c be 10/t + (-2)/6. Which is smaller: c or -2/3?
-2/3
Let m = -2 + 3. Suppose 0 = 6*z - 3 - 9. Is z smaller than m?
False
Let a = -32 + 225/7. Which is smaller: 0.3 or a?
a
Suppose 4*f + 30 - 6 = 0. Which is bigger: f or -2/5?
-2/5
Let l(i) = 4*i - 31. Let r be l(9). Are 7/2 and r non-equal?
True
Let y be (-2)/4*0/3. Suppose -4*j + 1 = 2*c + 5, y = -5*j - c + 1. Is 0 smaller than j?
True
Suppose -5*q = -2*q + 423. Let l = -1837/13 - q. Let u = -5/26 + l. Which is smaller: u or -2?
-2
Let a = 12 + -10. Is 7/3 <= a?
False
Suppose 2*n + 3 = n - 5*x, 1 = -n - 3*x. Suppose 6 = 4*m - n. Is 1 at least as big as m?
False
Suppose 3*v - 4*v = 2*t + 6, -3*v + 3*t - 9 = 0. Let r be (-6)/v + 72/(-16). Let f be ((-2)/(-6))/(3/(-9)). Which is greater: r or f?
f
Let n = -30 + 54. Suppose 0*r = -2*r - 3*d - 22, 4*r + d + n = 0. Is r at least -5?
True
Let j = 9 + -6. Let s be 2/(-2 + 4) + 2. Is s > j?
False
