= -244/5 - -49. Which is bigger: m or g?
g
Let c = 2 - 1. Let r(p) = p + 14. Let q be r(-11). Which is smaller: q or c?
c
Let n(l) = -2*l. Let r be n(-1). Let z be (-1*6)/(2/(-1)). Suppose 2*x = z*q + 10, 0 = 2*q - q + 2. Is x < r?
False
Let g = -66 + 196/3. Let n = 3 - 1. Let l = -2 + n. Which is bigger: g or l?
l
Let n(q) = q**3 + 6*q**2 - q - 7. Let c be n(-6). Is c greater than 1/33?
False
Suppose 6 = -0*v + 2*v. Suppose -l = 2*a - 4*a, -v*l = 0. Is a less than -2?
False
Let q(g) = -g - 6. Let x be q(-7). Suppose -3*t - 5*m + 2 = -0*m, -3*t + 6 = 3*m. Let i = 4 - t. Which is smaller: x or i?
i
Let f = 10 - 9.96. Let t(s) = -s**3 + 2*s**2 + 3*s + 1. Let m(q) = 2*q**2 + 1. Let y be m(1). Let d be t(y). Is d smaller than f?
False
Let u = -25/12 - -5/12. Suppose 2*a + 12 = -2*n, -2*a = -2*n + n - 3. Which is smaller: u or a?
u
Let o be 0/1 + 4/57. Let g = -202/171 + o. Is g at most as big as 0?
True
Let x = -110 + 552/5. Is -0.2 greater than x?
False
Suppose 0 = r - 3*r. Are r and 1/20 non-equal?
True
Let g be 1/(2/63)*(-52)/39. Is -42 less than g?
False
Let g = 1759/4 - 437. Let l(m) = 10*m - 16. Let o be l(2). Is g not equal to o?
True
Suppose -5 = 5*h - 0. Let m = 2 - h. Suppose -m*r + 5 = -1. Is r > 4?
False
Let t = 2 - 4. Let i be (-1 - -3)/(6/30). Suppose -3*n = -3*r + 6 - 0, -3*r + i = -4*n. Is n > t?
False
Suppose 0 = -x + 5*a + 21, 5*x + 4*a + 14 = 3. Suppose -4*d = 5*n - 11, -d - 2 = -2*d - n. Let o be (-3)/(-6)*d*x. Which is smaller: o or -1?
-1
Let t(n) = -n**3 - 6*n**2. Let o be t(-6). Suppose o*j = -j + 2. Suppose w + 17 = -4*f, 7 + 18 = 5*w - 2*f. Is w less than j?
False
Let x be 2 + 18/(-3) - -5. Let f be (-46)/(-90) + 4/(-10). Is f > x?
False
Suppose l = -x - 3*x - 4, -2*l = -3*x - 3. Let u be ((-3)/(-6))/(x/8). Let a be (3/(-2))/(6/8). Which is smaller: u or a?
u
Let c = -0.05 + -0.07. Let h = c - -0.01. Let o = -0.11 - h. Is o != -0.04?
True
Suppose 7*c = -5*b + 3*c - 30, -3*c = 0. Let j be (-1)/b - (-2)/(-3). Let d be (-32)/14 - 4/(-14). Which is greater: j or d?
j
Let v be -7 + (4 - 7)*-1. Is -13 != v?
True
Let a(g) = -g - 8. Let f be a(-6). Let k = f - -5. Let y = -18 + 22. Is k <= y?
True
Let z = 0 - 3. Let y = 57 - 57. Is z >= y?
False
Let f(h) = 7*h - 5 + 3*h**3 - h**2 + 6*h**2 - 4*h**3. Let j = -2 - -8. Let u be f(j). Is -2/7 bigger than u?
False
Let v be 2/6 - (-96)/9. Which is smaller: v or 10?
10
Let i = -7.18 + 0.18. Let m = -0.03 - -6.83. Let f = m + i. Is 0.2 not equal to f?
True
Suppose -6 = -3*s, -3*s = -5*j - 23 + 7. Let p = -321/101 - -53669/14948. Let i = p - 6/37. Is j less than or equal to i?
True
Let f = 136 + -126. Let v(y) = 2*y + 4. Let z be v(3). Is f < z?
False
Let n be (-432)/(-96)*1*1/(-6). Is -1 at most n?
True
Suppose -y = -f + 2 - 0, 8 = -4*y - 4*f. Is -6/11 bigger than y?
True
Let q = -0.11 + 0.1. Let x = q - -2.01. Is x less than -2?
False
Let c be ((-17)/(-102))/((-2)/(-12)). Are c and -14 unequal?
True
Let r = -3 + 3. Let v(j) = -j**3 - j**3 + j**3 - j**2 - 1. Let m be v(r). Which is greater: m or -2/9?
-2/9
Let q be ((-1)/2)/(3/(-12)). Suppose -q*z + 4*c = -14, c + 1 = -3*z - 4*c. Which is smaller: 4 or z?
z
Let y = 0.02 + -0.07. Let w = -1.05 - y. Does 0 = w?
False
Let x = -754/15 - -50. Let u = -16 + 17. Is u greater than x?
True
Suppose -5*x - d + 6 = -10*x, 12 = -2*x - 2*d. Let p be (15/(-6))/(1/x). Is 5 less than or equal to p?
True
Suppose -3*w + 30 = -8*w. Let y be w/3 + (-7)/(-1). Let o = y - 9/2. Is 2 >= o?
True
Let w be 36*4/32*4. Which is greater: 19 or w?
19
Let w be 20/12 + 2/6. Let j(v) = -v + 5. Let s be j(6). Let n be w + (-21)/6 - s. Are n and 2/3 unequal?
True
Let c = -3 + -5. Let x = c - -7. Do 0.5 and x have different values?
True
Let y = -0.18 - 0.82. Let f be 1 + (-2)/(4/2). Which is greater: y or f?
f
Let s be (4/16)/(5/(-25)). Are s and -2 non-equal?
True
Let m be ((3/(-6))/((-3)/36))/(-2). Are -2 and m unequal?
True
Let j = -39 + 21. Is j < -4?
True
Let u be (-3*3)/((-2)/10). Let v be 5/u*(-6)/(-7). Which is smaller: 0 or v?
0
Suppose -5*l + 2*y + 67 = 0, 2*l - 1 = y + 26. Suppose -4*q - 4*x - 9 = 15, 0 = 2*q - 3*x - l. Are q and 2/11 non-equal?
True
Let m(s) = -2*s + 16. Let z be m(7). Is 5/9 greater than or equal to z?
False
Suppose 4*m + 3 = -s, m - 5*s + 21 = 3*m. Which is greater: -1/2 or m?
-1/2
Let g = 8 - 14. Let k = g + 5. Let w be 13/(-10) + (-2)/(-4). Do k and w have the same value?
False
Let u = 149 - 593/4. Is 2 bigger than u?
True
Let l(d) = d**3 + 6*d**2 - 5*d + 4. Let m be l(-7). Let z be (-3)/(-135) + (-2)/m. Suppose 7*n = 6*n + 1. Is z bigger than n?
False
Suppose 5*k = -0*k + 20. Suppose k = w - 0. Let p be (w/6)/((-1)/(-2)). Do p and 2 have different values?
True
Suppose 0 = c - 4*t - 14, -13 = -c + 2*t + 7. Suppose c + 19 = 5*o + 4*a, -3*o - 3*a + 30 = 0. Suppose 0 = 5*p - 0*p - o. Which is smaller: p or -2/7?
-2/7
Let a = -3.05 + 134.05. Do -1 and a have different values?
True
Suppose -4*c + 9 - 33 = -4*s, -5*s + 15 = -2*c. Which is greater: -6 or c?
c
Let u = -340 - -3052/9. Which is greater: 0 or u?
0
Suppose 2 = -2*u + a, 6*u - 2*u - 3*a + 4 = 0. Which is smaller: u or 14?
u
Let t(n) be the first derivative of 2*n**3 + 1 + 0*n**2 + 1/4*n**4 + 0*n. Let s be t(-6). Is 2/9 at least as big as s?
True
Let o(r) = 6*r**3 + r**2 - 6*r**3 + 4*r**3 + 1 + r. Let n be o(-1). Is n less than -3?
False
Suppose -4*p = -3*s - 7, -5 = -2*s + 4*p - 3. Let q be (-3)/6 + s/(-6). Which is bigger: q or 3/7?
q
Suppose -t + 11 = -5*y, 2*y = -t + y - 7. Is t > -16/5?
False
Let w = 23243/40 + -581. Which is bigger: 1 or w?
1
Let t be ((-2)/5)/((-3)/45). Suppose -4*o + 3*o + 1 = 0. Which is greater: t or o?
t
Let o = 104 - 122. Which is smaller: o or -10?
o
Let v be (4/6)/((-12)/(-342)). Is 20 less than v?
False
Let x = -39/2188 + 249355/1161828. Let a = x - -3/118. Let f(d) = -d**3 - 5*d**2 + 5*d - 7. Let w be f(-6). Which is smaller: a or w?
w
Let m be (2/12)/(11/(484/(-55))). Suppose -4*t = 4*j - 12, 0 = 5*j + 4*t - 13 + 2. Is j less than m?
True
Let h be (-5)/10*-8*-5. Is -21 at most as big as h?
True
Let t = -18 - -22. Is 5 at most t?
False
Suppose -2*u + 5*c - 12 = 0, 4*u + 4*c + 2 = 3*c. Are u and -9 unequal?
True
Let g be ((-56)/(-21))/(2/3). Is g <= 6?
True
Let p(c) = -6*c + 5*c**2 - c**3 + 12 + 4*c**2 + 15*c. Let i = 10 - 0. Let t be p(i). Do t and 3 have different values?
True
Suppose -k + 44 = -0*m + 4*m, 0 = -3*k + 5*m + 81. Let x be 8/k + (-2)/2. Suppose -5*q - 5 = -2*c + 3*c, 2*q = -5*c - 2. Is c greater than or equal to x?
True
Let i = 4 + -3.84. Let d = 5.84 + i. Let y = d - 5.9. Which is smaller: -0.3 or y?
-0.3
Suppose 0*q = 3*q - 3*l + 18, 4*q = -l - 4. Are 1 and q equal?
False
Let c = -3 + 5. Let x be (-24)/(-5) + (-1)/(-5). Let f = x + -3. Is f smaller than c?
False
Suppose -3*s - 18 = -4*s + v, -36 = -3*s - 3*v. Suppose o = 2*z - 0*o - 6, 5*o - s = z. Suppose 4*y = -d + 8, 0 = -5*y + z. Which is greater: d or 5?
5
Let g = -30 - -31. Which is smaller: g or 4/29?
4/29
Let d = -2419550263/55 - -43990323. Let h = d + 1500. Let i = -51/110 - h. Which is smaller: i or 2/5?
i
Let o(r) = -2*r**2 + 4*r - 1. Let y be o(4). Which is smaller: -14 or y?
y
Let y = 580/11817 - -2/909. Is y less than 1?
True
Let y(c) = 2*c + 5. Let d be y(-10). Let b = -16 - d. Is b smaller than 2/7?
True
Let p = 9 - 115/13. Which is smaller: -1 or p?
-1
Let f be 33/(-45) + 4/12. Which is smaller: f or 0.2?
f
Suppose 0 = -l - 3*l. Suppose 5*i = -l*q + q - 26, -3*q = -i - 8. Let r = 1 - 0. Is q not equal to r?
False
Let z = 0.7 - 0.5. Which is smaller: 1 or z?
z
Let h = 637/2 + -325. Let a = -14 + 7. Is h at most a?
False
Let n = 32 - 19. Which is greater: n or 12?
n
Let t = 1/20 + 17/60. Is t > 1?
False
Suppose -g = -3, -2*f + 6 = -g + 3*g. Is 1/17 >= f?
True
Let m = -1.77 + 1.7. Let y = -4.07 - m. Which is greater: y or -0.3?
-0.3
Let n = -99 - -99. Is -4 > n?
False
Let l(w) = 7*w**3 + w**2. Let k be l(1). Let u(t) = t**3 - 7*t**2 - 7*t - 6. Let h be u(k). Suppose 0*g - 4*f = h*g, 0 = 5*g + 2*f. Is g at most 1/15?
True
Suppose -2*h - 12 = -0*h. Let i be 4/h + (-2)/(-6). Let k = 2 - 1. Is i > k?
False
Let k = 1/50 - -93/350. Let m = -41/18 + 16/9. Is m at least as big as k?
False
Let y be -7*(25/35 - 1). Which is greater: y or 14/15?
y
Let s be (-16)/6 + 2/3. Suppose -3 = 