 bigger: -1 or y?
y
Let u = 2 - 10. Let k(z) = 181 + 119*z - 54*z - 61*z - 33. Let g be k(-40). Is u at most as big as g?
False
Suppose -145*a = 6*a + 604. Which is smaller: -2/5827 or a?
a
Let n(s) = s**3 - 130*s**2 + 621*s + 440. Let y be n(125). Suppose -3*c + 4*c + 56 = 0. Is c < y?
False
Let d(x) = -263*x**2 - 2894*x - 12. Let u be d(-11). Which is greater: u or 36/455?
36/455
Let r(b) = -b**2 + 8*b + 769. Let x be r(-24). Is x less than or equal to -3.4?
False
Let o(a) = -a**3 + a - 2. Let q be o(0). Let h be 66/456 - 1/(q + 6). Let g be 7/6 + 39/(-26). Which is smaller: g or h?
g
Let u(j) = j**2 - 6*j + 5. Suppose -6*i + 7*i + 8 = -2*g, -4*i = 5*g + 41. Let t be (-6)/21 + (-74)/i. Let c be u(t). Which is bigger: -3/43 or c?
c
Let v be 14*2/1*1842/(-24). Let i = v + 12929/6. Is 5 > i?
False
Let q be ((-464)/2552)/(4/(-22)). Let n = -1388 + 76338/55. Is n at most as big as q?
True
Let o(g) = 8*g - 95. Let i be o(28). Let v = 134 - i. Let x be 12/(8 - v) + -3. Which is greater: -1/21 or x?
x
Let b(l) = -863*l + 7. Let y be b(4). Is -3446 greater than y?
False
Let w(p) = p - 3. Let a be w(4). Let j be (-91)/561 + 8/44. Let t = 311/255 - j. Are a and t unequal?
True
Suppose 3*j + 16*p - 20*p - 1 = 0, 0 = j - 5*p + 7. Let h be ((-4)/12)/(j/(-5 - -14)). Which is greater: 20/67 or h?
20/67
Let l = -2544 + 2543. Which is smaller: l or 836?
l
Let w = 8.22 + -0.6. Let i = -129.52 + w. Let r = i - -122. Which is smaller: -0.1 or r?
-0.1
Suppose 3*t - 185*f + 183*f - 11 = 0, -4*t + 2*f = -12. Is 3/1838 greater than or equal to t?
False
Suppose -3*d + 0 + 18 = -b, -4*d + 14 = 2*b. Suppose d*l = -3*g - 15, -20 = 2*l - 7*l + 4*g. Let c be (2 + 0)/((-161)/(-14)). Which is smaller: c or l?
l
Suppose 0 = 19*n - n + 1080. Let q be 34/(-8) - 15/n. Let s be 4/6 - 152/30. Is q smaller than s?
False
Let a be (-1)/((-9)/21)*3. Let j be (a/(-7))/((-3)/(-9)). Which is bigger: j or -5/3?
-5/3
Suppose 2349 = 4*h + 2*y - 2537, 1229 = h - y. Let j be (-3)/(-24) - h/64. Which is bigger: -18 or j?
-18
Suppose 2*z + 1187 + 228 = -5*o, -2*o - 566 = -5*z. Is o not equal to -305?
True
Suppose -13 = d - 15. Suppose 0*o - 2*o = -d. Let v be 3/(14/2*o). Which is smaller: -1 or v?
-1
Let h = -2901 - -5253. Is h equal to -0.1?
False
Let i = 28.123434 - 0.123434. Suppose 0 = -2*y - 3*y - 3*j + 27, 0 = 2*y + 2*j - 14. Which is smaller: y or i?
y
Let z(a) = 3*a**3 + 3*a**2 - 7*a + 10. Let w be z(3). Let q = 98 - w. Which is greater: 2 or q?
2
Let r be (-3*(-6)/(-10))/(21/(-70)). Suppose -10*i + 5*i - 2 = v, -2*v = -2*i - 56. Which is bigger: r or v?
v
Let n = 9655 + -9601. Is 1/2 at most as big as n?
True
Let d(t) = 3*t**2 - 77*t + 49. Let b be d(25). Which is smaller: b or -1/1311?
b
Suppose 400*y - 812*y + 404*y = 0. Which is smaller: y or -16/943?
-16/943
Let a = -291.2 + 291.1208. Which is smaller: 3 or a?
a
Let y be 0 - ((-44)/16 - -2)*4. Let t be (288/15)/(-4)*(-10)/y. Which is smaller: t or 19?
t
Let s = 599127 + -22160745/37. Let j = s + -188. Which is greater: j or -1?
j
Let f(b) be the first derivative of -b**4/4 - 8*b**3/3 - b**2/2 + 23*b - 19. Let q be f(-8). Let m(a) = 2*a**2 - 5*a + 6. Let o be m(5). Is q equal to o?
True
Suppose 77*o - 64*o = 0. Suppose -73 = 5*l - 0*b - b, 4 = -2*b. Let c = l - -10. Is c greater than o?
False
Let h = 58 + -82. Suppose 3*g + 5*v - 122 + 35 = 0, 2*v = 6. Let p = g + h. Are 1/64 and p nonequal?
True
Suppose -7*d = 4*v - 3*d - 16, -v - 4*d = -10. Suppose -s - m = -0*m, 0 = -2*s + v*m + 12. Let r be (-1 - 2) + 4/6*s. Are r and 1/28 equal?
False
Let k = 191 - 165. Suppose 5*w - 4*o + k = -7, -4*w - o - 18 = 0. Which is greater: -6 or w?
w
Let l = -11099/4 - -2775. Is 102/5 <= l?
False
Let o(d) = -917*d + 1835. Let r be o(2). Which is smaller: r or 25/297?
25/297
Let s = -0.23359 - -0.13359. Are s and 9.315 non-equal?
True
Let g = -941 + 1953. Is g less than 1012?
False
Suppose 978*f - 3*j - 19 = 983*f, -4*f - j - 4 = 0. Is f equal to 4/2557?
False
Suppose 36 = 6*q - 2*q. Let d = 27.1 - 432.1. Let n = -403 - d. Which is smaller: q or n?
n
Suppose 12 = 4*o, 9*o - 18 = -t + 10*o. Suppose -2*h = t - 19. Is -3 greater than h?
False
Suppose -2*k - 859 + 2947 = 0. Let g be (91/(-21) - -4)/(22/k). Is -17 <= g?
True
Let i = -15134 + 15151.1. Which is smaller: 5/7 or i?
5/7
Suppose -d = -22 + 27. Suppose -91 = -g - 6*g. Let l be g/(-5) + 7 + d. Which is greater: l or 0?
0
Let i be (-4 - (-7 - -2))/(-102*(-6)/1272). Do i and 3 have different values?
True
Let t be (-43 - (3 + -4))/(0 - 1). Let k = 113/3 - 37. Which is greater: t or k?
t
Suppose 12*l - 29 = 31. Let u be (-744)/(-22) - l - 1. Is u greater than 27?
True
Suppose -320*w + 11 = 11. Which is bigger: w or -1505?
w
Let g be ((-6)/4)/((-2041)/(-208) + -10). Let i be 4 + (-3 - g/12). Which is smaller: -169 or i?
-169
Let h = 4070 - 3287. Is 783 >= h?
True
Suppose -41 + 36 = -5*o. Let r be ((-1)/(-110))/(4/(-16)). Which is greater: r or o?
o
Suppose 3*o + w + 61714 = 3*w, 20560 = -o - 5*w. Which is bigger: -20571 or o?
o
Let t be (-1 + 2)*3 - 18048/12. Let f = t - -28501/19. Which is smaller: f or 0?
f
Let j be -25*5 - (-10 - -8). Let w = -123 - j. Which is greater: -1/33 or w?
w
Let s(v) = -10*v + 210. Let b be s(20). Which is greater: b or -1/34?
b
Let z(n) = -544*n**2 - 5*n. Let f be z(1). Is -2193/4 smaller than f?
False
Let b = -55570.14 + 55570. Let w = -0.01 + -0.05. Is w < b?
False
Suppose 30 = 3*x - 3*z, 5*z - 8*z + 5 = 4*x. Suppose 3*i = 4*n - 9, -5*n - 2*i - 1 - x = 0. Which is smaller: -1/212 or n?
-1/212
Let u = -70183 - -3158233/45. Let k = 11 - 17. Let z be (-4)/k + (-3)/(-9). Is u > z?
False
Let d = 101765/6100754 - -3/12898. Are d and 0 equal?
False
Let v = 21 - 60. Let m = -97 - v. Let t = -67 - m. Is t less than 2/7?
True
Let h be 17/(-2)*((-12)/42)/(30/420). Is h > -6?
True
Let n = -3364 - -3375. Which is greater: 118 or n?
118
Let n be 12/(-21) - 1184/(-14). Let w = n + -72. Let y = w + -4. Do 6 and y have the same value?
False
Let s = -1.86 + 1.914. Let r = 0.119 - s. Is 0 bigger than r?
False
Suppose 2*m = 279 + 769. Suppose 0 = 5*f + m + 16. Let y be (-24)/f - (8/18)/2. Do y and -1/7 have the same value?
False
Let m be 0/(-1 - (2 - -1)). Suppose m*b + l + 6 = -2*b, b = l. Is b greater than -6/7?
False
Suppose -1098 = -5*y - a, y + 5*a - 140 = 70. Let t be 10/(-65) + -2 + y/78. Is t less than 172?
True
Let h = -78 - -150. Suppose -4*r - 2*r = h. Let y be r/3 - (-62)/18. Which is bigger: -1 or y?
y
Let k = -10238 + 8376. Are k and -1861 unequal?
True
Let y = -1322237/2533401 - -12/21653. Is y >= -1?
True
Let l be (8 - 1) + -3 - (-97 - -542). Is l > -441?
False
Let k = 339 - 477. Let j = 136 + k. Are j and 25 equal?
False
Let z = -9773 + 9831.27. Let l = 109 + -167. Let x = z + l. Which is bigger: -0.1 or x?
x
Suppose 3*f - 3*m = 30, 8 = -f - 3*m - 2. Suppose 0 = f*c + 8*c - 117. Suppose j - 14 = -5*z, 0 = 6*z - 4*z + 5*j - 1. Which is greater: c or z?
c
Let k = 825 - 577. Let y = -285 + k. Is -38 < y?
True
Let g = 25345 + -25586. Does g = -242?
False
Suppose 5*a = -5*w + 15, -7 = -2*w + a - 1. Let j = w + -2. Let f = 2339719/127 - 18423. Is j > f?
True
Let c = -0.12243 - 20.83637. Let g = c + -0.0412. Which is smaller: g or -5?
g
Let d(l) = -2*l**3 + 11*l**2 - 2*l - 11. Let k be d(5). Suppose 0 = -3*u - k*b - 432 - 513, -2*u - 653 = -5*b. Is u smaller than -318?
True
Suppose 24 = -42*d - 165*d - 2253. Let f(g) = -11*g**2 - g. Suppose 5*v = 3*b - 13, -2*v = -3*b - 3*v + 1. Let p be f(b). Which is bigger: d or p?
d
Let n be ((-180)/16)/(2/6 - 55/30). Which is smaller: n or -68?
-68
Let r = -61651/86282 - -3/12326. Is -2/257 at most r?
False
Let k = -125667 - -3142187/25. Let t = k - 528946/25825. Which is smaller: 0 or t?
t
Let j be -1 + -2 + 7 + 5 + -9. Let m = 0.48 - -19.52. Let v = -13 + m. Which is smaller: j or v?
j
Suppose 10*k + 310 = 5*k. Let g = 7139 - 7200. Is k <= g?
True
Let k be (-6)/4*1*(-80)/15. Suppose -k*l = 5*l - 4*l. Are l and 20/21 equal?
False
Suppose -3606 = -97*q + 10166 + 3157 + 1113. Let p = -121 - -304. Which is bigger: q or p?
q
Let o = 303.19 - 304. Let r = -0.19 + o. Which is bigger: r or -22/7?
r
Suppose 0 = 5*s - 5*h + 100, -3*s + 2*h - 77 + 13 = 0. Let m = -0.14 - -13.24. Let c = m - 11.1. Which is bigger: c or s?
c
Let k be (6/20)/(168/(