maller: g or 5?
g
Let f(n) = -3*n**2 + 59*n - 165. Let c be f(4). Which is bigger: c or 31?
31
Suppose -51*c - 38 = 11 + 2. Which is smaller: -1/2383 or c?
c
Let n(c) = c + 24. Let r be n(-7). Let u = -16 + r. Let g be (-4)/2 + (-795)/(-420). Which is smaller: g or u?
g
Let p be (-9951)/62*2/(-3). Let o = -750/7 + p. Which is smaller: o or 0.8?
o
Let f(w) = -w**3 + 496. Let t be f(0). Suppose 0 = -3*g + 7*g - t. Let o be 2 + (-5)/g*(-2 - -50). Which is bigger: 0 or o?
o
Let v = -3502/45 + 22/45. Is -0.3 at least v?
True
Suppose -4140 = -333*p + 351*p. Let a = p - -230. Which is smaller: a or -3/112?
-3/112
Let h = -752 - -1417. Is h equal to 662?
False
Suppose 2782 = 4*w + 2*d + 218, 3*w - 4*d = 1967. Is w < 613?
False
Let q(v) = 484*v - 4. Let x be q(1). Let n be -4*2/(-72)*x/(-6). Is n at most as big as -10?
False
Suppose -7*f = 5*o - 5*f + 27, 3*f + 8 = -o. Let s be 423/108 + o - 2/(-8). Is s greater than or equal to -10?
True
Let a = -492 - -460. Let d = -75 - a. Which is greater: d or 3?
3
Let i be 2/(-12)*3*-30. Suppose i*x = 13*x - 24*x. Is x at least -8/19?
True
Let p be (-1*2/13)/(1540/(-10010)). Is -3/6593 at most as big as p?
True
Let d = -2799/34 - -13007225/157998. Is d greater than -1?
True
Let k be 1261/(-2)*(-40)/(-100). Are -252 and k nonequal?
True
Suppose g + 1 = 4*a - 4, 100 = -3*g - 5*a. Let b be ((-200)/(-32))/g - 25/(-4). Is 10 < b?
False
Let l(a) = -206*a**3 - 38*a - 67. Let k be l(-2). Are 1660 and k equal?
False
Let r be (-1 - 26/(-14))/(15/70). Suppose 7 = 3*m - r*p, 4*p - 3 = m - 8. Is 1/39 >= m?
False
Let i be (-220)/66*(-18)/51. Suppose -8*r + 3*r + 5 = 0. Suppose 2*m + 8 = -4*k, 2*m = 3*k - 7 - r. Is k at least i?
False
Let y be (-26646)/9 - (1 - 5) - (-65)/(-13). Which is smaller: y or -2963?
-2963
Let g = 2530 - 2529. Let s = -39/2 + 11191/574. Is g at most as big as s?
False
Suppose -41*j + 44 = -40*j. Suppose 0*x - j = -x + 5*l, -x - l + 44 = 0. Which is bigger: 47 or x?
47
Suppose 5*x - 499 = r, 4*x + 885 = -4*r - 1279. Which is greater: r or -0.9?
-0.9
Suppose -5*u - 2*g = -4*u - 8, 13 = u + 3*g. Let y be (39/(-52))/(u/144). Let m be (-6)/(-27) + (-3)/(y/(-50)). Are 0.03 and m non-equal?
True
Let v = -713 - -1022. Let q = 309 - v. Is q bigger than 146?
False
Let t = 22459/28728 - 151/152. Let k = -2/27 + t. Let y be 1 - 0 - (-30)/24. Which is smaller: y or k?
k
Suppose -2*u + 3 = -3*p + 16, 0 = -5*p + 25. Let s = -5.696 + -0.712. Let z = s - -0.408. Which is greater: u or z?
u
Let o be (8/(-182))/((-810)/567)*13. Let r = 3.256 - -0.044. Let i = r - -0.7. Which is greater: i or o?
i
Let d = 294893/903 + -2286/7. Which is bigger: d or -1?
d
Let h = 442 + -289.9. Let i = 152 - h. Is 0 at least i?
True
Suppose -2*q - 10*l + 7*l + 3 = 0, -6*l = -6. Is q greater than or equal to -1615/6?
True
Let w = -449 - -1271. Let j be w/(-9)*(3 + 0) - -4. Let u be ((-4)/j)/1*(-15)/12. Which is smaller: 1 or u?
u
Let c = 48 - 46.52. Let w = c + -0.08. Does w = -1/5?
False
Let z be ((-367447)/(-2072) - 6/(-16))/(6/21). Is 614 != z?
True
Suppose 898*g - 25724 - 107995 = 927*g. Which is greater: -9219/2 or g?
-9219/2
Suppose -227 - 33 = -5*n. Let c = n - 83. Let x = -3043 + 3011. Is x <= c?
True
Suppose -2*q + 21 = 15. Let a be 24/q + (3 - (-25)/(-5)). Suppose -7*k - 4 = -a*k. Is k at most as big as -8?
False
Let o = 147 - 140. Let u be ((-2)/o)/(125/75). Are u and 1 unequal?
True
Let w = 0.191 + -0.193. Let a = -0.09 - -0.14. Let p = w + a. Is p != 1/3?
True
Let y be -1 + (-1 - (-1135)/569). Let s = y - -8622/16501. Which is bigger: s or 2?
2
Suppose -11*a + 485 = -609 - 941. Which is smaller: a or 1485/8?
a
Suppose -2*r + 0*r - n = 10182, r = -n - 5092. Is r less than -5090?
False
Let j be (-102)/18*(-2 - 1). Let w be (j - 3)/(-2 + 0). Let f be 1/6 + 3 + (-476)/48. Which is smaller: w or f?
w
Suppose w + 2*l = 5*w - 64, -2*w + 40 = -5*l. Let r = -2 + w. Suppose -3*x - 3*v = v + r, -3*v - 11 = x. Is -2/131 <= x?
True
Let f = 0.45866 + 166.62934. Let b = 167 - f. Which is smaller: b or 4?
b
Let s be ((-4)/(-6))/(914/(-18)). Let t = -7342/2285 - s. Let y(f) = 2*f**3 + 94*f + 93. Let u be y(-1). Which is smaller: u or t?
t
Let i(q) = 161*q**3 - 4*q**2 - 63*q + 180. Let m be i(3). Is 4301 greater than or equal to m?
False
Suppose 5*k - 382 = -2*f + 41, -587 = -3*f + 2*k. Let q = -179 + f. Which is smaller: 0.4 or q?
0.4
Let k(c) = 3*c**2 - 29*c + 19. Suppose -13 = -q - 3*w + 2*w, -8 = -2*w. Let r be k(q). Is 0 >= r?
False
Let r = 25563.05 + -25563. Which is smaller: -0.67 or r?
-0.67
Let m = -10761 - -10838. Is m smaller than 117?
True
Let b be (-16)/6*(-126)/8. Suppose 3*o = -9 + b. Suppose 8*c - 30 = 6*c + 2*r, -4*c + 3*r = -56. Is c at most as big as o?
True
Let g(c) = 8*c**2 - 244*c + 57. Let s be g(30). Which is smaller: -12 or s?
s
Let n be 48/(-40)*-5*(-1)/(-2). Suppose -n*s - h + 5 + 10 = 0, s - 2*h - 12 = 0. Suppose -3*w = -3, 2*w = s*o - 3*o - 82. Which is smaller: 29 or o?
o
Let v = 2/54555 - 3000653/3491520. Is -2 less than v?
True
Suppose -3*m + 490 - 474 = m. Is 542/111 smaller than m?
False
Let u = -683 - -838. Let t be (u/25 - 5)/((-210)/(-100)). Which is greater: -5 or t?
t
Suppose 17*o - 12*o + 5*k = 0, -2 = -3*o - 5*k. Let r be 7/(-70)*-6 + o. Are r and 31 equal?
False
Let r = -4877.4 + 5018. Which is smaller: r or -1?
-1
Let w = 18 + -13.9. Let h = 4.179 - w. Which is smaller: -2/3 or h?
-2/3
Let m = 429 - 774. Let r = m - -351.5. Which is smaller: r or -2/5?
-2/5
Let l(z) = -2*z**2 + 139*z + 284. Let q be l(-2). Let h = -17.82 + -0.18. Let k = h - -21.4. Is k > q?
True
Let m = -33114 + 33113.8. Let g = 7 + -4. Suppose -l = g - 0. Which is smaller: l or m?
l
Suppose 3*a = -g - 99, -5*a + 41 = 71. Does g = -412/5?
False
Let n = 1.5 - 0.6. Let i = n + 4.1. Let g = 0.75 - -0.25. Which is greater: g or i?
i
Suppose -3*f - a = 23, 4*f + 22 = 4*a - 30. Let o be f + 9 + (-5 - -1). Which is bigger: o or 0.5?
0.5
Let b = -14362 + 14481. Let p be -3*(0 + 238/(-6)). Are p and b equal?
True
Let u = 6920 + -6920.00673. Which is bigger: -2/5 or u?
u
Let h be (27/((-243)/36))/(3*3/414). Which is smaller: -182 or h?
h
Let u = -101/3694 - -11220193/55410. Let z = 203 - u. Which is bigger: z or 1?
1
Let r(w) = -13*w + 31. Let l(c) = -16*c + 31. Let j(k) = 4*l(k) - 5*r(k). Let b be j(17). Suppose 9 = -u - 3*y, -4*u + 8*y - 68 = 4*y. Which is greater: u or b?
b
Let g(w) = -w**3 + 8*w**2 - 9*w + 15. Let y be g(7). Suppose -3*u - 15 = 0, -o - 3*u + y = -0*o. Suppose -21 = 19*p - o*p. Are -13/2 and p equal?
False
Let g(c) = -2*c**3 - c**2 + 6*c + 4. Suppose -47 = 10*w + 533. Let s = w - -61. Let x be g(s). Is x less than or equal to -41?
True
Let w = 77/4 - 20. Let j = w + 3/2. Let g be (36/(-330)*-5)/((-39)/13). Is g at least j?
False
Suppose 4*s - t + 26 = -57, 3*s - 4*t + 59 = 0. Let k = 56 - 42. Suppose k = -3*j - 58. Which is bigger: j or s?
s
Let d = -0.0806 - -50.1806. Let s = -1041 + 1092. Let l = s - d. Does l = 2/7?
False
Let a = 18.26 - 19.26. Let b = -3 - -2.74. Which is smaller: a or b?
a
Let r = 9 - -1. Let z = 179 + -181.44. Let m = -2.54 - z. Which is smaller: m or r?
m
Let m = -104 + 183. Suppose -8*z - m = -9*z. Let n = 78 - z. Is 1/23 less than n?
False
Let l = 1685 - 1758. Do -71 and l have the same value?
False
Suppose 5*l - 74 = -h, h + 0*h = 4*l - 61. Suppose -v + l = 13. Suppose v*n + 98 = -14. Is -56 at least as big as n?
True
Let m = 423 - 416. Let n(r) = -54*r + 349. Let s be n(m). Is s smaller than 3/2?
True
Let p = -1.173 - 0.397. Let y = 1.29 + p. Which is greater: y or -4?
y
Let x be -1 + 2/(-6) + 241943/181545. Is x less than or equal to 1?
True
Let d = 0.303 + -0.471. Let i = d - -9.168. Is -0.05 <= i?
True
Suppose -2*a + 24 = 5*b - 7, 2*b + 5 = 5*a. Suppose a*q = -5*y + 3 - 2, 0 = -5*q - 3*y + 7. Is 30/13 greater than or equal to q?
True
Let r = 6956 - 6934. Is r >= 319/14?
False
Let g = 412058 + -713959. Let h = -19019083/63 - g. Let i = h + -81/7. Which is greater: -2 or i?
i
Let q be -19 + 13 + (-6526 - -13). Is -6519 at least q?
True
Let j = 214 + -111. Let z = -106 + j. Which is smaller: z or -8?
-8
Let o = 9869 - 10109. Is o at most -1194/5?
True
Let z be 3*40/84 - (-9)/(-21). Let g = 13 + z. Suppose g*r = 8*r + 180. Which is smaller: r or 29?
29
Let j(o) = -9*o + 36. Let v be j(29). Let y 