s be -1*(38/(-9) + 4). Is s bigger than c?
False
Let m = -2.8 - -1.73. Let i = -0.93 + m. Do 138 and i have the same value?
False
Let v = 15151 + -15306. Does v = -130?
False
Let l be 1/8*-2 + (-13)/(-4). Let c(n) = -5*n - n**3 + 4*n + 5*n**2 + 8 + l*n**2 + 9*n. Let h be c(9). Which is smaller: 1/5 or h?
h
Let f = 193.9526 + -194. Let v = f - -0.5484. Is v > 0.1?
True
Let t be -4 + (-19)/(-4) - 784/704. Are 6.7 and t non-equal?
True
Let b be 12*66/(-88) - -2*4. Is b at most 3/8477?
True
Let v = 310745/103 - 3017. Let o = -357/824 - v. Let d = -487.13 + 492.13. Is d not equal to o?
True
Let n = 32.8 + 8.2. Let o = -51.2 + 869.1. Let r = -818 + o. Is r not equal to n?
True
Let h(d) = -d**3 - 17*d**2 + 21*d - 44. Let y be h(-20). Let j = 7367/10 - y. Suppose 0 = 3*v + 4*r, 5*r + 0*r = 0. Is v not equal to j?
True
Let g be (75/(-12) - -7) + 5906/8. Let l = 750 - g. Is 13 bigger than l?
True
Suppose -h - 48 = -5*h. Let z = 24 + h. Let f = 40 - z. Does 1 = f?
False
Let p = -136.1 - -152.1. Which is smaller: p or -363?
-363
Let i = -300 + 303. Suppose -93*t + 12 = -97*t + i*k, -6 = 2*t - 4*k. Which is smaller: -7 or t?
-7
Suppose 5*w - 3*w - 2*j = 14, 32 = 5*w - 2*j. Suppose -2*t + w = -t. Suppose 5*i + 3*d - 23 = 0, 4*i - 4*d - 51 = -i. Which is smaller: i or t?
t
Suppose 3*f + 2*f = 25, 9 = -2*t + f. Let r be 5 - -34 - (t - -1). Suppose -3*w - 3*q = -0*q - 111, -3*w - q + 117 = 0. Is r > w?
False
Let r be ((-134)/(-19564))/(2/116 + 0). Are 1 and r equal?
False
Let n = 128 + -25. Suppose g - n = -3*m - 12, -4*g = 20. Which is greater: m or -0.3?
m
Let l(m) = -m**3 + 13*m**2 + 15*m - 6. Let w be l(14). Let u(r) = 5*r**2 - 11*r + 20. Let t be u(w). Let s = t - 2019/8. Do -1 and s have different values?
True
Let z be 2305/(-9435) + 22/66. Are z and -1 equal?
False
Let c be 176/11 + (-3)/(-3). Let k(z) = 11*z - 186. Let f be k(c). Let u be 7/30*8/(-42). Which is greater: u or f?
f
Suppose 3*f - 17771 = -t, 3*f - 7*f = 5*t - 23680. Is 5925 > f?
False
Let i be (280/50 + -6)*14430/9. Let y = i + 710. Is y greater than or equal to 69?
False
Let g = -2/38791 - -9736571/581865. Let i = -49/3 + g. Is i greater than or equal to -9?
True
Suppose 12*u - 576 = 4*u. Let g be (-2)/6 + (104397/u - -3). Let x = -1455 + g. Which is bigger: -3 or x?
x
Let m = 211 - 359. Let h = m - -29. Let s = -91/40 - -15/8. Which is bigger: h or s?
s
Let d = 5 + 6. Suppose -7*y = -d - 17. Suppose 3*z + 13 = y*i, 0 = -z + 4*i - 4 - 11. Do z and -1/62 have the same value?
False
Suppose 4*b = -132 + 580. Is b at least as big as 121?
False
Suppose -2*f - 259 = -5*q + 31, 20 = -4*f. Suppose 22*k - 31*k + 756 = 0. Let l = k - q. Is 25 less than l?
True
Let h be ((-416)/234)/(2/(-6))*(-39)/(-313). Is h bigger than 2?
False
Suppose -190*c + 32 = -56 - 102. Let o be (-60)/(-14) - 4/14. Let j be (10/o)/(7/2). Which is greater: c or j?
c
Let i = -0.1468 + -4.8532. Let l = -0.43 + -4.37. Let g = l - i. Are 0.2 and g nonequal?
False
Suppose 9 = -5*c + z + 29, -4*z = 2*c - 30. Suppose -4*x - o = 4*o, 0 = -4*x + c*o. Suppose 4*a - 11*a = x. Do -3/34 and a have different values?
True
Suppose 4*u - 2 = -5*k, -45*k - 4*u = -42*k - 6. Which is smaller: k or -84/67?
k
Suppose 2*m = -m - 4*r - 17, 0 = r + 5. Let c be (434/(-49) + 5)/(m/1). Which is greater: c or -5?
c
Suppose -215*q + 168*q + 47 = 0. Is q >= -12/691?
True
Let s(i) = 39*i - 538. Let w be s(31). Do w and 670 have different values?
True
Suppose -23 + 73 = q - 5*n, -5*n + 160 = 5*q. Let c be 1*4*8/32*117. Let m = -83 + c. Is q bigger than m?
True
Suppose 29*q + 30 = 39*q. Suppose 51 + 36 = -q*l + 3*j, -5*l = -2*j + 139. Is -2 at most l?
False
Let m(h) = 385*h**3 - 2*h**2 - 50*h - 50. Let g be m(-1). Is -385 > g?
True
Let a be (32777/(-438))/(3 + -2). Is a greater than -75?
True
Let m(k) = k**2 + 2*k + 1. Let u be m(-1). Suppose 5*h + 30 = -j, 4*h - j + 0*j + 15 = u. Let l be 3*38/(-6)*9/45. Which is smaller: l or h?
h
Let k = -3040 + 3425. Is k at most 386?
True
Let g(v) = 4*v - 16. Let z be g(2). Let j be (7 - 114/18)/(z/(-9)). Is j equal to -3?
False
Let o(g) be the first derivative of 17*g**3/3 - g**2 - 138. Let z be o(1). Is 15 bigger than z?
False
Let c be (1*-16)/(4 - 3). Let o = 11 + c. Let l = 2893/35 - 608/7. Which is bigger: l or o?
l
Let r be ((-1)/1)/((-1)/3). Let l be (r + 2 + -6)*3/(-20). Which is smaller: l or -3?
-3
Let g be (-212)/(-530) + 94/790. Is g != 2?
True
Let f = 5/9 - 16/45. Let s be 85/(-2)*(8/(-6))/(1050/(-315)). Which is smaller: s or f?
s
Let f = -5 - 1. Let t be (-4)/(-6) - 260/f. Let g be t/(-16) - (4/(-4) + -1). Which is greater: g or 0?
0
Let v be ((-9)/12)/(2574/(-4576)). Which is smaller: v or 500?
v
Let q = 2.32 - 1.45. Let a = 2.402 - 2.372. Let c = a + q. Which is bigger: c or 2?
2
Let s = 4461 - 4464. Which is smaller: -68 or s?
-68
Suppose -z - 2*s - 290 = 0, 5*z + 0*s + 1520 = 4*s. Let u = z - -657. Which is bigger: u or 358?
358
Let p be (855/(-38))/(1/6) - -2. Let t = p - -133. Which is smaller: 8/13 or t?
t
Suppose -x - 5720 = 33*u - 36*u, -5*u - 28580 = 5*x. Which is greater: -5718 or x?
x
Let f be (-2)/(-1)*(-5)/2. Let c(i) be the third derivative of -i**6/120 - 7*i**5/60 - i**4/4 - 2*i**3/3 + 27*i**2. Let g be c(f). Which is greater: g or -25?
g
Suppose 132 = y - 4*y. Suppose -37*v + 5*v - 3157 = 45*v. Is y less than or equal to v?
True
Let h = -10130 - -10069. Does h = -562/9?
False
Let o(p) = -p**3 + 4*p. Let f be o(-5). Suppose 4*y + 5*v + 29 = 0, 4*y + 3*v + 14 = -13. Let l(w) = 2*w**2 - 3*w + 14. Let i be l(y). Which is smaller: i or f?
i
Let k = -2/35 - -179/70. Suppose 472*u + 3*z - 30 = 473*u, 3*u - 5*z = -34. Which is greater: k or u?
u
Let g(r) be the second derivative of -r**3 - 10*r**2 - 90*r. Let w be g(-3). Which is smaller: w or 4?
w
Let j = -458.08 + 458. Is -2.14 greater than or equal to j?
False
Let h = 0.49 + -0.49. Let t = 100.24 + -100. Which is greater: t or h?
t
Let c be 294/48 - (-8)/(-64). Suppose -c*q + 6 = 126. Does q = -16?
False
Suppose 2*b + f - 89 = 0, 8*b - 10*b - 2*f + 90 = 0. Let o be (85/34)/((-2)/4) + b. Which is bigger: o or 36?
o
Suppose 123 = -43*s + 166. Which is smaller: s or 3/8317?
3/8317
Suppose 65*s - 4 + 12 + 187 = 0. Is -506 < s?
True
Let g be 26*1/(-2) - -6163. Is g at least 6152?
False
Let x = 409504 - 485262212/1185. Which is bigger: 1 or x?
1
Let m = 18717 + -18887. Which is bigger: -0.05 or m?
-0.05
Suppose -5*l + 69 = 3*k + 381, 0 = 5*l - 4*k + 319. Is -814/13 bigger than l?
True
Suppose 12*m - 935 + 1463 = 0. Suppose 3*d = d - 90. Is d >= m?
False
Let w(j) = j**3 - 6*j**2 + 5*j + 2. Let g be w(5). Let o be (37/3)/(g/(-8)). Let q = -50 - o. Which is greater: 2 or q?
2
Let m be (-2)/32 - (-8085)/12880. Which is smaller: -0.1 or m?
-0.1
Let y = 1.1127 + -0.1127. Is y at most as big as -14950?
False
Let l = -3 + 3. Suppose 10*q + 1 - 1 = l. Let f be (-1 - -2) + 38/(-34). Is f at least q?
False
Suppose 0 = 5*d, 7*j - 6*j = -4*d - 846. Let h be -10*(-84)/j + 1. Which is greater: h or 0?
h
Let n(m) = 62*m**2 - 333*m - 1. Let o be n(7). Is 701 at least o?
False
Let h be -5*(-2)/25 - 102/30. Let o be (-1)/h + 132/90. Is o greater than or equal to 3?
False
Let z be 1/(-1)*(-2 + -2 + 7). Let r be ((-1)/4)/(1/(-4))*2. Suppose 2*a + 2*g = r, a - g = g - 11. Is a greater than z?
False
Let k(b) = -25*b**2 + 67*b - 68. Let s be k(1). Is -27 greater than or equal to s?
False
Let k(m) = m**2 - 6*m - 20. Let y be k(8). Let t be (38/(-57))/(y/18). Let d = 2 + t. Which is greater: d or 3?
d
Let t = 1.22 - 1.42. Let f(a) = a**3 + 8*a**2 - a - 1. Let z be f(-8). Let n be (8 - 7) + (-8)/z. Is n at most t?
False
Let l = -151 - -151. Suppose -102*z + 100*z - 10 = l. Does 5 = z?
False
Let j be 2*2/(-12) + (-333)/(-27). Let o be 2 + j/(-9) - 290/(-6). Let i = 42 - o. Do i and 0 have different values?
True
Let x = 18397 + -18399. Which is greater: 4/2159 or x?
4/2159
Let r(d) = 123*d**2 + d - 5. Let m be r(3). Let f = m + -725. Let h be 4/26 + f/572 + 3. Which is smaller: 3 or h?
3
Let a(g) = -439*g + 353. Let o be a(0). Which is bigger: 349 or o?
o
Let u(x) = -13*x**3 - 270*x**2 + 54*x - 21. Let k be u(-22). Does 6536 = k?
False
Suppose -9 = -3*u + 4*g, -2 = 24*u - 25*u + g. Which is smaller: 33/839 or u?
u
Let r = -0.196 + 2.206. Let k = -1944 + 1946. Let n = r -