
-8/5
Suppose -8*c - 4 = -12*c. Let i be ((-8)/(-30))/((-4)/(-18)). Which is greater: i or c?
i
Let w = 10 - 7. Suppose -2*h = p - 3, -h + 0*h = 5*p + w. Which is bigger: 4/3 or h?
h
Suppose -3*t + 7 = 1. Let o(x) = -3*x**2 + 2*x + 1. Let d be o(-1). Let g be 1/(d - -1 - -4). Which is smaller: t or g?
g
Let b be (-17)/(-3) - (-2)/6. Let t be ((-2)/4)/((-2)/(-12)). Let k(z) = -z**3 - z**2 + 3*z - 3. Let l be k(t). Is l > b?
False
Let n = 75 + -220/3. Which is bigger: n or 1?
n
Let z be (21/7)/((-3)/2). Which is greater: 2/7 or z?
2/7
Suppose -4 - 42 = -f + 4*a, a + 94 = 3*f. Which is smaller: f or 1?
1
Let q = 130/3 + -43. Let g be (-1 - 10/(-8))*1. Is g equal to q?
False
Let u = -1 - -3. Let x be 1 + -1 + u/(-8). Which is smaller: x or 0.04?
x
Let q(p) = -p**2 + 5*p + 5. Let t be q(5). Which is smaller: t or 6?
t
Let r(y) = y. Let c be r(2). Let a be 2 + c/(2/(-2)). Suppose 5*z - 8 - 2 = a. Is z >= 3?
False
Let r = 17 + -16. Is r at most as big as -0.1?
False
Let q = 53 - 5. Which is bigger: 49 or q?
49
Let w be 35/(-2) - 3/6. Let d be (-2)/3 - 48/w. Let i be (-5)/(-5) - 1*d. Which is smaller: i or 0.3?
i
Let f be (2 - 27/12)*4. Let r be -6*(0 - f/2). Which is bigger: r or -2?
-2
Let s = -19.8 + 19.71. Which is smaller: s or -2?
-2
Let d be ((-3 + 4)*7)/1. Suppose -4*q = -f + 18, -f + 3*q = -6 - 9. Which is smaller: f or d?
f
Let i be 4/(-3)*(2 - 14). Suppose 3*d = -2*n - 11, -4*n = -0*n + 4*d + i. Let j = 155/6 + -26. Which is bigger: j or n?
j
Suppose 0*t + 3*t - 12 = 0. Suppose -2*w = 2*w - t. Is -2/39 != w?
True
Let t = 52 + -778/15. Which is smaller: -1 or t?
-1
Let q be 110/(-8) + (-6)/24. Let t = -12 - q. Is 2 < t?
False
Let c = 3/7 - 2/21. Let y = -9 - -9. Suppose 2*j + 4*i = 18, y = -5*j + 2*i + 3*i - 30. Which is greater: c or j?
c
Let v = 39 - -21. Let y be (-2)/5 + (-16)/v. Which is greater: y or 0?
0
Let b be 6/(-4)*-2 - 0. Suppose k - b*v = -12, 2*v = -2*k + 3*v + 1. Do 1 and k have different values?
True
Suppose 2*j + 15 = w - j, 10 = -5*w - 2*j. Let o be w*(-2 - -1)/(-1). Let c = -633/8 - -79. Does c = o?
False
Let s be (-21)/(-14) - 3/2. Let c be 3 - (s - (-4 - -2)). Which is smaller: 6/5 or c?
c
Let q(o) = 2*o**2 + 6*o + 10. Suppose k = -4 - 0. Let j be q(k). Is j greater than 18?
False
Let y be (-20)/(-25)*5/2. Suppose 3 - 27 = -y*u. Let b be (-3)/u + (-1)/(-4). Are b and -1 nonequal?
True
Let s = -0.1 + 1. Let v = 1.7 + -1. Let b = s - v. Is b >= 2/5?
False
Let y(k) = -k - 4 + 8 + 3. Suppose -29*u + 32*u - 21 = 0. Let x be y(u). Is 2/11 bigger than x?
True
Let z(l) = 0*l - 3 - 1 - 4*l + 5*l. Let y be z(4). Let m = 1 + y. Is m at least as big as -2/9?
True
Let t = -0.06 + 4.06. Let k = t - -1. Is k != -2/3?
True
Let k be (-6)/6 - (-5)/1. Suppose -k*c - 9 = -c. Is -2 >= c?
True
Let x = -62/11 + 1973/352. Which is bigger: x or -1?
x
Let y = 110 - 1868/17. Let d = 26 - 26. Which is smaller: d or y?
d
Suppose i = 3*i. Is -2/15 at least as big as i?
False
Let m = -325/7 + 46. Is -1 less than m?
True
Let j(k) = -k**3 + 5*k**2 - 5*k + 4. Let g be j(3). Let s = g + -9. Which is smaller: -2/3 or s?
s
Let i be (33/(-32))/((-3)/4). Let z = -61/56 + i. Which is greater: -1 or z?
z
Let t(z) = -4*z - 1. Let v be t(-2). Is 7 less than v?
False
Let w = 15.1 - 15. Let q = -5.07 + 0.07. Is q >= w?
False
Let m be (27/(-6))/9 + 23/(-8). Is m greater than -4?
True
Let h = -39 - -20. Let z = h + 19. Is 2 <= z?
False
Let u(l) = -l**3 + 10*l**2 + 2*l + 8. Let j be u(8). Let x = j - 1370/9. Is x greater than 0?
False
Let i be 24/40 + (-11)/10. Are i and 0.2 non-equal?
True
Let o = 12371/30 + -413. Let w = o - -2/15. Is w > 0?
False
Suppose 0 = o - 4*v - v - 5, 4*o = 3*v + 3. Suppose -6*m + m - 35 = o. Which is greater: m or -6?
-6
Suppose o + 3 = -1. Suppose 0 = 2*d - 5 - 1. Let i(m) = -m. Let w be i(d). Which is bigger: w or o?
w
Suppose 5*w - 4*u - u = 0, 4 = 2*w + 2*u. Which is smaller: w or 4/15?
4/15
Let o(u) = -u. Let h be o(6). Which is smaller: h or 0?
h
Let y(x) = -x**3 + 3*x**2 - 2*x + 3. Let a be y(2). Let p be (21/12)/1 + 0. Is p at most as big as a?
True
Suppose -25 = -3*c - 2*c. Let o = c - 3. Let h be ((-2)/(-12))/(o/8). Which is bigger: 3 or h?
3
Let k(c) = -c**2 + 7*c - 5. Let s be k(4). Suppose 4*q + 4 = -2*m, 0 = -4*q + 2*m - s*m - 16. Let a = -34 - -101/3. Which is greater: q or a?
q
Let w = -6 + 11. Suppose 5*d + w = r, r + 3*r = 2*d + 20. Which is smaller: d or -1/11?
-1/11
Let n = 1/15 + 113/105. Suppose -4*k = -2*k - 2. Is k less than n?
True
Let c(d) = -d**2 + 5*d - 4. Let p be c(5). Let b be (p/(-6))/(6/(-18)). Is -6/5 <= b?
False
Let b = -31 - 11. Let c = b - -211/5. Which is smaller: -0.1 or c?
-0.1
Let n = 3 - 2. Let m = n - 5. Is m != -4?
False
Let l = 2 + 0. Let p = 0.4 + -2.4. Let i = 0 - p. Is l > i?
False
Suppose -4*j + j + 32 = -2*y, -36 = -5*j - y. Is j bigger than 10?
False
Let i = -0.109 - -0.009. Is i at least 0.06?
False
Let b = 0.081 + -8.081. Is -1/3 >= b?
True
Let v be -1 + (2 + 0 - 1). Let s(b) = 2*b - 1. Let q be s(v). Is 1/14 less than q?
False
Let k be (-1 + 2)*2/10. Is 1 > k?
True
Let z(g) = -4*g + 9. Let v be z(7). Let j = 7 + v. Are j and -0.1 nonequal?
True
Suppose -3*l + 0*l + 9 = 0. Suppose -2*y + 8 = -l*u, 0*y + 3*u = y - 10. Is -2 bigger than y?
False
Let s(k) = -k + 1. Let z be s(4). Let w(d) = -d**3 + d**2 + d - 3. Let l be w(z). Let p be (6/(-15))/(3/l). Do -5 and p have different values?
True
Let k be (-1)/((-1)/(-14)*-2). Let w = k + -7. Are 1 and w nonequal?
True
Let o(f) = f**3 + 8*f**2 + 8*f + 8. Let l be o(-7). Which is greater: l or -2/11?
l
Let d = 63 + -65.9. Let j = d - 1.1. Let k = j - -4. Is k > 2/5?
False
Let t = -40413/161 + 251. Let m = -44/161 + t. Is 1 less than or equal to m?
False
Let w = 83.3 - 79. Let b = -0.07 + 0.37. Let n = w - b. Is 0 at least n?
False
Let y = 383/5 - 77. Which is smaller: y or -9?
-9
Let q be (4 + -19)*(-1)/(-3). Is q less than -5?
False
Suppose 0 = 2*l + 2*t - 4*t + 6, 9 = -l + 3*t. Is -4/3 bigger than l?
False
Let b = -22 - 8. Is b not equal to -30?
False
Suppose 28 = 2*f + 6. Let u = 2 + 3. Let k = f - u. Are k and 6 equal?
True
Let k(t) = t**2 - 6*t + 3. Let j be k(7). Let s be j/25 - 26/690. Let q = 2/69 - s. Which is greater: q or -3/2?
q
Let v be (-53)/4 - (-1)/4. Is v equal to -13?
True
Let k be (-24)/(-36)*9/(-2). Which is bigger: k or -6?
k
Let i = 0.19 - -0.11. Let o = -0.1 - 0.1. Let c = i + o. Is c > -1/2?
True
Let n = 126 - 122. Is n bigger than 9?
False
Let r be 30/(-24) + 3/(-6). Which is smaller: -3 or r?
-3
Let s = 6 - 7. Let t be 4/(-14) + 120/(-21). Let r be (-3)/t*(-1 - 0). Which is bigger: r or s?
r
Let l be 19/(-7)*(-42)/12. Do l and 10 have different values?
True
Suppose 0 = 3*j + j - 72. Suppose j - 6 = 4*g. Let d be (-1)/g + (-2)/(-2). Is -1/4 smaller than d?
True
Let j = -8 + 12. Is 0.1 equal to j?
False
Let o(x) = -x**3 - 11*x**2 - 2*x - 26. Let y be o(-11). Let v = 8 + -13. Which is smaller: v or y?
v
Let f(n) = n**2 + 9*n + 11. Let m be f(-8). Suppose 13 = i + m*b, 4*i - 8 = -0*i - b. Let g = 202/637 + -8/49. Which is smaller: g or i?
g
Suppose 41*l - 45*l = -8. Which is smaller: l or -2?
-2
Let o = -41/3 - -13. Which is bigger: o or 2?
2
Let y = -898/413 + -43462/68145. Let q = y - -40/33. Which is bigger: -3 or q?
q
Let k = -37 - -44. Is -1/4 greater than or equal to k?
False
Let j = 49 + 8. Let x be (-2)/(-4) - j/138. Which is smaller: x or -1?
-1
Let n = 12 + -12. Suppose 746 = -3*m + 122. Let g be (-2)/8 + (-20)/m. Is n at least as big as g?
True
Let m = 10/11 + -52/33. Which is bigger: m or -0.17?
-0.17
Let v be (-308)/26 + (-6)/39. Let t be 2*-1 + v/(-7). Which is smaller: t or 3?
t
Let t be 2*(0/(-5) + -2). Is -3 >= t?
True
Let n = -11 - -5. Let u be (6 - 1)/(n - -7). Is u at least as big as 3?
True
Let r = 0.4 + -0.2. Which is smaller: -0.3 or r?
-0.3
Suppose 0 = -2*l + 8, -9 = 2*f - 7*f - l. Is f < 7/16?
False
Let p = 31/15 - 12/5. Which is bigger: -0.3 or p?
-0.3
Let h = -6 - -9. Let r be 2/h*3/10. Let p be (5 + -5)*1/(-2) - 1. Are r and p nonequal?
True
Let x = -33/8 + 263/56. Let v = 3 - 1. Is v greater than or equal to x?
True
Let n be (-16)/36*10*3/(-12). Is -1/2 at most as big as n?
True
Let k(q) = -q**2 - 3*q + 1. Let v be k(-3). Let x = 1 - 7. Let n be ((-1)/(-3)*3)/x. Is v < n?
False
Let i be 6/(-