t w = 5 + q. Is w at most -3?
False
Let u(q) = -q**3 - 8*q**2 - q - 5. Let p be u(-8). Which is greater: p or 2?
p
Suppose 3 - 5 = 2*h. Let o = -1 + 2. Let t = h + o. Which is smaller: t or 1?
t
Let x = 17/35 + -3/35. Let p = -1.3 + 2.5. Let d = -1 + p. Which is greater: d or x?
x
Let v = 3 - 3. Let m = 85 + -87. Which is smaller: m or v?
m
Suppose -2*m = -5*m + 60. Is m less than 19?
False
Let y be 3 - 273/69 - -1. Is y greater than -1?
True
Suppose -i + 0*i + 2 = 0. Is 3/2 greater than i?
False
Suppose -4*s - 2*l - 4 = 0, -3*s - s + 4 = -2*l. Let h = 71 + -993/14. Are h and s non-equal?
True
Let h be ((-5)/3)/(-5)*-2. Is h greater than 12?
False
Let w be (-741)/18 + 3/6. Let s = w + 41. Is s < 1?
True
Let k be -1 - (0 - 4)/(-2). Let p(d) = -d**2 + 3*d - 3. Let o be p(2). Let t = o + -1. Is t at most k?
False
Suppose -11*w = -w - 170. Is w <= 19?
True
Let x be (1 + 3)/(-4)*-3. Suppose -c + 4*c = x. Is c < 5/4?
True
Let t = -20 - -17.3. Let x = t - -0.7. Is -2/7 at most as big as x?
False
Suppose -4*c + n = -5, -c - 3*n - 25 = 2*n. Let b = 0 - c. Let x be 1 + (-1)/(-2)*b. Is 0.2 less than x?
True
Let x(s) = -4*s**2 + 2*s + 2. Let y = 2 - 5. Let j be x(y). Let a be 56/j + (-4)/(-10). Are a and -0.1 unequal?
True
Suppose 0 = 4*a - 8*a + 12. Suppose -3*o = -3*j, -o + 5*o - a*j = -2. Which is greater: -10/3 or o?
o
Let h be 1 + (0 - 14/8). Let d(o) = -o**3 - 9*o**2 - 2*o + 2. Let z be d(-9). Suppose -z = 3*b + b, x = -3*b - 15. Which is bigger: h or x?
x
Let a be 2/20*(-17)/34. Is a equal to 1?
False
Let f be 4/(-12) + 32/6. Suppose -4*r = -u + 8, f*r + 14 = u + 4. Which is greater: -4/5 or r?
-4/5
Let a = -17/28 + 9/28. Is 0.14 greater than or equal to a?
True
Let h = -5 + 8. Let r be 5 - (4 + -2 + 1). Suppose r*q + h = 5*q. Is q smaller than 1?
False
Let n = 38 + -303/8. Let u = 6 + -6. Is n greater than u?
True
Suppose -2*x - 2*x = 0. Suppose -7*q + 2*q - 4*z - 15 = 0, 4*z = x. Which is smaller: q or -1?
q
Let j(b) = b**3 - 7*b**2 + 7*b + 4. Let x be j(6). Let o be 2*(-1)/((-4)/x). Which is smaller: o or 7/2?
7/2
Let f = 0.053 + 0.047. Which is bigger: -2/19 or f?
f
Let a = 0.4 + -0.3. Let z = 9.2 + -9. Let x = z - a. Is 0.1 greater than x?
False
Let x be (8/4)/(4/10). Suppose -4*z = -x*z. Is 5/6 smaller than z?
False
Suppose -280 = -3*g - 2*g. Which is smaller: 1/4 or g?
1/4
Let z = 292803280/527 - 555608. Let p be (-312)/51 - 4/(-2). Let k = z - p. Are k and -1 nonequal?
True
Let l = 0.08 - 0.34. Let h = l + 0.24. Is h smaller than -0.1?
False
Let x = 12 - 2. Suppose 3*b = -2*b + x. Is 0 > b?
False
Suppose 0 = -w - 8 - 3. Let r = 11 + w. Which is greater: r or -1/5?
r
Suppose -4*i - 24 = -2*f - 2*f, -i - 20 = -3*f. Let a = f + 16. Is a equal to 23?
True
Let n = -108274/16485 - 347/471. Let k = n - -37/5. Which is bigger: -1 or k?
k
Let o be (4/(-6))/(4/6). Let l(f) = -f**2 - 9*f - 10. Let b be l(-6). Suppose 3*q - 2*u + 0 = 3, 2*q + 2*u + b = 0. Is o bigger than q?
False
Let l(a) = -1 - a**2 + 2*a + 0*a**2 + 3*a**2. Let y be l(1). Is y greater than or equal to 2?
True
Let p = 2 - 0. Suppose i + 2*s - 5 - 1 = 0, p*s - 6 = -4*i. Let u be (2/16)/((-2)/(-12)). Is u greater than i?
True
Suppose 3*j - 9 - 9 = 0. Let x = 7 - j. Let m = -133/3 - -44. Which is smaller: m or x?
m
Suppose -20 = -x + 10. Let l be 3/x - (-1)/(-2). Which is bigger: -3 or l?
l
Let m be 3 - 3/(1 - 4). Is -1/2 at least m?
False
Let b = -58 - -57.953. Let d = b + 1.987. Let f = 0.06 + d. Is 0 at least f?
False
Suppose 2*u - 98 = -3*r, -2*r + 102 = 2*u - 0*r. Which is greater: 54 or u?
u
Let z(a) = a**2 - 2*a - 3. Let t be z(3). Suppose t*x + 1 = x. Is x greater than -1?
True
Let u = -12 + 26. Let h be (-89)/(-56) + 4/u. Let w = 19/8 - h. Is w at least as big as -1?
True
Let n be (1 + 2/(-8))*-4. Let u be (n/(-6))/(1/3). Let c be 2/(-1*(-1 + 0)). Which is greater: c or u?
c
Let a(t) = 2 + 2 - t - 4. Let f be a(-2). Suppose -2 = -f*h - 4. Is -1 greater than h?
False
Let k(h) = h**3 - 9*h**2 - 13. Let s be k(8). Are s and -76 non-equal?
True
Let k be 228/10 + 4 + 133/(-35). Which is smaller: 25 or k?
k
Let x be (30/(-25))/((-6)/(-15)). Let s be x - (-9 + (3 - 2)). Which is greater: 2/5 or s?
s
Let s = 40 + -39. Is s <= 2?
True
Let n = -32 + 31. Are 3 and n unequal?
True
Suppose 3*j + 3*v - 2 = -26, 0 = -4*j - 5*v - 35. Is -4 >= j?
True
Suppose -v - 3825 = 4*v. Let p = v + 9197/12. Let k = 1/12 - p. Which is greater: k or -1?
-1
Let k be (-2 - -9) + -4 + 116/(-38). Which is smaller: k or 0?
k
Let g be 6/(-10) - (147/5 - 3). Which is greater: g or 2?
2
Let t be (-3)/(-2)*(-16)/(-42). Is t smaller than -0.3?
False
Let b(y) = -y**2 + 4. Let p be b(0). Suppose -3 = -4*g + 3*x, -p*g = -3*x + 7*x + 4. Let n be g/2 + (-2)/(-20). Which is greater: -1 or n?
n
Suppose -4*c = -33 + 13. Suppose -4*h = h - c. Is h greater than 2/9?
True
Let t = 3 - -5. Let z be (4/10)/(t/(-10)). Which is smaller: 0 or z?
z
Let x = 0.06 + -0.46. Let c = -1 - -0.2. Let q = c - -0.7. Is x equal to q?
False
Let v(w) = -w**2 - w - 1. Let g be v(0). Let n(h) = h**3 + 3*h**2 - 2*h + 7. Let z be n(-4). Is g at least z?
True
Suppose z - 3 - 3 = 0. Suppose -p + z*f - 17 = f, 5*p + 5*f = 35. Let d(h) = h**2 - 2. Let o be d(2). Which is smaller: o or p?
o
Let t = 0.063 + -5.263. Let p = 1.2 + t. Is -2 >= p?
True
Let b = 1827/22 - 83. Let k be ((-4)/(-6))/(2/3). Which is smaller: k or b?
b
Suppose -63 = -j - 3*j - v, -v = 5. Suppose 5*r + j = -3. Which is smaller: r or -3?
r
Let f be (6 + -4)*2/26. Is f at least as big as -1?
True
Suppose -4*x + 5*m = m, -2*x - 3*m = -25. Let y = -21 - -25. Let p = x - y. Are p and 2 nonequal?
True
Let w be ((-7)/(2 - 9))/(1/(-114)). Which is greater: -113 or w?
-113
Let b = 80 - -19.9. Let q = b - 96. Let v = q - 4. Is v < -1/2?
False
Let r be 1 - 0/((-3)/1 - -4). Which is smaller: 7/13 or r?
7/13
Let q = -33 - -29. Which is bigger: q or -3?
-3
Let q be 22/10 + (-10)/50. Let t = -3 - q. Which is smaller: -3 or t?
t
Let u be (18/(-8))/(66/(-1232)). Is 40 <= u?
True
Suppose 4*d + 19 = 3*s - 0*s, 3*d - 3*s + 12 = 0. Suppose -4*r - 12 = -3*o + 14, 3*r = 2*o - 20. Which is smaller: d or r?
r
Let o be (-2)/(-10) + (-48)/15. Let f = -6 - o. Which is smaller: f or -0.1?
f
Let i be 6/24 + 9/12. Which is smaller: 3/7 or i?
3/7
Suppose -5*r = 3 + 2. Which is greater: -3 or r?
r
Let c = 2 - 2. Is c equal to 0?
True
Let d be 39/(-52)*(-8)/(-170). Which is smaller: -1 or d?
-1
Let d(o) = o - 6. Let a be d(11). Let k be 8/(-30) + 4/(-10). Is k greater than or equal to a?
False
Let w = -52 - -52. Let n = -113/8 - -14. Which is smaller: n or w?
n
Suppose -2*m + m + 2 = 0. Suppose 0 = o - 3*o + m. Is 2 < o?
False
Let u = 14 - 1. Let s = u + -17. Does -4 = s?
True
Suppose 5*n = 5*a - 26 + 6, n = 3*a - 2. Let r = -2308/7 + 331. Which is smaller: a or r?
a
Suppose -3*b - 1 = -o, 3*o - 2*b - b - 3 = 0. Which is greater: o or 1/16?
o
Suppose r = 3*b + 24, 4*r - 66 = -0*r + 2*b. Is r greater than 14?
True
Let w = -5 + 21. Suppose 0*x = 4*x + w. Let z = 3 - 6. Which is greater: z or x?
z
Suppose -1 + 13 = -3*w, 5*w + 29 = -p. Are p and -9 equal?
True
Suppose g = -0*g - 3. Let w be (30/(-35))/(g/(-2)). Which is bigger: -1 or w?
w
Let n = -2 + 2.2. Let l = n + -0.2. Let v = -2.9 - -3. Is l less than or equal to v?
True
Let y = 2767/13 - 213. Let n = 10 + -52/5. Which is smaller: y or n?
n
Let r(c) = 6*c - 1. Let p = 10 - 11. Let b be r(p). Is -7 at least b?
True
Let a be (1 - -1)*2/4. Let z be -606 + 2/1 - -4. Let i be (-380)/z - (-1)/(-2). Is a equal to i?
False
Let d = -2 - -1. Suppose 0 = 3*g + 5*t + 12, -6*g + 2*g = 3*t + 5. Let j be 8/16 + g/2. Is j greater than or equal to d?
True
Let f be 1/2 + (-5)/4. Let p = 8 - 10. Which is greater: f or p?
f
Suppose 3*q - m = 2*m + 6, -2*q + m + 1 = 0. Is q bigger than -6/5?
True
Let p = -53 + 50. Which is greater: -2 or p?
-2
Let b = -169/644 - -2/161. Which is greater: b or -1?
b
Let k = 25 - -7. Let y be (k/24)/((-2)/(-1)). Is 0 != y?
True
Let j = -82.9 - -83. Let b = -2 - -5. Let y = b + -2.9. Is j bigger than y?
False
Suppose u = -7*u - 0*u. Let q = 841/42 - 127/6. Do q and u have the same value?
False
Let x = 70 - 70. Which is smaller: x or 5?
x
Let o = 0.08 + -1.18. Let z = o - -0.1. Which is bigger: z or 0?
0
Let o = -142 + 70. Is -73 greater than or equal t