 or -12/25?
-12/25
Let b be (3/(-9))/((-2)/(-6)). Let q be (308/(-80) - -4) + 2/(-5). Is b > q?
False
Let p = 9.4 - 8.4. Let c = -1.5 - -0.4. Which is greater: p or c?
p
Suppose 5*r + 0*r + 55 = 0. Suppose -2*c - 2*g + 10 = 0, g + 12 = 3*c + 5*g. Let d = c + r. Which is bigger: -1 or d?
-1
Let u(d) = d**2 + 9*d. Let q be u(-9). Is -2 greater than or equal to q?
False
Let b = -4052/4711 + 2/673. Suppose 8*a - 6 = 11*a. Which is bigger: b or a?
b
Let d = 25.03 + -2.23. Let r = -23 + d. Let i = 0.2 - 0.1. Which is smaller: r or i?
r
Suppose -4*a = -7 - 1. Let d = -1 + a. Let i = -3 + 3. Which is bigger: d or i?
d
Let h(f) = f**2 - 5*f + 1. Let q be h(4). Is q at most as big as -3?
True
Let y = 27 - 48. Let a = 18.9 + y. Let q = -2 - a. Which is bigger: q or 0.2?
0.2
Let n = 0.07 - -11.93. Let d = n - 13. Let r = 0.16 + 8.84. Are r and d unequal?
True
Let t(k) be the third derivative of k**5/60 - k**4/3 + 4*k**3/3 + 3*k**2. Let o be t(6). Are -4 and o nonequal?
False
Let j = -37 + 20. Is j > -17?
False
Suppose 0 = 4*a - 5*u - 34, -4*u + 1 = 9. Suppose -10 = -4*h + a. Suppose -4 + 8 = h*l. Is 1 less than l?
False
Let w = 4.8 + -5. Let u = -0.2 - w. Let l = -0.5 - -3.5. Are u and l unequal?
True
Suppose 5*t + 4*v - 20 = 0, -25 = -3*t - 0*t - 5*v. Let z = t + 0. Suppose 4*l = -z*l. Which is greater: l or -1/2?
l
Let q = -3199/9 - -355. Let d = -2 + 1. Which is smaller: q or d?
d
Suppose 2*y + 13 = 5, -3*j = 4*y + 19. Let z(g) = g**2 - 4*g + 4. Let m be z(3). Which is smaller: j or m?
j
Let v = -2 + 90. Let w be (-9)/6 + (-3162)/v. Let d = -149/4 - w. Which is smaller: d or 0?
0
Let h = -93 - -96. Are 1.2 and h equal?
False
Let v = 10.2 + -10. Let s be 1581/(-9)*9/21. Let j = 75 + s. Is v less than j?
False
Let f(v) = v + 3. Suppose 16 = -5*x - 4*l, 3*x + 5*l = -0*x - 7. Let b be f(x). Which is smaller: b or 2?
b
Let v be (-1)/(-4) + 9/(-4). Let c = v - -2. Let j = -0.5 + 0.5. Is j at least as big as c?
True
Let y = 21 - 20.68. Let p = -0.98 + 1. Let b = y - p. Are -2 and b nonequal?
True
Let t = 0.3 + 0.7. Let g = 0 + t. Let z = 1.094 + -1.194. Which is greater: g or z?
g
Let l be ((-12)/9)/(4/(-18)). Suppose j = -j - l. Which is smaller: -2 or j?
j
Let z = 6 - 6. Let t = z + 0. Which is smaller: t or -2/7?
-2/7
Let j = 8 - 5. Suppose j*p + 16 = -2*o, 5*o = -2*p - 4 - 14. Let z be (0/o - -3) + -4. Which is greater: z or 3/4?
3/4
Let i be (-4 + 3)*18/15. Are 0 and i unequal?
True
Suppose 2*v = -4*x + 18, 2*v - 5*x = -0*v - 9. Let p(a) = -3*a**3 - a**2 - a - 1. Let j be p(-1). Which is bigger: v or j?
v
Let h = 2.08 + -0.08. Is -1/3 smaller than h?
True
Let n = -2 - 0. Let f(m) = m + 1. Let h(r) = r - 4. Let y(a) = -3*f(a) - h(a). Let s be y(1). Is s greater than n?
False
Suppose 28 = -4*h - c, 2*c - 20 - 15 = 5*h. Is h > -2/9?
False
Suppose -4*r - 2*k - 2 = 0, -r - k + 2*k = 2. Let m = -4 + r. Is m at least as big as -6?
True
Let t(y) = y - 25. Let v be t(24). Are -3/34 and v unequal?
True
Let r be 2/(-4) + 1 + 0. Let i = -5.3 + 3.3. Which is smaller: i or r?
i
Let j = 372/35 - 51/5. Is 0 less than or equal to j?
True
Suppose -u = 9*w - 4*w - 17, -2*u - 5*w + 19 = 0. Which is bigger: u or 1?
u
Suppose -3*n + 6 + 1 = -2*f, 0 = -5*f + 5. Is -1 equal to n?
False
Let g = -9.9 + 29.9. Which is bigger: 0.1 or g?
g
Let a be 39484665/42*(-1)/6. Let u = a + 156655. Let q = -119/4 - u. Is q greater than 1?
False
Let a = 29 - 24. Is a equal to 4?
False
Suppose 0 = 5*m - 67 - 103. Is -1 greater than or equal to m?
False
Let p = -29 + 2. Let k be (-2)/10 + p/15. Is k greater than -2?
False
Let i be 0*(3/6 - 0). Suppose -9 = -3*w - i*k - 2*k, 0 = 3*w + 3*k - 12. Let b be 5/4*w/5. Which is smaller: 1 or b?
b
Let y = -157/4 + 39. Let x = -3/4 - y. Is -2 < x?
True
Let a(v) = 16*v + 3 - 17*v + 2. Let g be a(7). Which is smaller: g or -3?
-3
Let t(l) = l**2 + 2*l + 1. Let x be t(-5). Is 16 <= x?
True
Suppose 3*b + 17 - 3 = f, -f = 4. Let y be (12/8)/(b/(-8)). Suppose -y + 4 = v. Does v = 1/4?
False
Let u = 0 - -0.2. Is 5/2 < u?
False
Suppose 4*t - 2*g - 8 = 0, -3*t + 3*g + 0 = -3. Let l be 0 + 52/18 - t. Suppose -d - 4*i - 7 = -2*d, 0 = 5*d - i + 3. Is d at least as big as l?
False
Let c = -8 + -3. Suppose -30*a + 45 = -35*a. Are c and a nonequal?
True
Let y = -3.66 - -3.8. Are y and 1 unequal?
True
Let p be 4/26 + 287/(-91). Let i be p/5 - 51/15. Let z = -1 - 1. Is i at most z?
True
Suppose -2*v + 2*r = 10, r = -5*v - 3*r + 20. Let d be -1*(v - (-4)/(-10)). Which is smaller: d or 0.2?
0.2
Let g(d) = 4*d**2 - 2*d - 4 + 0*d**2 + 6 - 5*d**2. Let n be g(4). Is -22 <= n?
True
Suppose -20 = -3*b - 2. Let x = -6 + b. Suppose x = -v + 6*v. Is v smaller than 1/3?
True
Let i(c) = -c - 7. Let k be i(-6). Suppose -3*t = -t + 2. Is k smaller than t?
False
Let q be (-56)/(-1) + 13 + -8. Is 61 at least q?
True
Let g be ((-8)/(-6))/(8/12). Suppose -t - 6 = -g*t. Suppose a = 3*a - t. Is a >= 3?
True
Let q be 1 + -1*2 + 0. Let f(i) = i**3 + 6*i**2 - 9*i - 9. Let w be f(-7). Suppose 0 = w*c - 6*c. Is c greater than q?
True
Let j be (13/5 + -2)*5. Suppose 3*h + 12 = 2*q, 15 + 7 = 4*q - 5*h. Is q bigger than j?
False
Let t = 60 - 59.93. Let q = 0.1 - 0.2. Which is bigger: q or t?
t
Let k = -186/5 - -1272/35. Are -1 and k nonequal?
True
Let m(o) = -2*o**2 - 4*o - 3. Let k be m(-2). Let c(s) = s + 2. Let d be c(0). Suppose 3*b + 0*b + 14 = d*x, -3*b - x = 2. Is b >= k?
True
Let r be (-1264)/(-20) - (-1)/(-5). Let w be 1 + (-7)/(r/12). Is w not equal to -1/4?
True
Let k = -2 + -22. Is -49/2 less than or equal to k?
True
Let s = 2 + -2. Suppose s = -6*b + 4*b. Which is smaller: 2 or b?
b
Let t be ((-4)/(-6))/(10/(-6)). Let p = 69 + -64. Which is bigger: p or t?
p
Suppose x + 64 = 9*x. Which is greater: x or 9?
9
Let y be (-32)/14 + 2 + 309/(-21). Is y less than -16?
False
Let z be 56/20 - 1/(-5). Suppose 4*w - 21 = 5*q, -4*q + 5*q = z*w - 2. Let g be (-4)/14 - w/28. Which is smaller: -2/7 or g?
-2/7
Let r be (1 - 4/2)*-3. Let g be (-1)/(r/1 - 4). Suppose 0 = 2*a - 4, -i = -0*i - a + 1. Is i at least g?
True
Let k(u) = -3*u - 14. Let q be k(6). Is -32 equal to q?
True
Suppose -3*b + 8*b - 20 = -5*x, 16 = 4*b - x. Let u be ((-3)/4)/(1/b). Which is bigger: -2 or u?
-2
Let q(c) = c**2 + 7*c + 5. Let k = -10 + 6. Let o be q(k). Which is bigger: -6 or o?
-6
Let x = -0.03 - 2.37. Let w = 1.4 + x. Which is smaller: w or -2/29?
w
Suppose 3 = 25*p - 26*p. Which is smaller: p or 2?
p
Let f be 1 - 2/((-32)/(-10)). Which is bigger: f or 1?
1
Let i = 7 + -7. Suppose 0 = 4*n - 3*r + 12, i*n + 5*r - 20 = -5*n. Is -2/13 > n?
False
Suppose 0*y = 3*t + 5*y + 15, 5*y + 15 = 0. Which is smaller: t or -1?
-1
Let f(t) be the first derivative of -t**2/2 + t + 1. Suppose -2*w = 3*m, -4*w + 0*m = 4*m. Let b be f(w). Is b bigger than 1?
False
Let v = -89 - -55. Is v greater than -37?
True
Let i = 0.32 + -0.42. Is i less than or equal to 11?
True
Let r = -65 - -66. Is r <= -77?
False
Let w(z) = -z - 11. Let s be w(-9). Let r be 0*(-3)/(-12)*s. Which is bigger: 2/17 or r?
2/17
Suppose 0 = -0*i - 2*i + 6. Suppose w + w = -i*y - 13, 6 = -y + w. Let m = -5 - y. Which is smaller: m or 1/5?
m
Let f = 21.17 + -0.17. Let p = 15 - f. Let b = 11 + p. Which is bigger: 1/4 or b?
b
Let h = -2 + 4. Suppose -5*g + 10 = 5*o, o + 4*g + 2 = 1. Let z = 3 - o. Which is greater: z or h?
h
Let w be (5 + 185/(-25))*(4 - -1). Which is smaller: w or -10?
w
Let t = -2.5 - -14.5. Let f = t + -14. Is f at least as big as 1/4?
False
Let c be 81/6*(24 - -2). Let m be -1 - 1*c/(-77). Let d = m + -36/11. Which is smaller: -1 or d?
-1
Let l = 93 - 101. Which is smaller: l or 4?
l
Let s be (-11)/33*(0 - -3). Let c = 5 + s. Is c greater than or equal to 2/7?
True
Let a = 5 - 3. Suppose 2*p = 3*o - 0*p - 22, 4*o - 3*p = 31. Which is smaller: a or o?
a
Let t be 53/4 + (-18)/(-24). Is 13 greater than t?
False
Let q = 6.2 + -6. Which is smaller: 1 or q?
q
Let u be 3/4*(-15)/(-378). Let p = u - 451/3864. Do -1 and p have the same value?
False
Let a = -5 + 8. Does a = 6?
False
Let w be 0 + 1776/(-861) - -2. Let s = -4/123 + w. Which is smaller: s or 0?
s
Let v(i) = i**3 - 7*i**2 + 5*i + 8. Let l(y) = -2*y - 5. Let q be l(-4). Let w be q/(-5) - (-66)/10. Let x be v(w). Is 2 greater than x?
False
Let g = -4 - -6. Suppose 2 = g*c + 6. Which is smaller: c or 0