uppose 22 = -2*l - 4*q, -5 - x = 5*l + 3*q. Is l bigger than 1/291?
False
Suppose -k - 76 = -3*k. Let y be 1/(-4) - 17/(-4). Let s(r) = 2*r**3 - 7*r**2 - 11*r + 67. Let g be s(y). Which is smaller: k or g?
k
Let s = -1.521 - -0.521. Is s greater than 1.382?
False
Let f = 3487.9 + -3488. Is -13/335 equal to f?
False
Let w = -8759/105 - -419/5. Let h(d) = d**3 + 4*d**2 + d + 5. Let x be h(-4). Which is bigger: x or w?
x
Suppose -4*x + 9 = 3*c, 2*c = -15*x + 10*x + 6. Is x < 2/7369?
True
Let h = 1.177 - 9.177. Let g = 12 - 7. Let n be (-18)/(-45)*g/8. Which is greater: h or n?
n
Suppose 3*p = -5*z - 393, 2 = -3*p - 1. Suppose -l - a + 6 = -4, 3*a = 12. Let j be (7 - l) + 75/z. Is j < -1?
False
Let a be 1/3 - (-165)/45 - 0. Suppose -17*z = -21*z - y + 4, y - a = -z. Let m = -29 - -5. Which is bigger: z or m?
z
Let i(t) = t**2 - 4. Let s = -61 - -58. Let c be i(s). Is c greater than 1?
True
Let z = 16411 - 15581.3. Let b = 832 - z. Which is greater: -12 or b?
b
Suppose 72*b - 74*b = -86. Suppose b*r = 47*r - 4. Is r bigger than -2/321?
True
Suppose 5*y = 7*y + 5*c - 640, -1546 = -5*y + c. Let t = y - 312. Which is greater: 7 or t?
7
Suppose 3*g - 542 = -5*l, 5*g - 3*l - 742 = g. Let k = g - 188. Which is smaller: -11/4 or k?
k
Let t = 292 - 442. Let y be ((-5)/t)/((-10)/30). Is y > -1?
True
Let w = -15.5 + -1.5. Let s = 15 + w. Let r be -3 + 5/((-25)/(-13)). Which is bigger: r or s?
r
Let s(t) be the third derivative of 7*t**6/40 + t**4/8 - t**3/3 + 2*t**2 + 1. Let g be s(1). Are g and -2 nonequal?
True
Suppose 255 = -3*i + 39. Let f be (2/(-3))/(147/i - -2). Is f less than 16?
False
Suppose 0 = -4*d + 5*i - 67, 0*i = 2*d - 5*i + 21. Let u(r) = 2*r**2 + 7*r + 4. Let o be u(-3). Which is bigger: o or d?
o
Let b be (117/(-273))/(-2 + (-156)/(-63)). Which is smaller: -80 or b?
-80
Let z be (-5)/(-35)*58/(-4). Suppose 2*p - 3*l = -11, 34*p - 33*p + 3*l = 8. Which is greater: z or p?
p
Let y = 15845 + -15845.00089. Do y and 0.1 have the same value?
False
Let x = -249 + 249.0477. Let j = -0.1477 + x. Which is smaller: j or -68?
-68
Let t = 17 - 12. Suppose 4*r + a = 16, 2*a = 2*r + 4*a - 14. Let v be 19/4*r/12*4. Is t at most v?
False
Let c be ((-36)/(-14))/(366/182 + -2). Suppose y - 468 = -4*u + 6*y, -2*u = -5*y - c. Which is greater: u or 118?
118
Suppose -z = -883*n + 886*n - 33910, -2*n = 4*z - 22620. Which is greater: 11301 or n?
n
Suppose 46 = 2*c + 4*u, -3*u = -0*c - c - 2. Let p = -0.04429 + 6.04429. Is p > c?
False
Suppose 885 = 27*b + 32*b. Suppose -5*o = -20*g + b*g + 35, -7 = -g + 5*o. Is g greater than or equal to 0?
True
Let p = -52 + 60. Suppose 29*q + 336 = p*q. Is -16 at most q?
True
Let r(q) = q - 20. Let f(s) = -s**2 - 4*s - 3. Let k be f(0). Let a(m) = 2*m - 20. Let x(n) = k*a(n) + 4*r(n). Let b be x(-10). Are 0 and b unequal?
False
Let s = -15 + -43. Let f = s - -57. Is f != 9?
True
Let o = 0.4093 + -0.444. Let y = o + 0.1347. Let j = 0.01 + -0.07. Is j at least y?
False
Let j = -1493.03 - -1447.2. Which is smaller: j or -1?
j
Suppose 3*n = -4*l + 3, 5*n + l + 0 = 5. Let j be (-204)/376 - n/(-2). Let h be 3/(-4)*(3 + 244/(-60)). Is j >= h?
False
Suppose 4*s - 9*s + 180 = 0. Suppose 2*m + 5*c = 31 + 2, -4*m + s = 4*c. Let v be m*(-6)/(-40)*-15. Is -9 smaller than v?
False
Let m = -6 + 23. Let k = m + -31. Let u = k + 6. Is 3/5 <= u?
False
Let n(h) = -18*h**2 - 24*h + 10. Let b be n(-11). Let u be (-2)/((b/(-175))/8). Is -1 greater than u?
True
Suppose 5*g + 7*d = 2*d - 45, -2*g - 18 = 3*d. Suppose 280 = 2*l + 5*b, -5*l + 681 = -b + 4*b. Let t = l - 145. Is g != t?
True
Let g = 51163 - 51173. Let j = 7/395 - 902/79. Which is smaller: g or j?
j
Suppose -x = -2 + 4. Let f = -144 - -146. Suppose f*i = -t - 2, -3*t - i + 4*i - 33 = 0. Which is smaller: x or t?
t
Let m = 6.0698 + -0.0698. Suppose -118 = -4*i + 5*l, -l - 4*l + 74 = 2*i. Let x = -95/3 + i. Is m >= x?
True
Let l = 9147 - 9148. Is 2/77 smaller than l?
False
Let p = 49708845/47774 + 1/23887. Is 1042 bigger than p?
True
Let f = 339.053 + -339. Let x = f - -61.947. Is x at most as big as 1/2?
False
Let u(y) = y**2 - 65*y + 251. Let h be u(61). Which is bigger: h or -26?
h
Suppose 4*y + 373 + 479 = 0. Let s = -230 - y. Do -19 and s have the same value?
False
Suppose -q + 0*q = -30. Let g = -33 + 58. Let y be 2*30/20 + g. Do q and y have different values?
True
Suppose -14*o - 4 = -16*o. Let x(h) = 6 - 2*h**2 + 3*h**o - h - h**3 + 0*h**3 - 3. Let s be x(0). Is 9/5 less than s?
True
Let u = 0.61 + 0.97. Let v = -6.03 + 5.93. Are u and v non-equal?
True
Let h be -2 + (-472)/6*-21*(-9)/162. Which is greater: -95 or h?
h
Suppose 0*t - 5*w = 4*t + 1391, 5*w + 1047 = -3*t. Let c be -316 + -1 + -377 + 351. Which is smaller: t or c?
t
Let y = -6284 + 4772. Which is bigger: -1515 or y?
y
Suppose n - 3*h - 14 = 0, -5*n - 5*h + 15 = 5. Let z(x) = -n*x - x - 4*x**2 - 5*x**2 + 5 + 2*x**3 + 0*x. Let d be z(5). Which is bigger: 15 or d?
15
Let d = 83.8 - -87.2. Let l = d - 170.9. Which is greater: l or -2/65?
l
Let d be (-24)/3 + 21 + 455/(-31). Which is smaller: -3 or d?
-3
Let d = 12093 + -12038. Is d < -1.9?
False
Suppose 3*z + 2*z + 20 = 0. Let a be (z/(-21))/((-2)/3). Let t be 12508/1416 + (-16)/3 + 0. Are a and t equal?
False
Let l = -3318 + 3318. Let p be 24177/(-45) - 2*1. Let q = -539 - p. Which is smaller: q or l?
l
Let k(o) = 3*o**3 + 2*o**2 - 2. Let a be k(2). Let z be (2/(15*9/54))/((-2)/(-80)). Are z and a unequal?
True
Suppose -44 = 4*j + 72. Let h = j - -18. Let y = -22 + h. Which is smaller: y or -34?
-34
Let v = -4390 - -711191/162. Is 0 less than v?
True
Suppose -5*n - 4*o = 184, 2*o = -132*n + 135*n + 128. Which is bigger: 5 or n?
5
Suppose 3*m = -2*p + 1008, 228*p - 5*m = 230*p - 1016. Which is bigger: 500 or p?
500
Let w(o) = 12*o**2 + 464*o - 53. Let q be w(-31). Is -2906 equal to q?
False
Let l be 1 + (1 - 1) + -2. Let x be l*(1/(-1) + -2). Let o = 2366279/7 - 338036. Which is greater: x or o?
o
Suppose 3314 - 1334 = 20*v. Suppose 236*a + v = 245*a. Which is greater: a or -8?
a
Let b be (-66)/1254 - (-58)/(-342). Are b and 56/17 unequal?
True
Let c = 125/26 - 4157/962. Which is greater: c or 1/3?
c
Let c = -15376 + 15375. Let z = -352 - -49283/140. Is z greater than c?
True
Let j = -38457/14 - -51647331/18802. Which is smaller: j or 1?
j
Let l(f) = -4*f**3 + 30*f**2 - 17*f - 7. Let c be l(5). Is c equal to 147?
False
Let a = 51.9259 - -0.0741. Which is greater: a or 6?
a
Suppose -2*o - 14 = -4*n, -3*n + 2*o + o = -15. Let c be ((n/2)/157)/(-15 + 13). Is -1 less than or equal to c?
True
Let x = 0.4 - 0.3. Let w = 712 + -760.2. Let f = 54.2 + w. Is f > x?
True
Let h(i) = -i**3 + 12*i**2 + 14*i - 13. Let z(s) = 9*s - 6. Let d be z(2). Let r be ((-65)/15)/((-4)/d). Let w be h(r). Which is greater: w or -1/8?
w
Suppose 0 = 2*q - 3*f + 1878, -3*f - 1914 = 2*q - 0*q. Are -8 and q non-equal?
True
Suppose -4*f + 2*q = 5*q + 1523, -f + 5*q - 375 = 0. Let p = f - -170. Let b be 522/p - 2/(-10). Is 1 at most as big as b?
False
Suppose 0 = 3*v - 3*r - 117, 3*r - 4*r = 2*v - 72. Let l = v + -17. Let f be l*((-157)/(-220) - (-15)/(-20)). Is f greater than or equal to -1?
True
Let v = 1018/59 - 772751/44899. Which is greater: v or 0?
v
Let m(x) = x**3 + 25*x**2 + 26*x - 82. Let c be m(-20). Are 1398 and c equal?
True
Suppose 5*a = 3*u - 40, u + 2*a + 0*a = 28. Let i be 8/(-3)*(-12)/u - 2. Let x be 5/6*18/(-90). Is i greater than x?
False
Let v be 2*(-68)/(-102)*15/(-8)*4. Which is smaller: -155/17 or v?
v
Let g = -489 + 823. Let a = g + -333.95. Are a and 1/14 equal?
False
Suppose 9*a - 258 = 273. Suppose -20*z + a*z = 3666. Is z greater than 93?
True
Let c be (5068/(-42))/(2/4). Let j = c - -12281/51. Is -1 less than or equal to j?
True
Let f = 53 - 51. Suppose -3*r - 3*c - f*c - 10 = 0, -c + 20 = 5*r. Suppose -r - 7 = -4*o. Which is bigger: o or 7/2?
7/2
Let v = 2619.6 + -2618.5. Is -146 >= v?
False
Let i = 233.7 + -505.4. Let o = 272 + i. Is o at most 217?
True
Let i(a) = a**2 - 101*a + 99. Let k be i(100). Are -11/64 and k unequal?
True
Let w(r) = 37*r - 161. Let t be w(-9). Let l = -1975/4 - t. Which is bigger: l or -203?
l
Let m(g) = 7*g - 24 + 96 - 20*g + 94. Let p be m(26). Is -172 greater than p?
False
Let w = -950 - -768. Which is smaller: -5 or w?
w
Let t = -10.6049 + 10.7.