y?
y
Let i(j) = -j + 9. Let h be i(5). Let p(x) = -x**2 + 4*x + 2. Let o be p(h). Suppose -t = o*t. Which is greater: t or 1?
1
Let v = 0.03 - -1.97. Let n = 145 + -144. Which is greater: n or v?
v
Let l be 1/(-5) - (-3)/5. Is 2 less than l?
False
Let m = 17 + -16.93. Let s = 4.07 - m. Let i = s - 4. Which is greater: i or -4?
i
Let f be (-5)/((4 - 3) + 0). Is f >= -5?
True
Suppose -4*n = -22 - 22. Which is greater: n or 12?
12
Suppose 0 = -n + 4*n - 21. Suppose 19 = 4*c - 7*c - 5*h, 0 = -3*c + h - n. Which is smaller: 0 or c?
c
Let m = -17 + 11.8. Let c = m + -1.8. Which is greater: c or 0?
0
Let v(h) = -2*h**2 + 2*h + 1. Let o be v(-1). Suppose -18 = 2*i - 5*i. Let t = i + -10. Which is bigger: t or o?
o
Suppose n = 5*b - 0*b - 22, -b + 11 = 2*n. Suppose -3*g - 9 = -0*g - 2*c, 12 = -4*g + b*c. Is -1 bigger than g?
True
Let s be 4/(0 + 1) + 0. Is 4 at least s?
True
Let a = 16/11 - -1/22. Suppose -2*x + 2*j = -16, -5*j - 15 - 7 = x. Suppose -15 = -3*y - x*c, -3*y + 5*y + 4*c = 16. Which is bigger: a or y?
y
Let w = 8 + -6. Suppose 6 = -w*h - h. Which is smaller: -4 or h?
-4
Let i(t) = t**3 + 2*t**2 + 3. Let u be i(-4). Is -29 <= u?
True
Let y = -158 + 469/3. Which is smaller: y or -3?
-3
Suppose 2*y - 4 = 4, -3*p = 3*y - 60. Let l be p/7 + (-2)/7. Suppose -2 = l*g - 6. Which is smaller: g or 0?
0
Let v = -251/144 + 3/16. Which is smaller: -1 or v?
v
Let s = -2 - -4. Let n = -1 + s. Let f be (-3)/(-6)*1/2. Is f bigger than n?
False
Let s = 40 - 42. Let z(t) = -2*t**2 - 1. Let b(f) = -f**3 - f**2 + 1. Let g be b(-1). Let u be z(g). Which is greater: u or s?
s
Suppose 0 = 3*c - 2*c - 3*i - 5, i = -5. Which is bigger: -5 or c?
-5
Let z = -16 + 20. Let t be 5*(z - (-104)/(-20)). Which is smaller: t or -5?
t
Let l = -6 - -6. Let n = 0.1 - l. Which is smaller: 6 or n?
n
Let k = -12651/124865 + 22/221. Let u = k + -1672/12995. Which is greater: u or 1?
1
Let i = -28 + 227/8. Is i less than or equal to 0?
False
Suppose -5*t - 15 = -v, 0 = -3*v + 6*v + 3*t - 117. Suppose -5*z + v = -4*p, z + p - 13 = 3*p. Suppose 0 = z*h + 1 - 7. Is h greater than or equal to 3/2?
True
Let y be (-1 - -1) + 1334/15. Let j = y + -89. Is 1 greater than j?
True
Let q(c) = 4*c**2 + 5*c + 4. Let p be q(-2). Are p and 10 unequal?
False
Let h be ((-10)/(-35))/(3/(-6)). Suppose 5 - 1 = -4*s. Which is smaller: h or s?
s
Let r be (-8)/(-6)*22/44. Which is smaller: r or 1?
r
Let i = -3 - -3. Let s = 0 - 3. Let p be (-4)/6*s/2. Is i greater than or equal to p?
False
Let h(y) = y**3 + 2*y**2 - 1. Let z be h(-1). Let j = 433/588 - -2/147. Are j and z non-equal?
True
Let c(t) be the first derivative of t**3/3 - t**2/2 - 3. Let b be c(2). Let w be (0 - (-1)/b)*-4. Is w at least -2?
True
Suppose 0 = -a + 3 - 0. Suppose t - 1 = a. Suppose -3*w - 1 + 13 = 0. Is w smaller than t?
False
Let p(f) = 3*f**3 + f**2 + f - 1. Suppose -v = x - 2, -4*x + 9 = 4*v + x. Let d be p(v). Are 4 and d non-equal?
False
Let t = 12 + -13. Which is greater: -0.3 or t?
-0.3
Let n = -10/3 + 4. Let u be (-53)/11 + 4/(-22). Let b = 7 + u. Which is smaller: n or b?
n
Let u(x) = 19*x + 1. Let a be u(1). Let v be (a/(-75))/((-6)/(-5)). Is 0 <= v?
False
Let s(k) = -k**3 - 5*k**2 - 3. Let z be s(-5). Let l be (0 - 1) + 5 + z. Is l != 2/3?
True
Let j = 5 + -1. Let v = j - 6. Is v equal to -4?
False
Let q = 22.13 + -22. Let n = -0.07 - q. Which is greater: -1/9 or n?
-1/9
Let b = 1 - -3. Suppose -b*c + 2 = -3*c. Suppose 4*r - 2 = -5*o, 3*r + 7*o = c*o + 4. Which is greater: -2/3 or r?
-2/3
Let d be 19 - 15 - (1 - -10). Which is greater: d or -6?
-6
Let i be (-4)/(24/(-15))*2. Are 7 and i non-equal?
True
Let q = 1.1 - 1.01. Let f = 0.1 - q. Which is smaller: 0 or f?
0
Let o = -21 + 14. Which is greater: -25/4 or o?
-25/4
Let g = 1781/110 + -171/10. Are -2 and g unequal?
True
Suppose -200 = -32*z + 28*z. Are z and 50 equal?
True
Let l(t) = -t**3 + 5*t**2 + 7*t - 6. Let k be l(6). Let z be (1 - 2)*1*1. Let h be (1 - 0)*z/9. Which is greater: k or h?
k
Let w = 10 - 10.1. Which is smaller: w or 26?
w
Let o(f) be the second derivative of -f**5/20 - f**4/3 + 5*f**2/2 + 2*f. Let h be o(-4). Suppose 1 = h*c - 0*p - 3*p, 4*c + 2*p = -8. Which is greater: c or -2?
c
Suppose 55 + 9 = v. Which is greater: 65 or v?
65
Let v(h) = -10*h**2 - 1. Let a be v(-1). Let l be (5/(-10))/(a/6). Let d(r) = -r**2 - 3*r + 5. Let q be d(-4). Which is greater: l or q?
q
Let l be (-14)/(-4) + 2/(-4). Let h = l + -2. Is h bigger than 1/3?
True
Let f be (-27)/12 + 2/8. Let s be (f + 6)*(-4)/72. Is 0 less than s?
False
Let k be (-1254)/910 + (-6 - -7). Let u = k - -6/65. Which is greater: 0 or u?
0
Let n = 1 - 0. Let l be -3*2/2 + n. Which is smaller: l or -3/2?
l
Suppose 0*y + 20 = -4*y. Let t(h) = -h - 24. Let x be t(-21). Which is bigger: y or x?
x
Let p = 0.08 + -0.07. Let r = -4.01 + p. Which is greater: -0.1 or r?
-0.1
Let w = 187 + -188. Which is bigger: 5/61 or w?
5/61
Let f be ((-18)/165)/((-3)/50). Are 2 and f equal?
False
Let d be (-3)/(63/(-65)) - 3. Which is smaller: d or 0?
0
Let l(g) = -g**3 - 6*g**2 - 5*g + 4. Let h be l(-5). Let z be 6/(0 + 6/h). Suppose -4*f - 2*i = 0, f + z*i - 4 = -3*f. Is f equal to -2?
False
Let g = 136/3 - 45. Suppose 0 = -2*o + 2. Is o less than or equal to g?
False
Let r = -13 - -25. Which is smaller: 13 or r?
r
Suppose 5*z + o - 39 = 0, -2*z = -o - 1 - 9. Let a = 6 - z. Let y be (-1 + 2/1)*a. Which is smaller: y or 2/13?
y
Let q be (-9)/6*(-4)/72. Let l = 17 - 16. Is q > l?
False
Suppose -c - 42 = -2*q - 0*q, -5*c + q - 183 = 0. Let t be 3/2*3/c. Suppose -g = -3 + 2. Is t smaller than g?
True
Let x(d) = -d**3 + 5*d**2 - 5*d + 2. Let w be x(3). Suppose -13 + 43 = w*y. Which is smaller: 4 or y?
4
Let d be 45/(-5)*(-3)/12. Which is smaller: 1 or d?
1
Let b(u) = -1 + u - u + u - 4*u. Let y be b(-1). Is 2 < y?
False
Suppose -3*h + 53 + 7 = 0. Let s be (-15)/h + 2/4. Suppose -7*m + 2*m + 5 = 0. Is m < s?
False
Let y(v) = v - 3. Let q be y(5). Suppose -3*m + 4*m - 5*d - 16 = 0, 5*d + 17 = 2*m. Is m bigger than q?
False
Let p be 84/20 + 2/(-10). Let i be 1/((-3)/(-6)) + p. Let r be 2*3 + 4/(-4). Are r and i unequal?
True
Suppose -4*y - 2*y = 0. Suppose -t = 6 - 5. Which is smaller: t or y?
t
Suppose -2*z - 93 = -4*g - 5, z + g = -29. Let a be 2/6 + z/30. Which is smaller: -1 or a?
-1
Let c = -13 + 23. Which is greater: 8 or c?
c
Let i(p) = -3*p - 8. Let x(z) = -8*z - 23. Let b = 13 - 2. Let l(q) = b*i(q) - 4*x(q). Let w be l(4). Which is smaller: w or 1?
w
Let s be 2 + -1 + (-33)/27. Let p = 70675/14 + -9909/2. Let u = p - 94. Is s not equal to u?
True
Let k be (-226)/(-6)*6/(-40). Let b = k - -21/4. Which is smaller: b or 0?
b
Let v be ((-1)/(-2))/(8/(-16)). Is v <= -2/13?
True
Suppose -3*c - 5*j = 14, -2*c - 13 = 3*j - 2. Let k = c - -38/3. Is -6 bigger than k?
False
Let c(l) = l + 6. Let o(t) = 1. Let y(x) = -x**2 - 4*x + 3. Let w be y(-3). Let h(z) = w*o(z) - c(z). Let f be h(-4). Which is smaller: f or 5?
f
Let d = -0.07 + 0.07. Let a = 0.9 + -0.5. Do a and d have the same value?
False
Let g(h) = h**3 + h**2 - h - 1. Let x be g(-1). Let l(a) = 3*a + 5. Let k(n) = -2*n - 4. Let y(z) = -4*k(z) - 3*l(z). Let m be y(x). Which is bigger: m or 1/5?
m
Suppose 0 = -2*b + b + 4. Suppose f = -4*w + 48 - 19, 0 = 4*w + 2*f - 30. Suppose b*a + w = -1. Is a greater than -2?
False
Suppose 3*n = -4 - 11. Let y(q) = q + 6. Let u be y(n). Is -2 not equal to u?
True
Let o = -112.895 - -113. Which is smaller: o or -1?
-1
Let q(s) = -11*s + 6. Let z be q(2). Are z and -15 non-equal?
True
Let y = 1.1 - 1. Suppose -5*f - 3 = z - 3*f, -2*z + 5*f = 15. Which is greater: z or y?
y
Suppose -k + 5*k + 12 = 0. Let p be k*(2/6)/(-1). Which is smaller: p or 3?
p
Let k(p) = p**3 + 3*p**2 + p - 2. Suppose 0 = 3*h - 3*d + 6, -3*d - 4 = 5*h - 34. Suppose h*s + 4 = s. Let c be k(s). Which is smaller: c or 4/7?
c
Let o(x) = 15*x**3 + x**2 + x. Let t be o(-1). Let n = t + 5. Is -10 <= n?
True
Let k be 2/(-7*(-3)/(-6)). Suppose -4*b + 27 = -b - j, -5*b - 5*j = -25. Suppose o + 4 = -3*l, o = -5*l + 3*o + b. Which is greater: l or k?
l
Let b be 4*(2 + (0 - 1)). Suppose 0*u = -3*u - 4*p + 19, b*p - 18 = -2*u. Let z = -1 + u. Which is smaller: 1 or z?
z
Let d = 22.5 + -22.41. Which is smaller: d or 9?
d
Let u = -0.6 + -4. Let j = u + 5. Let s = -0.7 + -