-2 or a?
a
Let x = 0 - 1. Suppose -4*b - 3*a - 2*a = -308, 2*b + 5*a = 154. Suppose -b*f - 8 = -75*f. Which is smaller: x or f?
f
Let h = -434 + 433.9554. Let z = -0.0554 + h. Is 1.89 less than or equal to z?
False
Suppose 0*b - 9*b = 9. Let c be (((-2)/4)/(1/(-2)))/b. Let k be (-4 - 0)*c/(90 + 0). Is 0 at most as big as k?
True
Let o be 935/(-2380) + ((-6)/(-8))/1. Is 2 at least as big as o?
True
Let n = -233.342 + 0.342. Let z = -233.57 - n. Are z and 1/4 nonequal?
True
Let q be 575/(-4) - 2230/1784. Which is bigger: q or -139?
-139
Suppose 17*x + 150 - 490 = 0. Suppose 3*r = -5*p - 11 - 9, 3*r - 5*p - x = 0. Is r greater than or equal to 599?
False
Let z = 496 + -222. Let m be (-10)/(-45) + z/(-18). Let a = -19 - m. Which is smaller: a or -2?
a
Suppose 148 + 20 = -4*a. Let q = a - -128/3. Suppose 0*b + 3*b - 3 = 0. Is b <= q?
False
Let a be 2/7 - 104/(-28). Suppose 5*n + 360 = -a*n. Let x be (-1)/(-1)*(-429)/11. Is n smaller than x?
True
Suppose -31 = 5*a - 1. Let r(f) = f**3 + 6*f**2 - 2. Let q be r(a). Let d = -0.11873 - -2.11873. Is d bigger than q?
True
Suppose 0 = -4*j - 4*x, 3*j + 29*x + 4 = 30*x. Let v = 1 + -2. Let n be (v/(-5))/(1*-3). Which is smaller: j or n?
j
Let g = -10941 + 11110. Is g >= 167?
True
Let r be ((-3)/14)/(842/(-1272)) + (-48)/168. Which is bigger: r or 0?
r
Let r = 24261/4 - 6050. Let s = -29 - -43. Which is smaller: r or s?
s
Let h = -1657 + 1178. Let d = -12451/26 - h. Let a(c) = c**3 + 3*c**2 + 3*c + 2. Let y be a(-2). Which is bigger: y or d?
d
Suppose 85*j + 65 = 20*j. Is 3/1040 at most as big as j?
False
Let v(m) be the first derivative of -17*m - 11*m - 21 - 4*m + m**2. Let z be v(16). Which is smaller: -20/11 or z?
-20/11
Let o(i) be the second derivative of -i**3/6 + i**2 - 2*i. Let x be o(-5). Let t be (420/(-25))/x + 2/1. Which is smaller: t or -0.13?
t
Let x be 4/42*-9 + (14 - 792/56). Is -1/9168 bigger than x?
True
Let p = -21 - -70. Let d = p - 70. Let j = d + 22. Is j at most -4?
False
Let g(q) = -67*q**3 - 3 - 4*q**2 + 3 - 2 - 43*q + 48*q. Let z be g(1). Do z and -273/4 have different values?
True
Let f = 141990 - 1456533419/10258. Which is smaller: f or -1?
-1
Let d = 1551 + -162853/105. Let j be (2/(-5))/((-10)/25). Suppose -2*m + 3 = j. Is m at most as big as d?
False
Let k = -63 - -842. Let o = k + -778.96. Let w = 0.44 + -0.04. Is w at most o?
False
Let j = 11001 - 10968. Is 136 > j?
True
Suppose -5*g + 49 = -0*h + 2*h, -h - 34 = -4*g. Suppose -56*r + g*r - r = 0. Which is smaller: r or -2/741?
-2/741
Let v = 1865.446 + -1854. Let t = 0.446 - v. Is 2/21 equal to t?
False
Let j be (1 - -1) + 1 + 1. Suppose -4*q + i - 44 = j*i, -8 = 2*i. Let r = 559 - 1699/3. Which is greater: q or r?
r
Let f = 29 - 19. Suppose -6*h = -11*h + f. Suppose -2*i - y - 4 = h, 0 = -4*i + 3*y - 32. Which is smaller: -2 or i?
i
Let f = 75.98 - 77. Let q = f - -1.54. Is q >= 2/7?
True
Let b(k) = k**3 + 20*k**2 + 37. Let l be b(-20). Let i = l - 37. Is 20/3 > i?
True
Let y be (-12 - 2390) + 20 + 0 + -5. Are -2387 and y equal?
True
Let h = 491 + -507. Let x be (-4)/h*800/1025. Suppose -3 = r + b, -2*r - 4 - 6 = 3*b. Is x at most r?
True
Let z = -648 + 666. Let l be 48/15 - z/(-45) - 4. Which is bigger: l or -4/159?
-4/159
Let r(c) = 23*c**3 - c**2 + 3*c + 3. Suppose 6 = -28*u + 22*u. Let b be r(u). Are -21 and b nonequal?
True
Let w(v) = 2*v**2 + 346*v - 100. Let c be w(-97). Which is bigger: c or -14843?
-14843
Let k = 237 - 304. Let a = -42 - k. Which is greater: 7 or a?
a
Let k = 2 + -1. Let f = -1 + k. Let t be 428/(-1284)*(1 - 1). Is f at least as big as t?
True
Let m(p) = -p**2 + 253*p - 911. Let l be m(0). Which is bigger: l or -909?
-909
Let t be (-2 + 16)/(1/1). Suppose -q - 2*o = -6*o - t, 4*o + 2 = -q. Let k be q*4*3/180. Is k >= 1.1?
False
Suppose -f - 2*h + 31 = 0, -f = 5*h - 7 - 30. Let c be f/45*(-70)/(-399). Is -1/10 less than or equal to c?
True
Let o = 200266 - 3805056/19. Let g(v) = -v**3 + 5*v**2 + v - 5. Let k be g(5). Is o at least k?
False
Let h be ((-80)/(-1))/(-2) + 1. Let x(v) = -v**2 + 33*v + 36. Let r be x(34). Suppose -p - r*d + 1 = 39, 0 = p - 2*d + 42. Which is greater: h or p?
h
Let q(v) = -3*v**3 + 20*v**2 + 34*v - 18. Let r be q(8). Let l be (r/(-696))/(16/(-48)). Which is greater: 1 or l?
1
Let t be (-60)/(2820/(-696) - -4). Which is bigger: t or 1161?
1161
Let r(c) = -c**3 + 14*c**2 + 51*c. Let h be r(17). Let u be ((-662)/313)/2 + 1. Let o = 2400/9077 + u. Are h and o non-equal?
True
Let f(h) = h**2 + 5*h - 51. Suppose -2*n = -5*o - 10, 17*n - 3*o + 10 = 19*n. Let d be f(n). Is -1 not equal to d?
False
Let r(x) = 121*x - 106. Let o be r(-6). Let m = o + 3327/4. Let n = 155 - 778/5. Which is smaller: m or n?
n
Suppose 25*c - 1394 = 8*c. Which is smaller: 80 or c?
80
Let n = -1/2110 + -4103/246870. Let y = 272/117 + n. Which is smaller: y or 1?
1
Let v be (2/(-24))/(-1) + (-105)/60 + 2. Does -59.9 = v?
False
Suppose w = 77 - 80. Suppose -2*l + 4*t - 2*t = -2, 2 = 2*l + 5*t. Let q = l - 1. Which is smaller: w or q?
w
Let n be 32/144 + (-58)/18. Let y be n*(-14)/6*1. Suppose -y*p = 16 - 2. Are p and -1.7 non-equal?
True
Let r = 5445205/11242 - 5328/11. Is -1 at most r?
True
Let v = -1553090/3 - -523285. Let s = -5638 + v. Is -49 greater than or equal to s?
True
Suppose 272 = -20*j + 364 + 1028. Which is bigger: 1 or j?
j
Let r be (-206*1)/(5 + -3)*-1. Let t = -50 + r. Let q be 2*((-27)/2)/((-7)/14). Which is greater: q or t?
q
Let h be 312/(-104) - (-4474)/1119 - 1. Is h > 1?
False
Let k = 33 + -90. Suppose 21*w = 14*w. Suppose m - r + 55 = w, 7*r = -3*m + 9*r - 168. Is k != m?
True
Let l = -7985 - -4535. Which is bigger: -3448 or l?
-3448
Let y = -2154 - -2144.84. Which is smaller: y or -2?
y
Let j be 6/27 - (-23664)/(-48411). Let k = -1/163 + j. Is 0 greater than k?
True
Let s = -42 + 42. Suppose s = -7*p + 8 - 1. Are p and 0 non-equal?
True
Suppose 0 = -39*b + 37*b - 180. Let s be (-27 - -2) + (-10)/b*9. Which is smaller: -31 or s?
-31
Let k(h) = -4*h**3 - 23022 - 9*h - 11*h**2 - h**3 + 23031 + 4*h**3. Let j be k(-5). Which is smaller: -92 or j?
j
Let r(q) = -q**3 - 8*q**2 - 4*q - 7. Let y be r(-8). Let h = y - 23. Suppose -z - 4 = -3*k, 0*z - 20 = h*k + 5*z. Which is greater: k or -1/12?
k
Suppose 3*g = 2*x - 164, -21*x - 120 = 2*g - 25*x. Is g at least -58?
True
Suppose 12*r - 33 = -9. Suppose 10 = 14*x - 13*x + 5*q, -5*x = -r*q + 4. Which is bigger: x or -4/29?
x
Suppose -7*g - 3 = -10*g. Let z(s) = -10*s + 13. Let k be z(g). Suppose -n - 7 = -2*t - t, 0 = k*n + 12. Do 11/6 and t have the same value?
False
Let d = 5.05 + -0.05. Let q = -67 - -68.8. Let k = 1.6 - q. Which is bigger: k or d?
d
Let u be (36/9)/8*1*0/(-4). Which is bigger: -0.02582 or u?
u
Suppose -c + 17 = 4*a, -11 = -4*c - 4*a + 9. Let u be 15/(-10) + (-258)/(-236). Let i = -1717/4366 - u. Is i less than c?
True
Let d = -439 + 467. Let a be (2590/d)/(5/10). Is a at least 185?
True
Let m(h) = -343*h + 285. Let n be m(-7). Which is smaller: n or 2688?
n
Let s = -877.1395 + 877.1. Which is smaller: -5 or s?
-5
Suppose -3*x = -x - 2. Let u be ((-140)/(-44) + -4)*x. Which is bigger: -3 or u?
u
Suppose 4*o - 1020 = 8*o. Let d = 255 + o. Is -7/24 greater than d?
False
Suppose 11*o + 9*o + 2180 = 0. Which is greater: -106 or o?
-106
Let j(x) = -10*x + 170. Suppose 5*s - 70 = 15. Let b be j(s). Which is smaller: b or -15/31?
-15/31
Suppose 8*m = 3*m, 55*l + 2*m + 656 = 57*l. Is 319 at least l?
False
Suppose -5*t + 30 = 2*i, -9 = 4*i - 3*t + 9. Which is greater: -13/631 or i?
i
Let p be 848/(-846) + (-55 - -53) + 3. Which is greater: p or 0?
0
Let a be 1 - -6 - (12 + -34 + 27). Let s = -3 + 17. Let k be a/(-16)*s + (-3)/(-4). Which is smaller: -7/8 or k?
k
Let g = -199817 + 3394969/17. Which is smaller: 0.1 or g?
g
Suppose -8288 = -31*a - 9529 - 10105. Which is smaller: a or -369?
-369
Suppose -3*p + 18 = 2*w + p, -5*p = 3*w - 24. Let j = w + 13. Let c(q) = -q**2 + 16*q + 10. Let f be c(j). Which is greater: f or 9?
f
Suppose 0 = -5*p - 15, -77*y + 5*p - 63 = -74*y. Which is smaller: y or 139?
y
Let g = -2829 + 2828. Which is smaller: g or 10/83?
g
Let h = -11291 + 11291. Which is smaller: 3/4981 or h?
h
Suppose 28*k + 3 - 87 = 0. Suppose 17 = 14*w + k. Is -2/107 at most as big as w?
True
Let n = -11444 - -16172. Which is g