/3 or y?
y
Let n be (4/12)/(2/(-6)). Which is bigger: 6/17 or n?
6/17
Let w = -3 - -2.9. Let r be 13/5 - (-2 - -4). Which is bigger: w or r?
r
Let d = 87/155 - 5/31. Let v = 2 + -3. Is v greater than d?
False
Suppose -7 = -5*y + 4*x + 14, -x - 1 = 3*y. Let l(o) = 5*o**2 - 1. Let n be l(1). Let t(s) = s - 1. Let k be t(n). Is k <= y?
False
Let x(w) be the second derivative of -w**3/3 - 3*w**2 + 2*w. Let j be x(7). Let u be 68/j + 6/(-10). Is -4 smaller than u?
False
Let q = 0.5 - -3.5. Is -0.2 bigger than q?
False
Suppose 0 = -z - 3, -3*z + 1 = 2*m - 4*m. Let d be (-10)/25 - 92/m. Let n be 2/(-9) + (-14)/d. Is 2/9 less than or equal to n?
False
Let c = -6 + 25. Which is smaller: c or 20?
c
Suppose 5*f + 0*f = 110. Suppose -6 = 2*u, 0 = 2*p + 3*p + 4*u + f. Which is smaller: p or 3/8?
p
Suppose -4*r - 8 = 3*l - 2*l, 0 = -2*l - 5*r - 7. Suppose 0 = l*p + 2 + 2. Let c be p/(17/6 + -2). Is -2 <= c?
True
Suppose -5*s - 5*j = 0, -s = -2*s + 3*j. Let c be 2/28*4 + s. Let b be (-2 + 1)*(3 + -4). Is c less than or equal to b?
True
Suppose u + k + k = 3, -4*u = -4*k. Let q(g) = g**3 - 6*g + 3 - 11 - 7*g**2 - g. Let l be q(8). Does l = u?
False
Suppose 28 = 5*q - 3*q. Let m be (1*40/q)/2. Is 0 smaller than m?
True
Let b = 0.3 - 8.3. Let m = b - -7. Which is smaller: 16 or m?
m
Let l = -185 + 125. Is l < -59?
True
Let f = -528/323 + 26/17. Let n(c) = -c + 2. Suppose -3*t - 2 = -4*h, -h + 3*h = 5*t - 6. Let s be n(t). Is f at most as big as s?
True
Let f = -96 + 94. Is f at least as big as -4/7?
False
Let x(y) be the first derivative of y**3/3 + 3*y**2 - 3. Let c be x(-6). Suppose -4*b + 2*s + 14 = c, -3*s - 15 = -2*b - b. Is 1 at most b?
True
Suppose -2*a = -2*f + 3*f + 2, 5*f + 22 = 2*a. Let t = 1328/65 - 198/13. Let i = 177/35 - t. Is i less than a?
True
Suppose 22 = 7*w - 34. Let z be (-2)/(-5)*5*3. Let s be z/w*(-2)/6. Is s <= -1?
False
Let b = -39 + 39. Which is greater: b or -2/125?
b
Let o(n) = n**3 + n**2. Let i be o(0). Let t = 115/476 - -3/68. Is t greater than i?
True
Suppose -2*o + 6 = 0, 3*p + 5*o = 8*p + 80. Let b = -14 - p. Which is smaller: -7/3 or b?
-7/3
Suppose -5*y + 2*g = -5, y = -y + 3*g - 9. Let q be (-2 - y)*(-4)/(-12). Which is greater: q or -2?
q
Suppose 5*q + 13 = b, 3*b + q = 5*q + 6. Is -10/9 <= b?
False
Let v = -20 + 22. Which is smaller: 9 or v?
v
Let o = 38 - 60. Which is smaller: o or -20?
o
Let k be (-1)/((-2)/30*-3). Which is smaller: k or -17/3?
-17/3
Let h be (-1 - 387/192) + 3. Is -1 not equal to h?
True
Let c(k) be the second derivative of k**3/6 - 3*k**2/2 - k. Let b be c(4). Let m be 1 + 0 + -2 - -2. Are m and b non-equal?
False
Let m = 0 - 3. Let k = m - -2. Suppose -p = -2 + 1. Which is smaller: p or k?
k
Suppose 2*j - 3 = -4*v + 23, -3*v - 8 = -j. Which is smaller: 12 or j?
j
Let x be 14/2 - 1*2. Suppose -5 = f + 5*j + 5, -x*j - 10 = -4*f. Let d be (6 + -8)*(f + 1). Is -3 > d?
False
Let q = -0.5 + 0.49. Which is smaller: q or 0.1?
q
Let d be 60/24 - 1/2. Let z be (d/15)/(15/9). Which is bigger: 0 or z?
z
Suppose 0*w + 16 = 2*w. Is 8 not equal to w?
False
Suppose 3*z - 26 + 11 = 0. Let m(a) = -a**2 + 2*a + 11. Let j be m(z). Let g = 5 + -7. Is g less than or equal to j?
False
Suppose -6*o = -8*o. Is o not equal to -4?
True
Let i = -7 - -5. Let t = i + 2.2. Is 2 at least t?
True
Suppose 0*q + 2*q - 38 = 0. Let v = q + -10. Let i be (v/3)/(6/(-4)). Which is bigger: i or -3?
i
Let y = -2 + 2. Let q be (-1)/((-178)/14 + 10/(-35)). Are q and y nonequal?
True
Suppose 4*u + 0 = -4. Which is smaller: -2/21 or u?
u
Suppose 0 = 3*s - 6*s + 36. Is s smaller than 12?
False
Suppose -2 - 1 = -3*g. Let h = 32/7 - 5. Which is smaller: g or h?
h
Suppose -3*f - 3 = -4*f. Suppose 11 = 2*h + f. Suppose 5*n - 5 = -5*r, 5 = -n - 3*r + h*r. Is n smaller than -3?
False
Let w = -10 - -9. Let a be 138/3 - (w + 2). Let y = 179/4 - a. Which is greater: -3 or y?
y
Let g = 10 - 8. Let t(x) = -x**3 + 4*x**2 - 3*x. Let j be t(2). Suppose -g*s = j - 0. Which is smaller: s or -4/3?
-4/3
Let z = 1551/4 + -385. Is 2 at least z?
False
Suppose 2*l - 7*l - 150 = 0. Let z be (-30)/4*(-20)/l. Let q be ((-3)/z)/(24/(-15)). Which is smaller: -1 or q?
-1
Let l = -0.11 + -5.89. Is -0.1 less than or equal to l?
False
Let s be 119/4 + 37/148. Which is bigger: s or 31?
31
Let f(s) = -2*s - 10. Let w be f(-5). Suppose w*q - 2*q = -2. Which is smaller: q or -2?
-2
Let x(g) = -g + 6. Suppose -2*i - q - 13 = -5*i, 17 = 3*i + q. Let v be x(i). Which is bigger: v or -2/5?
v
Suppose n + 8 = -4*f - 12, 0 = -2*n + 2*f + 10. Let l = -3 + n. Let p be (1 + 6/(-3))*l. Is 4 <= p?
False
Let d be ((-11)/5)/(44/55). Is d >= -4?
True
Let z(p) = 2*p**2 + 1. Let k be z(1). Suppose h + 0*u + 10 = 3*u, 2*h - 30 = -4*u. Which is bigger: k or h?
h
Let w be 185/25*(-2)/2 + 3. Do w and -3 have different values?
True
Let d(v) be the first derivative of -v**3/3 - 4*v + 1. Let r be d(0). Let t = r + 4. Which is smaller: 1 or t?
t
Let m = -14 - -10. Let d be -1 + (2 + m - -3). Is -1/4 at least as big as d?
False
Let u = 10 + -7. Suppose -u*y - 5 = 2*y. Is y greater than 2/7?
False
Let h = -3/82 + -2287/246. Is h greater than or equal to -9?
False
Let r = -1.1 + 1. Let d = 9.05 + -9. Is r greater than d?
False
Let i = 6.1 + 0.9. Let z = i + -6.9. Is z less than or equal to 2/9?
True
Let y be 2/(-9) + 38288/(-72). Let w = y + 5858/11. Which is greater: w or 2?
2
Suppose 0 = -4*l + 5*h + 5, 3*l - 4*h = -0*l + 3. Let t = -37 - -41. Which is greater: l or t?
l
Let b be 2*-1*(-2 + 1). Suppose -4*c = 10 - b. Let l be 4/(-3)*3/1. Which is smaller: c or l?
l
Let r be 89 + -89 - (6/1)/(-1). Let k be (1/2)/((-1)/(-14)). Are r and k non-equal?
True
Let l = 104848/42885 + -2/4765. Which is bigger: 1 or l?
l
Let j be ((-8)/(-6) - 2)/(-10). Let s(g) = -g + 4. Let w be s(5). Which is bigger: w or j?
j
Let c(v) = 2*v + 4. Let w be c(-5). Let u be -2 - (3/3 + w). Does 3 = u?
True
Let q = 1.07 + -0.17. Let k = q + 0.1. Let v = 0.3 - 0.4. Which is bigger: v or k?
k
Suppose -2*v = 4*t - 14, 4*v + 1 + 7 = t. Let n = 0.02 - -0.01. Let q = -0.13 + n. Do q and v have different values?
True
Let c be 2 + (-20)/28 - 1. Which is smaller: c or -3?
-3
Let c be (8/(-32))/((-6)/16). Which is greater: 0.4 or c?
c
Let l be 36/(-4) + 1/(-1). Let f be ((-3)/l)/((-4)/(-20)). Which is greater: f or 1?
f
Let g = -1.7 + 1.8. Is g greater than or equal to -16?
True
Let r = 57 - -8. Let i = -713/11 + r. Is i smaller than 1?
True
Let n(g) = -2 + 4 - 3*g + 2*g + 1. Let q be n(3). Suppose -8 = 4*j - 4*k, -2*k - 3*k = -j - 14. Is j < q?
False
Let f = -221 - -62. Let p = f + 482/3. Which is greater: p or 3?
3
Let r = -2.3 - -2.3. Let u be -1 + -1 + (8 - 2). Is u smaller than r?
False
Let x = 23 - 24. Is x at most -2?
False
Suppose -20 = -2*v + 4*k, 0 = 2*v - 7*v + 3*k + 15. Let f be -4*3/6 - v. Is -2 equal to f?
True
Suppose 10 = 4*t + 2*n, -2*t - n + 2 = 3*n. Let b be (1/t)/((-3)/9). Which is smaller: b or 2/25?
b
Let w(y) = -y - 13. Let j be w(-13). Which is bigger: j or 0.1?
0.1
Let j(u) = u**3 - 7*u**2 + 2*u - 8. Let a be j(7). Let c = -10 + a. Let x be (1/(-4))/(1/c). Are 2/15 and x unequal?
True
Let l be -3 + 11/(11/6). Is 3 less than l?
False
Suppose 0 = -4*l - 20, 5*a + l = -30 - 10. Let k be (a + 6)/(1*-1). Which is greater: k or -2/7?
k
Let j = 6366234 + -8352499497/1312. Let g = j - -14/41. Let x = g + 5/32. Which is smaller: 1 or x?
x
Let w be (0 + 3)*4/6. Is 11/8 greater than or equal to w?
False
Let q = 0.12 + -4.12. Let t = -3.8 - q. Which is smaller: 2/9 or t?
t
Let u = 1519/16 - 95. Which is bigger: 2/3 or u?
2/3
Let h = 23 + -18. Is 2 > h?
False
Let w = -13 + 15. Suppose -5*t = -s - 0*s + 22, w*s + 4*t = -26. Which is smaller: -5/2 or s?
s
Let r = -0.1 + 0. Suppose 8 = h - 10. Let i be 3/h*(-9)/(-2). Which is bigger: i or r?
i
Let y be 0 + 3 - (3 - 0). Which is smaller: y or 1/19?
y
Let l(t) = -3*t - 1. Let u be l(-1). Suppose -3*f + 7 = u*c, 4*f + 11 = 4*c + 7*f. Which is greater: c or 3?
3
Let y(f) = -f**2 - 13*f - 27. Let l be y(-7). Let o be (-6)/21 + 9/(-42). Are o and l equal?
False
Let h(o) = o**3 - 3*o**2 - 3*o. Let b be h(4). Suppose 70 = 2*u + b*q, 3*u + 5*q - 105 = -0. Suppose 0*t = -5*t + u. Is t <= 6?
False
Let x be (80/15)/((-2)/(-3)). Let j be 3/12*x/6. Which is smaller: 2 or j?
j
Let g be -2 + (-5)/