= 3*r - 12. Let o be q(4). Let p be (2/(-22))/(2/4). Is p <= o?
True
Let j(h) = -22*h**2 + h - 1. Let t be j(-1). Let x be ((-12)/40)/(t/(-20)). Which is greater: -10 or x?
x
Let a be (-2323)/(-10) + (-4 - -2). Let c = -230 + a. Are -1 and c non-equal?
True
Let u = 1700151/84623 - -2/84623. Let r = -21481/1067 + u. Let a = r + -174/485. Is a > 4?
False
Suppose -6 = -2*b - 8. Let k = 312/5 + -2204/35. Is b greater than or equal to k?
False
Let n = 0.9 - 1. Is -0.11 at least n?
False
Let a(x) = 6*x**2 - x + 1. Let y be a(1). Suppose 4*w = w + y. Is 0 equal to w?
False
Let u = -23/3094 - 2/91. Which is smaller: u or 0?
u
Let t = -196 - -3330/17. Is 0 < t?
False
Let u(l) = l - 10. Let i be u(12). Suppose f - 7 = -i. Which is bigger: 4 or f?
f
Let a be 39/(-12) + 1/4. Let r = a - -4. Is 3/8 bigger than r?
False
Let x be (0 + -1)*-1 - -1. Let b(q) = -q**x + 4*q - 4*q + 6*q. Let y be b(6). Is 0 >= y?
True
Suppose -15 = -2*o - o. Let q be o/30*4/(-2). Let c = 0 + -1. Which is bigger: q or c?
q
Let p(d) = d + d**2 - 5*d + 0 - 3 + 1. Let w be p(5). Is 3 less than or equal to w?
True
Let p be (-2 - -1)/(-3)*3. Let b be (-1)/6 + 107/(-6). Let s be b/(-81) + (-2)/9. Which is greater: s or p?
p
Let z = -38.2 - -38. Which is smaller: 23 or z?
z
Let h = 1 + 5. Let a = h + -7. Which is greater: -1/2 or a?
-1/2
Suppose -33 = o + 5*i, 2*o + i = 9 - 48. Let u be -2*1 + (-40)/o. Is 0 at least as big as u?
False
Let v = -6 + 6.7. Which is bigger: v or 0?
v
Let l = 86.1 + -86. Let m = 3 + -6. Is m > l?
False
Let l = -4 + 5. Let d = 28 - 27. Is d at most as big as l?
True
Let c = 6 - -31. Let w = c - 110/3. Which is greater: w or 1?
1
Let k = 63 - 62. Are 1/33 and k unequal?
True
Let r be (-2)/(-4) + 1/(-6). Let o(c) = 11*c**2 - 2*c. Let h(y) = -7*y**2 + y. Let n(b) = -8*h(b) - 5*o(b). Let v be n(-2). Are r and v equal?
False
Let x be ((-120)/52 - -2)/6. Which is smaller: -1 or x?
-1
Let g = 6 + -7. Which is smaller: g or -3/8?
g
Let d = 1952 + -11677/6. Is 7 at most as big as d?
False
Let m = 17 + -16. Is m at least as big as -2?
True
Let s = 11 - 11. Suppose -852 = 7*y - 3*y. Let q = -2345/11 - y. Which is smaller: s or q?
q
Let t = 0.4 + -0.2. Let l = -1/105 + 17/70. Let z = 2/5 - l. Is t <= z?
False
Let y = 2 + -2.1. Suppose 2*r - 14 = 5*z + 28, 0 = 3*r + 4*z - 86. Let l be r/42 - (-4)/(-14). Is l less than or equal to y?
False
Let l = -3 + 3. Let s = 0.09 - 1.09. Which is greater: s or l?
l
Let x = 0.02 + -0.32. Let u = -0.5 - x. Let g = 29.8 + -30. Is u < g?
False
Suppose -2*x = 4*y - 1 - 7, 5*y = 2*x + 10. Suppose x = -2*q - 6*s + 2*s + 10, 0 = -2*q + s. Are 2/11 and q equal?
False
Suppose 10*x - 14*x = 0. Let z be 2/7 - 743/1288. Let h = 1/184 + z. Is h at most as big as x?
True
Suppose 0 = 3*a - 3, v - a = 4*a - 2. Suppose 1 = v*g + 7. Is -2 smaller than g?
False
Let v be (-1)/(2 - (-9)/(-4)). Suppose -4*p = -u + 4*u + 30, 4*u = 2*p + v. Let x be (-3 + 294/99)*p. Is 1 <= x?
False
Let p = -1.7 - -0.8. Let h = p + 0.6. Let j = -0.1 - h. Is j < -3?
False
Let g = 11 + -20. Let q = 17 - 24. Which is bigger: g or q?
q
Let s = 2.8 - -0.2. Which is bigger: s or 0.1?
s
Let w be 3 + (40 - 1 - 3). Suppose -2*s = d + d - 22, 5*d - 3*s = w. Suppose -d*t + 15 = -4*t. Is 3 <= t?
True
Let d = -1.05 - -0.15. Let b = -0.2 + 0.3. Let v = d - b. Which is smaller: v or 1?
v
Let u = 4 - 0. Let p = u + -13/3. Let t = 5 + -6. Which is smaller: t or p?
t
Let c be ((-1)/18)/(2/8). Suppose -5*g = -4*z + 27, 4*z + 0*z = 12. Let b be 4/16 + g/(-4). Is b at most as big as c?
False
Let a = 2.53 + 0.27. Let l = a - 3. Let q(r) = -r**3 + 5*r**2 + 7*r - 8. Let t be q(6). Which is greater: t or l?
l
Let u be (-65)/30 + 2/12. Which is bigger: u or -10/7?
-10/7
Let t(c) = c - 1. Let o be t(3). Let d be o/(-12)*(-81)/18. Are 2 and d equal?
False
Suppose -49 = -4*n - f - 0*f, 0 = 4*f + 12. Let r = n + -19. Which is smaller: r or -7?
-7
Let s(r) = r**3 + 3*r**2 - 2*r. Let p be s(-3). Let v be ((-4)/p)/(2/(-9)). Is v at least as big as -1/3?
True
Let v = 14 - 14. Let f be (10/3 - 3) + v. Which is bigger: f or 0.08?
f
Let b be 10/(-20) + ((-25)/(-6))/5. Is 0 greater than b?
False
Let g = -78 - -77.94. Which is smaller: 11 or g?
g
Let l be 1 - 0/(-2) - 1. Suppose g = -l*g. Is g < -1/4?
False
Let r(q) = 4 + 0 + q + 0. Let b be r(-4). Which is greater: 1 or b?
1
Let y be (-5)/(-4) + (7 - 7). Is 0 bigger than y?
False
Let f be ((-8)/12)/(3/45). Let d = f + 8. Is 4 smaller than d?
False
Let z = -4 - -9. Suppose -z*h + 3 + 2 = 0. Let p(r) = 2*r - 13. Let v be p(8). Which is bigger: h or v?
v
Suppose -h = -4*h + 12. Which is smaller: 1 or h?
1
Suppose -11*g + 3*g - 344 = 0. Is g bigger than -44?
True
Let x be -3 - -5 - (1 + 2). Let z be (0 - x)*(0 + 3). Suppose -1 + 0 = z*d + 4*p, -5 = 5*p. Which is smaller: 2/13 or d?
2/13
Let m(o) be the second derivative of o**4/12 - o**3/6 - o. Let r(u) = 2*u**3 - u**2 + u - 1. Let b be r(1). Let x be m(b). Which is smaller: x or -2/7?
-2/7
Suppose 0 = 5*m - 10, -3 = -5*s + 4*m + 9. Suppose 0 = 2*k + s + 2. Is k bigger than -3?
False
Let v = 2 - -7. Let u be (-2)/v - (-76)/(-468). Let n = u - -23/26. Which is smaller: n or -1?
-1
Let t = -45 + 44. Let r(g) = g**2 + 4*g - 2. Let j be r(-4). Which is greater: j or t?
t
Let h = -217/2 - -111. Let n = 3 - h. Which is bigger: 3/5 or n?
3/5
Let r = -29.79 + 30. Which is smaller: -2/5 or r?
-2/5
Let l(t) = t**3 - 3*t**2 - 6*t + 5. Let k be l(5). Suppose -2*p = 3*p - k. Let x = -1.4 - -0.4. Do p and x have different values?
True
Suppose 5*k + 19 = -p, 2*k = -2*p + 4*k + 10. Let b be (-288)/105 - (0 + -1). Let w = b - -15/7. Which is bigger: p or w?
p
Let v = -0.3 + 0.2. Let p(w) = 2*w + 3. Let b be p(-5). Is b less than v?
True
Let o = -10 - -12. Which is bigger: 1/3 or o?
o
Let p = -1.59 - 0.81. Which is greater: p or -2/5?
-2/5
Let r(l) = l - 4. Let p(j) = 2*j - 8. Let b(z) = -2*p(z) + 5*r(z). Let c be b(5). Do c and 3/11 have the same value?
False
Let s = -0.4 - 6.6. Which is smaller: s or 0.1?
s
Suppose 5*d - 3*d = -318. Let p = d + 1111/7. Which is smaller: p or -1?
-1
Let z = 53 + -52. Let x = 3 - -1. Which is greater: z or x?
x
Let s = 2.5 + -2.62. Let r = -3.88 + s. Let a be -1*(-1*1 - 0). Is r >= a?
False
Let r = -971/627 + 65/33. Is r less than or equal to 0?
False
Let h(z) = z**2 - 6*z - 7. Let v be (-81)/(-12) - (-6)/(-8). Let y be h(v). Is y >= -6?
False
Let h = 245/6 + -41. Which is bigger: 1 or h?
1
Let k = -1103/5 + 222. Which is bigger: k or 0?
k
Suppose o - 15 = -5*p, -p + 5*o - 23 = -0. Let a = p + 0. Let g be 2/9 + 2 - a. Is -1 less than g?
True
Let a = -185 - -181. Which is greater: -10/3 or a?
-10/3
Let w be 3 + (-85)/20 + 2. Suppose 0 = -0*z + 2*z - 2. Suppose 2*k - z = 3. Which is smaller: w or k?
w
Let f(c) = c**2. Let d be f(1). Let p(l) = -4 - l + d - 1. Let o be p(-8). Is 4 > o?
False
Let n(c) = c**3 + 8*c**2 - c - 9. Let x be n(-8). Is x greater than or equal to 0?
False
Let i be (((-6)/20)/1)/((-63)/(-84)). Is 1 < i?
False
Suppose 6 = -0*i + 3*i. Let z = 6 - 4. Is z != i?
False
Let w be -1 - ((-1 - 2) + 1). Let i = -2891597/7487305 - -6/21091. Let z = 1/71 - i. Is z != w?
True
Let h(g) = g + 2 - g**2 + 6*g**2 + 0*g. Let l be h(2). Suppose -v + 8 = -7*k + 4*k, k = -5*v + l. Is k greater than or equal to -1/7?
False
Let c(w) = -w. Let g be c(12). Let m = g + 6. Is -5 at most as big as m?
False
Let p = 4 + -9. Let o(n) = -2*n - 5. Let x be o(p). Suppose x*i - 21 = -6. Is i at most 3?
True
Let g = 0.6 + -1.3. Let i = 6.3 - g. Let u = 7 - i. Which is greater: u or 3?
3
Let k(m) = -m + 7. Let x be k(6). Let o = -1 - 1. Let a be o/(-4) - (-1)/(-2). Are a and x non-equal?
True
Suppose 0 = 6*t + 3*y - 10 - 8, -t + 3 = -5*y. Let s = -3 - -4. Suppose 7 = 2*i - s. Are i and t non-equal?
True
Let x be 2*(-4)/8*-4. Let b be (6/x*-2)/(-1). Is 3 less than or equal to b?
True
Let s = -1.8 - -1.4. Let i = s + 0.6. Which is greater: 2/13 or i?
i
Suppose 10 = 14*w - 16*w. Which is bigger: -4 or w?
-4
Let p = 8.77 - -0.23. Which is greater: 1/3 or p?
p
Let a be 10/(-455) + 0 + 0. Let k be 90/2275*(-18)/4. Let c = a + k. Which is smaller: c or 1?
c
Suppose 0 = 2*t - a - 6, 2*t + 3*a + 8 = -2*t. Let u = 11006/21 + -524. Which is smaller: t or u?
u
Suppose r = -3*r + 12. Let u = -7 - -12. Suppose -u*z = -r*z. Which 