: y or j?
y
Let s = -17584/3 - -197942/33. Let r = s - 137. Is r less than -1/4?
False
Let h(q) = -q**3 - 12*q**2 + 4*q + 47. Let a be h(-12). Is a at most -2/761?
True
Let c = -13.6 + 15.6. Which is bigger: 52 or c?
52
Suppose 0 = -5*y + 2*b - 8, 0 = -4*y + 2*b - 8 - 0. Let i be 2/3 - (-4)/12. Suppose 5*s - p + i = 0, 3*s + p - 17 = 6*p. Which is bigger: y or s?
y
Let r = -49.5 - -34.8. Let j = r - -13. Let i = -2 - j. Are 4 and i nonequal?
True
Suppose -14 = 5*a + 11, 0 = 2*x + 3*a + 399. Which is bigger: x or 0.4?
0.4
Let h = -415 + 448. Is 32 at least h?
False
Suppose -2*t - 4*g - 12 = 0, -7 - 3 = 5*t + 5*g. Let u(i) = 3*i - 3. Let m be u(3). Which is bigger: t or m?
m
Let c(x) = -19*x + 661. Let i be c(23). Which is smaller: 221 or i?
221
Let y = 8 - 5. Let i = -18 - -25. Suppose 5*v + 3*r = i, -3*v - 9 = -5*v + 5*r. Which is smaller: v or y?
v
Let q = 23/19 - 431/513. Is q <= 2?
True
Let j = 21068/3 + -6941. Is j > 81?
True
Suppose -10*p - 10 = -8*p. Suppose -9 = -2*l - 1. Suppose 20 - l = -4*w. Which is smaller: p or w?
p
Let f(k) = k**3 - 2*k**2 - 2*k - 1. Let w be f(-1). Let m(o) = o**3 - 9*o**2 - 26*o + 40. Let y be m(11). Which is smaller: y or w?
y
Let n = -0.4 - 3. Let h = 3.3 + n. Which is greater: h or -4?
h
Let p(k) be the third derivative of k**6/120 - k**5/10 - k**4/4 - 7*k**3/6 + 9*k**2. Let g be p(7). Suppose 4*u + 4 = -g*u. Which is bigger: 0 or u?
0
Suppose 0 = -2*s + 2*u + 6, 3*s - 4*u - 3 = 3. Let w be 693/14*4/s. Suppose 0*g - w = 3*g. Which is smaller: 1/3 or g?
g
Let b(s) = 196*s + 12. Let i be b(-3). Let d = i - -4012/7. Is d bigger than 0?
False
Let q(l) = -l**3 + 4*l**2 + l - 5. Let c be q(4). Let a = -685 - -679. Is a > c?
False
Let w = 2.4 + -3. Let r = 5 - 5.08. Let y = -0.92 + r. Are w and y nonequal?
True
Let c = -367661857/1892 - -2138724/11. Let f = -1086/43 + c. Let g = f + -629/8. Which is bigger: 1 or g?
g
Suppose 4*r = -4*j + 3*r + 2, -2*r + 4 = -3*j. Suppose j = 5*m + 3*q - 8 - 20, q + 19 = 4*m. Let w be (-3 + m/1)*-1. Is w smaller than -1?
True
Suppose -5*l = -3*x + 8 + 22, -3*x = 3*l - 6. Suppose -x*u = -3*u + 32. Let b = u + 16. Is -5/7 less than b?
True
Suppose -3*a + 15 = -3*i, 11*a - 7*a = -5*i + 20. Let r = 204/43 - 16760/3569. Is i >= r?
False
Let f be ((-6)/(-33))/(36/486). Which is bigger: 1 or f?
f
Let x = 1712 - 17079/10. Which is greater: x or 5?
5
Let r(k) = -2*k + 2. Let n be r(0). Suppose -5*o = -4*b + 91 + 331, -3*b = o + 73. Let u = o + 248/3. Are u and n equal?
False
Let f = -17 - -20. Suppose f*i - 8 = i. Suppose -4*s - i*g = -0*g - 4, -4*s - g = -4. Which is bigger: s or 1/4?
s
Let w = -3.3 - 0.52. Let j = w - -4.1. Which is bigger: -1/5 or j?
j
Let t = 4321/6 + -718. Is 3 >= t?
True
Let n = -24093/476897 + -2/3481. Which is smaller: n or 1?
n
Suppose 4 = -2*q, -2*q + 13 = -2*p + 119. Which is smaller: 0 or p?
0
Let c = -173/20 - -35/4. Let x = 21 - 20. Does c = x?
False
Let f = 48 - -24. Let s = f - 79. Is -6 equal to s?
False
Let k(o) = -2*o**3 - 137*o**2 - 198*o + 98. Let y be k(-67). Which is smaller: y or -99?
y
Let r = 0.16 + 6.84. Let n = 0.075 - -6.625. Let x = r - n. Is x at most as big as 5?
True
Let c = 220 + -221. Which is greater: -3/5 or c?
-3/5
Let a = 50.65 + -50. Let m = a + -0.7. Is m > -6?
True
Suppose -3*s - 706 = 5*n, 3*n - 3*s = -29 - 385. Let p be ((-4)/(-14))/(15/n*-12). Let i = -51/20 + 14/5. Is i at most p?
False
Let o(m) = -10*m + 15. Let r be o(7). Let c = r + 39. Is c <= -15?
True
Let m = 32/3 - 290/27. Is 1 at least as big as m?
True
Suppose -4*b - 5 = 3*i + 2, 0 = -5*b - 4*i - 9. Let o = -5445/7 + 795. Let j = -18 + o. Are j and b equal?
False
Suppose -13 + 7 = t. Let l be (t/9 + 1)/(5/30). Which is smaller: 0 or l?
0
Suppose 0 = -3*g + 210 + 162. Let j = 121 - g. Is -2 less than or equal to j?
False
Let h = 384423/149 + -2580. Is -1 at least h?
False
Let o = 10547 - 411361/39. Let c = o - -2/39. Which is bigger: 6/17 or c?
6/17
Let y be 39/(-6) - 13/26. Which is greater: -17 or y?
y
Let q(r) = -r**2 + r - 39. Let l be q(17). Let n = -913/3 - l. Is 8 at most n?
False
Let x = -9/7 - -15/28. Is -6 less than x?
True
Suppose -g = -6*g - 330. Let l = g - -62. Suppose -5*t + 5*b = 25, -4*t + 1 = -b + 15. Is l bigger than t?
False
Let p be 7/4*(-1)/((-4)/608). Let v be 239/(-610) - (-8 - p/(-35)). Which is smaller: v or 0?
0
Let i = 33/1315 + -1024517/5260. Which is bigger: i or -194?
-194
Let m(g) = 2*g**3 + 6*g**2 - 2*g - 4. Let u be m(-3). Let a be 2 + (2 - 2)/(-3). Suppose u*b - a*c = 2*c - 18, 6 = -4*b + 2*c. Are b and 6 equal?
False
Let a be (-8)/(-10)*1330/(-4). Let b = 224 + -222. Let y be b/(-7) + (-2603)/a. Is y >= 10?
False
Let i = -128 + 149. Do 25 and i have the same value?
False
Let k be 3/14*(11 + -1). Let s(z) = z**3 - 16*z**2 + 40*z. Let h be s(3). Which is smaller: k or h?
k
Let u = -11.2 - -12. Let v = u - 0.87. Let k = v - -1.07. Which is smaller: -0.1 or k?
-0.1
Let t be (0 - (-8)/(-30))*27/(-6). Let m = 23/15 - t. Which is greater: 1 or m?
1
Let k = 40692 + -325537/8. Let l = -1 + 4. Let z = l - 2. Which is bigger: k or z?
z
Suppose 8*o = -13476 + 572. Let g = o + 398413/247. Is 1 at most g?
False
Let s be (-35)/(-5) + (-1064)/(-35). Is s < 37?
False
Let c be -9*9/(-3807)*2/5. Which is smaller: c or -1?
-1
Let y(o) = 68*o - 26 - 59*o + 0. Let r be y(3). Which is bigger: 10/7 or r?
10/7
Let l be (-3)/((-2)/4*-3). Let c be l/((-88)/14 - -4). Do c and -0.1 have the same value?
False
Suppose -113*a - 211 = -776. Which is smaller: -1.1 or a?
-1.1
Suppose 16 = -4*m, -5*l + 9*l + 2*m + 8 = 0. Are l and 2/229 equal?
False
Let x(p) = p**2 + p. Let t(r) = 2*r**2 + 16*r + 6. Let f(v) = -t(v) + 3*x(v). Let n be f(13). Is n <= 1?
True
Let o = -102.8 - 2.2. Which is smaller: o or -1?
o
Let v = 65 + -75. Let t be ((-6)/v)/((-1)/(-10)). Which is bigger: t or 21/4?
t
Let s be 6 - -11*(-4)/4. Let i be 50/4 - (-2)/(-4). Let a = 7 - i. Is a less than s?
False
Let l be (16/24)/(2/6). Let z be l/7 + 185/(-35). Is 0.04 >= z?
True
Suppose -9*i - 6654 = 5595. Let t = -31298/23 - i. Is 1 greater than or equal to t?
True
Suppose -9*q + 60 = -7*q. Let l = q - 29. Let c be -3*4*l - 4. Are c and -17 non-equal?
True
Let r = 861 + -909. Which is greater: r or -46?
-46
Let c = -1152 + 1152.1. Is c less than or equal to -721?
False
Suppose -193 = 8*s - 41. Let t = -1.1 + -0.9. Which is smaller: t or s?
s
Let y = -3619 - -90491/25. Which is greater: 0 or y?
y
Let h(i) = i**2 - i - 4. Let m be h(-3). Suppose -2*t = -m*t + 60. Suppose 2*c - 12 = -t. Which is smaller: c or 3?
c
Let m be (1 - -2)*(-771)/9. Let h = 1023/4 + m. Is h less than or equal to -0.1?
True
Let b be (-382)/748 - (-1)/2. Let q(n) = -n**3 - 12*n**2 + 27*n - 15. Let p be q(-14). Does p = b?
False
Suppose -35 = -n + 31. Suppose 3*y + 2*g = 95, 2*y - n = g - 3*g. Which is smaller: y or 28?
28
Suppose 2*g = -2*y + 14, -9 = -2*y - 3*g + 4. Let n be 175/(-10)*y/5. Let l be (-40)/n - (-5 + 7). Which is bigger: 0 or l?
0
Let i(o) = -9 + 82*o - 18*o**2 + o**3 - 81*o - 6 - 5. Let b be i(18). Which is smaller: -3 or b?
-3
Let c be (0 - 15)*3/(-9). Suppose 5*x = -5*z + 130, -x = -c*z + z - 6. Let t = x + -14. Which is bigger: t or 9?
9
Let c = 5 + 103. Which is greater: c or 109?
109
Let q = -34 - -48. Suppose 7*f + q = 203. Is f less than 27?
False
Let z be (1/8*-2)/1. Let b(k) = 9 + 2*k - 27 + 7. Let h be b(6). Is z != h?
True
Let h = 8/221 - 4841/5525. Which is smaller: h or -2?
-2
Suppose 0 = -3*d - 5*b - 13, 6*d + 2 = 8*d - 2*b. Which is smaller: -10/357 or d?
d
Let w = -33/97 - -2304/5917. Is 0 equal to w?
False
Suppose 16*w = 39*w + 26082. Is w less than or equal to 1?
True
Let f be -3 + 71 + 1 + 1. Let h = 208/3 - f. Let w be 2/2*(19 + -22). Is h smaller than w?
False
Let n = -6 - -6. Suppose -4*v + 5*c - 25 = 0, n = v + 2*c - 4 - 6. Is -1/7 at most v?
True
Suppose -14*v + 12*v = 5*o - 153, 0 = 4*o - 4*v - 100. Which is smaller: 31 or o?
o
Let q(n) = n**3 - 7*n**2 - 5*n - 10. Let j be q(8). Suppose -j = -5*z + m, z - 5*m = -z + 24. Suppose 4 + 2 = z*f. Which is greater: f or 2?
f
Let a(y) = -y**3 - 8*y**2 + y - 10. Let t be a(-8). Let n = 10 + t. Let d be (n/(-12))/((-8)/6). Are d and 8 unequal?
True
Let l be (1 - -3)/((-13)/26). Let g be 1/l + 332/(-416). Which is bigger: g or -1?
g
Let k = 51 - 86. Le