t q(n) = -n**3 - 5*n**2 + 7*n + 1. Let a be q(-6). Let j = 6 + a. Let x be 46/(-120) - 6/(-18). Which is smaller: j or x?
x
Let i = -337 + 210. Let r = i - -134. Let a be ((-5)/(-2))/(1/2). Is a at most as big as r?
True
Let l = -169/11 - -6073/396. Is l bigger than 2/7?
False
Let x be (8/16)/(-2 + (-93)/42). Is -1 > x?
False
Let l be 513/(-2) + (-2)/4. Let m = l - -62449/243. Are m and 1 nonequal?
True
Suppose -22*s + 6*s - 64 = 0. Let h be -2*s/((-48)/25). Which is smaller: -4 or h?
h
Let a = 160 - 293. Which is greater: -131 or a?
-131
Let k be 75600/(-147) - 8/(-28). Is k bigger than -515?
True
Let x = 0.454 - 0.354. Are -237 and x unequal?
True
Suppose 131 - 275 = -12*a. Is a bigger than -57?
True
Let b(x) = -x**3 + 13*x**2 + 47*x + 7. Let t be b(16). Which is smaller: -8 or t?
t
Let i = 0.036 + 10.964. Let n = i - 25. Which is smaller: n or 0.2?
n
Let m(c) = 46*c - 2. Let g be m(-1). Is g bigger than -45?
False
Let u(m) = 6*m + 84. Let g be u(-9). Which is smaller: g or 3?
3
Let v(r) = -5*r**3 + 2*r**2 + 3*r - 12. Let k be v(2). Does -38 = k?
True
Let d(l) = -122*l - 365. Let z be d(-3). Let k = 0 + 0.4. Let w = 0.2 - k. Is w greater than z?
False
Let c = -18.28 - -0.28. Let g = -17 - c. Let y = g + -0.9. Which is smaller: y or 0?
0
Let y(q) = -q**3 + 9*q**2 + 12*q - 15. Let d be y(10). Suppose -d + 3 = h. Let c be (4/8)/(h/(-4)). Are 1 and c equal?
True
Let m = 4/5 + 7/10. Which is bigger: 1 or m?
m
Let n be 1 + 2 + (-12 + 4 - -5). Which is greater: n or -1/64?
n
Let j = -31 - -33. Suppose 3*f - 13 = -0*f + 4*s, j*f = -s - 6. Which is bigger: f or 2/9?
2/9
Let c = 1.064 + -1.164. Which is smaller: -13/19 or c?
-13/19
Suppose 0 = -f + u - 96, u = -3 - 2. Let d = -640617/6383 - 275/491. Let j = f - d. Which is smaller: 0 or j?
j
Let g be 45 + 1*1/3. Let u = g - 45. Let t be (-533)/(-390) + (-2)/15*-1. Are u and t non-equal?
True
Let q = 8439 - 8444. Suppose 4*r + 12 = 3*z, 3 - 15 = 4*r - z. Which is bigger: q or r?
r
Suppose -b = q, 12 - 4 = -3*b + q. Let m be (-2 + (-33)/(-6))*b. Let k = m - -13. Is 6 greater than or equal to k?
True
Suppose -5*b - 276 = -101. Let x = 35 + b. Which is smaller: x or -4/5?
-4/5
Suppose 31 = 8*v - 113. Is v bigger than 56/3?
False
Let p = 3/706496 - -2512299659/27553344. Let o = p - 274/3. Let h(i) = i**2 + 19*i + 18. Let w be h(-18). Which is bigger: w or o?
w
Suppose 5*p - 5*l + 235 = 15, -2*p + 4*l - 80 = 0. Let u be (-44)/p - 2/(-24). Are 2/15 and u unequal?
True
Let w = 438 - 441. Suppose p + 4*q = 3 + 14, -4*p + 2*q - 22 = 0. Is w bigger than p?
False
Let n = -1.22 - -2.49. Let c = 1.4 - n. Is c greater than or equal to -0.1?
True
Let d(o) = -o**3 - 4*o**2 - 3*o + 2. Let n be d(-3). Suppose -n*r + 3 = -1. Suppose r*w + 6 = -w. Which is bigger: w or 3?
3
Let z = -461/13905 - 2/515. Let x = 1 + 8. Let u = -9 + x. Which is smaller: u or z?
z
Suppose 4*i + 40 = -4*r, 5*r + 5 = -2*i - 15. Let z(v) = -3*v + 2. Let d be z(4). Is i smaller than d?
False
Let u be 6 + -8 - (-128)/65. Let c be (0/71)/(2 - 3 - (-5 - -2)). Which is smaller: c or u?
u
Suppose 27*x - 163 = -1000. Suppose 2*c - 5*c - 90 = 0. Is c less than or equal to x?
False
Let n = 14 - 1. Which is smaller: 11 or n?
11
Let j = -66 + 68. Is j at least 45?
False
Let u(j) = -3*j**2 + 39*j - 19. Let r be u(16). Which is smaller: r or -166?
-166
Let f = 1264 + -692. Is f equal to 573?
False
Let b be -1*(-8)/36 + (-18048)/(-189). Which is smaller: b or 96?
b
Let c be 155 - (4 + -4)*(-10)/30. Which is smaller: c or 153?
153
Suppose 0*h - 3*h = b - 89, 0 = -5*h - b + 145. Is 32 at least h?
True
Let w(u) = u**2 - 6*u + 5. Let n be w(6). Suppose -i + n = 3. Suppose 0 = 6*z - i + 8. Are 2/27 and z unequal?
True
Let n be (5 + -4)/(1*-1). Let i = 0.136 + 0.014. Let g = i + -0.04. Do g and n have the same value?
False
Suppose -3*d = -31 - 44. Let j be (-5)/10*(1 - d - -2). Which is greater: 14 or j?
14
Let p be ((-8)/(-21) - (-164)/123)*-105. Is -181 less than p?
True
Let a = 342.6 + -362. Do 1/2 and a have the same value?
False
Let a = 58.2 - 56. Let i be -3 - -4 - 0/(-2). Is a at least i?
True
Let n = 8 - 9. Let d(b) = b**3 + 5*b**2 - 6*b - 4. Let l be d(-6). Let h be 1/l*-1*-1. Which is greater: h or n?
h
Let h = 3 - 2.9. Suppose 2*z + 3*z = -3*q - 29, 3 = -q - 5*z. Let a = q + 8. Which is smaller: a or h?
a
Let z = -616/3 - -205. Suppose 3*o - 2*o = -4*b + 3, -3*b = -2*o - 16. Suppose 4*c - 4*x + 9 = 1, -b*c - 4*x + 8 = 0. Which is greater: c or z?
c
Suppose -176 = 5*w - 6. Which is greater: w or -32?
-32
Let d = -209 + 209. Let p = 5 + -5.06. Which is greater: p or d?
d
Let x be (-2)/4*(2 - 8). Suppose 3*u - 2 = 2*a, -x*a + 0*a + u + 4 = 0. Suppose a*j - 5 = -19. Which is greater: j or 0?
0
Let v = 4 + -2. Let f = -13.05 - -14. Let q = -0.05 - f. Which is smaller: q or v?
q
Let g be ((-1)/301)/((-5)/(-14110214071)). Let o = 9375557 + g. Let f = -20/43 - o. Is 1 less than or equal to f?
False
Suppose 4*b - 2*z = -16, -3*b - 1 = -2*z + 11. Let a be ((-8)/(b - -2))/(-1). Let p be -2 + 3 + a - -7. Which is smaller: p or 3?
3
Let a be (-8 + (-135)/(-18))*4. Which is bigger: 1.51 or a?
1.51
Let d(q) = 2*q**3 + 2*q**2 + 3*q - 2. Let m be d(4). Suppose j + m = 2*u - 7*u, j + 135 = -4*u. Which is smaller: -34 or u?
u
Suppose -3*f + 5*t = 39, -f = 4*t - 5 + 1. Let y(d) = -d**2 - 6*d + 16. Let l be y(f). Which is smaller: -0.2 or l?
-0.2
Let r be 0 + -11 - (-19 - -16). Let o be r/(-12)*-15 + 2. Let j(y) = 3*y + 9. Let s be j(o). Which is smaller: -14 or s?
s
Let n(q) = q**2 - 23*q + 43. Let a be n(21). Is -3/112 >= a?
False
Let o = 19 + -13. Let x be 5*(-3)/(((-6)/(-8))/(-1)). Suppose 0 = -p - 4*l + 11, x = 4*p - 3*l - 5. Is o less than or equal to p?
True
Let g = 133 + -140. Let o = -15 + 8. Is g smaller than o?
False
Let f = -194 + 189. Is f bigger than -80/13?
True
Suppose j - 4 = 0, -2*h - 6*j = -j - 48. Which is smaller: h or 9?
9
Let x = -9.11 + 9. Let g = -198 - -196.89. Let d = g - x. Is -4 bigger than d?
False
Let w = 13485/17 - 793. Let b be (-3 - -5) + -1*3. Are w and b non-equal?
True
Suppose 4*i - 4*u - 24 = 2*i, -2*u = i - 12. Let f = -15 + i. Which is smaller: f or -2?
f
Let j(b) = -12*b - 43. Let q be j(-5). Which is smaller: q or 95/6?
95/6
Let k = -156 - -300. Is -2/3 > k?
False
Let o = 7 - -2. Let t(z) = z**3 - 10*z**2 + 10*z - 4. Let j be t(o). Suppose -4*p - 2*h + 2 = 4, p - j*h - 16 = 0. Is p less than or equal to -7?
False
Let s(c) = -c**2 - 98*c - 301. Let u be s(-3). Which is bigger: u or -100?
u
Let k = 653/5 - 549/5. Is 21 less than or equal to k?
False
Let i(j) = 7. Let a(g) = -2*g + 28. Let y(f) = -2*a(f) + 9*i(f). Let h be y(-2). Which is smaller: h or -4/105?
h
Let c = 9 - 9.5. Let i = 0.053 + 0.147. Is i at most c?
False
Let o(k) = k**3 - 13*k**2 + 27*k + 75. Let m be o(9). Is -19 < m?
True
Suppose -a + 109 = p - 6*p, -2*p = -2*a + 186. Which is bigger: 92 or a?
92
Let k(r) = r**3 + 7*r**2 + 4*r + 1. Let y be k(-3). Are 25 and y non-equal?
False
Let t = 38 + -38.7. Let o = t - -0.72. Is o at most 4/3?
True
Let s = -5/119 - -11/1071. Is s greater than or equal to 0?
False
Let m(c) = 115*c - 686. Let j be m(6). Which is smaller: 6/23 or j?
6/23
Let o(d) = -3*d - 5. Let q be o(-2). Let g = q + 3. Which is greater: g or 0?
g
Let b = -31 - -32. Let x = 1.8 + -0.9. Let q = x - b. Which is bigger: 2 or q?
2
Let v be (6 + 1)*266/49. Do v and -1 have different values?
True
Let g be (-17 + 653)/(1*5). Let v = 7056/55 - g. Which is smaller: 2 or v?
v
Let t be (-11)/(-9) + -1 - 14000/630. Which is bigger: t or -25?
t
Let i(u) = -20*u - 8. Let h be i(-1). Suppose -15 + h = 3*d. Is -4/19 < d?
False
Let g be -5 - (2 - 1 - 2). Let y = g + 7. Let p be 4 + (10 - 20) + (748/(-8))/(-11). Is p >= y?
False
Let o be 980/(-112)*(-24)/10. Does 23 = o?
False
Suppose 3*w - 14 = -2*x - 0*x, -20 = -3*x - 5*w. Suppose -4*j - 26 - x = 0. Let i = j - -9. Is i bigger than -1?
True
Let j(v) = -3*v**2 - 3*v - 6. Let t(w) = w**2 + w + 3. Let s(a) = 3*j(a) + 7*t(a). Let z be s(-3). Is -9 greater than or equal to z?
True
Let z(r) = -2 + 7*r - 3*r - 7*r - r. Let k be z(1). Does k = -7?
False
Let q be (-4 + 1)*4/6. Suppose -3*r + 25 = 2*a, -5*r + 26 = a - 4. Let y(k) = -11*k + 60. Let v be y(a). Is v != q?
True
Let h = -0.25 + 0.5. Let g = 0.36 - h. Let c = g + 0. Which