= -18/13 + 77/65. Which is bigger: a or o?
o
Let m = -2167 + 2159. Which is bigger: -66/7 or m?
m
Let c = 141/1159 - 1/61. Which is greater: -13 or c?
c
Let u = -83.5 - -60.525. Let p = u + -0.985. Let f = 24 + p. Is f not equal to 2/7?
True
Let j be -2*12/16*2. Let w(t) = t + 1. Let o be w(j). Is -2 > o?
False
Let q = 0 - -5. Let i = q + -4. Let f = 1 + i. Is 0.3 equal to f?
False
Let g = -350 - -349. Is -2/595 at least as big as g?
True
Let j = -126 - -160. Suppose j - 32 = -2*x. Which is smaller: x or -2/441?
x
Let c = 2391 - 2388. Which is smaller: c or -14/3?
-14/3
Let l = -0.881 + 1.881. Let g = 32.87 - 33. Let d = -0.77 + g. Is d > l?
False
Suppose -246*b - 2*f + 6 = -248*b, 5*f = 4*b + 9. Let r = 4038 - 52578/13. Is r at least as big as b?
False
Let t = 0.0574 + -0.0395. Is t greater than or equal to 0?
True
Let n = 40 + -119/3. Let x(t) = -5*t**2 - 41*t - 9. Let r be x(-8). Is r bigger than n?
False
Suppose 5*v + x + 37 = 2*v, 2*v + 14 = 2*x. Let b = -16 + 82/5. Which is bigger: b or v?
b
Let c = -12/23 + -10/69. Is -26 < c?
True
Suppose 0 = -26*h + 1996 + 2398. Which is smaller: 170 or h?
h
Let n(f) be the second derivative of -f**7/420 + f**4/24 - 7*f**3/6 - f. Let j(o) be the second derivative of n(o). Let s be j(-1). Is s < 3/2?
False
Let i(l) = l**3 + 3*l**2 + l - 1. Let d(t) = 2*t + 28. Let v be d(-14). Let w be i(v). Which is smaller: 3/58 or w?
w
Suppose -5*f - 5*l - 27 - 8 = 0, 0 = -2*f + l - 2. Let a be ((-12)/f + -3)*5. Let b be 2/a - 28/(-105). Is b equal to 1?
False
Suppose 0 = -36*y + 46 - 10. Is y >= 30?
False
Let u be (-312)/135*3 - -4. Let f = 6221/2385 - 4/477. Let c = u + f. Which is smaller: c or -2/5?
-2/5
Suppose 3*j = 11 + 7. Let v(k) = -5*k**3 - 1. Let z be v(-1). Suppose -2*l - 3 = -2*c + 1, 3*c = -z*l + j. Is c at most 2?
True
Suppose 4*p - 3*k = 2*k + 33, 0 = -3*p + k + 22. Let i(o) = 3*o**3 + 3*o**2 - 5*o + 6. Let h be i(2). Suppose 28 = -28*j + h*j. Is p >= j?
True
Suppose -6*n = -11*n - 1925. Let k be 198/n + (-8)/(-10). Which is smaller: -2 or k?
-2
Suppose v = 5*t - t - 39, -4*v - 4*t = 56. Suppose 62 - 24 = -2*g. Are g and v nonequal?
False
Let w = 14/127 - -270/2159. Which is greater: 1 or w?
1
Let a = 1/1898159 - 4215811469/626392470. Let n = a - -67/10. Which is bigger: n or 0?
0
Suppose -62*p = -43*p + 7334. Which is smaller: p or -385?
p
Let o(k) = 6*k**2 - 28*k - 143. Let m be o(-11). Which is smaller: 890 or m?
890
Suppose -5*w + 32 = -5*y + 222, 5*y + 125 = -4*w. Which is smaller: -27 or w?
w
Let h = -415 - -414. Do -26/11 and h have the same value?
False
Let j be (-1)/(8 - (-180)/(-35) - 3). Is 7 > j?
False
Let f = 10.5 - 31.5. Let r = 21 + f. Which is bigger: 1.8 or r?
1.8
Let m = 12 + -19. Let u = m - -14. Suppose 0*v + 5*v = -2*z + 18, -4*z + 12 = 4*v. Which is smaller: z or u?
z
Let r(v) = -v**3 + 6*v**2 + 18*v - 2. Let c be r(8). Which is bigger: 15 or c?
15
Let y = 445 - 443. Is y != -17?
True
Let z(l) = l**3 + 19*l**2 - 20*l + 17. Let x be z(-20). Suppose 12*v - 10 = x*v. Is v bigger than -4?
True
Suppose 5*v - 4 = 4*u - 48, v + 4 = 0. Let k(y) = -y + 5*y - y**2 - 3*y - u*y**3. Let a be k(1). Which is smaller: a or -8?
-8
Let z(h) = h**2 - 5*h + 3. Let o be z(5). Let t be (-97)/50 - (o + -5). Let s = t + 91/150. Does 2 = s?
False
Suppose 0 = 2*r + 4, -3885 = -4*b + r - 331. Is b greater than or equal to 888?
True
Let i be 6 - ((-196)/(-26))/((-185)/(-148)). Which is smaller: i or -1?
-1
Let l = 6 + -7. Let y = -1/47115 + 92533867/329805. Let h = 280 - y. Is h not equal to l?
True
Let g be (-2)/3 - (-1)/((-3)/73). Which is bigger: -18 or g?
-18
Let y be -6 - (-14 - -7) - 13. Let d be 22/(6/(-3)) + -1. Are y and d equal?
True
Let q be (6/40)/(24/304). Let f = 5/2 - q. Let s be -6 + 3 + 1 + 2. Which is smaller: f or s?
s
Let h = -1938 - -1555. Is -382 less than h?
False
Let t(h) = -16 + 15*h**2 + 3*h - 5*h - h**3 + 2*h + h. Let k be t(15). Is k < 2/5?
True
Let m = 0.355 - 0.295. Which is greater: 2 or m?
2
Let u(p) = -2*p + 41. Let s be u(20). Suppose 0 = z + 4 + s. Suppose 0 = 4*j + 16, 2 = -4*q + 5*j - 6. Which is smaller: z or q?
q
Let o = -0.053 - -0.353. Is 27 at least o?
True
Let b(r) = -12*r - 73. Let s be b(-6). Which is smaller: 2/197 or s?
s
Let y = 5.1 + 0.3. Let r = y + -5.5. Let p = -5.5 + 6. Is r at least as big as p?
False
Let r = 2/35 - 88/315. Let x = -8 - -21. Let b = x - 12. Is r greater than b?
False
Let k(r) = -r**2 + r + 5. Let h be k(0). Suppose h*u - d = 2*u - 15, 4*u + 20 = -d. Let g = 6 + u. Is -2/31 less than g?
True
Let z = 213 + -148. Let b = -84 + z. Is -21 >= b?
False
Suppose 0 = 2*f - 16 - 10. Suppose 4*p - 5*o = -0*p + 60, -o = 5*p - 75. Is p equal to f?
False
Let n(x) = -x**2 + 3*x - 1. Let i be n(3). Let p(o) = -o**3 - 7*o**2 - 9*o + 4. Let q be p(-6). Let d be 24/(-11) + 4/q. Which is bigger: i or d?
i
Let n be 165*((-8)/(-4) - 56/35). Are n and 65 equal?
False
Suppose 2*g = 5*g + 4*y + 37, 3*g - y = -17. Suppose -14*w + 10*w = -96. Suppose -u - w = -16. Which is smaller: g or u?
u
Let u = -27/334 + 4439/83834. Is u less than or equal to 1?
True
Let a = 7.72 + -8. Let s = -5.38 - -5.4. Let u = a - s. Which is smaller: u or 0.2?
u
Let b = -230 + 203.18. Let x = b - -0.82. Is -1 greater than x?
True
Let q(z) = z**2 - 21*z + 69. Let s be q(17). Is -3/16 < s?
True
Let y = -3/492691 - 35959957/1065197942. Let a = 3429 + -322321/94. Let q = y - a. Does -1 = q?
False
Let z = -2034073/35 - -58178. Let a = z + -416/7. Suppose 16 = 16*x - 0*x. Are x and a non-equal?
True
Let g = 4654/42129 + -4/1359. Which is smaller: g or 0?
0
Let m = 413 - 415. Are m and -20/7 non-equal?
True
Let b be 17/(-68) - (-1 - (-342)/8). Let g be (-3 - 122/b)*-3. Is 0.1 at most as big as g?
True
Let z = -755 - -332. Let y = -8887/21 - z. Which is smaller: y or 0?
y
Let r(z) = 2*z - 26. Let s be r(15). Suppose v = -4*a - 7 + 34, 30 = s*a + 2*v. Are 6 and a non-equal?
False
Let j be (-19)/(-285)*(-164)/14. Let b = j + 8/21. Which is bigger: b or 0?
0
Let l be (-6)/14 - 4488/(-6160). Let p = 1 + -1. Suppose -3*z - z = p. Is z less than l?
True
Let l(d) = d**2 - 3*d. Let t be l(3). Let c = 23912/25 - 956. Let i = -17/25 + c. Which is smaller: i or t?
i
Suppose -3*q = -4*y + 2*y - 50, -4*y = -q + 10. Suppose 0 = 3*x - 0 - q. Suppose 4*r - 2*r = -x. Which is greater: r or -1?
-1
Let j be (-415)/(-3) + (-4)/3. Suppose -y + 3 = 0, -5*y + 50 = 2*b + j. Is b != -51?
False
Let b = -1325 - -937. Let l be b/16 - 9/12. Which is greater: -26 or l?
l
Let t(l) = -l + 12. Let a be t(9). Suppose p = -x + 4*p, a*x - 4*p = 15. Let k be 5/12*24/x. Does 2 = k?
False
Let b(r) = -r**3 - 10*r**2 - 10*r - 8. Let w(n) = n**3 - n**2 - 3*n - 2. Let i be w(3). Suppose c + 2 = -i. Let x be b(c). Are x and 7 nonequal?
True
Let p(x) = -10*x + 81. Let k be p(8). Which is greater: 212 or k?
212
Suppose 13*l = 9*l - 160. Let c be l/(-13) + (5 - 8). Which is greater: -1 or c?
c
Let x = -3 - -23. Let j = x - 188/9. Let s = -73/72 - j. Which is greater: s or -1?
s
Let v be 4/58*-1*2. Suppose 10*n = 9*n + 8*n. Is v at least n?
False
Let l = -0.01 - 0.99. Let v = -17 - l. Let f = -11 - v. Which is smaller: f or 0?
0
Let d be 216/110 + 12/30. Which is smaller: 1 or d?
1
Let i = 198.5 - 226.5. Let z = -0.7 - 26.3. Let h = z - i. Which is smaller: h or -6?
-6
Let g = -75 - -50. Suppose a = -2*a + 3*u - 69, -3*u = 4*a + 113. Which is greater: a or g?
g
Let a be ((-6)/45)/(-1)*(-180)/(-72). Do a and -15 have the same value?
False
Let j be (-2361*(-4)/48)/(2/(-8)). Is -787 <= j?
True
Suppose -3*p - 13 - 11 = 0. Let i(s) = 8*s + 1. Let d be 2/(-7) - (-5)/(-7). Let v be i(d). Which is bigger: p or v?
v
Let r be -3958*((-234)/240 + 1). Let v = r - -401/4. Is v <= 2?
True
Suppose 0 = -28*o + 389 + 87. Suppose -2*n = -26 - 4. Which is smaller: n or o?
n
Let x = 860 - 815. Are x and -0.2 nonequal?
True
Let q(o) = o**2 - o. Let d be q(2). Suppose -d = x - 2*x. Which is greater: -0.5 or x?
x
Let v = -402/19 - 957/76. Is -34 at most v?
True
Let s = -2066 - -113633/55. Let d(n) = 2*n - 33. Let k be d(16). Is k <= s?
True
Let u be (-4)/(-8)*(3 - (-3925)/(-1310)). Is u smaller than 1?
True
Let r be (-10)/(-25) + 1340/(-100). Which is smaller: r or -9?
r
Suppose 2*n + 3*n + o = 1, -5*n + 2*o + 13 = 0. Suppose n = i + 2*m + 5, 4*i + m = 12. Do