 Which is greater: g or 4?
4
Let t be 19*((-1)/1 + 2). Which is smaller: 18 or t?
18
Let t be (3/(-27))/((-33)/(-18)). Do t and 0 have the same value?
False
Let v = -31 - -16. Do -0.2 and v have the same value?
False
Let c = 166 - 827/5. Let w = -488 - -489. Is c less than w?
True
Let c be (-2)/4*(15 + 11). Are c and -14 unequal?
True
Let w = 5 - 5. Let k be 2/(-3 + w + 1). Let j(f) = -f**3 - 2*f**2 + 4*f + 3. Let z be j(-3). Is z at least k?
True
Suppose -3*k + 5*u - 14 = 0, -5*u = -30 + 10. Suppose 0*h = k*h - 4*n + 24, -4*h - 28 = -4*n. Let x = 91/3 - 31. Which is greater: h or x?
x
Let t = 1/32 + 37/352. Is -1 at least t?
False
Let g = -23 - -14. Are g and -8 non-equal?
True
Suppose b + 3 = x - 2, 3*x = -5*b - 25. Let f be (-2)/(-3) + 2/(-3). Is x smaller than f?
False
Let o = 4.36 + 0.74. Let g = 5 - o. Which is smaller: -4 or g?
-4
Suppose -c - k = -4 - 0, 0 = -c + k - 2. Is 1/134 >= c?
False
Suppose 9*i = 7*i + 2. Which is bigger: i or -1/4?
i
Suppose -8 = -4*a + 4. Suppose -3*p = -4*p + 5*z + 28, -4*z - 20 = 0. Are a and p equal?
True
Let p = 12.2 - 22.3. Let f = p - -10. Let x = f + -3.9. Which is smaller: -0.1 or x?
x
Let z(y) = -6*y + 28. Let k be z(8). Which is bigger: -22 or k?
k
Let v be 35/(-2) - (2 + -6). Let n = 407/30 + v. Is n not equal to -1?
True
Let m be -15*8/12 - 0. Let t be m/15 + (-1 - 0). Is -1 not equal to t?
True
Let z = -0.06 + 0.26. Let u = z - -4.8. Let n = u - 4.9. Is 4 less than n?
False
Let j = 2.2 - 0.2. Which is bigger: j or 0.7?
j
Let v(p) be the second derivative of p**4/12 + p**3 - 8*p**2 + 9*p. Let n be v(-8). Which is greater: -1/34 or n?
n
Let w = 11 + -8. Suppose -3 = -w*z - 0. Which is smaller: 2/25 or z?
2/25
Let q = -1427 - -5681/4. Let c = q - -7. Suppose 5 = -7*j + 2*j. Is j >= c?
False
Let c be 12/(-5)*20/6. Let n = c + 14. Suppose -7*i + n*i = 0. Is i at most -2?
False
Let q = 0.036 - -0.064. Is q greater than or equal to 1/2?
False
Let h = 0.3 - 0.2. Let v = 18.9 - 18. Let q = v + h. Which is bigger: q or 0.1?
q
Suppose 8*r - 4*r - 4 = 0. Suppose 4*s + l + r = -6, 4*s - 8 = 4*l. Let j = -837/11 - -76. Which is bigger: s or j?
j
Suppose 0*j + 2*j - 8 = 0. Suppose -j*s = 2*z + 2, z = s + 4 + 4. Let n = s + 3. Which is smaller: -2/9 or n?
-2/9
Let s = -1 - 0. Suppose -2*f = -3*f + 6. Suppose 0*t + 3*t = -f. Which is greater: s or t?
s
Let m = -1.36 + 0.16. Let p = -0.2 - m. Let s = 1.11 + -0.11. Is p greater than or equal to s?
True
Let d = -7 - -11. Let b be 1 - -6 - 9/3. Suppose -n = b*n - 2*o - 20, 15 = 5*n - o. Which is smaller: n or d?
n
Let g = -2 - -6. Let z = -0.4 + 4.6. Let c = z - g. Which is smaller: c or 0?
0
Let v(j) = j**3 + 2*j**2 - 4*j - 3. Let h be v(-3). Suppose h*r - r + 2 = 0. Which is greater: 1/2 or r?
r
Let r = -2.7 + 4.8. Let t = 2 - r. Which is bigger: 0.1 or t?
0.1
Let t(w) = -w**3 + 8*w**2 + 10*w - 5. Let o be t(9). Suppose -d - o*p = -8, 2*d + p = 4*p - 17. Is -5 greater than d?
False
Let r(t) = -t**2 - 3*t + 2. Let p be r(-3). Let s be ((-54)/(-45))/(p/5). Let x = -1 + 4. Does x = s?
True
Let p(g) = -g**3 - 2*g**2 - g - 2. Let i be p(-2). Let q be 1/(1/4 + i). Suppose 0 = 3*h - q + 16, w - 3*h = 3. Is -10 smaller than w?
True
Suppose -4*a + 22 = -4*s + s, 8 = 4*a + 4*s. Suppose -5*g = -5, a*b + 8 - 19 = -3*g. Suppose 2 = -b*c + 2*v, -3*c - v = -5*v + 3. Which is smaller: -5/4 or c?
-5/4
Let z(n) = n**3 + n. Suppose 0*x + 10 = 5*x. Let d(f) = -f**3 - 2*f - 1. Let v(c) = x*z(c) + d(c). Let s be v(1). Is s smaller than -0.2?
False
Let c = -6546/629 + 176/17. Is -1 smaller than c?
True
Let d = -20 + 21. Let p = 0.4 + -0.6. Do p and d have different values?
True
Let b be ((-6)/(-14))/(40/35). Let y = -3.6 - -0.6. Let h = y - -2.9. Is b >= h?
True
Let y = 9 + -10. Let o be 3 + y - (5 - 4). Let w = 280/9 - 31. Is w less than or equal to o?
True
Suppose -4*j = -5*c - 57, 0 = 4*j - c - 53. Suppose 5*u = 2*k - 6*k + j, 3*u + 7 = 5*k. Which is smaller: k or 1/2?
1/2
Let h = -3 + 5. Which is smaller: 1 or h?
1
Suppose 2*y = -0*y. Suppose -4*k = -y*k - 108. Let n be (2/6)/(9/k). Which is smaller: 1/3 or n?
1/3
Suppose 3*b - 13 = 2. Let n be b - (-1 + (-2)/(-1)). Are n and 4 equal?
True
Let c = 3034/23 + -132. Which is smaller: 0 or c?
c
Suppose 2*j = -2*o + 116, 16 = -2*j + 4*o + 132. Is j at most 59?
True
Let l = 0.07 - 0.13. Let o = 0.06 + l. Let b = -0.1 + o. Is b <= -0.04?
True
Let y = 1.2 + -1. Let b = 0.053 - -0.047. Which is greater: b or y?
y
Let x = 11 + -1. Is x equal to 5?
False
Let i = 1045/7 - 149. Do i and 0.8 have the same value?
False
Let u = -0.02 - -0.12. Is u at least -28?
True
Let p be 4/6*14/4. Let q = 85 - 82. Which is bigger: p or q?
q
Let k be 1/2 + (-33)/6. Let b = -10 - k. Let y = -1 - b. Is y at most as big as 3?
False
Let c be ((1 + -1)/(-4) - 0) + 2. Are c and 2/21 nonequal?
True
Suppose -17 = 4*g - 2*c - 3, 5*g + 19 = 4*c. Let j be (g + 0 + 3)/1. Let w be (-8)/(-18)*(1 + -4). Which is bigger: j or w?
j
Let b(p) = -4*p**2 + p + 8. Let m(z) = -z**2 - z + 1. Let f(v) = b(v) - 3*m(v). Let t be f(5). Is 2/9 bigger than t?
True
Let d = -1 - 3. Let o be 50/4 + (-2)/d. Suppose 0 = 4*a - 4*w + 16, 3*a + 5*w - o = a. Does -1 = a?
True
Suppose -2*v - 32 = 3*z, 6*v - v + 80 = z. Is -15 at least as big as v?
True
Let t = -1.19 - -3.27. Let g = t - 0.08. Is g greater than 1/2?
True
Let z be (-323)/462 + (-6)/21. Let h = -7/6 - z. Which is greater: -1/2 or h?
h
Let f = 3 + 3. Let b be (-3)/(f/8) - -1. Let o(t) = t - 11. Let i be o(8). Is b < i?
False
Suppose -5*j - 2*a - 2 = 0, 3*j = a + a + 2. Suppose j*x - 2*x + 9 = -3*c, -10 = c - 3*x. Which is smaller: 1 or c?
c
Let l(r) = r**3 + 20*r**2 - 23*r - 41. Let g be l(-21). Let o = -2/143 - 119/1716. Which is bigger: o or g?
g
Let l(n) = n - 7. Let h be l(10). Suppose 3*c + 2*v = -14, 5*v + 24 = -5*c + h*c. Which is greater: c or -8/5?
-8/5
Suppose 9 = -4*j + 1. Let a be (3/(-6))/(1/j). Do a and 1 have different values?
False
Let h = 73/3 - 24. Suppose -4*d + 4 = 2*v, 0*d + 5*v = -3*d + 3. Suppose 4*c + 2*j + 2 = -0*c, -3*c - d = 2*j. Is c < h?
True
Let s = -99627/10 + 9977. Let h = -64/5 + s. Is 2 less than h?
False
Suppose -38 + 22 = 8*o. Which is bigger: -13/5 or o?
o
Let b = -4 - -6. Let g be 4/b*(-1)/(-1). Is 0 at least g?
False
Let r = -37 - -35. Which is smaller: 7 or r?
r
Suppose 8 = -5*u + 3. Which is bigger: -3/13 or u?
-3/13
Let k = 6 - -1. Let u = -5 + k. Which is greater: u or 2/3?
u
Suppose 3*t - 21 = -9. Suppose -a = t*a - 35. Which is greater: a or 6?
a
Let b(h) = -h**3 + 5*h**2 - 3*h. Let x be b(4). Let p be ((-14)/x - -2)*2. Let r = -1 - p. Which is smaller: r or 1?
1
Let d be 2 + 2/16*-13. Let p = 27 + -26. Is d != p?
True
Let a be (7/(-4))/((-15)/(-20)). Do a and -2/7 have different values?
True
Suppose 0 = 3*x - 4*y + 152, 0 = y + 1. Which is bigger: x or -51?
-51
Let n = -4 + 24. Let r = n - 20. Is r less than -1?
False
Let g be ((-9)/(-16))/(9/6). Let k be (79/4 - 1)/18. Let u = g - k. Is u at least as big as -1?
True
Suppose 27 = 4*u + 3*n, u + 5*n = -2 + 30. Is u > 7?
False
Let f = 40987/1497115 - -2/13735. Which is smaller: -1 or f?
-1
Let h = -0.3 + 0.2. Let a = -0.8 - 0.2. Which is greater: a or h?
h
Suppose -2*n + 1 = r - 3, 0 = -5*r - 3*n + 20. Are r and -2/9 non-equal?
True
Let r = -0.661 - -0.131. Let i = 0.07 - r. Let p = i + -0.4. Which is bigger: p or -0.1?
p
Let l be (-3 - -4)/((-3)/(-9)). Let f = -5 + l. Which is bigger: f or -1?
-1
Let r be (-30)/(-20)*(2 - 0). Suppose -q - 2*d = q, -r*d + 9 = 0. Which is greater: q or -4?
q
Suppose -4*x + x = -189. Let p = -503/8 + x. Is -1/4 less than or equal to p?
True
Let o be (-6)/33 + 48/22. Is o less than or equal to 2?
True
Let c(o) = -o**2 - 3*o + 6. Let p be c(2). Is 5 greater than p?
True
Let z be ((-83)/28)/(-1) + -3. Which is smaller: -1 or z?
-1
Let z = -292/7 - -4366/105. Let x be 35/7*24/(-10). Let h be (x/(-24))/((-7)/(-4)). Is h > z?
True
Let z = 7 - 47/7. Is z less than 3?
True
Suppose -2*a - 4 = -6. Suppose -5*q - f = -a - 12, 0 = 3*q - 3*f + 3. Let p(m) = m**2 + 9*m - 7. Let k be p(-10). Does k = q?
False
Suppose 5*k - 4 - 11 = 0. Suppose -k*v = -3*w + 8 + 10, 2*w + 5*v + 9 = 0. Suppose 0*y + w = -y. Is -2 at least y?
True
Let v = 3 - 0. Let u be 1*(-4 + v)*-7. Which is smaller: 6 or u?
6
Let u = -39.005 + 0.005. Which i