r?
r
Let x(u) = 3*u + 4. Let l be x(-9). Is l at most as big as -20?
True
Suppose 0 = -4*i - 16, 5*n - 43 = -3*i + 45. Let y be 1*-4*15/n + -7. Is y at least as big as -11?
True
Let t(p) = -p**2 + 26*p - 134. Let i be t(19). Which is greater: i or 120?
120
Let g = -35.1 - 0.9. Let n = -43.1 - g. Let s = n + 7. Which is bigger: s or 1?
1
Let a = 33 + -33.46. Let w = a - -0.46. Which is smaller: -2/3 or w?
-2/3
Let f = -63 + 39. Let z be ((-8)/f)/(1/(-57)). Let u = -2 + 2. Is z at least u?
False
Let s = 57.9 + -35.9. Is -6 not equal to s?
True
Let f = 1130 - 1131. Is 6/37 != f?
True
Let n = -1/673 + -14801/3365. Which is smaller: n or -4?
n
Suppose -2*h - 4*m - 47 - 69 = 0, -183 = 3*h + 3*m. Let o be ((-4)/18)/(h/48). Are -15 and o unequal?
True
Suppose 3*r = l - 12, 3*r + 39 = 2*l + 2*l. Let o = 5 - l. Let i be 25/20 + 2/(2*-1). Is i at most o?
False
Let x(a) = a. Let s(c) = 4*c - 2. Let k(l) = -s(l) + 3*x(l). Let t be k(0). Let g be 10/(-9)*9/(-15). Is g > t?
False
Let t be (-4)/(-2) - 310/135. Let z = 1/27 - t. Is z at least as big as -3?
True
Let a = -265/56 - -7733/1624. Is a < 0?
False
Let b be (-11)/((-66)/270)*4/(-5). Is b less than -42?
False
Suppose -y - 4 = 4. Let b(m) = -m**3 + 7*m**2 - 11*m + 21. Let i be b(6). Is y <= i?
False
Let d = 255/2 + -495/4. Which is bigger: 0 or d?
d
Suppose -2*j + 6*j - 16 = 0. Suppose -4*a + 16 - j = 0. Suppose 51 = -10*v + 61. Which is greater: v or a?
a
Let z be (7/(-2))/((-3)/(-6)). Let y = z + 12. Let r(f) = -f**3 - 24*f**2 - 23*f + 464. Let j be r(-22). Are j and y non-equal?
True
Let x = 4 + -4. Let k = 429 - 10722/25. Which is bigger: x or k?
k
Let j be -2 + 2 + (-2 - -23). Let x = 9 - j. Suppose -4*w - 54 = 8*a - 10*a, -4*a = -w - 17. Which is greater: w or x?
x
Let c = 0 - 0.3. Let s = -4356 + 4355. Is c < s?
False
Let c = -72 - -176. Is 105 at most c?
False
Let i = 134 - 44. Let t = -98.9 + i. Let b = t - -9. Is b bigger than 2/7?
False
Let r be (-1012)/(-957) + 2/(-6). Is r <= 0?
False
Let c(w) = w**2 + 2*w**3 + 2*w**2 + 2*w + 4 - 3*w**3. Let n be c(3). Let f = -6 + n. Which is smaller: 6 or f?
f
Let h = 0.3 - -1.66. Let a = 0.26 - h. Let c = 0.3 - a. Do c and 2 have the same value?
True
Let c = -1.042 - -0.042. Is c > -4.5?
True
Suppose 0 = -18*p - 577 + 181. Let g be (-18)/180*(211 - -1). Which is greater: p or g?
g
Let b be ((-14)/12)/((-2)/18). Does 10 = b?
False
Suppose -308 = -3*h + s + s, 4*s = 4*h - 404. Let r = h - 964/9. Is -2 > r?
False
Let o be (192/200)/(5*6/5300). Are 171 and o equal?
False
Let s = 4.01 - 4. Let r = 9.99 + s. Let a = r + -9. Which is greater: a or -2/63?
a
Let o = 194.7 + -195. Do -24 and o have the same value?
False
Let f = 9 + -24. Let r(s) = 2*s + 12. Let k(y) = y + 6. Let p(w) = -5*k(w) + 3*r(w). Let d be p(f). Which is bigger: d or -10?
d
Let a be ((-108)/10)/(6/(-20)). Let r be -12*3*4/a. Let u be (r/2 + 2)*-1. Is 5/4 bigger than u?
True
Let w = 978951665/48479772 + 7/153417. Let d = 114/79 - w. Which is smaller: d or -20?
-20
Let l = -11 - -16. Let b be l/5*(-2 + 1). Let u = -0.03 - 0.17. Which is bigger: b or u?
u
Suppose -15*w - 8 = -14*w. Let o be ((-15)/10)/(6/w). Which is smaller: o or 8/5?
8/5
Let g = -132 + -114. Is -247 at least as big as g?
False
Let i = -367 + 258. Which is smaller: -108 or i?
i
Suppose 147 = 2*j + 11*c - 14*c, 4*c = 3*j - 218. Are j and 65 nonequal?
True
Let g = -627 + 620. Which is smaller: 5 or g?
g
Let t(k) = -k**2 + 2*k + 7. Let q = 7 - 14. Let i be t(q). Let f = i - -618/11. Is 0 bigger than f?
False
Let s(h) = -h - 1. Let p(q) = -q**3 + 8*q**2 - 4*q + 1. Let z(a) = -p(a) + 4*s(a). Let l be z(7). Which is greater: -53 or l?
-53
Let a be 1/(-8)*(-36)/54*-147. Is -13 at least as big as a?
False
Suppose -6 = -3*l - 18. Let k = -2.883 - 0.117. Which is smaller: l or k?
l
Let w = -14.1 - -1.1. Let t = -2133.4 + 2133. Which is greater: t or w?
t
Let l(v) = -5*v**3 + 6*v**2 - 13*v - 2. Let r be l(-9). Suppose 4*s - r = 182. Let y = 8877/8 - s. Which is bigger: y or 3?
3
Let a(p) = -p**3 - 23*p**2 + 30*p + 6. Let g be a(-24). Let r = g + 138. Which is greater: r or 1/51?
1/51
Suppose -5*l - 4*m + 254 = 0, 2*l + 3*m - 81 = 15. Let r = l - 59. Which is bigger: -4 or r?
-4
Let y be ((-14)/35)/((-1)/(-65)). Let j be ((-14)/4)/(13/y). Suppose k + 4*o - 6 = -k, -k = -2*o - j. Which is smaller: k or 0?
0
Let a = -8 - -20. Is a >= 12?
True
Let a be -4 - -6 - (-1258)/(-187). Which is smaller: -5 or a?
-5
Let j = -2 - -8. Let x = j - 4. Let u be ((-20)/(-280))/((-1)/(-4)). Is x smaller than u?
False
Let p = -626/3 + 209. Do -190 and p have the same value?
False
Let i be 1 + 0 + 1158/(-18) + 6. Let d = i - -57. Which is smaller: -27 or d?
-27
Suppose 7*f - 43 = -8. Suppose -3*w = -f*v - 15, 5*v + 6 + 9 = -3*w. Is v less than or equal to -5/3?
True
Let p = -22 + 12. Let l = p + 11. Let j be -2 + 0 - 1*-6. Which is greater: j or l?
j
Suppose -2*n = 3*n - 15. Suppose -3*f = 5*q + 6, 0*f - n*f - 6 = -4*q. Let g = 116/69 - 1/69. Is q less than or equal to g?
True
Suppose -25 = 5*o - 220. Let c = 47 - o. Let j(n) = 7*n - 1. Let p be j(1). Is c less than p?
False
Let o(u) = u**3 + 12*u**2 - 9*u + 26. Let l be o(-13). Let h be (-70)/2 - -3 - -1. Let f = h - l. Is f at least as big as -5?
True
Let z = -6.8 - -58.8. Let l = 83 - z. Which is smaller: l or 0?
0
Let o be (10*(4 + -5))/(-22). Are o and -1 equal?
False
Let p = 84 + -48. Suppose 5*g = g - p. Let a = g + 1. Which is greater: -10 or a?
a
Let u(j) = -7*j**2 + 4*j + 2. Let i(m) = 22*m**2 - 13*m - 6. Let r(b) = 2*i(b) + 7*u(b). Let z be r(1). Which is smaller: z or -2/27?
z
Let j = -480083/7 + 68413. Let o = 170 + j. Does 1 = o?
False
Let r(b) = b**3 - 7*b**2 + 7*b - 5. Let k be r(6). Let m = k + 10. Let s = m + -11. Which is bigger: s or -4/11?
s
Suppose h = 4*g - 2, -3*g + 4*h + 8 = -2*g. Which is bigger: g or 23/25?
23/25
Let g be (-1700)/360 + 4/18. Let v = 10 + -6. Suppose 0 = -3*r - v*u - 27 - 8, -3*r + 3*u = 0. Which is smaller: r or g?
r
Let j = -701 + 1138. Is 1 greater than or equal to j?
False
Let j = 53.196 + 0.204. Let i = j + -53. Which is smaller: 1 or i?
i
Let p = 0.053 + 65.947. Let f = 7253 + -7253.1. Is p greater than f?
True
Let m be 1*(-6 + (8 - 3)). Which is smaller: m or -11/51?
m
Let m(w) = w**2 + 4*w. Suppose -5*f + 2*g - 3*g = 23, 0 = -5*f - 3*g - 29. Let j be m(f). Is -0.3 bigger than j?
False
Let j = 321 - 332. Which is bigger: -6 or j?
-6
Suppose 15 = 3*o, -4*o = -3*z + 3 - 11. Let a be (((-112)/25)/z)/((-1)/5). Is 6 not equal to a?
True
Suppose 12 = 3*m, 6 = 3*u - 4*m - 2. Let w be (9 - 8)*1*2/u. Which is smaller: w or 3/10?
w
Let y = -10195/56 - -182. Is 0 less than y?
False
Let y = 73/21 - 10/3. Let d = -15 - -15.4. Let x = 1.6 + d. Which is bigger: y or x?
x
Let z be 4445/6*((-57)/42)/(-19). Let t = z - 53. Which is bigger: t or 1?
1
Let v(j) = -8*j - 171. Let l be v(-18). Is -190/7 at least l?
False
Let v be -11 - (-13)/(39/(-4941)). Does -1659 = v?
False
Suppose 4*j = -w + 2*j - 13, 2*w - 5*j + 53 = 0. Let q be (-3)/(-5) + (-6)/(-30)*-113. Let o = q - w. Which is smaller: -5/3 or o?
o
Let s = -44 + 44.68. Let c = 0.72 - s. Which is smaller: -2 or c?
-2
Suppose 0 = -5*s - t + 232, -146 = -3*s - 5*t + t. Let c = s + -28. Is 1 < c?
True
Let a(u) = -u + 1. Let t(o) = o**2 + 10*o - 25. Let f(l) = -2*a(l) + t(l). Let z be f(-14). Which is smaller: 1/6 or z?
1/6
Let o(l) = -l**3 - 3*l**2 + 3*l - 4. Let k be o(-4). Suppose k = -m + 3 - 6. Let z be (-15)/92 - m/12. Is -1 < z?
True
Let x = 8.8 + -64.8. Let g = x + 56. Which is smaller: g or 6?
g
Let t = 2563/3 + -854. Which is bigger: 0.68 or t?
0.68
Let h(y) = 37*y - 7. Let l(z) = 55*z - 11. Let p(k) = 8*h(k) - 5*l(k). Let w be p(-1). Which is greater: -24 or w?
w
Let w = -3.1 - -3. Let a be (48/5)/((-24)/160). Let b = 444/7 + a. Which is greater: w or b?
w
Let a = 483 - 482.9. Is a at most as big as 24?
True
Let g = -25.43 + 25.43. Which is smaller: 23.67 or g?
g
Suppose -40 = -5*n + 5*m, -4*n - m + 23 = -9. Let t = -17 + n. Let x be t/10 + 6/10. Which is smaller: -2/9 or x?
x
Suppose 5 = 5*d - 15. Let r be d*((-6)/4 - -1). Which is smaller: r or 3/20?
r
Let u = -482 - -409. Are -73 and u non-equal?
False
Let p = 95 - 662/7. Let x be (-16)/(-10)*(-20)/(-8). Suppose 1 = x*i + 5. Which is greater: i or p?
p
Let s(r)