bigger: s or o?
o
Let j(g) = 2*g**2 + 33*g + 44. Let p be j(-15). Let n = 7 + 19. Let o be n/22 - (0 - -1). Which is greater: o or p?
o
Suppose i - 2 = 0, -u - 36 + 5 = -i. Let y = 33 + u. Suppose -2*s + 3*c = -y, 2*s - 4 - 4 = 5*c. Which is greater: s or 0?
0
Let d = 1152/7 - 70293/427. Which is smaller: 1 or d?
d
Suppose -4*r = -3*s - 27, -8*r + 3*s = -3*r - 36. Let x = 122 - r. Let l = x + -80. Are l and 34 unequal?
True
Let b = 118.5 + -67.5. Is b smaller than 20?
False
Let p = -23.2 + -223.8. Let d = -247.4 - p. Is d less than 12?
True
Let a be (-1)/((-81)/(-238)) + 2 + 1. Let x = -1907/28269 + a. Let s = 343/1047 - x. Which is smaller: 1 or s?
s
Suppose 4*y = x - 26, -5*x - 5*y + 2 + 3 = 0. Let s(a) = a - 16. Let f be s(x). Let m be (-2)/(1/f*2). Which is greater: m or 2?
m
Let u(o) = 2*o**2 - 7*o + 5. Let z(h) = -4*h - 28. Let b be z(-8). Let v be u(b). Suppose -10*j + 88 + 12 = 0. Which is smaller: j or v?
v
Let k = 31 - 28.2. Let g = 709 - 716.8. Let a = g + k. Which is greater: -4 or a?
-4
Let t(f) = -8 - 9 - 13*f - 10 + 17. Let x be t(-5). Suppose 13 = -3*p + x. Which is greater: p or 15?
15
Let q = 84 + -84. Suppose q*z - 21 = -7*z. Suppose -z*j = 40 - 64. Do 4 and j have the same value?
False
Let h = 162289/23088 - 337/48. Which is smaller: -1 or h?
-1
Let o = -30254 + 30665. Are o and 1231/3 nonequal?
True
Let f = -8500 + 16351/2. Let k = -324 - f. Is 1/2 at most k?
True
Let m be -177*(-1)/26*(-280)/(-6). Let i = 318 - m. Which is smaller: 4/9 or i?
i
Let m = -2 + -16. Let c = m + 18. Let a = 9.06 + -8.86. Which is smaller: c or a?
c
Let x = 4.8 - 5. Let a(j) = -j + 7. Let q be a(-5). Is q <= x?
False
Let k = -5865.8 - -5866. Is -1110 bigger than k?
False
Let u be (-4325)/(-173)*68/10. Which is greater: 31 or u?
u
Let p = 0.046 - 18.046. Let z = p + -1. Let y = z + 19.11. Which is smaller: y or 2/5?
y
Let l = 55 + -48. Suppose h - l - 16 = -5*i, -4*i - 5*h = -31. Let g = 0 - i. Which is smaller: 2 or g?
g
Suppose -2*w = -5*o + 1456, 12*w + 879 = 3*o + 9*w. Which is smaller: 274 or o?
274
Let d = -1414.9 + 1414.9. Let s = 0.1 + 0. Let n = s + 0. Are n and d unequal?
True
Let c = 5542 + -5541.9895. Which is greater: -6 or c?
c
Let x = -0.35254 + -1.61746. Is x <= -2/5?
True
Let f = 2380/13 + -73806/403. Let c be (-17 - -7)*(-3)/5. Let y be (-3)/c - (-2)/(-4). Which is smaller: f or y?
y
Let t = -210 - -209.73. Let s = -638.73 + 643. Let i = t + s. Is 2 != i?
True
Suppose 3*a - 6 = 3*r, -2*r - a - 7 = -12. Let o be 9925/(-875) - r/(-7). Which is smaller: o or -12?
-12
Let l = 2941 + -2665. Which is smaller: 272 or l?
272
Let c be 10/(-25)*(106596/(-5424) - -19). Is c at least 1?
False
Let h = 109.35 + -112.35. Is h smaller than -2908?
False
Suppose -2*m = 4*l - 16, 109*m = 105*m + 2*l - 18. Which is smaller: m or -77/62?
m
Suppose 0*f - 2*f = 4*p - 20, 0 = -4*f + 2*p. Let c(d) = -2 + f*d - 2 - 6*d + 0. Let v be c(-1). Which is greater: v or 2/171?
2/171
Suppose 27*k - 601 = 371. Is k >= 81?
False
Let x be 4 + (-12)/(-9)*135. Let z = 159 - -24. Which is smaller: x or z?
z
Suppose 4*g - 339 = 5*o, 0 = -2*g - 0*g + 5*o + 157. Let f = g - 111. Let k(u) = -17*u - 2. Let y be k(1). Is y >= f?
True
Let a be ((-135)/6)/(-3) + 2/4. Suppose 3*j + 5*l = -3, a*j - 11*j = -3*l - 21. Which is smaller: 37 or j?
j
Let o be (-2)/13 + (-15892)/(-5616). Let p = 11/4 - o. Let t be 8/10 - 231/420. Do t and p have the same value?
False
Let b(s) be the third derivative of s**5/6 + s**4/24 + s**3/6 - 27*s**2. Let a be b(-1). Let z be (2 - (0 - -1))/(a/(-50)). Are z and 1 nonequal?
True
Suppose 5*h + 139 = -b - 72, b = 4*h + 176. Let y = 23531 - 165019/7. Let m = h - y. Which is greater: -3 or m?
m
Let h = -23 + 59. Let m(f) = f**3 + 7*f**2 + 8*f - 6. Let j be m(-5). Suppose -2*u - t - 15 = 0, -2*u - h = -j*t - 6. Which is greater: u or -13?
u
Suppose 5*h - 20 = -2*w, 5*w - h - 21 - 2 = 0. Let s be 752/1840 - 2/w. Is -0.1 at least s?
False
Let z be (0 - 414/(-418)) + (-38 - -37). Let n = 472/5643 + z. Suppose -3*o + 2 + 1 = 0. Which is smaller: o or n?
n
Suppose -24*b = -28*b + 4996. Suppose -1523 - b = -14*z. Suppose -5*r + 16*r = z. Which is bigger: r or 19?
19
Let n = 0.647 - 0.62. Let y = n + -0.137. Let a(j) = -j**3 + 6*j**2 + 5*j + 17. Let k be a(7). Which is smaller: k or y?
y
Let i = -30 - -18. Let v = i - -11.9. Let c = v - 1.9. Are c and -2 unequal?
False
Let n = 7 - 12. Let y be (-10983)/(-3138)*(-1 - 18/14). Is n < y?
False
Let n = 19.7 + -6.8. Let b = n + -12.74. Let i = -0.06 + b. Is i < -0.01?
False
Let f = 4.82 - 5.74. Let z = -74.1 - -74. Which is greater: f or z?
z
Suppose 28*m - 28 = 24*m. Suppose 0 = -m*q + 14*q - 7. Which is bigger: 7 or q?
7
Suppose 0 = -4*b - 8, -8*b - 8 = -4*q - 6*b. Which is greater: 3/10546 or q?
q
Let v(g) = -g + 1. Let w be v(0). Let f be 4/(-17) - (-2673)/12155. Is f equal to w?
False
Suppose 159*z - 164*z - 10233 = t, -2*z - 4096 = -t. Is z at most as big as -2048?
False
Suppose 0 = -y + r + 6, 11*y + r = 7*y + 4. Suppose 0 = -v - y*w + 9, 2*v - 5*w - 13 = -31. Does -3/20 = v?
False
Suppose 0 = -5*x + 20, -290*k + x = -294*k + 20. Let n = 8 + -10. Is n at least as big as k?
False
Let i be (-8 - (-7 + 0 + 2))/(4/(-188)). Does i = 142?
False
Let w = 575 + -168. Suppose w + 28 = 5*x. Let d = x - 84. Which is bigger: 12/7 or d?
d
Let p = 10/97 + 271/194. Let u be (4/(-18))/(6/3). Let n = u + 13/36. Are p and n non-equal?
True
Let k(p) = 105*p**2 + 3*p - 3. Suppose 0 = -2*g + 5*j + 12, -4*g + 10 = -0*g - 3*j. Let h be k(g). Is 104 > h?
False
Let t be 63/85 + 8/(-10). Suppose -2*a = -8*a. Which is greater: a or t?
a
Let m(x) = 26*x**2 - 6*x - 9. Let h be m(-4). Let y = h - 418. Which is greater: y or 12?
y
Suppose 5*k - 6566 = -2*k. Let n = k + -913. Suppose 5*x + 2*v - 4*v - 127 = 0, 2*x - 46 = -4*v. Are n and x unequal?
False
Let c = 740 - 735. Let p be (-5208)/70 - 3/c. Which is smaller: -76 or p?
-76
Suppose -m = -6*m - 20. Let f = -2.674 + 2.2. Let b = f - 0.026. Which is smaller: m or b?
m
Let u(m) = 2*m - 46. Let z be u(5). Let q be z/(-198) - (-100)/(-66). Which is smaller: 0 or q?
q
Let t(p) = -p**3 + 11*p**2 - 22*p - 11. Let l be t(8). Let x be 0 - (-30)/l*(-4)/6. Which is smaller: x or -14/3?
-14/3
Let c(l) = -l**2 + 13*l + 5. Let v be c(7). Suppose -3*h + 30 = 3*y, 4*h + 4 = -y + 35. Suppose -23 - v = -h*i. Are 4 and i nonequal?
True
Suppose -3*m + 5*y + 4277 = -4575, 0 = 2*m - 4*y - 5902. Is 2949 != m?
False
Let f(l) = -51*l - 1626. Let m be f(37). Which is bigger: -3512 or m?
-3512
Suppose 2*x + 16 = -2*x, 0 = -4*c - 4*x - 32. Let h be (1 + -1)/(c - (-18)/6). Let q be 14/(-30)*((-115)/(-35) - 3). Which is greater: h or q?
h
Let l be 34/(408/45)*3*4/111. Which is bigger: 0 or l?
l
Let d(p) = -2*p**3 - 83*p**2 - 45*p - 161. Let o be d(-41). Let l be -4*2 - (-6)/(-3). Let r = l - -15. Is r >= o?
True
Let s(i) = -33*i - 1297. Let g be s(-39). Let o = -73/19 + -955/152. Is g >= o?
True
Let u = 11761 + -564499/48. Is u >= 0?
True
Let q = 29 + -21. Let f be 26/(-4) + 12/q. Let r be (6 + f)*((-4)/(-2) - 2). Is r >= -2/105?
True
Let c = 0.2 + -0.1. Let h be 9/(-2)*168/(-189). Suppose 2*g - 2*f - 24 = -h*f, -3*g - f = -28. Which is smaller: g or c?
c
Let y = -234 - -236. Suppose -y*x - x = 0. Which is greater: x or 3/49?
3/49
Let c be 2/(-11) + 124/66 + -3. Let t = 1/33 - c. Which is bigger: -2 or t?
t
Suppose 0 = -q - 4*v - 4 - 23, -5*q + 5*v = -40. Is q >= -4/779?
True
Let p(r) = -3*r**2 - 62*r - 95. Let x be p(-19). Which is smaller: x or 2/1073?
x
Suppose 0 = 14*f - 10*f. Are f and -3/998 unequal?
True
Let b = -7722 + 7719. Let j(d) = -583*d - 4. Let g be j(-5). Let c be g/(-861) + (0 + 0 - b). Is -1 not equal to c?
True
Let d(n) = -75*n**2 - 151*n - 3. Let w be d(-2). Which is smaller: w or -1/20413?
w
Let v be ((-104)/(-39))/(2/(-21039)) - -11. Is -28041 greater than v?
False
Let f be (0 - -1) + 216/2. Suppose c - 4*a = 59, -3*a = -2*c + 2*a + f. Let t(i) = i**2 - 966*i - 17666. Let r be t(-18). Is c != r?
True
Let w = -440 - -443. Let f(x) = x**3 - 5*x**2 + 10*x - 12. Let d be f(w). Are d and 5/41 unequal?
True
Suppose -3*s + 3*b = -189, 57 - 309 = -4*s - 4*b. Let q = -58 + s. Suppose -l - q*k + 102 = 3*l, -5*l = -4*k - 148. Which is smaller: l or 27?
27
Suppose 13*g - 21 = 6*g. Let s = 77 + -33. Supp