: -3/22 or y?
-3/22
Let s = 11976 - 12548. Is -5733/10 less than s?
True
Let p = 1574337/11 - 142649. Let o = -186 - 287. Let c = o + p. Is c at most as big as -1?
False
Let o = 33 + -31. Let s be (o/14)/(60/(-14)). Let v = 0 + 0. Are s and v unequal?
True
Suppose -3621*m + 3589*m - 576 = 0. Is m at most as big as -861/50?
True
Let g = -181.909 - -182. Let r = -1.091 + g. Let y = -71 + 70.57. Which is greater: r or y?
y
Suppose -13*z + 2*z - 924 = 0. Let o = -79 - z. Suppose -o*r - 55 = 5*w, 0 = -4*r + w + 4*w - 35. Are r and -13 equal?
False
Let f be (-11)/(322850/(-8))*5. Let b = f + 14311/267085. Which is smaller: 1 or b?
b
Let n(u) = 321*u - 1912. Let w be n(6). Which is bigger: w or 141?
141
Suppose 4*n - 299 = -113*l + 114*l, 3*l - 2*n = -947. Let r(b) = -3*b**3 - 7*b**2 - 6*b - 4. Let m be r(-5). Let c = l + m. Is -94 >= c?
False
Let k = 36 + -26. Let c be (-540)/162*2/k*-6. Is 33/7 < c?
False
Let a = -0.321 - 1001.679. Let h = a + 1102.9. Let z = h - 114. Is z bigger than -1?
False
Let w = -285.3757001 - 0.0132999. Let x = 0.389 + w. Are -2/3 and x non-equal?
True
Suppose -9*p - 23 = -10*p - 2*f, -3*f + 22 = p. Which is greater: p or -34?
p
Let f be ((-28)/9919)/(14/49). Is 1 < f?
False
Let n(w) = -w**2 + 3*w - 1. Let y be n(3). Let f(r) = -170*r - 556. Let v be f(-14). Let c be (-1024)/v + 2/3. Which is smaller: c or y?
y
Let g = 155 - 1713/11. Let z be (10/(-1050)*-7)/(55/699). Let y = z + g. Which is smaller: 0 or y?
0
Suppose 0 = -w - 4*l + 4, -151*l + 152*l = 1. Which is greater: 4/3423 or w?
4/3423
Let j be 17907857/(-2019) + ((-5)/3 - -2)*5. Which is greater: j or -8869?
j
Let f(n) = -706*n + 618. Let j be f(1). Which is bigger: -42 or j?
-42
Let r = -28246004/2061 + 13705. Is r greater than or equal to 1?
False
Let j = 9194 - 9195. Let o be -1 - (0 + 1/20). Are j and o unequal?
True
Let f be (-50)/2 + (-8)/2. Let p = f + 23. Let o be (-6 - p)/((-2)/(-2)). Which is bigger: 3/10 or o?
3/10
Let o = 0.9106 - 0.1106. Which is greater: -369 or o?
o
Suppose -2*x - 2*g = -38, 0*x - g = -3*x + 57. Let k = x - -4. Let t = 11 + 12. Is k at least t?
True
Let g = -395357731/3849 + 102717. Is 1 at most g?
False
Let w = 4.374 + -4.4. Let q = w + -30.974. Let k = q + 32. Is -1 at least as big as k?
False
Let g(h) = 2080*h - 4200. Let l be g(2). Is -93 >= l?
False
Let h = 0.03062 - -158.96938. Do 12 and h have the same value?
False
Let c = 9.752 - 8168.752. Which is smaller: c or 0?
c
Suppose 3*l + 119 = -u - 228, -4*u = 3*l + 362. Let g = 110 + l. Let i = g - -15. Which is smaller: 34/3 or i?
i
Suppose 3*q - 139 = -q - 3*x, 0 = 4*x - 20. Let k = q - 30. Suppose -4*a - 20 + 40 = 0. Are a and k equal?
False
Suppose 0 = -2*k + 2*o + 1284, -4*k - 2*o = 3*o - 2604. Let c = k - 646. Are -0.132 and c nonequal?
True
Let c be 2233714/2792755 - (76/20 - 3). Is 0 at most as big as c?
False
Let d = -0.949 + 0.009. Let f = -1 - d. Let s = 997 + -997. Is f smaller than s?
True
Let d(p) = 13*p**2 - 31*p - 16. Let g be d(-18). Is 4752 greater than or equal to g?
False
Suppose 8*v = 6*v - 20. Let n be v/(-2) + -3 + -118. Let j = -117 - n. Which is smaller: -14/13 or j?
-14/13
Let v(j) = -216*j**2 + 676*j - 3401. Let q be v(5). Is -5421 > q?
False
Suppose 26*k - 51763 = -11*k. Which is greater: k or 1397?
k
Suppose -17 + 2 = 5*s, -5*i + 4*s + 67 = 0. Suppose -36 + 14 = -i*o. Suppose y - 2 = 0, 2*y - 3*y = o*b - 88. Is b >= 43?
True
Let k = 690 + -678. Suppose 104 + 148 = -k*f. Which is greater: 6/7 or f?
6/7
Let x be 17 + 2/((-3)/(-9)*2). Suppose 5*y = u - x, 2*u - 12 = 5*y + 8. Which is smaller: -37 or u?
-37
Let z(f) = -f**3 - 11*f**2 - 26*f + 11. Let b be z(-7). Suppose 4*m - 5*u + 8 = 2, -5*u = 3*m + 22. Which is smaller: m or b?
m
Let z be 56/(11 + 3) - (4 + 1). Are z and 378 non-equal?
True
Let u be 90/(-405) + 274/45. Let f = -31/5 + u. Which is bigger: -0.9 or f?
f
Let v be 0/(-3) - -54*4. Suppose 18*r - v = 21*r. Let h be (-20)/(-6)*r/(-780). Which is smaller: h or 1?
h
Let v = -0.3 - -0.6. Let j = 1.3 - v. Let t = -46.67 + 46.65. Is j not equal to t?
True
Let j = 76 - 60. Suppose 1 = -j*w + 17. Let d be 0 + (-7 + w)*-2*2. Which is smaller: -0.1 or d?
-0.1
Let n(v) = -2*v**3 + 4*v**2 - 3*v. Let x be n(2). Let t be -2*(-2 - 13/x). Let l(c) = 55*c**2 + 127*c + 33. Let r be l(-2). Which is smaller: t or r?
r
Suppose -3*r - 2*p = -6*r + 2190, -4*r = -2*p - 2920. Let f = -920 + r. Is f bigger than -191?
True
Let k = 1 - -8. Let s = 320.2 + -329. Let v = k + s. Are -1.9 and v non-equal?
True
Let y be -43 - ((-16)/(-14) - (-378)/441). Is y bigger than 0.063?
False
Let d(t) = t**3 - 3*t**2 + 2*t - 7. Suppose 3*f + 6 = 0, 0 = 2*n + f - 2*f - 144. Let z = n - 68. Let o be d(z). Is -2/5 greater than o?
True
Suppose 0 = -5*j - 240 - 75. Let c be (-72)/(-48)*(-16)/(-6)*310/(-20). Is c != j?
True
Suppose 5*g + 6 - 16 = 0. Let c be (0 - 0)/(-2) - g. Let u be 2/(-10)*(c + 4). Which is smaller: 5/4 or u?
u
Let t = -811 + 731. Let s = t + 64.8. Which is greater: 0 or s?
0
Suppose 0 = 27*u - 18*u - 27. Suppose 4*w + u*f - 80 = 2*w, 5*f + 96 = 2*w. Which is smaller: 42 or w?
42
Suppose -2*f - 5*r = 0, -f - 2*r = -2*f. Suppose f = -10*t + 4*t + 240. Suppose -32*c = -37*c + t. Is c not equal to 6?
True
Suppose -k = -3*d - 303, d + 0*d - 592 = -2*k. Suppose 67 - k = 5*f. Is f greater than -44?
False
Suppose 5*w - 649 = 2*x - 653, -5*x = 40. Let g(o) = o**2 + 4*o - 5. Let u be g(-4). Which is greater: w or u?
w
Let t be 1155/84 + (-1)/(-4). Suppose 4*z + k = -0*z + t, -2*k = 2*z - 10. Let a be 0 + (4 - (z - -2))/56. Which is greater: -1 or a?
a
Let u = -1.66 - -3.66. Which is bigger: 442 or u?
442
Suppose -5*m = -47*m - 31*m + 37814. Which is smaller: 523 or m?
m
Suppose 0 = 3*a + 5*i - 368, -2*i + 22 - 152 = -a. Suppose a = -3*t - 11*t. Is -3 equal to t?
False
Let h = -8/973 - -53157/6346879. Which is bigger: h or 0?
h
Let v = 1.83 - 1.928. Let g = -0.232 + v. Are -1 and g unequal?
True
Let t be (17/447899)/(14/(-28)). Which is smaller: t or -1?
-1
Let o be (-171684)/(-60) + 8 - 24/(-4)*1. Is o >= 2874?
True
Suppose 4*b + 4*z = -0*z + 20, -3*b - 2*z = -12. Let c be 1 - -37*(0 - -1). Suppose -c = -b*f - 0. Is 19 < f?
False
Let b = -68 + 118. Suppose -3*l + b = 7*l. Let y be l/22 - 10/55. Is 1 greater than or equal to y?
True
Let l(z) = -z**2 + 7*z - 20. Suppose -4*g = 3*m - 17, 2*m - g - 4*g = -4. Let n be l(m). Is n < -8?
False
Let r = 0.6933 + -0.632. Let o = r + 0.0687. Do 0 and o have different values?
True
Let h = 47798 - 240159/5. Let t = 234 + h. Let s = 0.61 - 0.01. Does s = t?
False
Let p be -6 + (-263)/(-9) + 105 + -107. Which is bigger: 20 or p?
p
Suppose -3*h = -6*h - 9. Let p be h/(-2)*12/18*2. Let s be -2*p/4 - -5. Which is bigger: -1 or s?
s
Let k = 526 + -529. Suppose 10 = -5*u - 5*c, -5*u - 15 = -5*c + 5. Is u at least k?
True
Let h = -15923 - -16076. Is h bigger than 1080/7?
False
Let v(p) = p**3 + 19*p**2 + 26*p + 145. Let g be v(-18). Which is smaller: g or 44/19?
g
Let n = 0.35 + -0.24. Let l = -0.084 + n. Let p = -2/6439 - -12888/32195. Which is bigger: l or p?
p
Suppose -706*g + 2591 + 34121 = 0. Do g and -20 have different values?
True
Let w(m) = m**3 + 2*m**2 - 32*m + 23. Let o be w(-8). Let z be (o/13)/(-5) - (-1 + 1). Which is smaller: 1 or z?
1
Let y(r) be the first derivative of 25*r**2/2 + 202*r + 44. Let n be y(-8). Are -0.4 and n nonequal?
True
Let i(f) = f**2 + 2*f + 3. Let x be i(0). Let g be 1236/9 + 2/x. Let z be g/8*(-160)/(-60). Which is bigger: z or -1/4?
z
Let p = -1.8659 + 1.9659. Is 4385 at least as big as p?
True
Suppose -12815 + 142575 = -80*q. Does -1624 = q?
False
Let v = -0.292 + -105.708. Let l = v + 120.6. Which is greater: 0.1 or l?
l
Let n be -3*(-1)/(-2)*26. Let i(b) = b**3 - 12*b**2 - 108*b - 36. Let w be i(18). Is w bigger than n?
True
Let t(h) = h**3 + 7*h**2 + 7*h. Let l be t(-5). Let o = 1095 - 1081. Which is smaller: l or o?
o
Let a be 3*4/66 - (442/11 - 15). Let d = 23 + -8. Let j = a - d. Is j less than or equal to -40?
True
Let s(f) = -f**3 - 12*f**2 + 5. Let m = -40 + 28. Let r be s(m). Suppose -9 = 4*t + 11, -5*b - t - r = 0. Is -3 equal to b?
False
Let h(r) = 2*r**2 - 4. Let u be h(-3). Let k = 14 + -25. Let i = 23 + k. Which is smaller: u or i?
i
Let z = -282 - -312.6. Let l = z - 30.54. Is l != 0.2?
True
S