f + 98140 = 0. Is 0 > f?
False
Let u be ((-42)/(-10))/(-7 - 170/(-25)). Let s be (-63)/u - (-374)/(-8). Does -45 = s?
False
Let r = -79 - -34. Let i be (-45)/(-20)*20/(-15). Which is smaller: r or i?
r
Let d(q) = 0*q**3 - q**3 + 2*q**3 - 2*q**2 + 10*q - 18*q. Let v be d(-2). Which is smaller: 2/629 or v?
v
Let z be (-1992309)/(-3321615) + 6/(-10). Is -1 smaller than z?
True
Suppose 3*d = -108*p + 107*p - 55, 0 = -d + 3*p - 15. Is d at least -0.072?
False
Let a = -0.18998 + -0.03612. Let h = a + 0.0261. Which is greater: h or -135?
h
Let m = -18 + 27. Let q be (273/m - 4) + 6/9. Which is smaller: q or 25?
25
Let c be (-9)/(-162)*6 + (-574)/792. Let q be -4 - (0 - 218/72). Let b = c + q. Which is smaller: b or 0?
b
Suppose 40502 = 1770*w - 1616*w. Is 263 <= w?
True
Let m(j) = -2*j - 10. Let u be m(-4). Let g be u/(42/(-40) + (0 - -1)). Suppose g + 32 = -3*x. Is -24 < x?
False
Let k = 0.0274 - 0.0274. Which is smaller: -2484 or k?
-2484
Suppose 0 = -3*o + 2*s - 443, -30*s + 740 = -5*o - 27*s. Is -13 at most as big as o?
False
Suppose -217*z - z - 80083 = 141. Is -11/4 greater than z?
True
Let i(w) = 0*w**3 + w**3 + 0*w - w - 7*w**2 + 9. Suppose -5*s + 40 = -h, -2*s - s + 5*h = -46. Let c be i(s). Which is smaller: 3 or c?
c
Suppose -f + 3*t - 22 = -0, -3*f - 4*t - 92 = 0. Let x be -3 + -5 - 4 - 2. Are x and f non-equal?
True
Let u = -7574.06 + 7574. Which is smaller: u or -1/208?
u
Let b = -24 - -39. Let x be ((-8)/48)/(-5 - (-938)/188). Which is smaller: x or b?
b
Suppose 179*w + 100*w = 148*w - 1310. Let t = 4 - 1. Let s be ((-22)/(-6))/(t/(-9)). Is s at least w?
False
Suppose -s - 14207 = 5*c, 4*s = -5*c - 11528 - 2670. Is c greater than -2841?
False
Let w = 13.054 + 7.941. Let m = -0.0663 - -0.0613. Let o = m - w. Which is smaller: 0 or o?
o
Let c = 29.983 - 6.983. Which is smaller: c or -1/21?
-1/21
Suppose -8 = -3*t + a - 12, 2*a - 8 = 0. Which is smaller: 12/197 or t?
t
Let d = 114 - 110. Suppose 4*l = -d*j - 1688, -5*j + 5*l = -351 + 2501. Is j < 0?
True
Suppose -7*i = 337 + 13. Let u(s) = 53*s**3 - 2*s**2 + 3*s - 2. Let f be u(1). Let z = i + f. Which is smaller: z or -1/3?
-1/3
Let y = -5209 - -3383. Which is bigger: -1828 or y?
y
Let x be (-518)/(-133) - 4 - (-4 + 36680/(-95)). Which is smaller: -1/7 or x?
-1/7
Let n(p) = p - 23. Let u(q) = -q**3 - 3*q**2 - 3*q + 1. Let t be u(-3). Let f be n(t). Let z be (4 + -3)*(-2 - f). Is z bigger than 1?
True
Suppose 38 = -7*j - 32. Let u = -11 - j. Is u != -3?
True
Let u = -20447 - -26748. Do u and 6301 have different values?
False
Let k be ((-14)/(-3))/((-2)/9). Let l be ((-1)/(-2))/((-2)/4)*23. Let n = k - l. Which is greater: n or 3/4?
n
Let a = -195 - -171. Let b(r) = -r - 49. Let d be b(a). Do d and -26 have different values?
True
Let b(k) = 536*k + 535. Let v be b(-1). Is 23/301 at most as big as v?
False
Let m = -2502 + 2453. Which is bigger: -46 or m?
-46
Let r = 85 + -90. Is -137/25 less than r?
True
Let o be 2/(-6) + 318/9. Suppose 42 = -7*t + o. Let n be (1/2*2)/41. Is t < n?
True
Let u = 8771 - 8861. Which is greater: 2.2 or u?
2.2
Let f(n) = -3*n**3 - 199*n**2 - 86*n + 281. Let y be f(-66). Which is smaller: y or 1600?
1600
Let b be ((-6)/(-4))/(6204/(-11656)). Which is bigger: b or -2?
-2
Let i = 3136 - 21950/7. Which is smaller: 4366/3 or i?
i
Let w = -24/43 - -2597/4730. Let n = -1081 + 1081. Is n > w?
True
Suppose 5*r - 624 = 3*t - t, 3*t = r - 117. Suppose -6*f = f + r. Let q = 22 + f. Is 4 greater than q?
False
Let v = -814 + 486. Let a be ((-334)/(-316) + -1)*v/(-123). Which is bigger: -1 or a?
a
Let r = -1021013/80 - -12763. Which is greater: 1 or r?
1
Let g be (-12)/(-3)*63/(-3). Let c = 74 + g. Let y be (1/c)/(186/45 - 4). Are y and 1/5 equal?
False
Let c = 3956 - 2345. Which is bigger: c or 1612?
1612
Let b(y) = 4*y**3 + 47*y**2 - 13*y - 12. Let f be b(-12). Is -70 greater than f?
False
Let a be (-14348)/(-717) + 10540/(-527). Which is greater: a or 0.1?
0.1
Let t = 0.03041 - -0.07959. Let p = -0.4 + 2.4. Let u = p + 1. Which is bigger: t or u?
u
Suppose 2*g - 2806 = 4*q, -3*q = -2*g + 2364 + 440. Is 1399 less than g?
False
Let z be -152 - -1*(2 - -1). Let w = 150 + z. Let f = 7/150 + -1021/15450. Which is greater: w or f?
w
Suppose -5*k - 3*x - 446 = 579, -410 = 2*k + 2*x. Let t = k - -366. Is 162 at most as big as t?
False
Let j = -20452 - -225131/11. Let u(r) = -96*r - 6130. Let q be u(-64). Which is greater: j or q?
j
Let p = 11613 - 11614. Are 2/4617 and p non-equal?
True
Suppose 373*t - 342*t + 186 = 0. Let z = 7 - 4. Is t at least z?
False
Let h = 4 - 10. Let d be 3/4*100/h. Let p = 388 - 400. Which is smaller: p or d?
d
Let x(r) = -r**3 - 5*r**2 - 2. Let f be x(-5). Let q(z) = -33*z + 559. Let p be q(17). Let j be p/3*(7/f + 2). Is j greater than 1/3?
True
Let t be 11/(-121)*-3361 - (-12)/(-22). Is t at least 1528/5?
False
Suppose 166*j - 162*j - 19372 = 0. Let n = -2169665/448 + j. Which is smaller: -1 or n?
-1
Let a = -26239 + 26016. Is a at least -1551/7?
False
Suppose -206 = 2*o - 5*y, 235 + 96 = -3*o + 2*y. Which is smaller: -127 or o?
-127
Let f be (3*-1)/(-1) + ((-6021750)/(-16072))/(-125). Are f and 1 equal?
False
Let u be (1/(-2))/((-2)/(-4)). Let d be (1 - 2) + u - 0. Let s = 25371 + -25375. Does s = d?
False
Let q = 6.15 - 0.15. Let s = -55.04 + 66.04. Is q > s?
False
Let t = 0.068 - -0.024. Let y = t - -0.908. Do y and -4/15 have different values?
True
Let y = 50 + -49. Let x be (5/2 + y)/((-221)/26). Let a = 551/1173 + x. Is -1 greater than or equal to a?
False
Let j(r) = -11*r - 114. Let w be j(-10). Let s be (-368)/46*(550/w)/5. Are s and 219 equal?
False
Let x(b) = -b**3 - 7*b**2 - 8*b - 11. Let s be x(-6). Let j be 5364/84 - (-4)/14. Let l = 64 - j. Is l at least s?
False
Let b = 41046 + -41055. Let x(y) = -4*y**2 - 3*y - 1. Let h be x(-2). Is h at most as big as b?
True
Suppose 10*f - 357 = -4944 + 477. Is f greater than or equal to -413?
True
Let u be (-3)/(-1 - (-28)/16). Let v be 3/12*-14*2. Which is smaller: u or v?
v
Suppose 9 = -2*w + 21. Let m = 9 - 240. Let x be (8/w)/(22/m). Which is greater: -15 or x?
x
Let j = -9726 - -105748/11. Is 0 at most as big as j?
False
Let c = -170 - -847/5. Let w(p) = 8*p - 52. Let a be w(7). Suppose -3*l + 5*x = -13, -5*x = -2*l + 8 + a. Which is smaller: c or l?
c
Let h = 6119 - 5692. Is 424 < h?
True
Let o be (-98)/(-516) - ((-650)/60 - -11). Is o < -18?
False
Let j = 1083/171472 + 4/1531. Let c(u) = -u**3 - 4*u**2 - 2*u + 3. Let o be c(-3). Are j and o unequal?
True
Suppose -4*j = q - 3, -2*j - 3 = 3*j - q. Suppose j*m - 11*m = -6*m. Let a = 6/13 + -25/26. Which is greater: m or a?
m
Let q(n) = n**3 + n**2 - n - 2. Let h be q(-2). Suppose 0 = 4*v - 5*p + p + 20, -5*v - 4*p - 61 = 0. Let j be -1 + v*(-4)/h. Which is greater: j or -9?
-9
Let n = -413.6 + 218.4. Let u = n + 173.09. Let g = -0.11 - u. Which is greater: g or -1/4?
g
Let l(h) = 11*h**3 - h**2 - 7*h + 37. Let b be l(4). Which is smaller: 700 or b?
b
Let i(z) = 7*z + 121. Let j(v) = -28*v - 485. Let o(m) = -22*i(m) - 6*j(m). Let f be o(-17). Which is greater: 21/2 or f?
21/2
Let o = -130 + 207. Let d be (134 - 25) + -1 + -3. Suppose 0 = a - 5, 5*r - a - d = 275. Is r <= o?
True
Let x(d) = -d + 14. Let o be x(10). Suppose o*l = 3*j - 5*j + 32, 0 = -3*j + l + 34. Let c = j - -75. Is c != 86?
True
Let b = -207 - -202. Let h be ((-207)/(-18))/23*(1 + b). Is h greater than -7?
True
Let q(v) = v**3 - 24*v**2 - 21*v + 3. Let u be q(-1). Which is smaller: u or -1/4146?
u
Suppose -4156*l + 4161*l + 2*j + 1 = 0, 3*j = l - 10. Is 5/2364 less than l?
True
Let z be ((2000/72)/125)/((-24)/63). Suppose 0 = -2*d - 3*d. Which is bigger: d or z?
d
Let n = 28.23 - 27.9. Let i = 2.67 + n. Which is bigger: 49 or i?
49
Let a be (0 - -1)*(-108)/24*-10. Let m be (-271)/a + (-48)/(-10) + -5. Which is smaller: -6 or m?
m
Let n(s) be the second derivative of -11*s**3/2 - 217*s**2/2 - 2*s + 32. Let a be n(-6). Which is smaller: -26 or a?
-26
Let h be (4/(-6))/((-28)/(-42)). Let v be (-1)/(((-2)/30)/h). Let a = -35 - v. Which is smaller: -0.1 or a?
a
Let g = -6458 - -6459. Which is smaller: g or 1/138?
1/138
Let z be (-6)/(-50)*(-2570)/(-771). Is z at least 79?
False
Let o(b) = b**3 + 26*b**2 + 46*b - 41. Let f be o(-24). Let i be ((0/(-1))/(-3))/1. Suppose -f*z + 13 - 