0.11 or v?
v
Let p be (-2)/(-4) - 46/76. Which is greater: p or -1?
p
Let b be 6*(-118)/28 + 3. Let w = -22 - b. Which is smaller: 0 or w?
0
Let o be (25/20)/((-2)/32). Let d = 13 + o. Let t be d/(-3) - (-4)/(-2). Which is smaller: 1 or t?
t
Let q = 0.38 + -0.38. Is -0.51 >= q?
False
Let q be (-3)/(-2) + (-2)/4. Let s be (39/1)/((-6)/16). Let g = -730/7 - s. Which is smaller: g or q?
g
Let n(j) = j**3 + 6*j**2 + j + 3. Let s be n(-6). Let o be (-1)/6*2/s. Which is bigger: 1 or o?
1
Let v = -10 - -8. Let a = v + 3. Which is smaller: -1 or a?
-1
Let f = -13 + 18. Which is smaller: f or 6?
f
Suppose 145 + 135 = 14*j. Which is smaller: 56/3 or j?
56/3
Let h = -6 + -1. Let z be 104/50 - (9 + h). Let o = -49/325 - z. Which is smaller: 0 or o?
o
Let r = 10 - 14. Let j = r - -4. Suppose -3*g + 0 = -6. Which is smaller: j or g?
j
Suppose -4*h = l + 3 - 38, h = -2*l + 14. Suppose 4*k - 2*k + h = a, -k = a - 5. Are 6 and a nonequal?
False
Let r = -2 - -4. Let h(d) = d**3 + d**2 + 4. Let v be h(0). Suppose v*k - 3*q = 11 + 6, 3*k - 5*q - 21 = 0. Is k less than r?
False
Let n = -0.11 + -12.89. Let d = n - -12. Which is smaller: d or 2?
d
Let m = -4 + 4.1. Let x be (-62)/(-30) + 2/(-5). Which is bigger: x or m?
x
Let b(g) be the second derivative of g**5/20 - 7*g**4/12 - g**3/6 + 9*g**2/2 + 2*g. Let w = -6 + 13. Let t be b(w). Does 1 = t?
False
Let k be (-11)/(-2) + 1/(-2). Suppose 2*n - k = -7. Let b(a) = -a + 8. Let c be b(6). Which is greater: c or n?
c
Let a = -32/761 - -46093/136980. Let f = -2/45 + a. Which is smaller: f or 1?
f
Let p(d) = 2*d**2 + 2*d + 1. Let o be p(-3). Let z = o + -13. Is 10/9 bigger than z?
True
Let j = -5 - -6. Which is greater: j or -1/16?
j
Let s(p) = p - 4. Let f be s(6). Suppose 4 = -f*x - 2*x. Let t = -971/7 + 139. Which is bigger: x or t?
t
Let c = 2635/9 + -293. Suppose v = 3*v. Which is smaller: c or v?
c
Let u = -48 + 100. Let l be 8/u*(-1 + 0). Which is bigger: l or 1?
1
Let j(n) = n**3 - n**2 - n - 1. Let x(p) = 3*p**3 - 9*p**2 + 2*p - 3. Let i(v) = -4*j(v) + x(v). Let m be i(-6). Does 0 = m?
False
Suppose h - 5*a + 6 = 1, 5*h = 5*a - 5. Let s be (h - 0/(-1))/(-1). Is 2/13 not equal to s?
True
Let a(g) = -g**3 + 5*g**2 + 6*g - 1. Let b be a(6). Which is smaller: b or 3/16?
b
Let b = 105 - 104. Which is smaller: -41 or b?
-41
Let m be 6/(-2)*(-4)/(-6). Let b be ((-1)/m)/((-7)/(-14)). Which is smaller: -1 or b?
-1
Let t = -1.7 - -1.9. Are t and 2/3 nonequal?
True
Suppose -4*n + 8*n = 580. Let y = 1013/7 - n. Is -1/3 greater than y?
False
Let z = 0.49 - -0.01. Let k = z + -0.4. Which is bigger: 2/7 or k?
2/7
Let f(l) = -l**2 - 3*l - 1. Let n = -10 - -7. Let m be f(n). Let w = -7/12 - -5/6. Is w at least as big as m?
True
Let t(a) = 56*a. Let u be t(1). Let b = u - 38. Let j be (-1)/4 + b/8. Is 2 > j?
False
Let p(j) = j**3 - 7*j**2 - j + 1. Let l be p(7). Let t be 9/l*16/12. Which is greater: t or -1?
-1
Let f(c) = c - 4. Let y be f(10). Let z be (-4 + 1)/(y/6). Is -2 smaller than z?
False
Let h = 3 - 5. Let b = h + 1. Let p be (-8)/70 - 2/(-5). Which is smaller: b or p?
b
Let k = -58 - -59. Do -139 and k have the same value?
False
Suppose 2*d - 17 = r, -53 = -3*d - 8*r + 4*r. Suppose -4*n + d = -29. Suppose 5*h - 19 = 2*i, -3*i + 4*h - n = -4*i. Is i greater than -3/4?
False
Let g = -1/47 + -89/235. Let u be 8/(-6) + (-2)/(-1). Is u smaller than g?
False
Let b = 3 + -2.96. Let h = 0.34 - b. Let q = 2.3 - h. Which is smaller: q or -1?
-1
Let r = -120 - -104. Is 0 > r?
True
Let f be (-9)/2*(-2)/3. Let m be f/(-24)*(2 - 1). Let v = 2 - 1. Which is bigger: m or v?
v
Suppose v - n = -2*v + 31, 4*v + 3*n - 63 = 0. Are 12 and v equal?
True
Let t = 21 + -20.9. Is 0 bigger than t?
False
Let q(l) = -l**2 + 4*l + 11. Let k be q(6). Let t be (k/(-14))/(1/4). Is -2/11 at least as big as t?
False
Let m = 16 - 16.07. Let u = m - -2.07. Are -2/7 and u nonequal?
True
Let r(l) = 2*l**3 - l**2 + l + 1. Let k be r(0). Let g be (-2)/8 + 111/156. Which is smaller: g or k?
g
Let k = -578/429 + 2/143. Let y(l) = -3*l**2 - 2*l - 1. Let n be y(-1). Which is greater: n or k?
k
Let t = 8 - -19. Which is bigger: 1/4 or t?
t
Suppose 5*f = 3*t - 5 - 32, 4*f = -t - 16. Let l = t - 7. Which is smaller: -2 or l?
l
Let w(s) = s**3 + 4*s**2 + 2*s - 3. Let t be w(-3). Let g = t + -5. Which is smaller: g or -4?
g
Let g = 0.1 + -0.03. Let s = g + -3.07. Let c = 28/5 - 117/20. Which is greater: s or c?
c
Let o = -40 + 35. Is o at least as big as -4?
False
Let x = 1/59 - 66/413. Which is smaller: -1 or x?
-1
Let c = 13/15 - 1/5. Which is smaller: -2/17 or c?
-2/17
Let a be (-4)/6 + 6/9. Is 4/13 > a?
True
Let w = -54.8 + 55. Which is smaller: -0.01 or w?
-0.01
Let l be 4/3*(-27)/(-48). Which is smaller: -1.4 or l?
-1.4
Suppose 0 = -3*s - 0*v - 5*v + 21, -3*s - 4*v + 18 = 0. Suppose 0*j = 2*j - 6. Suppose s = -o + j. Which is smaller: o or -3/7?
-3/7
Let u(k) = k**3 - 3*k**2 - 6*k + 5. Let l be u(4). Is l at most -3?
True
Suppose -5*g - 3*y + 99 = -0*g, 75 = 5*g - 5*y. Let z = g - 12. Let p be ((-3)/4)/3*z. Is p bigger than -0.2?
False
Let v be ((-4)/30)/(16/24). Which is smaller: 1/2 or v?
v
Suppose 14*u = 10*u - 4. Suppose -4*x + 84 = 32. Let n = x + -38/3. Which is greater: u or n?
n
Let l(s) = s**3 + s**2 - s. Let u be l(-2). Let h be (15/(-30))/((-2)/(-20)). Is u bigger than h?
True
Let p = 8 + 7. Suppose 5*i + 0*v + v = p, i = 5*v + 3. Which is smaller: 2 or i?
2
Let k be (-5)/10 - (-233)/18. Let g = k + -79/9. Which is greater: g or 3?
g
Let j be (-1 + -1)*4/8. Which is greater: j or 9?
9
Let w = 1373/4 + -39793/116. Which is greater: w or -0.1?
w
Let k be 26/(-39) + (-44)/6. Which is smaller: k or -7?
k
Let m = -1 - 20. Let h = 20.9 + m. Which is smaller: h or 6?
h
Let l = 8.7 + -10.68. Let o = 2 + l. Let u = -0.08 - o. Is u at most as big as -0.4?
False
Suppose -7*s - 4*c = -2*s - 33, 0 = -4*c + 8. Suppose 2*z = s*z. Suppose -i = 4*l - 15, z = 5*i - 5*l + 10 + 15. Is 2/5 greater than or equal to i?
True
Suppose 0*o + 17 = 3*o - 4*j, o + 3*j = -3. Which is bigger: 8/3 or o?
o
Let w = 30 + -50. Is -20 > w?
False
Suppose 5*r + 11 = -29. Does r = -7?
False
Suppose 8*x + 16 = -0*x. Let i be (-14 + 2)/3 + 3. Is x <= i?
True
Let t be ((-2)/6)/((-6)/12). Do t and -7 have different values?
True
Let j = 55/129 + -4/43. Is -5 at least as big as j?
False
Let x = -11 - -8. Which is bigger: x or 1/4?
1/4
Let a = -2275/9 - -253. Suppose 4*f - 3*l = 16, 2*f + 2*f - 2*l - 12 = 0. Suppose 0 + f = -u. Which is greater: a or u?
a
Suppose 3*x - 12 = 6*x. Let b be (-4)/((-14)/(-35)*5/2). Is x greater than b?
False
Let d be ((-27)/15 - -2)*2. Let m be (-2 + 7 - -1) + -1. Let q(t) = t**3 - 6*t**2 + 5*t. Let u be q(m). Which is greater: u or d?
d
Let n = 6.6 + -1.6. Which is greater: n or 2/3?
n
Let t(u) = 2 - 1 - 4*u + 2*u + 0. Let p be t(-4). Are p and 9 nonequal?
False
Let m = 19 - 14. Suppose -3*s - 2*s + 50 = 0. Suppose -m*f = -0*f + s. Is 1 equal to f?
False
Let i = -1046/539 - -6/49. Are 0.1 and i non-equal?
True
Let z = 3.5 - 0.3. Let d = z + -3. Let o = 25.2 + -25. Are d and o nonequal?
False
Let g(t) = -t**2 + 3*t + 11. Let n be g(5). Suppose -5*v - 13 = -33. Let d be v/(-6) + (-64)/(-78). Is n equal to d?
False
Let j = -0.253 - 0.047. Is j equal to 0.2?
False
Suppose -4*m + 20 = 2*j, 0 = j + 3*j + m - 26. Let x be (1/j)/(10/(-6)). Which is smaller: x or -1?
-1
Let g be (-68)/357*1*3. Let n(h) be the second derivative of h**5/20 - h**4/4 - h**2/2 + 3*h. Let t be n(3). Which is greater: t or g?
g
Let m be 2*2/(-12)*(-8 - 1). Let q = -0.22 - -1.32. Let v = 0.1 - q. Which is greater: v or m?
m
Suppose -2*k = -3*k - 8. Let h = k - -2. Which is greater: h or -1?
-1
Let v(d) = -d - 2. Let c be v(-4). Suppose -c*x + 0*x = 0. Is 0 < x?
False
Let r = 11.94 + -12. Is r smaller than -2/3?
False
Let n be 3/(0 + (3 - 2)). Suppose 0 = n*k + 2*k + 30. Which is smaller: k or -2?
k
Let l = -2.3 + -11.7. Let v = 13.95 + l. Which is smaller: v or -2?
-2
Let r be ((-9)/(-10062))/((-2)/(-136)). Let i = -4/43 - r. Let m be (-3 + -1 + 2)/(-2). Is m smaller than i?
False
Let a be (4/6)/((-4)/(-12)). Suppose -4*z + 12 = -a*z - 2*s, 0 = 3*z - s - 10. Let v = z - 1. Are 1 and v non-equal?
False
Let j be (10/(-6))/(5/(-15)). Which is greater: j or 2?
j
Let x be 9/12 - (-918)/(-168). Which is