m = -311.9 - -312. Let k = 3464/105 + -33. Let o = -16/455 - k. Which is greater: m or o?
m
Suppose -134 = 2*v + 2*o, 12*v - o = 17*v + 315. Let i be 62/v*(-2 - 5/(-2)). Which is bigger: i or -0.038?
-0.038
Let o = -176 - -61. Let b = o + 117. Which is smaller: b or 10/3?
b
Let i be (6/148)/(30/(-8) - (-3 - 0)). Is i >= 1?
False
Let n be ((19296/162)/((-2)/7122))/142. Let d = -2987 - n. Is d smaller than 1?
True
Let v be -6 - 240/(-42) - (-74)/14. Suppose -8 - v = -13*a. Which is bigger: 2/133 or a?
a
Let r = -10718665/7189 - -19297/13. Let l = 2/79 + r. Is -7 greater than or equal to l?
False
Let z be (-686)/(-264) - (5 - 53/11). Let o = 984 + -982. Is o <= z?
True
Let p = -5310 + 5403. Let c = 0.01 + 0.99. Is c bigger than p?
False
Let d = 7 + -2. Suppose 10 + 5 = -d*r. Let t = -1.837 - -1.827. Does t = r?
False
Let t = 8460 - 524521/62. Which is smaller: -7/9 or t?
-7/9
Let r = 26960/43337 + 354214970/584919489. Let w = 1/2454 - r. Is -1 smaller than w?
False
Suppose -57 = 5*a - 0*o + 4*o, -a - 21 = 4*o. Let h be 0 - 2 - 1 - (-8 - a). Let d be (-108)/14 + 28/(-98). Which is greater: h or d?
h
Let a(f) = f**2 + 7*f - 597. Let g be a(-32). Is g less than -0.02?
False
Let d(l) = -752*l - 3119. Let c be d(-13). Is 6658 at least c?
True
Let b be (-1 + 16/12)*0. Let h be (8/18)/(-4) + 925/306 + -3. Is b smaller than h?
False
Suppose -414 = 7*z + 153. Which is smaller: z or -900/11?
-900/11
Let q be (4 - (-22)/(-6))*-3. Let v be 71/(-6) + 0 + q/(-6). Which is greater: -11 or v?
-11
Suppose 0 = -19*y + 10*y + 162. Suppose 53*t = y*t - 70. Let c = 10 + -14. Does t = c?
False
Let p(v) = -50*v + 397. Let m be p(8). Does m = -92/31?
False
Let i = 2577.4 + -2753.89. Let c = i - -174. Let g = c + 2.5. Is -3 greater than g?
False
Let l(y) = 7*y - 2 - 4*y + 6 - 19. Let a be l(-6). Let p = 129/4 + a. Which is bigger: -1 or p?
p
Let q(j) = -4*j**3 + 17*j - 17. Let c be q(1). Let x be (32/(-18) + 2)*-23. Which is greater: c or x?
c
Let u be -1138*(-1)/(-573) - (3 - 5). Do u and -1 have different values?
True
Let c = 668 + -876. Let d be -2*c/(-8) + (5 - 1). Is -48 less than d?
False
Suppose -7*g - 1847 = -33900. Which is smaller: 4580 or g?
g
Let r be (-414)/(-21) + 40/140. Let k be (52/(-28) - -2)*(-2 - -1). Which is smaller: r or k?
k
Let r(v) = -28*v**2 + 17*v + 90. Let m be r(-3). Which is greater: m or -2?
-2
Let z be (3/(-30))/((-1)/(-668)). Let u = z + 67. Let m be (14/10 + -1)/((-522)/(-90)). Are u and m equal?
False
Suppose 0 = 34*r - 32*r - 974. Let c = -485 + r. Let j be -1 - (-80)/14 - 3. Is c bigger than j?
True
Let c be (-30)/(-9)*(-6)/35. Suppose 212 - 65 = -7*d. Let k(a) = -a - 22. Let g be k(d). Which is greater: g or c?
c
Suppose 486 = -19*r - 628 - 501. Is -73 < r?
False
Let d = 1455 + -1459. Is d not equal to -115/36?
True
Let r be -7 + 14484/(-3624) + 11. Suppose o = 3*o + 4*t - 14, -2*t + 8 = 0. Which is bigger: o or r?
r
Let w be (-36*1)/(-9) + (-39380)/9844. Is w <= 1?
True
Let c(f) = -f**3 - 57*f**2 + 113*f - 400. Let i be c(-59). Is -102 equal to i?
False
Suppose 38*x = 16*x. Suppose -1 = 3*b - 2*s + 1, 0 = -4*b + 2*s - 2. Let y be 0 + 0 + b + 92/69. Is x >= y?
False
Let y = -1.5495 - -523.5495. Which is greater: 1/2 or y?
y
Suppose -20 = -0*f + 4*f - 4*w, -4*w + 18 = -2*f. Let j(g) = 2*g - 43. Let k be j(22). Let o be k + (-5 - (-534)/134). Which is greater: f or o?
o
Let i(p) = p**2 - p - 18. Suppose -3*x = v - 2*v + 18, v = 0. Let q be i(x). Let d be (9/((-81)/q))/(-2). Which is greater: d or -0.3?
d
Suppose 5*c - 11 = -1. Let l be (3/c + 88/48)*6. Suppose l = -8*o - 100. Is o smaller than -16?
False
Let i be 1 + -2 - 2 - -77. Let n = i + -67. Suppose -11*h - 12 = -n*h. Which is smaller: 2 or h?
h
Let h = 28 + -30.12. Let p = -2.02 - h. Is 0.112 < p?
False
Let b = -4676059/10650 - -59/1775. Let g = -481 - -42. Let t = b - g. Which is smaller: -0.2 or t?
-0.2
Let g = -2445 + 2444. Which is smaller: -264 or g?
-264
Let n be (-4)/14 + 1937/91. Let u = n + -23. Let l = 1 - 0.97. Which is smaller: u or l?
u
Let u(x) = 2*x**3 - 18*x**2 - 25*x + 50. Let h be u(10). Is 5/77 at least h?
True
Let m be 1/4 + (-11)/42. Let u be 0/(7 - -23)*1. Is m < u?
True
Let f(a) = -11*a**2 + a. Suppose 2*k - 8 + 14 = 2*d, -14 = -2*k - 3*d. Let b be f(k). Which is smaller: -6 or b?
b
Let j be ((-26160)/(-144))/(5/3). Is j >= 163?
False
Let i(s) = -250*s**2 - 55*s + 268. Let p be i(5). Do p and -6258 have the same value?
False
Let k(i) = -3*i**3 - i. Let y be k(-1). Suppose -3*z + 5*h + 79 = 0, z = -0*z - y*h + 15. Suppose -78 = 54*o - 1212. Is o < z?
True
Let k = 3464.72 - 3465.1. Is 160 at most as big as k?
False
Let d be 2 - 1232 - (322/350 - 4/(-50)). Which is bigger: -2459/2 or d?
-2459/2
Let a = 34487/13 - 2653. Is a bigger than -0.2?
True
Let w = 0.28057 + 0.11943. Which is smaller: w or -5/3?
-5/3
Let l be (-2)/4 - (-377)/(-2). Let z = 121655 + -121844. Does z = l?
True
Let u = 3.962 + -8.962. Which is bigger: -639 or u?
u
Let t = 2754 - 2227. Is t at most as big as 522?
False
Let w be -2152 - (3 + -4) - ((-168)/7)/3. Which is smaller: w or -2142?
w
Let z(u) = -u**3 - 16*u**2 + 37*u + 24. Let v be z(-18). Suppose -v*t - 10 = -16. Which is smaller: t or 30?
t
Let r = -49 + 58. Let a be r + -1*(-12)/(-4). Let b = -5 + a. Which is bigger: b or -1/37?
b
Suppose -7*i + 3*i = -76. Suppose -2*v - 6 = -n, -3*n + v = 5*v - 8. Suppose -76 = -4*x - 3*s, -4*x = -n*s - 25 - 51. Are i and x non-equal?
False
Suppose 122*w = 100*w + 703*w - 66738. Which is bigger: 90 or w?
w
Suppose -58*u + 35*u = -2047. Is 67 greater than u?
False
Suppose 4*j = 2*i + 316, 0*i - 306 = 2*i - 2*j. Let p be 12*22/27*-15. Which is greater: i or p?
p
Let t = 28.095 + 17.905. Which is bigger: -36.9 or t?
t
Suppose 54*z - 7866 = 16*z. Suppose -206 = n - z. Which is smaller: n or -2/1347?
-2/1347
Suppose 0*q - 2*q = 0. Let g be (2 - q)/(42/(-2)). Suppose m - l = 3*l - 12, -m + 9 = 3*l. Which is bigger: m or g?
m
Suppose i = -3*x - 705, -5*i + 717 = -6*i + 3*x. Let c = i - -705. Let u(d) = d**3 - 6*d**2 + 5*d - 5. Let v be u(5). Are c and v non-equal?
True
Let y(c) = -2*c**2 + 5*c + 1. Suppose -2*n = 3*v - 6*v + 5, 4*v + 2*n - 16 = 0. Let x be y(v). Let h be (x + (-4)/(-2))*-1. Which is greater: 12 or h?
12
Let n be (20/6*(-1)/(-2))/(-1). Let r = -392.2 - -392. Which is smaller: n or r?
n
Let y(g) = -4*g**3 + 10*g**2 + 43*g + 12. Let x be y(-3). Which is greater: 69 or x?
x
Suppose 3090*f - 6657 = 3111*f. Which is smaller: -288 or f?
f
Let f(o) = -91*o - 1. Let m be f(-2). Let q = m - 95. Is q at least as big as 86?
True
Let d = 14185/41722 - 11/3628. Which is smaller: -1 or d?
-1
Let v be (1/2)/(22/132). Let h be (v - (-1 - -7)) + 1*4. Which is smaller: -0.184 or h?
-0.184
Let p(w) = w**3 - 5*w**2 + 4*w + 3. Let j be p(4). Suppose -2*c - 5 = 5*a, -24 = -j*c + a - 6. Let d = 18/205 - -843/205. Which is smaller: c or d?
d
Let t be (-198)/(-12)*(66/35541)/(0 - -10). Is 0 > t?
False
Let s = 60847/10 + -30436/5. Let v be (-8)/(-6)*(-18)/4. Let b = v + 10. Which is bigger: s or b?
b
Suppose 15*w - 591 = 399. Let i = w - 60. Let r be 52*3/i + (-1 - -5). Is 61/2 less than r?
False
Let z = 81 - 81.264. Let l = -18.264 - z. Do l and 0 have the same value?
False
Let b(t) = -204*t - 80. Let m be b(-5). Let g be -4 + m/(-468) + 6. Is g <= 1?
True
Let i be ((-6 - 2) + 4 + 4)/(-1). Let f be -1 - i - 50/(-35). Let n be 3*-1 + 2 + 2. Is n less than f?
False
Let r(c) = -c + 28. Let w be r(-6). Let v be (-1 - 0)/((-1037)/w) + 0. Suppose 3*u = 2*u. Is v greater than u?
True
Suppose 2*m + 2*a + 160 = 0, -2*m - 3*a - 202 = -47. Let s be ((-102)/m)/(1/(-5)). Let h = s + -8. Is -14 at least as big as h?
True
Suppose 144 = -6*u + 108. Let m = u - -14/3. Which is smaller: -8 or m?
-8
Let k(a) = -15*a + 58 - 14*a + 65 + 23. Let d be k(5). Is d > -326?
True
Suppose 24*g + 571 = 16*g + f, -201 = 3*g - 3*f. Is g <= -79?
False
Let t = 27 + -23. Suppose t*z + 564 = 2*n, 0 = 4*z - 9*z + 3*n - 706. Let h be (-7)/(z/32) + -2. Which is smaller: h or -1/10?
h
Let t(b) = -216*b**3 - 2*b - 2. Let q be t(-1). Let d = -536 + q. Let p be d/120 - (1 + 2/(-3)). Is p greater than -5?
True
Let i(u) = 13*u**2 - 10*u + 3. Let l(b) = 16*b**2 - 11*b + 2. Let s(z) = -5*i(z) + 4*l(z). Let t be s(4). Let q be (6/(-45))/((-2)/3). Is q eq