et p be a(17). Is -12/259 >= p?
True
Let h(t) = -2*t**2 - 4*t - 2. Let n be h(-2). Let l = -1307 + 2154. Let r = 5919/7 - l. Is n > r?
False
Let w be (0/1)/(-3 + -2 + 4). Which is greater: 1/66 or w?
1/66
Let o be (-50)/6 + (-8)/(-6) + -2. Let x be 0/o - 5*5. Which is smaller: -24 or x?
x
Let r(a) = a + 31. Let u(k) = k + 15. Let o(h) = -2*r(h) + 5*u(h). Let s be o(-4). Is s greater than or equal to -3/47?
True
Let j = -474.7 + 496. Let d = 18 - j. Let p = -2.1 - d. Are 2/3 and p non-equal?
True
Suppose u + 45*n - 1634 = 46*n, -6506 = -4*u - 2*n. Is 1628 at most as big as u?
True
Let a be (-12)/30*1 - (-117)/5. Let i(n) = 2*n**3 - 5*n**2 + 5*n - 2. Let d be i(3). Is a <= d?
False
Let p = 9/958 - 18065/36404. Let g be -2 + ((-99)/19)/(-3). Let l = p + g. Is l >= -0.1?
False
Let x be (3 + -2)*(7 + -6). Let m be x/((-4)/(-48)) + 2. Which is greater: 1 or m?
m
Let b = 166.27 + -167. Let h = -0.43 - b. Let n = 3/44 - 127/572. Which is greater: h or n?
h
Let f be (9 + (-192)/21)*4/22. Do 1 and f have the same value?
False
Let z be (132/95568)/((-1)/6). Is z at least as big as 0?
False
Let o be (-580)/174*51/9. Is -18 at most o?
False
Let k be -7 - -10 - (1 - (-6776)/2021). Let g = k - -60/43. Do -1 and g have different values?
True
Let v = -3.9 + 4. Suppose 161 = 11*a - 48. Is v at most as big as a?
True
Let o be (7 + -8)/((-2)/(20/(-25))). Is o at least as big as -77?
True
Let s = 0.62 + -0.24. Let w = s + -0.18. Suppose 0 = -12*n + 16*n. Which is smaller: n or w?
n
Let h = 2645 - 2659. Which is bigger: 4/27 or h?
4/27
Let w be -135 + 2 - (0 + 5). Which is bigger: w or -555/4?
w
Let o be (-4)/2*6162/65. Which is greater: o or -190?
o
Let n = -53546 + 1820399/34. Which is bigger: n or -6?
n
Suppose 12*j = 11*j - 6. Which is smaller: -4 or j?
j
Suppose 2*x = -n - 16 + 4, -5*n - 10 = 0. Let m be 2/x + (-17)/(-5). Let p be -1 + -1*8/m. Is p at most as big as -4?
False
Let x(s) = s**3 + 9*s**2 + 15*s - 7. Let n(m) = -m - 1. Let q(g) = -2*n(g) - x(g). Let v be q(-7). Let o be 33/15 - (1 - 1). Are o and v equal?
False
Let h be (-3)/30 + (-2)/(-4). Let j = -25 + 25. Suppose j = -65*l + 68*l. Is l at least h?
False
Let y be 1*(0 + 0)*1/2. Let v be 2 - (-2 + y + 9/3). Let t be (-4)/14 + (-10)/14. Which is smaller: t or v?
t
Let q = -615496/70695 + 202/1571. Let l = q - -92/15. Are -1 and l non-equal?
True
Suppose -c = -4*a + 96, 4*c - 93 + 438 = 3*a. Which is greater: -83 or c?
-83
Let p(y) = -y**3 + 3*y - 1. Let h be p(2). Let c = 46 + -68. Let d = 23 + c. Is d greater than h?
True
Let u = -74 - -74. Which is smaller: u or 2/1709?
u
Let x = 289.842 - 290. Which is greater: -1 or x?
x
Let m be 1/(-14)*5*(94 + -144). Which is smaller: m or 19?
m
Let k be 52/20 + (-4)/(-10). Suppose 7 = 2*d + k. Let s be (-14)/(-1) + d/1. Which is smaller: s or 17?
s
Let b = 59 + -62. Which is smaller: b or 2?
b
Suppose -3*a - 141 = 5*l, -2*l + 243 - 29 = -4*a. Does -54 = a?
False
Let q be (-15)/10 + (-207)/(-114) + -1. Is q smaller than -2?
False
Suppose -3*t + 2*k + 16 = t, -2*t + 2*k + 6 = 0. Suppose 5*j + o + 5 = 3*o, -5*j - t = -5*o. Let s be 3/(-13)*(-8)/(-3). Are j and s nonequal?
True
Let b be (-152)/9*87/58. Are -24 and b unequal?
True
Let g = -631 - -1638. Which is smaller: g or 1008?
g
Let k = -5.97 - 30.13. Let p = -36 - k. Let h = 0.3 + -0.5. Which is bigger: p or h?
p
Let c = -104.4 + 101.4. Let d be -1*(2 + 5/(-3)). Which is smaller: d or c?
c
Let v(r) = -r**3 - 2*r**2 + 2*r + 4. Let s be v(-2). Suppose s = -2*d + 8, -k + d + 23 = 0. Is 27 at least as big as k?
True
Let z = 73 - 22. Let m = z + -44. Which is smaller: 11/2 or m?
11/2
Let p be 84/(-49) + 2/(-7). Let t be -2 - p/(28/46). Let z = t + -20/21. Which is bigger: 0.02 or z?
z
Let m(k) = k**3 + 7*k**2 + 6*k + 3. Let f be m(-4). Suppose 6*q + 21 + f = 0. Are -5 and q non-equal?
True
Let r = -7 + 8. Let m = -11 + r. Is -2/9 less than or equal to m?
False
Suppose -3*y + 0*y - 4*p + 4 = 0, 0 = -3*y + 5*p - 5. Let m be (1 - y)*(5 - 6). Which is smaller: m or 3?
m
Let v = 47/30 + -9/10. Let x = -11.9 - -13. Let w = x + -0.3. Are w and v non-equal?
True
Let d be 6*(-16 + 11 - (-58)/(-6)). Is -89 <= d?
True
Let s = 8 - 10. Let z be (-10)/(4/4*s). Let i(f) = f**3 - 5*f**2 - 2*f + 1. Let k be i(z). Is -8 less than k?
False
Let x be 2 + (2/(-7) - 2/(-7)). Let i = -89/2 - -45. Which is bigger: i or x?
x
Let c = -1.7 - 0.3. Suppose 7*f + 2 = 8*f. Which is greater: f or c?
f
Let u(v) = -2*v + 1. Let y be u(-1). Suppose 2*q = 3*h + 12 - 2, 3*q = -y*h. Suppose -3*n + q*o = -0*n + 2, o = n. Which is greater: -3 or n?
n
Let k be 111/3*1/(-1). Let b be (-2 - -1)*k + 3. Which is greater: 39 or b?
b
Let f be 3 + -5 - (-195)/3. Let a be (-8)/(-28) - 32/f. Suppose 2*q + 8 = 4*q - 4*n, -2*q + 12 = -2*n. Are q and a equal?
False
Let w(f) = f**3 - f**2 - f - 4. Let z be w(0). Let n be (-40)/(-22) + (-14)/(-77). Suppose n*y = 0, -y = 2*x - 3*y. Which is smaller: z or x?
z
Let b be 10/(-9)*-15*9/6. Suppose 18*v - 189 = b*v. Does v = -27?
True
Let n = 12727/150 - 254/3. Which is smaller: 0 or n?
0
Let m be (-44)/55*(-2)/4. Let g = 464 + -457.98. Let r = g + -6. Which is smaller: r or m?
r
Suppose 12*d - 556 - 2072 = 0. Suppose 217*h = d*h - 6. Is 24/13 != h?
True
Suppose 5*d = -2*x - 11, -9 = 4*x + 3. Let k(j) = -j - 7. Let u be k(-11). Let v = 1 - u. Which is greater: v or d?
d
Suppose 8*h - 6*h = -80. Is h not equal to -40?
False
Let g = -20 - -8. Let a(h) = -h**3 - 13*h**2 - 13*h - 5. Let b be a(g). Let f be (-34)/(-4) - 5/10. Are b and f nonequal?
True
Let x = -222 + 222.1. Let c be -1 - -23*1/25. Which is smaller: x or c?
c
Suppose 9*v = -203 - 364. Is v less than or equal to -125/2?
True
Suppose -3*z + 0 = 3. Let f = 23 - 10. Suppose 0 = -2*x - 0*x + 3*o + f, -2*x - 22 = 4*o. Is z at most x?
True
Let h = -1.1 + 0.1. Let y = -11/9 + 119/90. Are h and y equal?
False
Let p be (-320)/12*(-27)/18. Which is bigger: 38 or p?
p
Let w = 67.2 - 67.15. Do w and 10 have the same value?
False
Suppose 2*p + 52 = 6. Let d = p - -32. Is d less than 9?
False
Let k(t) = -t**3 + 5*t**2 + 5*t + 8. Let y be k(6). Let l = 14 + -10. Suppose 3*b = -3*i - b + 23, 31 = l*i + 5*b. Is i greater than y?
True
Let y(m) = 2 - 4 + 4*m - 5*m + 2*m. Let z be y(5). Do z and -2/9 have the same value?
False
Let c = 69.888 - -0.112. Let p = -70.1 + c. Is p equal to -0.38?
False
Let c = 694 + -674. Which is smaller: c or 23?
c
Let l be (15 - 21) + (-2176)/(-2538)*7. Is 0 at most l?
True
Let l be ((-135)/6)/(1/(-6)). Suppose 10*x - x = l. Is 15 equal to x?
True
Let v(y) = 3*y. Let l(a) = -a**3 - 9*a**2 + 10. Let w be l(-9). Let i be ((-4)/w)/(7/(-35)). Let m be v(i). Which is bigger: m or 5?
m
Suppose -21*q = -5*q - 2192. Do q and 138 have different values?
True
Suppose -34*r + 32 = m - 37*r, r + 22 = m. Let f(z) = z**2 - 4*z - 3. Let b be f(-3). Are b and m non-equal?
True
Suppose -4*t - 34 = 2. Let q be 2/t - (-7)/21. Let p = 2.9 + -3. Is q > p?
True
Suppose 0 = 54*u - 57*u - 5*w + 19, 5*u = 4*w - 30. Suppose 5*p - 2*s = p, -2 = -3*p + 2*s. Do p and u have the same value?
True
Suppose 1225 = 11*r - 161. Is r > 127?
False
Let u = 2019 + -1592. Which is smaller: u or 0.1?
0.1
Let r = -873 - -873. Do -2/7 and r have different values?
True
Let m = -1092 + 1063. Which is greater: m or 3?
3
Suppose -4*u = 2*u + 258. Let v = u - -61. Which is bigger: v or -1?
v
Let r be 448/(-336)*27/(-4). Suppose 5*h + 48 = b, 3*h - 2*b + 20 = -13. Let q = 19 + h. Is r at least as big as q?
False
Let r = -55 + 141. Let f = r + -63. Which is bigger: 0.1 or f?
f
Let k(a) = a**2 + a - 14. Let j be k(0). Let i = -145.8 - -146. Which is greater: j or i?
i
Let o be 13 + (-1 - 2) - 3. Let r = 7 - o. Suppose -18 = 5*m - 4*l - 44, 0 = -3*m + l + 10. Is r at least as big as m?
False
Suppose -3 = 3*t + 6. Let h = 0 - t. Let a be 3/(-4 + h - 0). Which is greater: -3/4 or a?
-3/4
Suppose 0 = -2*o - 2*g - 6, 2*g + 2*g + 12 = -3*o. Is o < -2/95?
False
Let d(z) be the third derivative of -z**6/120 - z**5/15 - z**4/12 + z**3 - 2*z**2 - 2*z. Let x be d(-3). Which is greater: 5/3 or x?
x
Let f be 0 + -2 - (-20)/(-4). Let i be -1*30/35*f/(-25). Is 1 <= i?
False
Let c be (-1)/((-4)/12) + 0. Suppose 0*r - 15 = -c*r. Suppose 0*f - r*f = 4*x + 13, 5*f = -3*x - 11. Is f at least -1/6?
False
Let c(x) = x**3 -