t j be (2 + (-22)/3)/(t/6). Let d be 2/(-15) + j/210. Is -0.1 less than d?
True
Let z(n) = 101*n - 64. Let p be z(-27). Let d = p - -2704481/969. Is 0 greater than d?
False
Let u = -257 - -225.8. Let j = -96 + 65. Let c = u - j. Is c at most 17?
True
Let n(x) = -x**3 - 11*x**2 - 10*x + 8. Let c be n(-10). Let f be 2/c - (-3875)/100. Is 159/4 bigger than f?
True
Let g(m) = -5*m**3 + 81*m**2 + 90*m + 162. Let s(p) = -3*p**3 + 54*p**2 + 60*p + 108. Let j(c) = 5*g(c) - 8*s(c). Let a be j(-26). Is a greater than 54?
False
Suppose -275 = 4*u - 5*u - 4*h, -2*u = -h - 541. Is u bigger than 271?
False
Let v = -0.1807 + -1104.8193. Is 2 greater than or equal to v?
True
Let q = 76.3 - 194.3. Is -1 <= q?
False
Let r(z) = z**3 - 6*z**2 + 8*z - 6. Let y be r(5). Let t(m) = -m**3 + 10*m**2 - 9*m - 17. Let v be t(y). Suppose 19*f - 163 = -581. Which is smaller: f or v?
f
Let h be 14*(-1)/(-3) + -1. Suppose 2*c - 138 = -820. Let m = 346 + c. Is h less than or equal to m?
True
Let v be 8 + 1/(-1) + -1 + (-1392)/(-48). Are -54 and v unequal?
True
Let n(s) = s**3 + 60*s**2 - 182*s + 447. Let i be n(-63). Which is smaller: i or 12/65?
12/65
Let n = 1159 - 1135. Which is smaller: n or 405/16?
n
Let y(x) = 0*x + 5 + 2*x + 3*x - 4*x. Let l be y(-4). Let g = 222017/95 - 2337. Is l less than g?
False
Let u = -3575.8 + 3301. Let s = 275 + u. Let y = 3 - 11. Are y and s equal?
False
Let h be -8 + 78/10 + (-16)/(-5). Suppose -3*y - h*f - 149 = 127, f + 286 = -3*y. Which is greater: y or -98?
y
Let j = 29438 - 29440.9462. Let m = j - 0.0538. Which is smaller: 4/27 or m?
m
Suppose 9*b + 31*b + 26832 = -89*b. Which is bigger: b or -1036/5?
-1036/5
Let p = 7515 + -128201/17. Which is bigger: p or -25?
-25
Suppose 4 = 2*l - 4. Let w be (-2)/l - 325/10. Let x be ((-24)/(-42))/(-2*(-3)/(-21)). Is w at least as big as x?
False
Let z = -959 + 959. Which is smaller: z or 2/419?
z
Let l be 3 + (82 - 1/(-1)). Let n = 35 - l. Let y be (-1)/6 + n/(-378). Which is smaller: -1 or y?
-1
Let r = -2742 + 2704. Which is bigger: r or -256/7?
-256/7
Suppose 1090*g = 1089*g - i - 639, g + 627 = i. Which is smaller: -630 or g?
g
Let p = 36 + -36.14. Let y = 1.66 - p. Let m = -0.4 - y. Is m at most as big as 0?
True
Let r(v) = v**2 + 63*v + 986. Let b be r(-36). Let n(i) be the first derivative of -i**2 - i + 5. Let j be n(-7). Is j < b?
True
Let k = -43.51 - -2596.51. Is k at most 2?
False
Let w = 133 - 126. Suppose 6 = -f + w. Which is bigger: f or 9?
9
Let v(g) = -4*g + 56. Let j be v(19). Let c be j/(-50)*(-15)/(-6). Which is greater: c or -1/226?
c
Let p = 149912/3 - 49346. Let x = p - 215516/345. Do x and -1 have different values?
True
Let p(u) = 2*u**2 + 21*u + 46. Let k be p(-8). Which is bigger: k or 232/33?
232/33
Let x(r) = r**3 + 6*r**2 - 8*r + 6. Let c be x(-7). Suppose -c*p - 20 = -9*p. Suppose 0 = -15*v - 51 - 24. Is p at least v?
True
Let i(h) = 31*h - 230. Let r(k) = -8*k + 58. Let m(u) = 2*i(u) + 9*r(u). Let s be m(7). Let z be 62/(-8) + (-2)/(-8). Which is smaller: z or s?
s
Let i be 28/4 - 4/2. Suppose i - 41 = 6*d. Let b be 3/(-2)*d/(-9). Which is bigger: -4 or b?
b
Suppose l + 4 = k - 3*l, 4*k - l - 16 = 0. Suppose 2*p + 28 = 6*p - k*r, 4*r = 2*p - 14. Which is bigger: -18 or p?
p
Suppose 0 = 55*h - 165 - 165. Suppose i - 7 + 13 = 5*k, 0 = -3*k + h. Is i less than 33/10?
False
Let k be (-166668)/(-482202) + (-4)/14. Is k equal to -0.2?
False
Let r = 17030 - 11556. Let k = -3884 + r. Let b be k/(-1092) + 2 - (-3)/(-7). Which is smaller: -2 or b?
-2
Let l = 0.0486 - 0.5336. Let r = l + -458.515. Which is smaller: -2/7 or r?
r
Let q(h) = h**3 + 15*h**2 - 6*h - 112. Let g be q(-15). Are g and -190/9 non-equal?
True
Let x = 3/27340 - 114689/546882020. Which is greater: x or 0?
0
Let z = -21117 - -20438. Is -678 less than or equal to z?
False
Let t = 19343885/31304301 + 1/104001. Let n = -2/43 + t. Which is bigger: 2 or n?
2
Suppose 2*c = 2*l + 6*c + 340, -l + 5*c = 142. Let r be l/(-53) + -2 + -1. Let t = 3 + -2. Is t < r?
False
Suppose -82*p + 2522 - 1339 = -2097. Is 39 < p?
True
Let v = 1568 + -1568. Which is smaller: v or -4/439?
-4/439
Let b be (-19 + 9 - (-185)/20)*(-3172)/6. Which is bigger: b or 396?
b
Let t be 141*(-2 - (-79)/39). Let q be (1 - -1) + 21 + (13 - 32). Which is smaller: q or t?
t
Suppose -7*q = 4*v - 8*q + 20379, 10*q - 15238 = 3*v. Is -5096 smaller than v?
False
Let g be 90/(-12)*(48/(-9) - -4). Let b be (6 - g/2) + 29. Which is greater: b or 34?
34
Let y = -879.9 - -809. Let p = y - -70.9456. Which is smaller: p or 1?
p
Let o be (6136/2)/(-166 - -164). Is o at least -1533?
False
Let c = -93 + 106. Let p(t) = t**3 - 12*t**2 - 14*t + 17. Let a be p(c). Suppose -a*s = 2*h + 68 + 40, 4*s = -4*h - 200. Which is bigger: -45 or h?
-45
Let h = -468.0435 + 0.0435. Let s = 334 + h. Let g = s - -133.88. Which is smaller: g or -2/7?
-2/7
Let z = 124 - 122. Suppose 0 = q - 5*v + 7 - 0, 2*v = -2*q - z. Let m be (q/(48/9))/(5/(-10)). Which is smaller: m or 2?
m
Let s be 0 - -2*(-142)/(-4). Let w be -19 + 2 - (0 + 1 + -1). Let j = 55 - w. Which is bigger: s or j?
j
Suppose u = y + 19, -3*y + 5*u - 55 = -0*u. Let k be y/(2*(-3)/12). Let n be 8/(-10)*(-2)/k. Is -1 not equal to n?
True
Let k = -143 + 158. Suppose 0*t = -2*t + 5*n + k, -5*t - 4*n + 54 = 0. Let w = 0.01 - -1.99. Which is smaller: w or t?
w
Let c(k) = -2*k**2 + 23*k + 3. Let q be c(11). Let u(s) = s**3 - 13*s**2 - 8*s - 82. Let i be u(q). Are i and 15/14 unequal?
True
Let y = -4547/5 + 909. Which is bigger: 0.0325 or y?
0.0325
Let g(i) = -i**2 - 13*i + 12. Let f be g(-13). Let r(a) = a**2 - 10*a. Let z be r(f). Let u be ((-8)/z)/((-14)/(-6)). Which is greater: 0 or u?
0
Let f = -1174 - -1616. Which is smaller: f or -2/11?
-2/11
Suppose 2*g = 3*g - 39. Let m = g - 38. Let i be (-12)/(-80)*4 + m + -1. Is -0.9 less than i?
True
Let j = 55 + -55. Let p = -0.007 - j. Let u = -0.493 + p. Is -8 < u?
True
Suppose -87 = -15*y + 453. Let u be 60/20 - -1*3/y. Which is greater: u or 3?
u
Let h(g) = -g**2 - 16*g + 3. Let l be h(-14). Suppose 2*u + l + 23 = 0. Is -26 greater than u?
True
Let a = -43 - -70. Suppose 176 = -30*l + 22*l. Let v = l + a. Which is smaller: v or -1?
-1
Let k(m) = -7*m**2 - 192*m - 1077. Let v be k(-6). Which is greater: -33 or v?
-33
Let r(o) = -9*o**2 + 6*o + 64. Let v be r(3). Which is greater: v or -10/857?
v
Let p = 7033289/101152 - 2225/32. Is -1 greater than or equal to p?
False
Suppose -4 = 3*m - 13. Suppose -m*g - 9 = -6*g. Suppose 3*h - g = -2*p, 2*h - 3*h + 2*p - 7 = 0. Which is smaller: -10/21 or h?
h
Let o = -547 - -827. Let d = 279 - o. Which is smaller: 2/531 or d?
d
Let t(h) = 6*h + 36. Let v be t(-6). Suppose -2*c + 10 = 0, -5*u + 6*c - 2*c - 50 = v. Let a be (-48)/63 - u/14. Which is smaller: 7 or a?
a
Let k = -89 - -94. Suppose 10 = -5*z + 2*h, k*h = 2*z + h + 20. Which is greater: z or -65?
z
Let r be (10 + -8 - (-1 + (-10842)/(-10848))) + -2. Is r less than 0?
False
Let d be 11305/(-221) - (-10)/65. Is d smaller than -47?
True
Let f = -829/2898 - -1/2898. Let s = -18.55 + -0.45. Let j = s + 11. Which is greater: f or j?
f
Suppose 0 = 6*f + 6*f - 9*f - 75. Let n = -1 + 2. Let z(i) = 24*i**3 + 1. Let y be z(n). Is y >= f?
True
Suppose k = 4*s - 3018, 2841*s - 2843*s + 1536 = 4*k. Is 756 less than or equal to s?
True
Let v(z) = 50*z - 534. Let s be v(-18). Which is bigger: -1436 or s?
s
Suppose -22*x = -16*x + 12. Let g be 6*((-12)/378)/(x/3). Suppose -a = a. Which is bigger: g or a?
g
Suppose 2*s - 20 = -3*s. Suppose -115 = -s*f - f. Suppose 2*h + 15 = -f. Is -18 smaller than h?
False
Let b = 101458/45 - 20306/9. Is b at least 15/16?
False
Suppose -6*x = -5*x + 18. Let k(m) = m**3 + 19*m**2 + 19*m - 2. Let u be k(x). Let y be 56/(-90) - ((-16)/u)/(-2). Do y and 2/9 have different values?
True
Let g(t) = t + 13. Let w be g(-11). Suppose -15 = -w*r - 19. Let i be (-8)/6*r/12. Which is smaller: -3 or i?
-3
Let c be (-195)/(-52) - 4 - 7778/(-8). Suppose -7*p - 209 = -c. Which is greater: p or -1?
p
Let f be (-1 + 0)*825/3. Let u be -581 + 306 + 0 + -1. Which is greater: f or u?
f
Let z = -178 + 167. Let p(r) = -r - 8. Suppose -5*n - 16 = 3*m, -4*n - 26 = -4*m + 2*m. Let h be p(m). Are z and h unequal?
False
Let f(o) = -o**2 + 13*o + 79. Suppose h + 81 = -12*s + 17*s, -3*h - 3 = 0.