 164*t + 4*f = 6555. Which is smaller: 6556 or t?
t
Let f(v) = -4*v**3 - 22*v**2 + 2*v + 8. Let w be f(-6). Let n be (-3 - w/(-28)) + (-24)/(-42). Let q be 6/(-204)*28 + (1 - n). Which is smaller: 0 or q?
0
Let k = 8438 + -8511. Suppose -2*j + 4*j = -148. Is k <= j?
False
Let z be (-21670773)/(-1581)*1*(5 + -4). Let k = 13707 - z. Which is smaller: k or -1?
-1
Let f = 77 + -78. Let l be 1/5*(-44)/(-187). Let p = l - 24/85. Which is bigger: f or p?
p
Suppose -3*h + 1 = -2*h. Let m = -72149011528/1733823 + 3037720/73. Let g = m - -2/819. Which is smaller: h or g?
g
Let l(d) = -80*d**3 + 9*d**2 + 5*d - 89. Let u be l(-6). Do 17484 and u have different values?
True
Let n(v) = -21*v**3 + 105*v**2 + 1. Let s be n(5). Is s at least as big as 80/687?
True
Suppose 0 = -3*d + 4*y - 6, -10 = 3*d + 2*d + 3*y. Let c be d/(-2)*((-80)/(-28) + -3). Suppose -l + 2 = 2. Which is smaller: l or c?
c
Let x(y) = y**3 - 4*y**2 - 3*y - 7. Let c be x(5). Suppose 0 = n - 2 + 5, -c*t + n = -213. Is t smaller than 69?
False
Suppose 3*q - 4*w - 1 + 0 = 0, 4*w + 6 = 2*q. Let d be (-18)/q - (-6)/(-10). Let h = 69/26 - 2/13. Is d < h?
False
Let y be -93 - (40/(-12))/((-1)/3). Let k be (-8)/44 + (-2284)/22. Does y = k?
False
Let v(f) = -f**3 - 27*f**2 + 57*f - 68. Suppose 2*p - 83 = 3*o, 3*o + 23 = 2*o + 3*p. Let x be v(o). Is x >= 1?
False
Let k(l) = 11*l**2 + 6*l + 6. Let b = -52 - -52. Suppose d + 4 - 1 = b. Let x be k(d). Is x < 87?
False
Let r = 1.2 - 1.197. Let b = -0.203 + r. Which is bigger: -24 or b?
b
Let u(l) = 899*l**2 + 32*l + 6. Let k be u(1). Is k equal to 936?
False
Suppose -2*v + 4632 = -2*b, -13*b + 16*b = -3*v + 6960. Is 0.1 > v?
False
Let g = 1/2811 + 175/386044. Which is bigger: 0 or g?
g
Suppose 4*z + 14*o - 11*o = 682, -2*o = -3*z + 503. Does z = 177?
False
Let k = -28502671/416 + 68516. Which is smaller: -0.1 or k?
-0.1
Let q be ((-12)/(-9)*-3 - -208) + -4. Let n be q/(-32) + (-2)/(-8). Let t be 4 + (660/25)/n. Which is greater: t or 1/4?
1/4
Let a be (2 + -1)*2*-4. Suppose 5*o + 36 = -39. Let q be (-405)/(-30) + o - (-37)/(-6). Is a equal to q?
False
Let p(y) = 3*y - 2. Let a be p(1). Let m be (a/12)/(4/12). Let j = -97 + 96.94. Which is bigger: m or j?
m
Suppose 20*u - 14560 = 36*u. Which is smaller: u or -1821/2?
-1821/2
Let b be 148/(-3084431)*7/2. Which is bigger: b or -1?
b
Let v(o) = -o**2 + 22*o. Let h be v(22). Let r(x) = x**3 + x**2 + 5*x - 26. Let d be r(0). Is d < h?
True
Let k = 2/227 + 440/1589. Let x = 579 - 840. Let a = -260 - x. Which is greater: a or k?
a
Let j(f) = -5*f + 56. Let y be j(-30). Suppose -13*o - 2 = y. Which is smaller: -27 or o?
-27
Let r = -876984/79 - -11101. Let w = 10 + -11. Is r <= w?
False
Let a = -226463 - -6115199/27. Which is greater: a or -2/3?
a
Suppose 2*b - 25 = -3*b. Let d = -239 - -243. Let i be d/(-34) + 10/(-255)*-156. Which is greater: i or b?
i
Let h = 16515.268 - 16517. Is 8 at most as big as h?
False
Let l = -8.1 + -31.9. Let s = l - -16. Let d = 25 + s. Which is greater: d or -1/25?
d
Let k be (15166/(-2598))/(4004/(-624)). Let n = -2/3031 + k. Which is bigger: n or 0?
n
Let c be 16/(-88) - (7 - 8256/(-88)). Is -107 >= c?
False
Let z(d) = 2*d**2 - 157*d - 404. Let t be z(81). Are -6/85 and t unequal?
True
Suppose -3*l + 23 = -2*m, 5*m + 4 = 4*l - 29. Is m >= -15/472?
False
Let c(s) = -3*s**2 - 31*s - 8. Let d be c(-10). Which is smaller: d or 149/133?
149/133
Suppose 3*l = 5*v - 31, 5*v - 9*v + l = -22. Suppose 0 = -3*y + 2*y + 4*m - 16, -2*m + 8 = v*y. Is -1/45 greater than y?
False
Let y = -1636 - -1533. Are y and 25 nonequal?
True
Suppose -4*y = 57 - 49. Let x be ((-2)/(-2))/(-2*y/(-232)). Suppose 2*n = 4*g + 222, -3*g + n - 151 - 18 = 0. Is x less than g?
False
Suppose 0 = -4*b + 5 + 3. Let j = b + -3. Let d = -2/1107 + 125/1107. Is j greater than or equal to d?
False
Suppose -12*u + 8*u - 1138 = -b, 849 = -3*u + 3*b. Let c be u/(-13) - (-12)/156. Which is smaller: c or 145/7?
145/7
Let c = 4 - 3.9. Let g = 0.31 - 0.53. Let h = g + -0.78. Which is bigger: c or h?
c
Let g = 33.26 - 33. Suppose 68*x = -16*x + 31*x - 22*x. Is g at least x?
True
Let p = 27891 - 27866. Let z = -42 - -66. Which is smaller: p or z?
z
Let g = -2689.249 + 2689. Is g at most -4?
False
Let o = 1206.7 + -1206.3. Which is bigger: 0.717 or o?
0.717
Let r(z) = -3*z**2 + 14*z + 11. Let k be r(11). Suppose 0 = -3*y - 2*j - 587, 0 = y - 4*j + 209 - 4. Is y less than k?
False
Let o(d) = 2*d + 15. Let b be o(3). Suppose 8*u = 125 - b. Is u != 14?
True
Suppose 4*r + 1667 = -h, 5*h - 8*r = 4414 - 12665. Which is greater: -1654 or h?
-1654
Let q = -8051.9 + 8052. Is 2302 at most q?
False
Let f(p) = 3*p**2 + 39*p - 105. Let l be f(-29). Which is smaller: 2/7 or l?
2/7
Let y(x) = -129*x**2 + 75*x + 378. Let z be y(-5). Are 1 and z equal?
False
Let b = 2252 + -2202. Is b > 63?
False
Suppose -x - 10 = -3*x, a - 78 = -4*x. Let r be a/(-10) + 6 - 6/10. Which is smaller: 47 or r?
r
Suppose -5*d + 135 = -4*o, -3*d - o + 76 = -5. Let u = -43/9 - -311/72. Let q = u - -1/8. Is q < d?
True
Let k = 462 - 579. Let m be ((-27560)/k + (-8)/(-18))*-3. Is m at least -708?
True
Suppose -2*p + r + 1223 = -2*r, 4*p + 2*r = 2470. Let q be ((-4)/(-1))/(-2 + p/301). Let n be 9 + -13 - (-356)/q. Which is smaller: 1 or n?
n
Let z be (11 + -7)*(-1)/2 - 3. Let h(f) = -f**3 - 3*f**2 - f - 8. Let b be h(z). Suppose -46*c + 29 = -b*c. Is -30 >= c?
False
Suppose -u + 3*u = p + 7, -u + 1 = 2*p. Let f = u + -2. Which is smaller: 19 or f?
f
Suppose -5*m + k = -3*k + 1402, 0 = 5*m - 2*k + 1396. Suppose -87*t + 7664 = 15272 + 16491. Which is smaller: t or m?
m
Suppose 0 = -f + 14*h + 18, 67*f - 3*h + 4 = 66*f. Let i(r) = r**2 - 3*r - 1. Let p be i(4). Let w be (-123)/9 + 2/p. Is w >= f?
False
Let q = -2.215 + 0.215. Let c = -13.2 - 94.8. Which is greater: q or c?
q
Let k = -1166212/5 - -234702. Which is bigger: 1460 or k?
1460
Let d(p) = p**2 - 13*p - 84. Let s be d(18). Let k be s - (-24)/(-690)*172. Which is bigger: k or -1?
k
Let u be (1 + 0 - -7) + 1. Suppose -3*p + 7*p = -5*o + 10, 4*o - 8 = -3*p. Suppose -7*a + 37 = o. Which is smaller: a or u?
a
Suppose 9*p - 11*p = -7*p. Let v be p/(-3 + -3 + 5). Suppose 5*x + 4 - 19 = v. Which is bigger: x or 2?
x
Suppose -72*u - 62 + 134 = 0. Do -23/102 and u have the same value?
False
Let s be (78/(-39))/(4 - (-33948)/(-8488)). Is s greater than -4244?
False
Let q(r) = -2*r**3 + 4*r**2 + 15*r - 29. Let c be q(2). Is c less than -3/1598?
False
Let w be 1482/114 + 1090/(-3 + -2). Is w at most -168?
True
Let u(b) = -b + 11. Let i be u(11). Suppose i = 7*g - 9*g - 6. Let d be 21/28*1/g. Is d greater than 1?
False
Let i = 147 + -95. Let p = i + -52.07. Let x = p - 7.93. Which is smaller: 1 or x?
x
Suppose -10*p = -b - 11*p - 24, -126 = 5*b - p. Let h be (-1)/(0 + 3/15). Let f be (6/h)/(8/160). Which is bigger: b or f?
f
Let o be 1 + 1006/10 + 0. Let u = o - 102. Are -35 and u equal?
False
Let f be (-3*16/12)/(3/(-6)). Let y(m) = m**3 - 9*m**2 + 10*m + 2. Let l be y(f). Let t = l + -24. Is -9 smaller than t?
True
Let m = -830.9 - -812.66. Is -1 greater than m?
True
Let c = -2003.3 - -2003. Is -11 at least as big as c?
False
Suppose -5*g = -3*a - g - 85, -4*a + 3*g - 111 = 0. Suppose 3451*y - 396 = 3473*y. Are y and a equal?
False
Let n be (-475608)/1748 - (-4)/46. Which is smaller: n or -273?
-273
Let n = -18713 - -9468787/506. Which is bigger: n or 0?
n
Let z(g) = -g + 1. Let p(m) = 14*m - 30. Let x(b) = p(b) + 5*z(b). Suppose 86*r - 433 = -89. Let l be x(r). Which is smaller: l or 8?
8
Let l = -0.885 + -442.115. Let s = 434.002 + l. Let y = s - 0.002. Which is bigger: -1 or y?
-1
Let h = -21488 + 21487.8. Let i = -2/293 - -1190/2637. Is i at most as big as h?
False
Let n be (-6)/10 + (-6)/15. Suppose 0 = p - 114 + 214. Let j be (p/184 + 2/4)*2. Which is bigger: n or j?
j
Suppose 0 = 124*l - 133*l - 4518. Which is smaller: l or -1504/3?
l
Let q(p) be the first derivative of -p**4/4 - 14*p**3/3 - 7*p**2 - 15*p + 4. Let b be q(-13). Let x be (8 - 6) + b*6. Is 2 bigger than x?
True
Let x = 31.6 + -31.37. Let h = -16.23 + x. Let j = 3 - 2.7. Which is bigger: h or j?
j
Let o = 2076 + -1360. Let x = o + -712.83. Let t = x + -3.1. Is -2 < t?
True
Let i = 17563/11 + -1601. Suppose 7 = -5*k + o - 26, -2*o - 29 = 9*k. Which is greater: