= -2*r + 1. Let g be 95/85 + (-1)/p. Are g and l non-equal?
True
Let f = -205 - -179. Which is smaller: f or -30?
-30
Suppose -2*i = 3*i + 2*x, 0 = 5*i - 5*x - 35. Suppose i*p - 2 + 0 = 0. Let a(c) = -c**2 - 7*c - 10. Let w be a(-5). Which is greater: w or p?
p
Let d = -33 - -57. Let p = d - 13. Which is greater: p or 1?
p
Let v(w) = 53*w**3 - w**2 + w + 1. Let j be v(-1). Let p = -57 - j. Which is smaller: p or -22/7?
-22/7
Let z = -0.7 + -0.1. Let g = z - -1.8. Let h = 211/4 + -53. Which is bigger: g or h?
g
Suppose b - 2*d - 16 = 2*b, -2*d = -5*b - 80. Let a be (-6)/69*12/b*-2. Let u(r) = -r**2 + 8*r - 8. Let q be u(7). Is a less than q?
False
Let s be (-16)/28 + 1*6/(-14). Let y(b) = 2*b**2 - 2*b - 1. Let i be y(-1). Let w be s*0/(i - 1). Is w > 2?
False
Let k(i) = -i**3 + 80*i**2 - 81*i + 152. Let a be k(79). Which is bigger: a or 92?
92
Let a = -1230 - -1224. Which is bigger: a or 0.05?
0.05
Let g = -10 + 7.8. Let z = -3.3 - g. Let r = 1.2 + z. Which is smaller: -8 or r?
-8
Let q(c) = c**2 - c + 2. Let s be q(0). Let r be 0 + (-12)/9*(-2)/4. Which is smaller: r or s?
r
Let l be (-1 + 3)/(-3*(-6)/369). Let h = l + -41. Which is greater: h or 4/31?
4/31
Let j = 0.05 - 0.1. Suppose -2*y + 1 = -3*y. Let z be (-1)/(-27)*(y - -7). Which is bigger: z or j?
z
Let v be (12 - (-16644)/(-1386))*(-3)/2. Is -1 greater than or equal to v?
False
Suppose 17 = 3*p - 2*k + 5, 3*p = 3*k + 12. Is -1/2 equal to p?
False
Let s = 40 - 66. Is s greater than or equal to -27?
True
Let x be ((-12)/81)/(2 + (-204)/117). Let s = 646 + -29066/45. Let a = x - s. Which is bigger: a or -10?
a
Suppose 0 = 3*h - 7 + 1. Suppose -5*p - 2*q + 80 = 0, -h*p + 26 = -q - 15. Suppose -3*b = -2*c + 3*c + p, -b + 14 = -3*c. Which is bigger: c or -7?
c
Let l = -10894 + 3083012/283. Is l at least 0?
True
Let t = 21.48 + -1.5. Let x = t - 20. Is 3 less than x?
False
Suppose 1 = -9*g + 10. Suppose 2*s - 3 - g = 0. Which is greater: 9/4 or s?
9/4
Let w(t) = -2*t. Let u = -18 + 20. Suppose 5*z - 19 = 2*a, -3*a + u*z = 4*z. Let q be w(a). Is 4 not equal to q?
False
Let b be 18/(-63)*(-5 + -2). Suppose -b*h - 3*h = 0. Let l = 6 - 6. Is l bigger than h?
False
Let f = -9041/40992 - -5/672. Is f < -1?
False
Let l(r) = -110*r**3 + 2*r**2 - 9*r + 7. Let u be l(1). Are -107 and u non-equal?
True
Let i = -974729/10 + 97329. Let u = -144 - i. Which is bigger: 0 or u?
0
Let k = 1137 - 1137.1. Let g be 5/5 + 30/(-28). Which is smaller: k or g?
k
Suppose -3*o = -5*t + 1, 0*t = -2*t - 4*o + 16. Suppose -2*b = t*b + 4. Is -1 >= b?
True
Let q = -220 + 249. Which is greater: -3 or q?
q
Let d = 756 - 858. Suppose -3*h + 8*h = 0, -4*i + 2*h - 408 = 0. Do i and d have different values?
False
Let a be (-3 + (-5)/(-3))/(824/(-12)). Is -1 less than a?
True
Let x be (-14)/(-6) - 4/(-6). Suppose -x*p - 1 = -2*p. Let k be 6/(-104) - (-64)/208. Which is smaller: p or k?
p
Suppose -n = 4*n - 20. Which is smaller: 26/5 or n?
n
Suppose -2*j + 2*w = -0*j - 132, 5*w + 25 = 0. Suppose -65*t - 36 = -j*t. Which is smaller: t or -2/5?
t
Let j be -2*((3 - 476/8) + 3). Let k = -102 + j. Let o be (-1 + 2)/((-2)/(-12)). Which is greater: o or k?
o
Let l = -123 + 120. Let t = 13 + -8. Let y = l + t. Which is bigger: 1 or y?
y
Let q be (125/5)/5 - -2*1. Let n be -8 + q - (78/(-14) - -2). Are n and -1 unequal?
True
Let y = 66 + -26. Which is smaller: y or 45?
y
Let v = 32.984 + 0.016. Let i = v - 38. Which is greater: i or 0?
0
Let i be -1*((-1)/4 - (-35)/28). Let z be 4/14 + (-12)/483. Which is smaller: i or z?
i
Suppose -14*o + 17*o + 264 = 0. Let z = o + 115. Let b(h) = -h**2 - 11*h + 8. Let x be b(-9). Which is smaller: z or x?
x
Let g = -4.4 - -2.5. Let f = -0.15 - -0.05. Let i = f + g. Is i >= 0.03?
False
Let h be ((-25)/(-190))/((-7)/420). Is -8 less than or equal to h?
True
Let l be 1/(67/22 + -3). Let h = 12 - l. Let i be (-1)/(-5) - 8/h. Which is bigger: i or 4/11?
i
Let n = 115 + -69. Which is bigger: n or 1/2?
n
Let l be (-2 + -1)*-1*(-1)/3. Let c be (0 - 0)/(3 - 2). Suppose -q - 2*q = c. Which is smaller: q or l?
l
Suppose 2*o - 16 = 10*o. Let u be 316/(-288) + 16/72. Is u >= o?
True
Suppose 0 = -t - t + p + 9, -t = -4*p - 8. Let i be (-57)/(-18) - 1/6. Suppose -2*n = -8, t*n - 15 = -4*u + i*u. Which is greater: u or 2/15?
2/15
Let u = 5 - 3. Suppose -u*r = 3*x + 2*r - 12, 0 = 5*r - 15. Suppose 44 = -5*n - 2*k + 5, 2*n + k + 16 = x. Is n bigger than -8?
True
Let o = 0.32 - 0.53. Let v = o + 1.41. Let z = 0.3 - v. Do 2 and z have the same value?
False
Suppose -2*c = 3*c - 150. Suppose -g = -6*g + c. Suppose 6*k - 3*k - g = 0. Is 4/5 smaller than k?
True
Let g be 12*(1 + 6/(-8)). Suppose -2*x = g*m - 7*x - 25, -20 = m + 4*x. Is -1/44 bigger than m?
False
Let q be (-114)/110 + ((-16)/16 - -2). Let i = -7 + 6. Are i and q nonequal?
True
Let x(d) = 5*d - 4. Let y be x(4). Suppose 7*g - y = 19. Suppose g*u + 4 = 2*n - 3*n, -5*n - 5*u = 0. Is -0.6 at least n?
False
Let b be -4 + (1 - 0 - 215). Let o = b + 17220/79. Which is greater: o or 1?
1
Let n = -0.03 - 0.37. Let u = -20 + 15. Let q = 5.3 + u. Is q smaller than n?
False
Suppose -v - 6*v + 21 = 0. Suppose -v*p + p = 4. Let d be p + -2 - 52/(-14). Are d and -1 equal?
False
Let d(u) = 27*u - 5. Let v be d(12). Is 318 smaller than v?
True
Let n = 6 + 11. Suppose -3*u = 5*b + 73, -4*b - n + 2 = u. Let k = 28 + u. Is k < -16/7?
True
Let d = 1093 + -1092.4. Is d bigger than 9/2?
False
Let t = -4882 - -327100/67. Let h = t - 308/1943. Let x be 2/(-4)*(1 + 1). Is h greater than x?
True
Let d be (-9)/6 - ((-4819)/642 + 6). Is -1 less than or equal to d?
True
Let s(h) = h**3 + h**2 - 9*h + 1. Let w be s(-4). Let t(x) = x**2 + 13*x + 3. Let d be t(w). Is -19 smaller than d?
False
Let g = -499 + 1032. Which is smaller: 1 or g?
1
Let n(f) = f**3 - 11*f**2 - 14*f - 16. Let t be n(12). Is t not equal to -37?
True
Let o = 7/18 - 19/54. Let i be (-7)/((-7)/4) - (6 - 1). Which is smaller: i or o?
i
Let v = -152 - -492. Is 1016/3 < v?
True
Let g = -623 - -662. Is g bigger than -1?
True
Let u = 98.7 - 105. Let a = -0.04 - -6.04. Let m = a + u. Is m not equal to 1?
True
Suppose 10*h - 3*h - 4347 = 0. Let d be (-1 - -7)*(-18)/h. Is d equal to 0?
False
Let s be (-1)/(-38)*(-40)/10. Are s and 0.15 nonequal?
True
Let o = 0.06 - -1.94. Let k = 0.06 + -0.22. Let g = 0.16 + k. Which is smaller: o or g?
g
Let x be (-1 + (-217)/3)/(28/84). Is x < -220?
False
Let k = 18 - 18. Let f be k + (-1 - 2) + 4. Let n be 54/16 + -2 + -1. Which is greater: n or f?
f
Let r be ((-3)/(-2))/(165/(-62150)). Is -565 at least as big as r?
True
Let b = 0 - 0.1. Let g = 0.55 - -13.45. Let t = 21 - g. Is t greater than b?
True
Let l = 718 - 711. Which is smaller: l or 49/8?
49/8
Let c = 1012 - 508. Suppose -c = 4*s - 11*s. Suppose 2*n + 4*n + s = 0. Are n and -11 equal?
False
Let a = 2.35 + -2.55. Which is smaller: a or 72?
a
Let y = 0.27 + -1.97. Let j = -8.7 + 10.6. Let s = y + j. Is -0.02 <= s?
True
Let k = 104.7 + -104.8. Is -7.2 greater than or equal to k?
False
Let g = 0.37 - 3.77. Let a = 2.4 + g. Suppose -4*k - 16 = 2*r, 3*r + 12 = -3*k + 2*r. Which is smaller: k or a?
k
Let g = -15 + 5. Suppose -4*w - 11 = 5*j, 2*w = -2*j - j - 5. Let v be j - (12 + -2 + 1). Is v <= g?
True
Suppose -5*k + 4*t + 148 = 0, 45 - 153 = -4*k - 2*t. Is 219/8 >= k?
False
Suppose 33*k = 30*k + 468. Which is bigger: 154 or k?
k
Let w = 47/5 + -11. Let o(x) = x**2 - 3*x - 12. Let v be o(5). Is v < w?
True
Let k(m) = -m**2 + 4*m - 7. Let c be k(5). Let y = c + 11. Let x be (4/22)/(-2 - 0). Which is smaller: y or x?
y
Let r = 56 - 21. Let y = -34.8 + r. Which is smaller: y or -0.03?
-0.03
Suppose 5*k + 80 = k. Let v = -12 - k. Suppose 4*d - 8 = v. Which is smaller: 1/4 or d?
1/4
Suppose 0 = 5*y + r - 0*r - 7, -2 = 2*y + 2*r. Let h be (-4)/206*3/6*y. Which is bigger: -1 or h?
h
Let x be (-5)/(-60)*6/(-4). Suppose -148*k - 5 = -143*k. Which is smaller: x or k?
k
Let v(m) be the first derivative of m**4/12 - m**3/3 + m + 1. Let a(c) be the first derivative of v(c). Let n be a(2). Do n and -1/6 have the same value?
False
Let k = -100.907 - -0.907. Which is smaller: k or 4/7?
k
Suppose -1 - 41 = -3*x. Let a be (-7)/(x/(-8)) + 1. Suppose -a*m - 7 = -2. Which is smaller: m or -2/9?
m
Let z be 6/9 + (26/6 - 3). Which is smaller: 7 or z?
z
Let m