m be x/299 + 140/(-910). Is -2 at most as big as m?
True
Let h be (-1)/(((-4)/(-412))/1). Suppose -8358 = 56*m + 21*m - 350. Is m <= h?
True
Let y(z) = -z**3 + 6*z**2 - 4*z + 19. Let u be y(6). Let b be -5 + 7 + -7 - u. Is b <= -3/4?
False
Let y be 3/(-632)*707560/(-336) + -10. Is 0 greater than y?
True
Suppose 0 = -8*l + 3*l - 1895. Let d = -349 - l. Which is smaller: 24 or d?
24
Let x = 15 - 15.1. Let y = -5097.148 + 5097. Is x not equal to y?
True
Suppose 24*z = 27*z - w - 38, -3*z + 2*w + 34 = 0. Suppose -2*i = -4*x - 4, z = x - 5*i + 33. Let q be (0 - 4/10)/(-35). Is x <= q?
False
Suppose 4*u - 3*n = -20, -u + 2 = 3*n - 8. Let v be -2*-1*u/38. Let o(f) = -10*f**2 + 4*f + 6. Let z be o(1). Is z at most v?
False
Suppose 0 = 4*g - 0*b - b - 1900, -g + 475 = 5*b. Suppose -3*f + 322*i - 320*i = -1404, -3*i - 1395 = -3*f. Which is greater: g or f?
g
Suppose 6 - 1 = 5*o. Let f(z) = -z**3 - 43*z**2 - 43*z - 36. Let w be f(-42). Let s be (w - (-4)/((-16)/30))/123. Which is greater: o or s?
o
Let g be (119 - 188)/((-199 - 3)/2). Are 1 and g unequal?
True
Let g = -5585 + 4807. Is -776 equal to g?
False
Suppose -3*t = -0*t - 429. Let v be 2 - ((1 - t) + -2). Let w = v + -1895/13. Is 1 greater than or equal to w?
True
Let a = 73804041981801/82654 - 892927650. Let v = a + 1/578. Is -1 smaller than v?
True
Let s = -1535 - 206. Which is smaller: -1742 or s?
-1742
Let x = 1716 - 29159/17. Let c(p) = p**3 + 7*p**2 - 8*p. Let d be c(-8). Which is greater: x or d?
x
Let x = -0.7222 + 0.69081. Which is smaller: 1 or x?
x
Let c(r) = -r**3 - 7*r**2 + 29*r - 8. Let b be c(-10). Suppose -b*g - 2*x - 6 = 0, 2*x + 2*x = -12. Let i = 0 - -2. Which is greater: g or i?
i
Let d(z) = 1228*z - 127. Let m be d(1). Which is bigger: m or 1100?
m
Let v(p) = -74*p + 4574. Let d be v(99). Which is smaller: -2754 or d?
-2754
Let q = 6412 + -288556/45. Is q < 1?
True
Let d(w) = 2 - 156*w - 29 + 162*w - 23. Let f be d(15). Is 41 smaller than f?
False
Let h = -1046186/6859 + 8/6859. Is h <= -154?
False
Suppose 3398 = -8*t - 146. Which is bigger: t or -426?
-426
Let f(n) = -2*n**2 - 76*n - 650. Let k be f(-25). Which is smaller: k or -11/309?
-11/309
Let f be (8/6)/(2/3). Suppose 0 = 71*h - 69*h + r + 181, r + 353 = -4*h. Is h greater than f?
False
Let p = 11185 + -11969. Which is greater: -787 or p?
p
Let w = 7441.2731412 + 1.6658588. Let k = w + -7438. Let t = k + 0.061. Are t and 0.1 nonequal?
True
Let o be 4/(-16)*16/(-1434). Let w(m) = -m**2 - 818*m - 2444. Let u be w(-3). Is u != o?
True
Let m be 0/1 + -4 + 6 + 2. Suppose -m*s = -3*s - 5, -5*v - 2*s = 60. Which is smaller: v or -11?
v
Suppose 2*g - 2*d - 43 = 61, 5*d - 83 = -2*g. Suppose -17*u + 568 + 214 = 0. Is u at least as big as g?
False
Let q(g) = g**2 - 14*g - 38. Let h be q(16). Let z(n) = n**2 + 10*n - 10. Let x be z(-13). Let a be (-1*x/(-5))/(-1). Is h less than a?
True
Suppose 4*h - 3 = 4*z - 19, 0 = -0*h - 2*h. Which is smaller: z or -18?
-18
Suppose -2*g = 3*h - 4, -2 = -4*h - 0*h - g. Let w be (-10)/(-4)*(48/(-15))/(-8). Let t be ((-57)/(-55) - w) + h. Which is bigger: t or 0.1?
0.1
Suppose -10*x + 18*x - 256 = 0. Let t = x - -137. Which is smaller: t or 168?
168
Let v = -42.46 - 0.54. Let q = v + 58. Which is greater: q or -2?
q
Let q(s) = -18*s**2 - 3*s - 2. Let v(y) = -y**3 + 10*y**2 + y - 7. Let g be v(10). Suppose -n + 5*k + 5 = -6*n, -g*k + 5 = -5*n. Let t be q(n). Does t = -19?
False
Suppose 171571*w = 171462*w - 10791. Let x be (-1 - (1 - 0)) + -98. Do x and w have different values?
True
Suppose 2*h = 4*h - 76. Suppose 40*f - h*f = 2. Let w = 213 + -6391/30. Which is smaller: w or f?
w
Let y be 4575/11 - 24/(-264). Let f = y - 395. Which is bigger: f or 14?
f
Suppose -26*l = -30*l. Let y be (-4)/18 - (-1702)/7578. Is y bigger than l?
True
Let p = 74 - 76. Let t be 5/((-55)/p) + (-106)/(-22). Let z be ((-48)/60)/(1/t). Which is greater: -14/5 or z?
-14/5
Let y = -64 - -90. Let t = -3330 + 3352. Is y at most t?
False
Let j(k) = 5031*k + 5032. Let z be j(-1). Let r be (-6)/130 - 1 - -1. Is z != r?
True
Let j = -10511/4 - -2629. Is -226 at least as big as j?
False
Suppose 2*r + 2 = -3*j + 2*j, -r = -1. Let i(s) = -2*s**2 - 8*s + 1 - 15*s**2 + 21*s**2 - 6*s**2. Let o be i(j). Which is bigger: -2/269 or o?
o
Let i(a) = -19*a - 154. Let v(x) = -x**2 + 39*x - 129. Let h be v(36). Let o be i(h). Which is smaller: 1 or o?
1
Let b be (112/(-40))/((-1)/25). Suppose 3*x - 83 = b. Suppose 0 = -5*t - 116 + 361. Is x bigger than t?
True
Let p = -3.494 + 0.294. Which is greater: -31 or p?
p
Let d(u) = -60 - 70*u + 202*u - 71*u - 68*u. Let j be d(-9). Let n = -6280/23 + 273. Do j and n have different values?
True
Let z(q) = -q**3 - 36*q**2 + 35*q - 73. Let i be z(-37). Suppose -4*y + 0*y = 52. Let u = 51/4 + y. Which is smaller: u or i?
u
Suppose -69*v + 320 = -73*v. Let h = v - -239/3. Let o = 4 + -5. Is o smaller than h?
True
Let a be (42/(-10))/((-55)/418*(-16)/(-500)). Which is smaller: a or 997?
997
Let z(x) = 8*x**2 + 16*x + 59. Let c be z(-8). Let l = -341 + c. Is 103 smaller than l?
False
Suppose 861*n - 27442 = 859*n. Is n less than or equal to 13719?
False
Let u(a) = a**3 + 12*a**2 - a - 5. Let w = -191 + 182. Let p be u(w). Do 1 and p have the same value?
False
Let h = -11671 - -11670. Let y be (-14)/(-73) + 4 - 4. Which is greater: y or h?
y
Let f(r) = -r**3 + 50*r**2 - 51*r + 65. Let l be f(49). Does -46 = l?
False
Suppose t - 570 - 582 = -5*z, -z = -5*t + 5812. Suppose -1161*i - 14 = -t*i. Does i = 19?
False
Suppose 0 = 17*n - 543 + 152. Let h be 10/36*n + -7. Which is smaller: h or -2?
-2
Let f be 8/((-72)/(-135))*4/(-5). Suppose 0*u + 225 = 3*u. Suppose -o - 2*k - u = 4*o, o - 7 = 4*k. Is f > o?
True
Let q(p) = -p**2 - 15*p + 68. Let t be 22*((-6)/4)/3. Let h be q(t). Is -1 > h?
False
Let b = 144745 + -1443893/10. Let j = -356 + b. Let n = 0 - 0. Which is bigger: n or j?
n
Let n = -3871 - -3710.9. Let s = n + 160. Is s less than or equal to 1/2?
True
Let o(k) = -6*k + 15. Let b be o(2). Suppose 0 = 4*q - 16, 2*j - 4 = b*q - 174. Is -78 bigger than j?
True
Let f = -243 + 93. Let q = f + 60. Does -89 = q?
False
Let j = 9379/307329 + -2/9313. Let p be 28/(-40) - (-2)/4. Is p >= j?
False
Let c = 0.1 - 2. Suppose -20*d - 54 = -35*d - 3*d. Which is smaller: c or d?
c
Suppose -6 = 2*q, 2*q = -2*z + 47 - 11. Suppose x = -z - 0. Let d be 16/28 - (-243)/x. Which is bigger: d or -8?
-8
Let p(d) = -d**2 - 6*d - 5. Let j be p(-3). Suppose -2*g + 0*k - 38 = -j*k, 5*k + 12 = -g. Is g < -13?
True
Let r(t) = 15*t**3 - 6*t**2 + 10*t - 59. Let c be r(6). Is 3024 at least as big as c?
False
Suppose 4*y - 6*a = -3*a - 144, -2*a + 173 = -5*y. Let x be 5*(-5)/(-5) - y. Which is greater: x or 39?
39
Let s = -103 - -317. Suppose -s = -q + 2*g, 8*g - 5 = 9*g. Which is smaller: 205 or q?
q
Let p(r) = 2*r + 19. Suppose 2*m - b - 8 = 0, m = -b + 2 - 1. Suppose 3*j - 5*g + 17 = -j, -17 = j + m*g. Let f be p(j). Is f equal to -1?
False
Let r be ((-1041)/12 - 2)/((-1404)/4320). Does 273 = r?
False
Suppose -101*d - 64*d + 50*d - 115 = 0. Is d >= -3/5696?
False
Let h be ((-8)/6 - -1)*111/28. Let y = -15/14 - h. Let d be (-4 + 26/3)*-1. Which is smaller: d or y?
d
Let i be -2 + 4 + 93 + 4. Suppose -29*n = -762 - 2109. Is i greater than n?
False
Suppose 6442*z + 1 = 6443*z. Which is smaller: z or -227.77?
-227.77
Let u(q) = -1. Let c(b) = 2*b**2 + 29*b + 21. Let x(j) = c(j) + 6*u(j). Let y be -1 + 2 + -3*5. Let z be x(y). Is -2/197 bigger than z?
False
Let h = 359124 + -3946035/11. Is h <= 393?
False
Suppose 4*p - 90 = 274. Which is smaller: p or 89?
89
Let j be (0 - -1)/(2*3/156). Let q be 1720/j - (32/52)/4. Let r = -68 + q. Which is smaller: 6 or r?
r
Let v = -14 + 9. Let s(b) = 7*b + 366. Let t be s(-48). Let j be 18/t + -4 + 111/(-135). Which is smaller: v or j?
v
Let d be (-486)/36*(-12128)/(-24). Which is smaller: d or -6820?
d
Let v = 14411 - 13237. Is v less than 1173?
False
Suppose 0*v - 4*h - 596 = 5*v, -216 = 2*v - 4*h. Let k = v - -117. Which is bigger: k or 3/209?
k
Let h = -7 + 13. Let v = h - 3. Let j be (-140)/100 - (0 + -1). Which is smaller: j or v?
j
Let y be 206/222 - 2/6. Let i = -197720 - -197721. Which is bigger: y or i?
i
Let m(v) = -7*v**2 - 6*v - 4. Let w be m(-2). Let o = w + 17. Let i be (o/16)/(21/(-28)). 