1/h - 3/(-9). Which is bigger: 1/3 or d?
1/3
Let z(o) = o**2 + 4*o - 2. Let n be z(-4). Let h = -32 + 32. Let d be h + (0 - 4) + 1. Is n at least d?
True
Let v = 0.08 + 0.01. Let d = 1.91 + v. Is 1 less than d?
True
Let d = -5 + 4.5. Let h = d - 2.5. Which is bigger: -1/4 or h?
-1/4
Let h = 16 - 7. Suppose 4*s = -4, -2*v + 0*v - s - h = 0. Is v less than -5?
False
Let c(z) = -z + 1. Let r be (0 - (0 - 2)) + -3. Let x be c(r). Let t = 2 - 3. Which is greater: t or x?
x
Let q(h) = h - 8. Let c = -6 - -13. Let g be q(c). Which is smaller: g or -2?
-2
Let h be (2 - (-34)/(-8)) + (-10)/(-5). Which is smaller: h or 28?
h
Let b = -0.08 + -0.32. Is 0.3 less than or equal to b?
False
Let s be (-324)/(-45) + -2*(-3)/(-30). Is s less than -2/3?
False
Suppose -3*z - 3 = -3*a + 15, -2*z = 5*a + 5. Let c be (-2 - 36/(-15))*z. Is c greater than or equal to 0?
False
Let a = -20 - -28. Suppose -f + 3*y = -a, f + 3*y + y + 13 = 0. Let v = -4/27 + -19/54. Which is bigger: f or v?
v
Suppose -5*v - 2*d - 85 = 0, -2*v - 3*v - d = 90. Does v = -19?
True
Let q = 9 - 0. Suppose -2*l = l - q. Suppose -p = 5*u - 4, 2*u - 2*p - l*p + 20 = 0. Is 4/7 at least u?
True
Let m = 5 - 4.88. Let p = 0.08 + m. Which is smaller: 2/3 or p?
p
Suppose 2 + 6 = 4*p. Let g = 6 - p. Suppose -2*q + 5*n - 31 = q, -g*q - 3*n + 7 = 0. Is q smaller than -3?
False
Let v be (21/(-1))/((-10)/70). Is v greater than 148?
False
Let s be ((-2)/(-4))/(35/20). Which is greater: s or -14?
s
Let c(h) = -h**2 - 3*h + 4. Let r be c(-4). Suppose r = -3*j - 3*a - 9, 3*a - 5 = j - 14. Which is greater: 2/5 or j?
2/5
Let m = -74.1 + 68. Let h = 6 + m. Let f = 0.6 - -1.4. Is f less than h?
False
Suppose 2*r - 69 = 7*r - 3*d, 79 = -5*r - 2*d. Let v be (24/r + 2)*10. Is 3 at least v?
False
Let v = 25/14 + -2/7. Let j = v + -23/18. Is -2/3 bigger than j?
False
Suppose 39 = 5*n - 5*s + 9, 5*s + 26 = n. Is 0 greater than n?
False
Let s(r) = -r**3 + 8*r**2 - r + 11. Let f be s(8). Does 6 = f?
False
Let v be (2 - 4) + 4*1. Let i(n) = n**3 + 8*n**2 + 7*n + 1. Let u(d) = -8*d**2 + 1. Let m be u(1). Let o be i(m). Are v and o equal?
False
Suppose -67 = 2*t - 67. Let y be -2 - ((-5)/(-7))/(-1). Which is smaller: t or y?
y
Let a = -5 - -8. Suppose 22 = a*u - i, 0 = -4*u + u - 2*i + 10. Is 6 < u?
False
Let b = 368/1239 + -2/177. Let l be -1 + (7 - -1)/2. Let i = l + -4. Which is smaller: b or i?
i
Let a = 18 + -18. Which is smaller: 3 or a?
a
Let c = 17 + -16.86. Is -1 greater than or equal to c?
False
Let t = 1 - -1. Let g = -0.09 + 4.09. Let a = t - g. Which is smaller: a or 1?
a
Let b be ((-12)/72)/((0 - -2)/4). Is -1/5 at least as big as b?
True
Suppose 6*s - 3*s = 2*y - 8, -2*s - 18 = 5*y. Suppose 8*m + 2 = a + 4*m, a + m + 3 = 0. Is a greater than or equal to y?
True
Let y = -1 + -6. Let v = -7.01 - y. Let j be -4*(6/(-28))/3. Is j > v?
True
Suppose -4*c + 2 = 5*s, -6*s + 4 = -2*s + 4*c. Is s smaller than 0.2?
True
Let s = 1 + -3. Let p be -2 - s/(-2)*1. Is p greater than or equal to -1/2?
False
Let f = 16 - 14. Let u = -28 - -20. Let q = 6 + u. Are q and f unequal?
True
Let h = 21 + -14. Suppose 0 = 3*d - h + 1. Which is bigger: d or 2/19?
d
Let d(a) = a**3 - 5*a**2 - 7*a + 9. Let o be d(6). Suppose -4*i = -o*i - 3. Is 3 >= i?
True
Let f(h) = 2*h**3 + 8*h**2 - 3*h - 41. Let v be f(-5). Which is smaller: -77 or v?
-77
Let j be ((0 - -3)/36)/((-22)/(-40)). Is j less than or equal to 1?
True
Let r = 129 + -130. Is -3/35 > r?
True
Suppose 3*f - 3*v + 12 = -9, f - 5*v + 27 = 0. Let z = -2 - f. Let g(h) = -h - 2. Let b be g(-3). Which is smaller: z or b?
z
Let b = 19.08 + -0.08. Let c = -18.8 + b. Which is smaller: c or -1?
-1
Let x = -8 - -25. Which is smaller: x or 19?
x
Let f = -16 - -17. Let y = -10.8 - -10. Let g = y - -0.3. Which is smaller: f or g?
g
Let t = -7 - -10. Suppose -3*l + l - 8 = -3*b, 0 = -t*b - 5*l + 43. Suppose 0 = -4*w + b - 2. Which is greater: w or 3/2?
3/2
Let m be ((-8)/24)/(((-9)/3)/(-27)). Let c = -2 - 0. Let s(h) = -h**3 - 3*h**2 - 2*h - 2. Let j be s(c). Which is bigger: j or m?
j
Let a be (78 - -1) + -2 - 3. Let m be (-5)/(-30) + a/(-12). Is -0.2 <= m?
False
Let j be -2 - -4*27/42. Let m = 4 - 0. Let i = m + -2. Is i > j?
True
Suppose 6 = 5*r + 1. Let a = 2 + r. Suppose -2*m - a = -1. Is 1 less than or equal to m?
False
Let x = 0.9 - -0.1. Which is smaller: -0.3 or x?
-0.3
Let m = -0.34 + 0.24. Which is smaller: 1/223 or m?
m
Let s = -58.99 + 59. Let p be (12/(-56))/(6/8). Is p at most as big as s?
True
Suppose 0 = -9*i + 18*i - 81. Is i less than or equal to -6?
False
Let f = 0 - 0. Let h = -0.3 - f. Is h > 0?
False
Let g be ((-1)/1 - -1)/(-2). Suppose 0 = c + 2*h, g = -c + 6*c + 5*h. Which is bigger: -1 or c?
c
Let d = 0.26 - -0.24. Which is smaller: 4 or d?
d
Let r(o) = -3 + 8 - 4 - o. Let b be r(4). Do -4 and b have different values?
True
Let k = -1/16 - 3/16. Let c = -0.6 - -2.6. Which is greater: k or c?
c
Let z be 1 - (-15)/33 - 2. Let d = z - -41/55. Let h be (1/2)/(1/(-2)). Which is smaller: d or h?
h
Suppose x = -t - 3*x - 26, 0 = 3*t + x + 34. Let g = -10 - t. Which is smaller: -3/22 or g?
-3/22
Let r be (-3)/6*-2*(-1 + -7). Suppose -4*d + d - 27 = 0. Is r >= d?
True
Suppose 0 = 2*h + 17 - 3. Suppose -z = 3*z + 32. Is h less than or equal to z?
False
Let l be (-104)/30 - 28/(-42). Let u = 27/10 + l. Is u < 0?
True
Let s(c) = -9*c**3 + c. Let i be s(-1). Which is smaller: 11 or i?
i
Let h = 3.8 - 2.5. Let m = h + -0.3. Is 2/9 smaller than m?
True
Let g(y) = 2*y**3 + 9*y**2 + 5*y + 3. Let s be g(-4). Which is greater: s or -10/9?
s
Let l = 59 - 63.1. Let o = l + 4. Let w = -4.6 + 5. Which is greater: o or w?
w
Suppose 2*d = -r - 3*d, 4*d - 4 = 0. Let v(g) = g**2 + 4*g - 4. Let o be v(r). Is o > -2/5?
True
Let f be (20/90)/(2/12). Suppose 0*g - 2*g = 0. Is f bigger than g?
True
Let z(t) = -t**3 - 5*t**2 + 2*t + 7. Let u be z(-5). Let m(k) = k**3 - 5*k**2 + 3*k + 1. Let h be m(4). Is u at least h?
True
Let f = 135 - 78. Is -1 at most as big as f?
True
Let k be 2/3 - 42/9. Which is smaller: -3 or k?
k
Suppose 3*r + 4*w = -w + 34, -w + 5 = 0. Suppose 5*y + 4*f - f = -20, -8 = r*y + f. Is y less than 3/10?
True
Let d(m) = 2*m**2 - 5*m + 3. Let w be d(5). Let g = w - 111/4. Do -2 and g have the same value?
False
Let l be (-5)/(-2)*(-10)/50. Is -1 less than l?
True
Let m = -40 - -72. Suppose -f = -3*f - m. Let j be (f/4)/(-3 - -1). Is 4 >= j?
True
Suppose 4*t = -9 - 11. Which is smaller: -4 or t?
t
Let a(i) = i**3 + 7*i**2 + 2. Let d be a(-7). Suppose d*y = -2*q - 12, -5*q = 2*y - 0*q + 27. Which is smaller: y or 4/9?
y
Suppose 0 = f + 5 + 3. Let q be (-1)/6*(-36)/f. Which is smaller: q or -1?
-1
Let c be (0 - 1)*(0 + 0). Suppose c = 5*u + 7 + 8. Let y be 8/(-3) + 1/u. Is -3 equal to y?
True
Suppose -5*k = -18 + 3. Let v be k + (8/(-4))/1. Which is bigger: v or 2?
2
Let q = 188 + -5830/31. Is q > 0?
False
Let w = 10.4 - 9.37. Let r = w - 0.03. Is 0.3 != r?
True
Suppose 11 = -4*y - 17. Suppose 3*v + 3*m = m - 13, -2*m = 4*v + 20. Is v >= y?
True
Suppose r - 2*r = 4*g + 16, -23 = g + 5*r. Let q = 22 - 13. Suppose 3*h + q = -0*h. Is g not equal to h?
False
Let x = -8 + 13. Suppose -v - 2*q + 9 = 0, -4*q = x*v - 22 - 5. Let g be (-1)/(v + -2)*1. Do g and -1 have the same value?
True
Let m = -0.4 - 0. Let i = m - -0.4. Let u = -1 + i. Is -1 >= u?
True
Let f = -130 - -130. Let r be ((-4)/6)/(3*-7). Are r and f non-equal?
True
Let s = 10 - 18. Let l = s + 8. Which is smaller: l or -0.2?
-0.2
Let m(c) = c**2 + 13*c + 2. Let o be -10 + (-2)/2*3. Let y be m(o). Is y > 4?
False
Let h = 1223/24480 - 3/544. Which is greater: -1 or h?
h
Suppose 19 - 4 = -5*z. Which is smaller: z or -18/7?
z
Let y(x) = -x**2 + 1. Let z be y(-1). Let s(f) = -f**2 - 5*f - 2. Let v be s(-7). Let k be 15/(-6)*v/(-50). Which is greater: z or k?
z
Let c be (-1 - -2)*(-1 + 0). Which is greater: c or -0.02?
-0.02
Let j = 2 - 2. Let c be 2/(-8) + 1 + j. Which is smaller: 0 or c?
0
Let a = -106 + 427/4. Let z be 0 + -2 - (1 + -3). Which is greater: z or a?
a
Let s(b) = b**2 - 10*b + 6. Let x be (1 + -19)*(-2)/4. Let h be s(x). Which is smaller: -4 or h?
-4
Suppose -3*l = -2*l - 9. Let s = -7 + l. Is 2 not equal to s?
False
Let s be 9/14 + (-2)/3. Is s at most 1?
True
Let u be -3*12/(-9) - 3. Is 3/19 != u?
True
Let z = -3 - -7.