3/4
Let k = 0.07 + -3.07. Let i = -0.8 - -3.6. Let b = k + i. Which is bigger: b or -1?
b
Let u(g) = g - 1. Let q be u(3). Suppose -3*p - 5*y = -2*y - 24, -2*p = -q*y. Do 3 and p have different values?
True
Let w(l) = -l**3 + 9*l**2 + 10*l + 1. Let z be w(10). Let v be (-3 - 60/(-33)) + z. Suppose 1 - 3 = -2*b. Is b greater than v?
True
Let t = -7 + 6.7. Is -0.12 <= t?
False
Let x be -2 - (1/(-1) + -6). Let c(v) = -v**3 - 7*v**2 - 8*v - 6. Suppose -6*l - 18 = -3*l. Let k be c(l). Does x = k?
False
Let t(w) = 2*w - 3. Let q be t(-3). Let l be 3/q - (-17)/33. Is -1 >= l?
False
Suppose -m = 3*s, 0*s - 22 = 3*m - 2*s. Let y be (-8)/(-3)*m/(-4). Suppose y*r = -22 + 10. Is r >= -4?
True
Suppose 2*c = 4*q - 16, -3*q - 6*c + 5*c + 12 = 0. Is 3 > q?
False
Let r(g) = -g + 4. Let x be r(3). Let h be (0 + 2/2)*x. Let p = 2/9 - 17/36. Which is smaller: h or p?
p
Let s = -0.96 - 0.14. Let m = -2.9 + s. Is m at least as big as 0?
False
Let w = -32 + 63/2. Suppose -3 = -3*h - 0*h. Suppose 5*m - h = 4*m. Which is smaller: m or w?
w
Let g = 0.03 + -1.93. Let u = -0.1 + g. Let i = u - -1. Do i and -1 have different values?
False
Let h(r) = r**2 + 4*r - 15. Let w be h(-7). Suppose l - 3 = -0. Let m = l - w. Is -3 < m?
False
Let g be (-22 + 3)*(-2)/(-1 + 3). Is g greater than or equal to 18?
True
Suppose 2*l = 5*l + h, l = 3*h - 10. Is l at least as big as -5/17?
False
Suppose -a = -4*w + 2*a + 32, w - 4*a = 8. Suppose -w = 5*g - 3*g. Is g at least as big as -4?
True
Suppose 0 = -4*d - d - 95. Let z be (-1)/d*(-159)/15. Let j = z + 3/19. Which is greater: j or -1?
j
Suppose 2*d + 5 = a, 0*a = -2*a - 3*d - 4. Let u = 3 - 1. Let s = u - 1. Is a bigger than s?
False
Let v(b) = -4*b + 29. Let w be v(8). Do -4 and w have different values?
True
Let x = -782/15 + 234/5. Is -6 bigger than x?
False
Suppose 5*r = -3*q - 7, -q - 1 = 4*q + 3*r. Is q equal to -2/13?
False
Let z(t) = t**3 + 7*t**2 + 6*t - 3. Let c be z(-5). Suppose c = 5*b + 2. Let q be 4/b*2/(-4). Is 0 less than q?
False
Suppose 13*o + 2 = 2. Is o < 1?
True
Let f = -43 + 43. Which is bigger: f or 1?
1
Let f(q) = -q**2 - 5*q + 4. Let w be f(-5). Let c(n) = -n + 5. Let u be c(w). Let p = -8.9 - -7.9. Which is smaller: p or u?
p
Let v = 0.1 + -0.12. Is v < 0?
True
Let v = 118 + -119. Which is smaller: v or 0.007?
v
Suppose 0 = 2*c - 5*r + 10, -2*r = 3*r. Which is smaller: -1 or c?
c
Let a be (1/4)/((-4)/(-16)). Which is greater: 2/13 or a?
a
Let c = 86 + 26. Let z be -1 + 3 + c/(-54). Which is smaller: 0 or z?
z
Let y = -1/29 + 149/116. Let m(a) = -a**3 - 7*a**2 - a - 4. Let h be m(-7). Suppose -n + 3*n - 11 = -h*z, -2*z - 5*n + 22 = 0. Which is greater: z or y?
y
Suppose 2*r = -r. Suppose r = 4*y - y. Let m be (4 + y)/(-2 - -4). Is 2 less than m?
False
Suppose 5*d + 9 = -46. Let i = -10 - d. Which is smaller: i or 0?
0
Suppose 7*a + 139 - 13 = 0. Which is bigger: -16 or a?
-16
Let y(r) = r**3 + 8*r**2 - 11*r - 12. Let o be y(-9). Let p be (-7)/((-21)/o) - 0. Which is greater: -2/17 or p?
p
Suppose -3 = -2*k + 1. Are 3 and k equal?
False
Let d = 7 + -5. Is 0 < d?
True
Suppose -4*i + 6 = 2*w, 2*i - w - 2 + 1 = 0. Let y = -8 + i. Is y <= -8?
False
Let y = 0.25 - 0.23. Which is greater: -0.2 or y?
y
Let z = 40/11 + -247/77. Which is smaller: 0 or z?
0
Let p = 133 - 663/5. Let g(s) = 3*s + 19. Let a be g(-8). Let x = a + 4. Which is bigger: x or p?
p
Let n = 74/7 + -673/63. Let v(a) = -a**3 + 2*a**2 + a - 2. Let h be v(2). Which is smaller: n or h?
n
Let i(f) = 2*f + 10. Let t be i(-7). Let j = t + 6. Suppose 3 + j = 5*n. Which is smaller: n or 1/4?
1/4
Let b(n) = n**3 + n**2 - 1. Let h be (3 + 30/(-9))*3. Let s be b(h). Is -1 greater than s?
False
Let t be ((-457)/2)/(14/(-4)). Let h = t + -65. Let s = 40 - 41. Which is smaller: s or h?
s
Suppose f = -1 - 3. Is -2 <= f?
False
Suppose -4*q - 1 + 0 = -z, -3 = -3*z - 5*q. Is 1 greater than z?
False
Let x = -9 + 6. Let m = -2.7 - x. Let w = m - 0.3. Is w greater than or equal to -0.1?
True
Let f = -8.57 - -0.77. Let b = -8 - f. Which is greater: b or -1/3?
b
Let t be (-1002)/(-249) - (-16)/(-4). Is t greater than or equal to 1?
False
Let w = -6.4 - -6. Let c = w + 0.5. Let a = -5 + 3. Which is bigger: a or c?
c
Let k = -23/12 - -9/4. Let s(r) = -r**3 - 5*r**2 - r - 3. Let t be s(-5). Suppose -2*u - 8 = -z, u - t*u - 5*z + 7 = 0. Which is bigger: k or u?
k
Let m(u) = u - 2. Let h be m(0). Let z = 1/54 + -14/27. Which is smaller: h or z?
h
Let t(x) = -x**3 - 21*x**2 + 22*x. Let h be t(-22). Is h at most 1/20?
True
Suppose 2*o - 2*a + 2 = -6, -o + 5*a - 24 = 0. Which is greater: -2/61 or o?
o
Let r = -80 + 78. Let d be ((-1)/(-3))/((-2)/(-3)). Is d > r?
True
Let a be 3*((-16)/(-6) - 3). Let o(m) = -2*m + 4. Let l be o(3). Does a = l?
False
Suppose -13*c - 11 = -2*c. Let b be 19/(-39) + 1/3. Does c = b?
False
Let c(u) = -u - 1. Let q be c(-1). Let x be (q - (1 + -2)) + 9. Suppose 6*b = -5*h + 3*b + x, -14 = 4*h - 2*b. Is h <= -1?
True
Let l = 9 + -11. Let s be (-3 + 11)*-1 - l. Is -4 smaller than s?
False
Let n = 1.3 + -1.4. Is -3 greater than n?
False
Let q be (-9)/(-12)*16/30. Suppose 2*b = -30 - 8. Let o be 3/(-2) + b/(-14). Which is smaller: q or o?
o
Let m be 2 - 1 - (1 - 0). Let y = 0.59 - 0.19. Let x = 0.6 - y. Which is smaller: x or m?
m
Let r be (-10)/(-2)*16/10. Let b be r/4 - (-22)/(-10). Which is bigger: 1 or b?
1
Let q = -15.3 + 15.5. Which is smaller: q or 4?
q
Suppose 25 = 7*v - 2*v. Is 6 greater than v?
True
Let a = 27 + -31. Which is greater: -5 or a?
a
Let d be (21/15)/(-7)*-25. Is 5 > d?
False
Let z(n) = -n**2 + 6*n - 5. Let m be z(5). Suppose m = -5*b - y + 3, -2*y + 5*y - 9 = -4*b. Is b at most as big as 3/4?
True
Let b(z) = z - 5. Let o be b(6). Suppose -2*y + 3*y - 25 = 0. Let l be (1/(-2))/(y/(-30)). Which is smaller: o or l?
l
Let i(t) = t**2 - 4*t + 3. Let x be i(3). Let m be 17/7 + x + -2. Let z = 199/4 - 50. Do m and z have the same value?
False
Let f be 382/3114 - ((-37)/(-9) - 4). Is 0 at most f?
True
Let w(u) = 2*u**2 + 8*u + 5. Let a be w(-6). Let s = a - 20. Suppose -s = -0*y + 3*y. Is y >= 1?
False
Let d(a) = a**2 + 4*a + 5. Suppose -5*l = -6*l + 5*y - 13, l - 3*y = -9. Let v be d(l). Let x be 1/(-4) - (-5)/4. Which is smaller: x or v?
x
Let h = 2 - 0. Suppose 0 = -5*u + 4*l + 30, h*u - 12 = -0*u + 5*l. Let o = -16/3 + u. Is 0 at most as big as o?
True
Let j(h) = 2*h**2 + h - 1. Let b be j(-2). Let v = -120 - -124. Which is bigger: v or b?
b
Suppose -5*w + 30 + 10 = 0. Suppose 3*m - m - w = 0. Suppose -5*j + i = 1, 3 = 4*j + m*i - 1. Is 2/11 less than or equal to j?
False
Let c(y) = -y**3 + 4*y**2 - 3*y. Let x be c(3). Suppose j + 0*j - 3*b = x, -b = 1. Let g(q) = 2*q + 4. Let v be g(j). Which is bigger: v or -1?
-1
Let d(z) = -z**3 - z**2 + z. Let l(g) = -4*g**3 - g**2 - 3*g - 7. Let v(n) = -5*d(n) + l(n). Let j be v(-5). Let t = -11 + j. Which is greater: 0 or t?
0
Let a = -4 - -9. Suppose a*v - 9 = i, 4*v = 3*v + 3*i + 13. Which is greater: v or -0.1?
v
Let m be (-15)/(-9) + (5 + -10 - -4). Which is bigger: 4 or m?
4
Let r be -1 + 2/(4/10). Suppose r*t - 2 = -14. Let p be (-30)/9 - 2/(-6). Is t less than p?
False
Let r(k) = -2*k - 12 - 10*k + 3*k**2 - 2*k**2. Let g be r(13). Which is smaller: 2 or g?
g
Suppose 3*p = -p + 8. Let j(w) = w**2 + 3*w. Let t be j(-3). Suppose -5*r + 8 + 7 = t. Do p and r have different values?
True
Suppose -3*b = 2*b - 100. Let l be (6/(-10))/((-18)/b). Is l at least 0.2?
True
Let z be 11*(-1 - 0)*-1. Suppose b = 5*v, -3*b + 4*v = -11 - z. Is b at least 10?
True
Suppose 17 - 20 = r. Let p be 1*(56/(-6))/4. Is r smaller than p?
True
Let t(k) be the second derivative of -k**4/12 + 3*k**3/2 + k**2/2 + 3*k. Let d be t(9). Let j = 0 - 0. Is d < j?
False
Let f = 0.04 - 0.44. Let p = -0.7 - f. Let w = 0.1 + p. Which is bigger: -0.1 or w?
-0.1
Let r(c) = 2*c - 3. Let p be r(3). Let t = p - 8. Let z = -67 - -62. Is t less than z?
False
Let n be (15/2)/(117/52). Which is smaller: 2 or n?
2
Let h be 6/4 + (-27)/2. Is h at most -11?
True
Let m = 5.2 - -0.8. Which is smaller: m or 2/9?
2/9
Let s = -1 - -1. Let i = 14 - 19. Let u be (1 - (-8)/i) + 1. Which is bigger: u or s?
u
Let d = -21 - -13. Let s = d + 6. Is s less than 1?
True
Let b = -13 + 5. Let x be 34/(-28) - b/(-28). Is -3 at most x?
True
Let f(j) = j**2 + 4