 + 4*q = 5*o + 5. Which is smaller: 3 or q?
q
Let y be (-2)/(-8) + (-3)/44. Let k = -9 + 6. Let u be 1 + -1*(-2 - k). Which is smaller: y or u?
u
Suppose 12 = -2*d - 2*d. Let b be (-2)/6 - (-10)/3. Let k = b + d. Is k <= 2/5?
True
Let x(y) = 2*y**2 + y - 1. Let p be x(-2). Is p at least 7?
False
Suppose 0 = 7*j + 36 + 27. Is j <= -8?
True
Let a be -2 + 0 + (-1 - 0). Let d be ((-4)/(-12))/((-2)/(-36)). Let l = d - 10. Which is bigger: l or a?
a
Let v(q) = q**3 - 4*q**2 + 5*q - 3. Let j be v(2). Is j greater than -1?
False
Let w = -9/1013 - -5257/363667. Which is greater: -1 or w?
w
Let g = 780/43859 - 1/719. Which is greater: 1 or g?
1
Let q = -2.9 + 3. Let f be (-4)/(-6)*(4 + 2). Are q and f equal?
False
Let p = 25 + 35. Let n be (-2)/(-8) + 9/p. Which is greater: n or -0.02?
n
Let l be ((-12)/(-8))/((-6)/68). Is -19 less than l?
True
Let d be 0 + -8*(-6)/4. Let w = d - 7. Let n = 5 - w. Is -2/7 <= n?
True
Let r be (-40)/(-36) - (0 + 1). Let v be 6*((-12)/(-9) + -1). Is v greater than r?
True
Let p(w) = w + 13. Let o be p(-10). Let r be (o/(-4))/(6/2). Is r bigger than -2/5?
True
Let r = 113 + -112. Is -1 greater than or equal to r?
False
Suppose 0 = -3*k + 52 + 8. Which is greater: k or 19?
k
Let b be (-2)/(-2) - -1 - (-24 - 4). Does b = 30?
True
Suppose f + a - 7 = 0, 4*f - 25 - 5 = -5*a. Suppose -x - 5*k + 20 = x, f*x - 2*k + 8 = 0. Suppose 0 = 4*w - x + 4. Are w and -1 non-equal?
False
Let g = 7 - 7. Let n be 10/35 + 30/(-56). Which is bigger: g or n?
g
Let l(q) = -q**3 + q**2 + q + 1. Suppose -5*r = -r. Let b be l(r). Is b at most 5?
True
Let h = 1112/15 + -439/5. Is -13 not equal to h?
True
Let t be (2/(-5))/((-1)/(-1)). Suppose 111 = -2*d - 5*f, 4*f + 18 - 6 = 0. Let b be 1/((-22)/d) - 2. Which is greater: b or t?
b
Let m be (-1)/(-2) - (-9)/2. Let x be ((-4)/m)/(12/30). Let j = 4 - 3.9. Are j and x equal?
False
Let n(g) = -g**2 - 5*g - 1. Let i be n(-4). Let b be -1 - i/(-6)*-2. Let v be (-76)/(-18) + -2 + b. Does 1 = v?
False
Let j = 1.8 - 2. Are 8 and j unequal?
True
Let u be (-27)/(1/((-8)/6)). Suppose -2*v + u = 2*i, -5*v + 58 = 4*i - 14. Suppose a + 5 = -4*k, k + i = -4*a - 2. Is a at least -5?
True
Let d = -4 - -3.3. Let n = -1.7 - d. Is -1/6 less than n?
False
Let p = -9.14 + 0.14. Let f = 14 + p. Let k = 5.2 - f. Which is greater: 1 or k?
1
Let w be -2 - 1*9/(-6). Which is smaller: -1 or w?
-1
Let c = -2 - -5.2. Is c >= 1?
True
Let f be (1/1 + -1)/(-2). Let b be 6/(-4) + ((-22)/(-12))/1. Which is smaller: b or f?
f
Let i = -0.12 - -0.09. Let f = i - 0.47. Is f greater than or equal to 0.1?
False
Suppose 5*a - 21 + 6 = 0. Let m(l) = 2*l - 14. Let h be m(5). Let p be -1*((-7)/1 - h). Is p at least a?
True
Let r be 3*((-7)/3 + 1). Let g = -31 + 27. Is g less than or equal to r?
True
Let s be 1/4 + (-18)/8. Let m(r) = r**3 + 5*r**2 - 6*r. Let q be m(-6). Is s <= q?
True
Let v(k) = -k - 7. Let t be v(-5). Suppose -2*c + 3*a = 6, -2*c + a = 1 - 3. Let m be c/t - (-22)/12. Is m less than or equal to 1?
True
Let w be 18/(-12) + 0 + 75/(-2). Is -39 < w?
False
Let k = 34 - 66. Let a be k/(-6)*12/(-104). Is -2 equal to a?
False
Let q = 0.03 - -0.01. Let h = q - 0.09. Let a = h - -2.05. Which is bigger: a or 0.3?
a
Let n = 0 + -4. Let t = -6 - n. Is t bigger than 1?
False
Let h = -32 - -50. Let t = h + -9. Is t at most -1?
False
Let w = -53/6 + 22/3. Suppose -4*n = v - 2 + 8, 3*v - 10 = 2*n. Suppose 5*r + 4*h + 11 = 0, 2*r + 5*h - h = -v. Does r = w?
False
Suppose 3*v = -1 + 10. Are v and 1 nonequal?
True
Suppose 4*d - 5*m - 20 = -0*d, -4*m + 10 = 2*d. Which is smaller: d or 9?
d
Suppose 0 = 4*p + p. Suppose -4*j + 4*i - 8 = p, 5*j - 3*i = i - 8. Is j bigger than 0?
False
Let a = -3477/50 - -1728/25. Let l = a - -8/25. Is 1 at least l?
True
Let c(z) = 5 - 3*z + 5*z - 3 - 4. Let k be c(2). Which is bigger: 12/11 or k?
k
Let f = -49 - -33. Let o be 8/(-12) + f/(-6). Is 1/7 greater than or equal to o?
False
Let b(v) = -v**3. Let t be b(1). Let q be (t - -1)*(-3 - -2). Is 2/5 smaller than q?
False
Let o(u) = -u - 9. Let z be o(-9). Suppose 5*w - 4 - 6 = z. Let t be (3 - 4)/(-1 + w). Is -2 at most as big as t?
True
Let p = 69 + -37. Let n be p/(-6) - 2/3. Let r be (-9)/n*1/(-12). Is 1 greater than r?
True
Let t be -4 - -939*8/1884. Which is smaller: t or 0?
t
Suppose 7*i = 21*i + 392. Which is smaller: i or -27?
i
Suppose 0 = -u - 0 + 1. Let x = 22 + -43/2. Which is greater: u or x?
u
Suppose 2*q + 4 = d, -4*q - q = -2*d + 10. Let h be ((-4)/8)/(q/4). Let a = h - 1. Which is greater: -3 or a?
a
Let s = 29.2 - 5.2. Let i = -32 + s. Which is smaller: i or 0?
i
Suppose -o = d + 3*d - 1, 5*o = 5*d + 5. Suppose 6 + 10 = -2*n. Let a be (-2)/n + (-5)/52. Is a at most as big as d?
False
Suppose -8 = -13*t - 86. Which is bigger: -2 or t?
-2
Let h = 8 - 2. Suppose 2*n = x + h*n - 8, 4*n - 8 = -2*x. Let z = -1 - x. Is z at most as big as -1?
True
Suppose 13*b - 5*c = 18*b + 635, -b = -2*c + 136. Do -131 and b have the same value?
False
Suppose 2*o + 0 = 10. Suppose o*l - 20 + 5 = 0. Which is smaller: l or 5?
l
Let y = 2.02 + -0.02. Let z = 1 - y. Let c = 6 - 6. Which is greater: z or c?
c
Let w = -8 + 5. Let p be -3 + (2 - 0 - -46). Let x be (-18)/p*1*5. Is x greater than w?
True
Let g = -0.2 + 0.2. Let u = 0.2 + g. Let x = -6 - -4. Are u and x equal?
False
Let r = -6816 + 95513/14. Let x = 271 - 529/2. Let n = x - r. Which is bigger: n or -1?
n
Suppose -o + 2*o = -10. Let s(w) = -4*w**2 - 11*w - 8. Let z(k) = 5*k**2 + 11*k + 8. Let j(b) = -4*s(b) - 3*z(b). Let a be j(o). Is -2 less than or equal to a?
True
Let a = -8 - -5. Let g = a - 3. Let b = 5 + g. Is b less than -0.1?
True
Let k(x) = x**3 + 10*x**2 + 9*x - 3. Let d be k(-9). Let q(a) = 3*a. Let t be q(-1). Is t <= d?
True
Suppose -4*r - 2 = 30. Which is bigger: -3 or r?
-3
Let g = 8 + -39/5. Which is bigger: -2 or g?
g
Let p = 160 - 195. Is p less than -0.1?
True
Let v = 0.09 + -0.39. Is 9 < v?
False
Let t(c) = 2*c**3 - 4*c**2 + 3*c - 1. Let v be t(2). Suppose -22 = v*p + 23. Is p > -9?
False
Let f be 2/(-5) - 2/(-5). Let i be (-2)/8 - 18/24. Which is greater: i or f?
f
Let p = -9 + 11. Let u = p - -1. Suppose u*a + 2*a = 10. Which is greater: a or 0?
a
Let y = 50 - 28. Are 22 and y equal?
True
Suppose 6*x + 5 = x. Is x equal to 9?
False
Let w = 26 - 44. Let v be (-30)/(-4) + w/(-12). Are v and 1 equal?
False
Let d(x) = 4*x**2 - 2*x + 1. Let w be d(-2). Let p be (2 + w/(-9))*-3. Is 1 <= p?
True
Let r = 4.36 - -0.74. Let a = r - 5. Let i be 3/12 + (-18)/8. Which is smaller: i or a?
i
Let l(b) = -2846*b**2 - 5*b + 5. Let x be l(-5). Let d = -639173/9 - x. Let c = d + -101. Which is smaller: c or 0?
c
Let s = 0.25 - 0.35. Which is smaller: s or 4?
s
Suppose 3*o - 4 = -o. Let w = 3597/26 + -277/2. Which is bigger: o or w?
o
Suppose -5*z = 11*z + 304. Is z greater than -17?
False
Suppose 3*v = 32 + 103. Let d be (1 - 0) + (-40)/v. Let t be (2/(-3))/(6/(-9)). Which is bigger: d or t?
t
Let o(j) = j. Let w be o(-3). Let q = -4 - -6. Is q equal to w?
False
Suppose u - 1 = 2*u. Let l be (-5 + 3)/(u - 8). Let r = -1.5 - -1.2. Is l < r?
False
Let b = 1 + -1. Let q = -0.3 - -1.3. Let l = q + -0.9. Are l and b unequal?
True
Let b = -41 + 41.1. Which is smaller: -0.19 or b?
-0.19
Let i = 3/91 + -1201/546. Which is smaller: -3 or i?
-3
Let z be (27/18)/(3/4). Let a be 2/(-9) + 6/27. Suppose x - 5*j + 9 = a, -3*j = z*x - 6*j - 3. Which is smaller: 4 or x?
4
Let r = -6042 - -3598. Let w be r/(-30)*10/(-48). Let y = w + 67/4. Which is bigger: y or 0?
0
Suppose -9 = c - 22. Which is smaller: c or 14?
c
Suppose -2*q = -2*g + 2*q, 5*g = q. Let y = 304 + -6994/23. Which is smaller: y or g?
y
Let p(j) = -2*j + 10. Let i be p(0). Are i and 34/3 non-equal?
True
Let m(p) = -p**2 + 2*p. Let x = 14 - 13. Let g be m(x). Which is greater: 1/4 or g?
g
Let w(f) = 6*f + 1. Let b be w(-1). Let z = 0 - b. Which is smaller: 1 or z?
1
Let p be (-2 - -3 - 1) + 0. Let t = p + 0. Let s = 5 + -7. Which is greater: s or t?
t
Let w be ((-5)/7)/((-18)/(-7)). Is w < 1?
True
Let m = -6.8 - -8.8. Let u(y) = -y. Let b(z) = 3*z - 2. Let o(q) = b(q) + 4*u(q). Let s be o(-2). Which is smaller: s or m?
s
Let b be 4/(-20) - (-7881)/(-18). Let r = b + 438. Which is smaller: -1 or r?
-1
Let w be (-32)/6*15/(-10). Let z = -6 + w. Let l be 2*(z/(-2))