Let f = c - -85. Which is bigger: -6/29 or f?
f
Let b be ((-2)/(-6))/(2/(-6)). Let o = 102 - 52. Let v = -152/3 + o. Is b equal to v?
False
Let m(o) = 2*o**2 - 2*o - 2. Let a be m(2). Let p be 1 - (7 + -4 - a). Is p less than or equal to -8/7?
False
Let c be (-6)/(-5)*(-80)/12. Suppose 3*j = 5*j - 3*o + 29, 4*o + 48 = -4*j. Let l = c - j. Is 4 < l?
True
Let y(c) = -c + 5. Let m be y(4). Let g be (0/(-2))/((-1)/m). Let k be 0 - (-1 - -3)/4. Is k less than or equal to g?
True
Let j = -383549/7929 + -63/881. Let g = j + 226/9. Which is smaller: -24 or g?
-24
Let s = -0.043 + -1.157. Let a = s - -0.2. Let f be (-1 + -4)*2/25. Do a and f have the same value?
False
Suppose -5*l - 81 = -76. Let u be 4 + (-1712)/244 - -3. Is u equal to l?
False
Let t(a) = -a**2 + 2*a + 4. Let s be t(0). Suppose -s*r + 2 = -14. Let n be (-1)/r - (-30)/(-200). Is -2/5 less than n?
False
Let p be (3 + -18 + -3)/(-2 + 0). Are p and 58/7 unequal?
True
Let j be ((-6)/9 + 1)*6. Let x(r) = 3*r + 1. Let a be x(j). Are a and 7 unequal?
False
Let c = 8 - 13. Let v be -4 - 1/((-6)/(-18)). Let q be ((-42)/v - 24)/(6 + -1). Which is smaller: q or c?
c
Let s = -0.013 - 25.987. Let w = s + 27. Which is smaller: w or -5?
-5
Let i be -1 + (4 - 0) - -3. Suppose 0 = -2*n + 4*l - 34, -3*n = 2*l + 2*l + 51. Let c = n - -24. Which is smaller: c or i?
i
Let d = 1 - 0.96. Let f(z) = 2*z**2. Let a be f(-1). Suppose 0*m = 3*m + 3*p - 15, -a*p + 4 = -4*m. Is d < m?
True
Let d(i) = 5*i - 5. Let r be d(5). Let n be (2/r)/(39/104). Which is smaller: n or 1?
n
Suppose -1 = -y + 1. Suppose -4*x + 1 = b, -3*x = b + b - y. Which is smaller: b or 2/105?
2/105
Let l be -3 - (-3 - 30/5). Let p be (-17)/(-5) + l/10. Suppose -x - 3 = -p. Is 7 <= x?
False
Suppose -3*y + 5*y = -80. Let v be (y/(-12))/5*(-9)/6. Let g be (-6)/14 + 2/2. Which is bigger: g or v?
g
Suppose 2*v = -0*f + 5*f + 30, -5 = 5*f + 3*v. Suppose -3*o + 6 + 3 = 0. Suppose 0 = -t + x - 7, -t - x = -o*t - 12. Is f less than t?
False
Suppose -9*j - 6 = 3*i - 6*j, -2*i = j + 3. Which is smaller: i or -14/171?
i
Suppose 0 = -4*z + 3*h - 17, -2*z + 2*h = 63 - 53. Which is bigger: z or 146?
146
Let c = 705 - 2823/4. Suppose -o = 3*y + 11, 2*y + 2*o = 7*y. Are c and y equal?
False
Let t = -63.08 - -0.08. Let f = 61 + t. Let g = 7.4 + 0.6. Is g < f?
False
Suppose -3*s - 18 = 4*f - 4, 3*s - 3*f = 21. Which is bigger: s or -16?
s
Suppose -2*p = -4*b + 6, -5*b - 1 = -5*p - 6. Let a(m) = -m**3 - 3*m**2 + m - 1. Let g be a(b). Are g and -53/3 unequal?
True
Let x(a) be the first derivative of a**4 - 2*a**3/3 - a**2 + 4. Let b be x(-2). Let s be 208/b + (-8)/36. Which is bigger: s or -4?
-4
Suppose -5*k - 65*k = -490. Is 25/4 greater than k?
False
Let a be (-3)/9 - 0 - 24/9. Which is greater: 19 or a?
19
Let d = 32 + -22. Suppose -2*u + 6 = 0, u + d = 5*z + 23. Are -5/3 and z non-equal?
True
Let q be 1*(-3)/(9/6). Let x be (-1 - q)*14/3. Is 6 at most as big as x?
False
Let z = 58 + -38. Let p be -1 - (1752/z + -2). Let k = 87 + p. Is -3/8 != k?
True
Suppose x + 119 = -25. Let d be (-8)/x + ((-2)/(-12) - 0). Which is greater: d or 1?
1
Let o = 15 + -11. Suppose -5*s - 17 = o*z, 5*s = -z - 0*z - 8. Let d be (12/64*-9)/((-9)/(-12)). Which is smaller: z or d?
z
Let x be 23/3*(19 + 5410/(-280)). Are -1 and x equal?
False
Let d = -160 + 160. Suppose -5*q - 2*c = -c - 13, -q = 5*c + 7. Suppose -q*n = -n + 2. Which is smaller: d or n?
n
Let y = 4.93 + -4.83. Let l = 6 - -8. Which is smaller: l or y?
y
Let t = 5459/442500 - 11/708. Do t and 1 have the same value?
False
Let j = 13 + -13. Suppose j*t - 5 = 5*t. Which is bigger: t or 3?
3
Let h(g) = -169*g - 48. Let n be h(-1). Is n smaller than 365/3?
True
Let j be (-30 + 2)/(144/(-1864)). Let p = j - 362. Which is smaller: p or -1?
-1
Let o = -26 + 51/2. Let r = -262.62 - -262. Does r = o?
False
Suppose 5*v - 4 + 3 = l, 4*l + 4 = 0. Suppose -4*b - 17 + 5 = v. Let i be (-15)/(-44) - b/(-12). Which is bigger: i or 0?
i
Let b(r) = -10*r + 1. Let c be b(-1). Suppose -3*l + c = -2*x - 0*l, 3*l = 4*x + 13. Suppose 9*y = 11*y + 6. Which is greater: y or x?
x
Suppose -n = g + 22, -4*g + 9 = -7*g. Are -14 and n nonequal?
True
Let s = -1670 - -1668. Is -4 equal to s?
False
Suppose 0 = 5*v + 1925 - 820. Is -224 at least as big as v?
False
Suppose -2*u - 3*y - 17 = 40, 2*u - 4*y = -36. Let c = 22 + u. Let h(m) = -m - 10. Let z be h(-7). Is z bigger than c?
False
Suppose 0 = p - 2*p. Let g = 6 + -5. Suppose 2*m - 3*o + 4*o + g = 0, o = -3*m - 2. Which is bigger: m or p?
p
Let x = -196 - -189. Is x <= 2?
True
Suppose 4*i - 11 = v, i + 4*v = 2*i - 14. Suppose -4*b + i*n = 10, n - 20 = -2*b - 3*n. Let a(s) = s - 1. Let j be a(6). Which is bigger: b or j?
j
Let x(m) = m**3 + 36*m**2 + 36*m + 28. Let g be x(-35). Suppose 3*q - 3*f + 26 = -4*f, -q + 3*f + 8 = 0. Is q at least as big as g?
True
Let k = 10 + 7. Suppose -4*n - k = -13. Is n >= -2/21?
False
Let f = -27 + 18. Let c be f/(-3) - 37/13. Let u = 0.32 - 0.22. Which is greater: c or u?
c
Let k(m) = 3*m - 125. Let s be k(42). Is s bigger than -60?
True
Let y be 4368/14 + (3 - 0). Suppose -4*x + x + y = 0. Let v be x/(-6)*(-8)/(-10). Is v >= -14?
True
Let m(y) = 281*y - 19. Let g be m(4). Is 1105 at most as big as g?
True
Let y = -24 + 15. Let a be 65/(-13) + 3/(-3). Is y < a?
True
Let w = 801 + -10437/13. Let i be (2*-2 - (15 + -21))*(-8)/16. Is i equal to w?
False
Let l = -7 + 0. Let k(p) = p**2 + 7*p - 1. Let a be k(l). Is a > -2/95?
False
Suppose -80 = -f - 83. Let s be 44/(-18) + 2 - 0. Is s greater than or equal to f?
True
Let x = 8 - 16. Suppose 93 = 5*w + 23. Suppose -2*n - 2*m = w, 0 = -n - 0*n - 5*m + 1. Which is smaller: n or x?
n
Let f = -2 + 3. Let h(a) = 3 - 5*a + 0*a - 15 + 6*a. Let c be h(10). Is c less than f?
True
Let d be ((-2)/(-4))/(11/(-132)). Suppose 3*l = 7 + 23. Suppose 4*a = -34 + l. Is d != a?
False
Let p be ((-15)/4)/(-10 + 136/16). Which is greater: p or -1/8?
p
Let d be (-9)/(-6) - (-2 + 9 + -5). Is d < -2.9?
False
Let f be 1 + 1*(-1)/3. Let o = 1.4651 - 7.4651. Which is smaller: f or o?
o
Let v be -30*(-1 - 85/(-10)). Let d be v/(-20)*(-1)/6. Which is greater: d or -2?
d
Let z = 37 + -630/17. Suppose -6*l + 5 = -11*l. Let p(v) = -5*v - 5. Let h be p(l). Is h at most z?
False
Let p = 220 - 220.2. Which is bigger: p or 36?
36
Let p = 2 + 22. Let r = p - 19. Is r >= -1/3?
True
Let n = 223 + -221. Which is smaller: n or -109?
-109
Let r = 10.06 - 2.26. Which is smaller: r or 2/9?
2/9
Let k = 383/3 - 128. Is k not equal to -21/2?
True
Let i = -34 - -49. Let p = i + -25. Let x be p - -11 - (-20)/(-18). Which is smaller: 1 or x?
x
Suppose -32 = -4*f + 5*y, -2*f - 7 = -3*y - 25. Let t be f/(-3)*0 - -4. Which is smaller: t or 2?
2
Let m(x) = 21*x - 80. Let p be m(4). Let v(z) = z**2 - 2*z - 10. Let a(u) = -u**2 + u - 1. Let k(q) = -a(q) + v(q). Let g be k(p). Which is smaller: 9 or g?
9
Suppose -9*g = -1739 - 349. Let w be (2/4)/(2/g). Do w and 58 have different values?
False
Let s(g) = -2*g**2 - 3*g + 3. Let t(v) = v**3 + 9*v**2 + 8*v - 3. Let r be t(-8). Let p be s(r). Let m be 50/(-5) - p/3. Is m less than or equal to -8?
True
Let r = 0.12 + -0.1. Let h = 0.32 - r. Suppose 19*m = 23*m - 4. Is m <= h?
False
Suppose i = -2*i + 24. Let m be ((-12)/i)/(27 + 0). Suppose -z = -0*z + 3*j + 10, 4 = 2*z - 2*j. Which is bigger: z or m?
m
Suppose 0 = -105*u + 345564 - 77079. Is 2557 bigger than u?
False
Let m(o) = 2*o - 9. Let t(f) = f**2 - 14*f + 21. Let w be t(13). Let j be m(w). Which is bigger: 9 or j?
9
Let w be 8/(-30)*(4 - 145/30). Let m(r) = r + 17. Let f be m(-13). Suppose -f*g - 22 = 2. Is w less than or equal to g?
False
Let z = -102.63 + 102. Let d = 4468 - 4467.9. Does d = z?
False
Let w = 519 + -437. Which is greater: 327/4 or w?
w
Let y be (-2)/(-4)*6/(-18)*0. Suppose 6*f + y*f = -186. Which is smaller: -33 or f?
-33
Let t(g) = -g - 4. Let n be t(-5). Let y = -6/28301 + 100468604/254709. Let s = 394 - y. Which is bigger: s or n?
n
Let v = -6 + -28. Let g be (-4)/(-18) + v/(-9). Let d(u) = u**3 + 35*u**2 - 41*u - 174. Let k be d(-36). Which is smaller: g or k?
g
Let f = 5/123 + -3682/2829. Let p = f + 562/391. Which is smaller: -1 or p?
-1
Let c = 1.7 - 14.7. Let z = c - -6. Let r = z + 3. Which is smaller: -2 or r?
r
Let u be -5 + ((-126)/(-35))/(2