51?
y
Let d = -351.3532 + 0.3532. Which is smaller: d or -0.2?
d
Let q = -6.66 + -20.34. Which is bigger: -3.3 or q?
-3.3
Let x = -6651 + 6680. Which is greater: x or -0.06?
x
Let r = 21088 + -29511. Which is greater: r or -8422?
-8422
Let y be ((-3)/7)/(432/(-126)). Is y <= 159?
True
Let j = 2/1443 - 33205/11544. Let u = -2025 - -2022. Which is greater: j or u?
j
Let j = -17957.3 + 20830. Which is greater: 1 or j?
j
Let h be (-4)/(-48)*152/(-171). Is h greater than 0?
False
Let z = 9.76 - -1.34. Let m = z - 11. Let o = 2348 + -2348.1. Is o != m?
True
Let g(z) = -z**3 - 21*z**2 + 11. Let v be g(-21). Suppose 20*q = v*q + 639. Let w = q + -1061/15. Which is smaller: w or 0.1?
0.1
Let f = -1.12 + 1.14. Let z = -23.45 + -1.75. Let a = z + 25. Do f and a have the same value?
False
Suppose -2*f - 492 = -650. Is f at most as big as -9?
False
Suppose 4*o - 203*y - 17 = -208*y, -3*o - 6*y + 6 = 0. Is o smaller than -19?
False
Let w be (-294)/8*(-560)/105. Let t = w - 279. Is -85 at most as big as t?
True
Suppose -192 = 6*f - 678. Suppose 0 = -3*w + d - 4*d + f, -w - 5*d = -43. Let g = 2 + -3. Which is greater: w or g?
w
Let c(j) = j**3 + 6*j**2 + 6*j + 6. Let g be (2 + -3)*(-4 - -8) + -1. Let y be c(g). Let p = -107 - -88. Is y less than or equal to p?
False
Let v = 6689.1 + -6689. Suppose -5*k - 493 = 4*o, -4*k + 2*o - 416 = -2*o. Which is smaller: v or k?
k
Suppose -4*y - 4*j = -64, 0 = -3*y + 5*j - 6*j + 44. Let u be ((-36)/y)/((-93)/3038). Which is smaller: 86 or u?
u
Let y(k) = k**3 - 18*k**2 - 4*k. Let f be y(18). Let i = 156 - 232. Which is smaller: i or f?
i
Suppose -u - 9831 = 616*j - 614*j, -5*j - 4*u = 24585. Which is bigger: -4914 or j?
j
Let t = 0.1 + 0.9. Let w(z) = 2*z**2 - 46*z + 94. Let m be w(21). Let k be (-414)/(-24)*m/45. Which is smaller: t or k?
t
Let d = -5 + 14. Let w be (-6)/(2*(-1)/(-4) + (-110)/140). Let v be (d/28)/((-18)/w). Is 2 at most as big as v?
False
Suppose 6*b - 36 = b + 4*n, -5*n + 5 = 0. Let u be ((-3)/(-2))/((-3)/b). Let d(f) = f**3 + 75*f**2 + 210*f - 441. Let r be d(-72). Is r > u?
False
Let x(w) = -9*w - 13. Let t be x(-2). Suppose 5*m = t*g - 240, m - 5*g = -g - 33. Let q be m/2 + 0 - 8/16. Which is smaller: q or -25?
q
Let v = -5855 + 4642. Which is smaller: 1/4 or v?
v
Suppose -5*o - 6*o - 2277 = 0. Let i be -18*(-7 + (-88)/(-12)) + -201. Is o less than i?
False
Let f = 4.397 + 8.603. Is -6/77 less than or equal to f?
True
Suppose 74*a - r = 69*a - 5, -2*r = 3*a - 10. Which is greater: a or -3/2219?
a
Let j = -2.923 - -2.3. Let m = j + 0.623. Is 22.8 greater than or equal to m?
True
Let k be (-49)/35*88410/(-462). Are 268 and k non-equal?
True
Let m(k) = -4*k**2 - 135*k + 1591. Let y be m(-43). Let o be (-2)/17*5/(-1). Is y less than o?
True
Let q(c) = 23*c - 2. Let p(k) = -11*k + 1. Let s(j) = 13*p(j) + 6*q(j). Let z be s(-11). Let d be (-80)/z*12/(-10). Which is smaller: 1 or d?
1
Suppose 6 - 7 = 16*i - 1. Let n = -3/379 + 469/155011. Is n greater than i?
False
Suppose 0 = -173*b + 34*b + 1529. Let d = 8 - -8/3. Is b < d?
False
Let p be ((-360)/(-1575) - (-4)/7)/((-60)/(-25)). Which is smaller: p or 5075?
p
Let u(o) = 15*o**3 - o**2 + 2*o - 2. Let y be u(1). Let v be (21/y)/(1/10). Let q = 46 - v. Is 31 equal to q?
True
Let t be (-5 + 5)/(-2 - (2 + -5)). Let n(b) = -b - 48. Let o be n(-15). Let p = o + 34. Which is bigger: p or t?
p
Let s(q) = q**2 - 6*q - 76. Suppose 7*f = -475 + 433. Let g be s(f). Which is greater: g or -45/11?
g
Let j(g) = -2*g**2 - 10*g + 36. Let o = -147 + 139. Let m be j(o). Which is greater: m or -1/3?
-1/3
Let f = -15189084/371 - -40941. Are f and -1 equal?
False
Suppose 2*o - 14*x = -13*x - 7, 0 = 5*x - 5. Suppose 46 = 5*y + 4*m, -4*m + m = 4*y - 36. Which is bigger: o or y?
y
Let b be (-36)/132 - (-28548)/132. Which is greater: b or 1509/7?
b
Let h = 49.098 - 0.098. Let g = 3347 + -3350. Is g > h?
False
Let q be 17 + -3 - -8 - -4. Suppose -32 = -q*p - 6. Is -82 greater than p?
False
Let r = -170 + 246. Suppose 0*i = -3*z - 5*i - r, 168 = -5*z + 2*i. Is z < -30?
True
Let f = 115.8 + -44.9. Let j = -68 + f. Let t = j - 2.84. Which is bigger: t or 2/5?
2/5
Suppose -16090*r - 245 = -16087*r + 4*d, 2*r + 186 = 3*d. Let l = -0.1 + 0.2. Does l = r?
False
Let h = -34.049 + 0.049. Let f = 33.91 + h. Let o = -0.29 - f. Which is greater: o or -0.1?
-0.1
Let j(c) = 690*c**2 - 22*c + 54. Let f be j(2). Which is bigger: f or 2769?
f
Let f = 802 - 551. Let r = f + -342. Is r at least -95?
True
Let j = -1103.9 - -1104. Which is greater: j or 4594?
4594
Let g = 2748 + -2747. Which is smaller: g or 1/2433?
1/2433
Suppose 1 = 3*i + 1. Suppose 0 = -3*c - 2*r - 152, i = 3*c - 7*r + 5*r + 172. Let t be (-3)/c*(0 - 4). Is -7 at least t?
False
Suppose 0*c + 2*c - 32 = 0. Let x = c + -4. Let s be 2 - (9/(-18))/((-1)/x). Which is smaller: s or -3?
s
Let x(d) = -116*d - 246. Let t be x(-31). Is 3350 bigger than t?
False
Let c be (-4)/(0 - -20) - (-10 + 37848/(-10)). Does 3794 = c?
False
Let r = -18.407 + -3.723. Let m = -0.35 + 22.35. Let g = m + r. Which is smaller: 1 or g?
g
Let f = 31715/6 - 5429. Which is smaller: f or -144?
-144
Suppose -5*i - 11 = -3*r, 0 = 5*r + 5*i + 10 + 25. Let n(f) = f + 5. Let b be n(r). Suppose -b*j - 32 = -20. Is j greater than or equal to -0.1?
False
Let h(r) = 15*r + 16*r + r**2 - 24*r + 4 - 3 - 10. Let x be h(1). Which is smaller: x or 5/27?
x
Let s = 208.03 - 208.4. Let b = -0.02 - -0.09. Let t = s + b. Which is greater: 0.8 or t?
0.8
Suppose 136*p = 44*p. Let m = -29725/17 - -1748. Is p bigger than m?
True
Let j(s) = 37*s - 1. Let b be j(1). Suppose 205*o + 468 = 214*o. Let q = o - b. Is 16 at most as big as q?
True
Let o = 14499.74 - 14500. Which is smaller: o or 34?
o
Let n be (-2)/(2/1005) + -3. Let u = -9050/9 - n. Let c = -57 + 58. Is c > u?
False
Let w = -22950 + 27333452/1191. Do w and -1 have different values?
True
Let r = 27 - 36. Let j be (2 + r/2)*-2. Suppose -4*f = -j*f + 4. Is f at most as big as -3?
False
Let c = -737 + 375. Let o = 723/2 + c. Which is smaller: o or 0.32?
o
Let o = 26 - 126. Let z = 99.999 + o. Let g = -0.099 + z. Which is smaller: g or -19?
-19
Let u = -25213 - -25212. Let p(l) = -3 + 8 - l - l**3 + 5*l. Let d be p(-4). Is d <= u?
False
Suppose 234*k - 273*k + 646113 = 0. Is 16566 >= k?
False
Let o = 25 + -273. Let f = -1738/7 - o. Is 47 at least as big as f?
True
Suppose -124 = -450*q + 326. Which is smaller: 3/6529 or q?
3/6529
Let s = 36255/2 + -18127. Which is smaller: 3291 or s?
s
Let v be 4*(-1)/(1 - 2). Suppose -x + 12 = -5*x, -v*x - 28 = -2*g. Let z be (-56)/(-12) - (-3)/(9/(-15)). Are z and g equal?
False
Suppose 154*s - 762*s = -10305 - 17663. Suppose -4*a + 0*a = -180. Is a greater than or equal to s?
False
Suppose 13*l = 7*l + 24. Suppose -4*w - 7 = -l*q - 3, -45 = 5*q + 5*w. Let v be q/18 + 5 + (-692)/(-36). Is v bigger than 24?
False
Let y = -72407/5 + 13105022/905. Which is smaller: y or -1?
-1
Suppose 0 = 4*x + 8 - 144. Suppose x*g - 33*g = -1. Let l be ((-3 - 0) + 4)*g. Is l less than or equal to -22?
False
Let v = -19 - -21. Suppose 3 = -i + v*g + 3*g, 5*i = -2*g + 12. Let f be 210/4 + 4 + (-1)/i. Is 55 bigger than f?
False
Let t = 23163 + -66967/3. Which is bigger: 842 or t?
842
Suppose 2587*k = 2535*k. Is k < 1/99?
True
Let j = -403/15 + 15712/585. Is -2/11 at most j?
True
Let x(z) = 5*z**2 + 6*z + 38. Let a be x(-10). Let u be a/112 + 25/(-200) - -4. Is 7 less than u?
True
Suppose 2*j = -8 + 18. Let b be -2*4/2 - (-1 - j). Is 44/15 at most as big as b?
False
Suppose 18 = 2*o + 2*c, 4*c + 6 - 2 = o. Suppose 4*l = l - o*l. Which is smaller: l or -1/259?
-1/259
Let v = 874749/358 + -4887/2. Are 0 and v equal?
False
Let s = -891.471 - -891. Do s and 2/3 have the same value?
False
Let d = -1.43695 + 0.13695. Which is greater: -26 or d?
d
Suppose -10*a + 9*a - 145 = 0. Let l be -3 + 0 - (6 + a/15). Let v = 55 + -35. Which is smaller: l or v?
l
Let i(z) = z**2 + z. Let y(c) = -2*c**2 - 22*c + 11. Let v(o) = -i(o) - y(o). Let g be v(-22). Which is smaller: g or 1.3?
1.3
Let u = 112 + -40. Let p = 40 - u. Let b = p - -33. Which is greater: b or 2/89?
b
Let f = 3153 + -3152.57. Which is smaller: f or -14?
-14
Let p = -5520 + 5733. Which is bigger: p or 857/4?
857/4
Suppose -8*w = 662 - 1432 - 6670. Is 930 bigger than w?