u, -k*h + 2*u - s = 2. Which is greater: h or -4?
h
Let i be 4/(-10) - 117/(-255). Let k = -46/85 - i. Which is bigger: k or -1?
k
Suppose 0 = -5*o - o + 6. Let b = 23/6 + -7/2. Which is bigger: o or b?
o
Let o be ((-6)/(-45))/(12/54). Let r(w) = -w - 5. Let k be r(-6). Is k not equal to o?
True
Let l = -40 + 29. Let i = 8 + -19. Is l bigger than i?
False
Let y(d) = -d**2 + 3*d + 9. Let f be y(5). Is -0.2 < f?
False
Let l = -257/56 - -39/8. Which is greater: l or 2/9?
l
Let n be -8 - (-3)/(-6)*-2. Let z be 434/147 + 2/n. Which is smaller: z or 3?
z
Suppose -5 = b - 3*c, -2*c = 3*b - c + 5. Let y be 15/((-4)/((-24)/(-9))). Which is greater: y or b?
b
Suppose 22 = 5*s - 2*y, 2 = -0*s + 3*s - 4*y. Let a = -5 + s. Which is smaller: -2 or a?
-2
Let k(b) = -2*b - 12. Let c be k(-5). Let n be c/12 + (-21)/(-18). Which is bigger: -1/3 or n?
n
Suppose 0 = 2*m + m - 5*z - 37, -8 = -2*m - 5*z. Suppose -m + 54 = -3*b. Let i be ((-1)/6)/((-10)/b). Is i not equal to 1?
True
Let p = 18 + -15. Let a be p - 3 - 3/(-15). Is -1 bigger than a?
False
Let l be (-16)/120*(-6)/2. Suppose 4 - 7 = -3*x. Which is greater: x or l?
x
Let o be (8/10)/((-5)/(-125)). Suppose 3*i + 6 = 4*r - 6, 5*i = -o. Suppose r = -3*k - 0*k + 3. Is 2/17 equal to k?
False
Suppose 3*i - 10 = -2*j, -5*i + 13 + 5 = 2*j. Which is smaller: j or -3/4?
j
Let c = -2 + 4. Suppose 2*w = -c*w. Let m be 19/6 + 0 + -3. Which is bigger: w or m?
m
Let b(h) = -h**2 + 4*h + 6. Let q = -13 + 18. Let u be b(q). Is -2/15 smaller than u?
True
Suppose 5*d = 4*s - 8, -5*s - 13 - 6 = d. Does -2 = s?
False
Let u be (-3)/(-3 - 18/(-8)). Suppose 0 = h + 2*w - 9, 4 = -u*w + 5*w. Is 1 less than h?
False
Let x be 6/(-39) + (-70)/(-286). Is x at least 1?
False
Let t(i) = i**2 + 6*i - 1. Let r be t(-6). Let p(u) = u**3 + 4*u**2 - 6*u - 5. Let m be (-1)/4 - (-19)/(-4). Let s be p(m). Which is smaller: r or s?
r
Let r be 1 + 0 + (2 - 1). Let s be 6/((-3)/(-3)) - r. Is s != 4?
False
Let n = -10 + 25. Let v be 5 + -7 - (0 - n). Is 14 smaller than v?
False
Suppose 2*j = 5*s + 5*j + 5, 2 = -2*s - j. Let o be ((-15)/(-9) + s)*3. Let q be -3*o/15 - -2. Which is smaller: q or 1?
1
Let s(g) = -g + 14. Let b be s(-18). Is b != 32?
False
Let g = -163/4 + 41. Do 0.16 and g have different values?
True
Let t be (1/(-1))/(-11 - -14). Which is bigger: 20/3 or t?
20/3
Suppose n = 3*j - 10, 3*n - 4*n = -5*j + 16. Let g(t) be the second derivative of t**5/20 - t**4/3 - t**3/6 + 2*t**2 - 3*t. Let z be g(4). Is n < z?
True
Suppose 13 - 5 = -4*q. Let d = -2 - q. Let f be (-2 + d)*2/20. Which is greater: 0 or f?
0
Let m be (-8)/(-12)*(-6)/(-10). Let q(v) = -v**2 + 5*v - 4. Suppose 3*b - 9 = 3. Let i be q(b). Is m < i?
False
Let s = 6 + -5. Let k be 4/(40/(-14)) + s. Let j = 2 - 2. Is k != j?
True
Let n = -20 + 11. Are n and -6 equal?
False
Suppose -2*d = -d - 2. Suppose 2*n - 25 = -3*g, -3*g - 3*n + d*n + 23 = 0. Let v be g/12 + (-1)/4. Which is smaller: 1 or v?
v
Let j(a) = a**2 - a - 4. Let t be j(3). Let i be t/(-3) - (-6)/9. Suppose -4*k - 2 - 6 = 0. Is i equal to k?
False
Suppose -4*w + 4 = 3*a, -4*w - 4*a + 6 = 2. Let g be 0/1 - (w + -1). Suppose 2*v + 0*v + 4*j + 6 = g, -3*j = -4*v - 1. Is 0 greater than or equal to v?
True
Let c = 4 - 4. Let t = -4 + 1. Let z be (-1)/(-3) - 2/t. Is z < c?
False
Suppose -h - 2*x - 3 = 2*h, 3*h + 3*x + 6 = 0. Is 2/9 at most as big as h?
True
Let f = -1.7 - -2.8. Let w = f + -1.3. Which is greater: -0.1 or w?
-0.1
Suppose -n + 8*t - 3*t - 25 = 0, 5*n + 3*t = 15. Let v be ((-6)/15)/(n - 2). Is 1 >= v?
True
Let t be (-2)/3*1 + 0. Let i = -9 - -9. Suppose i*n + n = 0. Which is bigger: n or t?
n
Let r(u) = u**2 - 4*u - 5. Let x be r(5). Suppose 3*o + 18 = -x*o. Let g = -66 + 61. Do o and g have the same value?
False
Let d(j) = j - 2. Let z be d(4). Suppose -2*c + 2*b + 29 - 7 = 0, -46 = -5*c + z*b. Let g = c - 4. Which is greater: 3 or g?
g
Suppose 3*t = 2*v - 16, -3*t - 6 = -4*v + 8. Let f(g) = 2 + 1 - 4 - g**3 + 6*g - 5*g**2. Let p be f(t). Which is bigger: -3 or p?
p
Suppose 3*z + 4*x - 8 = 17, 0 = -5*z + 4*x + 31. Which is smaller: z or 9?
z
Suppose n - 10 = -5*x - 4*n, -8 = -3*x - 5*n. Let b be x/4 - (-1)/(-4). Let i = 1 + 0. Which is bigger: i or b?
i
Suppose c = 5*c. Let m = -0.029 + -0.071. Is c less than or equal to m?
False
Suppose u = -5*d + 18 + 205, u = 4*d - 182. Are d and -0.1 non-equal?
True
Let z be 2/(-7) - 5456/(-868). Let i(d) = -6*d**3 + d**2 - 1. Let o be i(-1). Is o < z?
False
Let g(i) = 2*i - 11. Let a = 33 - 27. Let y be g(a). Is -4 smaller than y?
True
Suppose -4*u - 44 = 16. Is u less than -15?
False
Let q be 1 - (-2)/(-4)*2. Let d be 33/(-180)*153/6. Let b = 39/8 + d. Which is smaller: q or b?
q
Let j = 247/4 + -62. Suppose 4*m - 3 = 1. Let g be -1 + -1*m/2. Which is bigger: j or g?
j
Suppose 5*j + 0*j = -3*b - 22, -j - 8 = -3*b. Let w be 1 - (b + 1 + 0). Let i(d) = -d + 10. Let o be i(10). Is w bigger than o?
False
Suppose -2*b = -6*b + 40. Let j = b + -15. Let w = 0 + -4. Is w not equal to j?
True
Let s = 1628/7 - 232. Let n = 2 - 1. Let k be 2/(-3) + (1 - n). Which is smaller: s or k?
k
Let z be (-100)/26 + 22/(-143). Is z smaller than 0?
True
Suppose 3*a = 5*g - 15, -3*a = 3*g + 2*a + 25. Suppose 4*p + g = -4. Which is greater: p or -4/7?
-4/7
Let y(r) = r**2 + 5*r - 5. Let z be y(-5). Which is smaller: z or -2?
z
Let n = 0.01 + 1.99. Let y = n + -1. Is 0 less than y?
True
Suppose 18 = -3*a + 2*n, 4*a - 5*a - 5*n = -11. Which is smaller: 0 or a?
a
Suppose -s + 1 = -2*h, 3*s - 3 = -5*h - 0. Suppose -w - 4*y + 14 = h, 3*w - y - 19 = 10. Is 10 <= w?
True
Let v be (1*(-4 - 9))/1. Which is bigger: v or -14?
v
Let q be 1/(-4) - 105/12. Is q at most -9?
True
Let o be 232/80 + (-1)/2. Which is smaller: 3 or o?
o
Let x be (1 + -59)/1 - 0. Is x less than -58?
False
Let o = -5 + 4.8. Let t = o + 0. Let g = -0.5 - t. Is 2 <= g?
False
Let c be 2/12*(3/17 + 0). Is 1 bigger than c?
True
Let k be ((-1)/(-3)*0)/1. Is 0 not equal to k?
False
Let d be -2 + -6*8/(-12). Which is smaller: d or 1?
1
Let t = 5 + -5. Let r be (15/6 + -2)*t. Let o be 0 + -1 + 33/27. Which is greater: o or r?
o
Let i be (2/10)/(28/(-10)). Let q(o) = -3*o**2 + 32*o + 10. Let c be q(11). Is c at least i?
False
Let b be (6/(-45)*3)/3. Is 1 < b?
False
Let q = -4 + 3. Let w = 0.7 - 0.7. Let k = w - -0.4. Which is smaller: q or k?
q
Let q(s) = s - 8. Let m be q(-9). Is m > -17?
False
Let l = -2.5 - -2.5. Which is smaller: l or 0.2?
l
Let a be (8/(-12))/((-6)/(-117)). Which is greater: a or -15?
a
Let d be (-1)/(-2)*(-12)/(-3 + 9). Which is smaller: d or 1/19?
d
Let i = 0.3 + -0.5. Let s = i + 0.1. Let b = 0.5 + s. Which is smaller: -1/2 or b?
-1/2
Let v = -7 + 10. Suppose -2*h = -v*s + 14, 1 = -2*h - 2*s - 3. Let p be (-5)/10 - 22/h. Which is smaller: p or 2?
2
Let q = 1.89 + 0.11. Which is smaller: 4 or q?
q
Suppose -r = -5, 0*a - r - 647 = -4*a. Let y = -1139/7 + a. Let u(d) = d**3 + 6*d**2 - d - 6. Let f be u(-6). Is f at most as big as y?
True
Let y(o) = -o - 8. Let u be y(-10). Suppose f = -4*h + 33, -f = -u*h - 4*f + 19. Suppose 3*l = -l + h. Which is smaller: l or 0?
0
Let c = 0 - 0. Let j = 24 - 24. Suppose j = -12*m + 17*m. Is m greater than or equal to c?
True
Let y(w) = 12*w**2 - 5*w + 2. Let g be y(4). Let z = 1220/7 - g. Which is smaller: -0.1 or z?
-0.1
Suppose 0 = -v - 26 - 0. Which is smaller: v or -0.1?
v
Let m be 15/(-5) - 52/(-17). Suppose -3*z = 4*t + 19, -2*z - 7 = t - 4*t. Is m >= t?
True
Let i be -1 + 1/1 + -2. Let k = 22184/35 + -4262/5. Let w = k - -218. Is w bigger than i?
True
Let c be (-1*3)/(6/(-16)). Suppose -6*d + 2*d = -c. Suppose -v + d = -3*v. Do -1 and v have the same value?
True
Let s = 0 - -0.1. Let h be (3/(-12))/((-5)/(-10)). Is s > h?
True
Suppose 0 = -4*p + o + 9, 28 = -3*p - 5*o + 6. Suppose 7*i = 2*i. Which is bigger: p or i?
p
Let z be (-434)/21*3/(-2). Are 32 and z unequal?
True
Let i = 0.01 + 0.99. Which is bigger: i or -34?
i
Let v = -0.06 + 1.06. Which is smaller: v or 8?
v
Let j = -24 - -19. Which is smaller: -2 or j?
j
Let v = 0.1 + 0.1. Let z = -1 - -0.99. Let k = -0.11 - z. Which is smaller: v or k?
k
Let c(j) = 2*j - 9. Let x be c(4). Let b = 77/774 + 1/86. Are b and x unequal?
True
Suppose -5*k + 4 = -k. Let l = k - -2. Is 3 > l?
False
Let p(m) = m**3 + 5*m**2 + m + 10. 