Is u at most -1?
False
Let p(c) = -2*c**3 - 7*c**2 + 16*c + 49. Let k be p(-5). Which is smaller: 42 or k?
42
Let d = -37 + 704/19. Let u = 314 + -316. Is u equal to d?
False
Suppose g + 4*v - 61 + 52 = 0, v - 7 = -5*g. Which is greater: -2/2611 or g?
g
Let z(t) = 6*t**2 - 80*t - 373. Let v be z(17). Which is smaller: -24/983 or v?
-24/983
Let h = -8.9 - -0.9. Let s = h - -4. Let o be (6/9)/(3/((-513)/(-38))). Which is bigger: s or o?
o
Let v(q) = 32*q - 2400. Let d be v(75). Let g(b) = -b**2 + 8*b + 10. Let f be g(8). Let a be (-3 + 4)*2/f. Which is bigger: a or d?
a
Let u = 8/2151 - 32591/3557754. Let j = -7277/729414 - u. Which is greater: j or 0?
0
Let f be 1*(1734430/184 - (-2)/(0 - 8)). Is f < 9427?
True
Let h(q) = q**2 + 55*q + 590. Let u be h(-11). Is 635/6 < u?
True
Suppose 0 = 227*c - 182*c + 4005. Is c > -79?
False
Let n = 57.358 + -63. Let l = -5.7 - n. Let o = 1404 - 1406. Is l less than o?
False
Let n be (5 - (-153)/(-27))*(-187 - 2). Suppose 123*x = n*x + 633. Is -211 smaller than x?
False
Suppose 12*s - 8*s + 26 = -5*o, -4*o = s + 12. Let m be (-6 - -6)*(-1 - -2). Suppose m*d + 2*d = -4. Is o bigger than d?
False
Let d be 11/(44/96)*2/6. Let c be (-3 - -7)*(0 + 82/d). Let t = 19 - c. Is -22 at least as big as t?
True
Let m(v) = -v**2 + 4*v - 1. Let t be m(2). Let a(d) = -d - 10. Let w = 397 - 398. Let u be a(w). Which is greater: u or t?
t
Let m(b) = b**3 - 15*b**2 - 3*b + 38. Let g be m(15). Let c be (-2)/3*54/(-4). Suppose 44 = -5*q + c. Is g > q?
False
Let w be 5/3*-3*(-1)/1. Suppose -w*d = -b - 87, d - 51 = -d - 5*b. Let n be (5 + 66/(-18))/(8/d). Which is greater: n or 12?
12
Let r = -201 - -73. Let o be (9 - (-108)/(-8))*r/(-6). Is o greater than or equal to -97?
True
Suppose 126 = -2*d - c, 5*d - 63*c + 312 = -64*c. Which is greater: -72 or d?
d
Let q = 1 - 1. Let g = 357 - 357.236. Let h = -7.764 + g. Is q bigger than h?
True
Let k = -48/439 + 24947/208086. Let a = 1837/39342 - k. Suppose -5*h = -10*h - 5. Which is bigger: a or h?
a
Let w(j) = 2*j + 5. Let d be w(-3). Let z = -1759 + 1749. Is d greater than z?
True
Let r = 221 - 146. Suppose 7*x - r = 51. Is x at most -1?
False
Suppose -6*y + y + 10 = 0. Let c = 463 - 654. Let l = c - -156. Which is bigger: l or y?
y
Let r(g) = -g**2 + 5. Let a be r(0). Suppose -8 = 3*w + 5*t, -2*t + 3*t + 6 = -a*w. Is w > 1/92?
False
Suppose -22*d - 4*d = -20864 - 11012. Is 3680/3 bigger than d?
True
Let k = 2 - -5. Let q be (27/6 - 4)*4. Suppose -q*u - 5*o + 37 = 0, -3 - 5 = 2*u - 4*o. Is k >= u?
True
Let u be (42080/21028 - 2)*(-10 - 64/(-6)). Which is smaller: u or 0?
0
Let t(g) = -2*g**2 - 25*g - 77. Let n(r) = 3*r**2 + 37*r + 116. Let v(z) = 5*n(z) + 7*t(z). Let o be v(-11). Is 52 < o?
False
Let g be (-2)/(-4) - ((-215)/550 - -1). Let c = 2649 + -87425/33. Let p = c - g. Is p < 0.7?
True
Suppose 0 = 2*n + q - 14 - 3, 5*n - 2*q = 38. Let l(h) = -h**2 + 10*h - 3. Let v be l(n). Let m(k) = 2*k**2 + 7*k - 47. Let j be m(4). Is v at most j?
True
Let p be (22 + (0 - 0))*2. Let k(q) = -q**2 - 43*q - 405. Let o be k(-18). Let w = p - o. Which is bigger: 0.17 or w?
0.17
Let x = -270 - -287. Let t(d) = -2*d**2 + 37*d - 39. Let h be t(x). Which is bigger: h or 15?
15
Let m be 4/(-1 - -9)*0. Suppose 5*o = 4*a + 2*o + 181, 3*o = -2*a - 95. Let w be (-69)/a*4/102. Which is smaller: m or w?
m
Let d be -30*10/90*-3. Is 6 > d?
False
Suppose 10*t - 1 + 14 + 447 = 0. Does t = -641/14?
False
Let f(j) = -6*j**2 - 18*j - 4. Suppose -42*l = -11*l + 155. Let n be f(l). Do -65 and n have the same value?
False
Let c be 12/(1008/(-75614))*-3. Which is smaller: 2700 or c?
2700
Let p = -0.39 - -0.09. Suppose -11*m - 16 = -15*m. Suppose -m*q + 2*q = 8, 0 = -4*z + 2*q - 24. Is z at least p?
False
Let b = 510 - 329. Suppose 65 = q - 3*g, 2*q - b = -q - 5*g. Let r = q + -63. Is -6/35 at most r?
False
Suppose -4*a - 32 + 40 = 0. Suppose 346 = -3*v - a*z, 5*v + 5*z + 690 = 105. Which is greater: -111 or v?
-111
Let i be -11*((-7)/(28/20) + 28). Which is greater: i or -254?
i
Let o(g) = -g**2 - 45*g + 197. Let z be o(4). Let i be z + 56/(-72) + 1177/9. Which is smaller: i or 133?
i
Let l(n) = n**3 - 4*n**2 - n + 4. Let u be l(4). Suppose u*v - 228 = 2*v. Is v not equal to -113?
True
Let j be (-30)/(-60)*(-4)/33. Suppose -5*b - 4*s = 0, -3*b + 2*s + 30 = 2*b. Suppose 0 = -5*c - b*l + 2*l, -2*l = 0. Are j and c nonequal?
True
Let x be 5*(36/(-10) + (72 - 72)). Are x and -42 equal?
False
Suppose 7*l = -4*l + 1342. Suppose l = -31*u + 32*u. Which is bigger: 120 or u?
u
Let q be (2 - 3/(-12)*0) + -2. Let n be -3*32/(-120)*(-15)/(-126). Is n equal to q?
False
Suppose -4*k - 32 = -5*d, -55*d - 2*k = -58*d + 16. Is d <= -280/223?
False
Let p = 977 + -975.68. Which is bigger: -0.1 or p?
p
Let d(s) = -35*s + 37. Let b be d(-5). Let a be (-53)/(-6)*4*6. Is a > b?
False
Let v be ((-9)/1 + 8)*(1 - 3). Let c = -71.94 - 7.06. Is v at most c?
False
Let k be -6*((-12)/(-66) + 9/11). Let f be -1*10/17 + (-3)/k. Let p = -177/850 - f. Which is smaller: 0 or p?
p
Suppose 318 = -3*d + 324. Let o be ((-6)/219)/(d/(-6)). Which is smaller: 0 or o?
0
Let y be (2*4/52)/(2/4). Suppose 1 + 2 = a + g, 3*a = 4*g - 12. Suppose -z + 4*z = a. Which is bigger: z or y?
y
Let r = -0.109684 - 86.577316. Let o = 1.987 + r. Let j = -85 - o. Which is smaller: j or 2?
j
Suppose 669 = 28*g - 872 - 1231. Is 87 at least as big as g?
False
Let z(x) = -x**2 + 32*x - 243. Let t be z(12). Let p be -4 + t - -9 - -4. Let c = 2 + -1. Are p and c unequal?
True
Suppose -10*w + 148 = 27*w. Suppose w*q = b - 276, 5*b - 6*q - 1500 = -10*q. Is 298 greater than b?
True
Let g(t) = 293*t**3 - t**2 + 7*t + 4. Let q be g(-3). Let w = q - -126925/16. Let k = 4 + w. Which is bigger: k or -1?
k
Let s(j) = 2*j**2 + 58*j - 60. Let b be s(-30). Let i be (10 + 54/(-6))*(-1 + b). Which is bigger: i or -12/5?
i
Suppose 7*q = 6*q + 5. Suppose -3*p + 2 = -2*p + 2*t, 5*t = q. Suppose p = 29*g - 27*g - 2. Are g and -2/81 nonequal?
True
Let w(x) = 197*x - 1. Let q be w(0). Let r = -2 + 4. Let u = r + 6. Which is bigger: q or u?
u
Let q be 13/104 + 1083/(-24). Is 10.6 at most q?
False
Suppose i = -3*f + 6*f + 27, i = f + 21. Suppose -34*l - i = -37*l. Suppose 3*t = l*t + 4*t. Is t greater than -2/91?
True
Let q(r) = -3*r**3 - 30*r**2 - 71*r + 38. Let z(c) = c**3 + 11*c**2 + 24*c - 12. Let m(h) = -6*q(h) - 17*z(h). Let y be m(4). Is -5/63 <= y?
True
Let x(t) = -2*t**2 + 19*t + 92. Let z be x(13). Let r(j) = -j**2 - 3*j - 3. Let i be r(-2). Let d be (-19)/38*(i - z). Which is greater: -2/13 or d?
d
Let i = -89873/15521705 + 23/5155. Is i at most as big as 1?
True
Let j be (-102)/(-4)*16/(-24). Let k(v) = -v**3 + 11*v**2 - 3*v + 14. Let i be (1 + 0)/(3/66*2). Let f be k(i). Which is greater: j or f?
j
Let s = -612 + 625. Which is greater: -6.3 or s?
s
Let n = 19962 - 15659. Which is smaller: n or 4302?
4302
Let d(s) = -s**3 + 30*s**2 + 19*s + 442. Let y be d(31). Which is smaller: 212/3 or y?
y
Suppose -19 - 5 = 2*f. Let t be 1/3*f/(-56)*-4. Let l = -12 + 24. Is l at most t?
False
Suppose 0 = -12*t + 9*t - 0*t + 279. Is 75 greater than t?
False
Let w = -0.7 - -0.73. Let k be 22/(-7) - (8/2)/(-28). Let q be k/(-2) - (-2232)/(-1296). Is w less than q?
False
Let b be (291/194)/(1/1246) - -1. Which is bigger: b or 1874?
1874
Let d(j) = -5*j - 110. Let m = 249 + -274. Let i be d(m). Which is greater: 3 or i?
i
Suppose 44 = 5*s + 7*t, 3*t = 4*s + 9 + 16. Which is greater: s or -1249?
s
Let a be 25/(-66)*(1 + (-6498972)/281580). Let n = 2/14079 - a. Is -7 at least as big as n?
True
Let q = 22 - 23.2. Let z = q + 39.2. Let c = z + -32.8. Which is smaller: 1 or c?
1
Suppose -5*q = 5*v - 10, -5*v + 12 = -2*v - 3*q. Suppose 3*r - v*n = -0*r - 114, 166 = -4*r - 3*n. Is -36 equal to r?
False
Let z = -1798142/19 - -94662. Which is bigger: z or -2?
z
Suppose -u + 73 = -3*f + 600, 5*f + 1665 = -3*u. Which is greater: u or -547?
u
Let x = -0.126 + 94.126. Let f = x - 94.16. Which is greater: f or -1/4?
f
Suppose -132 = 18*b - 6. Let f be (-20)/(-1*4/2). Let d = f + -16. Which is smaller: d or b?
b
Suppose -5*j + 820 = -3*s, -j - 5*s + 182 - 18 = 0. Let d = -150 + j. Which is greater: 7 or d?
d
Let a be 47 - -4 - (-40)/8. Let u be 2/7 + 2 + 369/7. Which is bigger: u or a?
a
Let p = 6436 - 6280. Which is smal