y = m?
False
Let u(x) = x**2 - 4*x + 1. Let v be u(2). Let q = -59 - -28. Let j = -32 - q. Which is greater: v or j?
j
Suppose 4 = -3*z - 2, -5*o + z + 87 = 0. Let a be 3 - (45/o + 0). Is a greater than 1?
False
Suppose -5 = x + 4*x. Let n be (28/14)/(x + 2). Which is bigger: n or 3?
3
Suppose 22 = 2*j - 6*j + 2*z, -4*j + 4*z = 32. Let b be j/(-6)*4 - 4. Which is smaller: -1/2 or b?
b
Let p = -21 - -9. Let t be (p/(-5))/(14/35). Is -2 equal to t?
False
Let s = 52 - 58. Is -12 equal to s?
False
Let s = -402 + 7640/19. Suppose -2*g - 2*g + 4 = 0. Which is bigger: s or g?
g
Let q = -3 + 6. Let v = q - 2. Which is bigger: v or 2/5?
v
Let l(q) = q**2 + q - 24. Let x be l(-7). Which is bigger: 15 or x?
x
Let j be 4 + -6 - (-3 + 2). Is j < -4/11?
True
Let a = -6/989 - -4/43. Which is smaller: 0 or a?
0
Let t be (8 + -5)*2/(-12). Let j be -1*1/(2/2) + 1. Which is bigger: t or j?
j
Let v = -15 - -2. Which is smaller: -12 or v?
v
Let r = 23 + -23. Is -3 at most r?
True
Suppose 0 = -k - 6. Which is bigger: k or -7?
k
Let f = 0.3 - 0.1. Let h = f - 0.4. Let k = -4 - -4.1. Is h != k?
True
Suppose 0*l - 10 = 5*l. Let o = -14 - l. Let y be o/(-30)*(-1)/(-3). Does -1 = y?
False
Let d = 2/61 - 0. Which is smaller: d or -1?
-1
Let b = -11.82 + 12. Let g = 1.18 - b. Which is smaller: -2/3 or g?
-2/3
Let k be (46 + 2)*(-7 - -2)/5. Is k >= -47?
False
Let i(o) = 18*o - 10. Let n be i(3). Is n at most as big as 44?
True
Let l = 5 + -8. Let s(m) = 2*m + 2. Let u(j) = -3*j - 3. Let o(y) = -6*s(y) - 5*u(y). Let b be o(-2). Are b and l unequal?
False
Let f = 127/77 + -15/11. Is -3/2 less than or equal to f?
True
Let n = 1/19 + -24/95. Let m = -23 + 24. Is m < n?
False
Let w be 2/8 + 77/28. Let k = 0 - w. Which is greater: -4 or k?
k
Let g = 1 + -2. Let o = 54.1 + -58. Let f = o + -0.1. Which is smaller: g or f?
f
Let k(j) = -j**2 + 8*j + 3. Let f be k(4). Which is greater: 18 or f?
f
Let f = 2 - 10. Let l = f + 10. Are -1 and l unequal?
True
Let q be ((-1)/(-3))/((-1)/3). Which is smaller: 0 or q?
q
Let n(l) = l**3 + 2*l**2 + 2*l + 1. Let q be n(-2). Suppose 10 = -2*t + 7*t. Suppose 0 = 4*m - m + 2*f, 2*m + t*f = 2. Which is greater: q or m?
m
Let b = -0.1 + 0.1. Let t = 0.6 - 6.6. Are t and b nonequal?
True
Let p = 6 + -5.8. Is -3/4 <= p?
True
Let q = 1 - 0. Let s be q - ((2 - -1) + -1). Which is greater: -2/3 or s?
-2/3
Suppose -3*p - j - 5 = 0, 4*p - 2*j - 10 = 5*p. Suppose 2*s - 3*v + 6 = p, 0 = 5*s - 5*v + 3 + 7. Is s bigger than 2/7?
False
Let s = -94946 + 853396/9. Let l = s - -124. Which is greater: 0.4 or l?
0.4
Let m(n) = -n**2 - 10*n - 13. Let u be m(-6). Which is bigger: 13 or u?
13
Let k = 0 + 6. Let b be -3*8/(-36)*k. Let d(y) = 2*y**2 + 2*y - 1. Let v be d(1). Is b less than v?
False
Suppose -13 - 5 = 3*j - 3*m, -5*j + 2*m = 15. Let a be 1 + j + (4 - 2). Is a != 2?
False
Let i be ((-2)/6)/((-389)/1939). Let y = i - -2/389. Is 3 > y?
True
Suppose 4*k + 4*x - 16 = 0, -k + x - 5*x = -16. Let m = -1 - -2. Which is greater: k or m?
m
Let b(r) = r**3 - 6*r**2 - 6*r - 8. Let d be b(7). Let s = 154/9 + -50/3. Is d greater than or equal to s?
False
Suppose 6*j - 2*j = 8. Let o = 7 - 6. Which is smaller: j or o?
o
Let w(r) = -r - 4. Let g be w(-8). Suppose -g = -v - 0*v. Let k(d) = d**2 - 4*d + 5. Let u be k(4). Which is smaller: v or u?
v
Let y = 27 + -26. Is 2/43 less than or equal to y?
True
Let z = 73 - 73. Is z less than 1/2?
True
Let z(g) = -g**2 - 6*g + 4. Let o be z(-7). Let c(u) = 10*u**3 - u**2 + 1. Let a be c(1). Let f be 4/10 - 24/a. Which is smaller: o or f?
o
Let m(z) = -z**2 - 8*z + 21. Let p be m(-10). Is -3/34 at most p?
True
Let j = -3/287 + -7447/1435. Which is smaller: j or -6?
-6
Let f(j) = -2*j**2 - 13*j. Let o be f(-6). Let y be (o/4)/((-99)/(-12)). Suppose -5*g - 4*w + 2 = -1, g - 7 = -4*w. Are g and y nonequal?
True
Let i = -0.5 + 0.9. Let t = 45 + -44. Are t and i unequal?
True
Let g(c) = c**3 - 8*c**2. Let y be g(8). Suppose -3*f + 4*f + 1 = y. Let q be 4/(-10)*(-5)/(-7). Which is smaller: q or f?
f
Let p(z) = -z**3 + 6*z**2 - 5*z. Let f be p(5). Let o = -37 - -2. Let l be 5/3*7/o. Which is bigger: l or f?
f
Let r = -9 + 10.04. Let p = r + -0.04. Which is bigger: p or -0.4?
p
Let p be (16/10)/(66/(-30)). Let h(k) = -k**2 + 4*k - 4. Let l be h(2). Which is bigger: p or l?
l
Let h(y) = -2*y + 19. Let u be h(9). Let i be ((-2)/12*-2)/3. Is i at least as big as u?
False
Let h = -1 - -2. Let j(w) = w**2 + 7*w + 6. Let p be j(-6). Suppose p*z - 2*z - 4*c = 0, -3*z - c = 0. Does h = z?
False
Let a(l) = -l**2 + 13*l + 10. Let s be a(14). Suppose 0 = 4*x - 4*v, 5*x + 45 = -2*v - 2*v. Which is bigger: x or s?
s
Suppose 6*s - s - 145 = 0. Which is greater: -1 or s?
s
Suppose -4*y + 4*i + 4 = 0, -2*y - 5*i = 3*y + 25. Let k be (2 + -4)*y + 0. Suppose 0 = -k*b + 5*h + 19, -b - 4*h - 8 = 3*b. Which is bigger: b or -1?
b
Suppose 0 = -5*o - 2*o + 14. Suppose -k + 4*d = 2, -k - k - 4*d = -8. Suppose 9 = 5*l + b, 0 = 5*l + b + k*b - 17. Which is greater: o or l?
o
Let o = 7 + -5. Suppose 2*x + 3*r = -6, 34 - 12 = o*x - 4*r. Which is smaller: x or 2?
2
Let l(v) = v**2 + 3*v + 1. Let n = 10 + -13. Let p be l(n). Which is bigger: 2 or p?
2
Let a = -6 - 3. Let s = -8 - a. Which is greater: s or 0.8?
s
Suppose 0 = -2*m + 5*m + 648. Let i = -372071/9 + 41125. Let y = m - i. Which is bigger: 1 or y?
1
Let j be (-15)/18 - 0/4. Suppose 0*v + 2*h = -5*v - 20, -4*h = 3*v + 26. Which is smaller: v or j?
v
Let i(t) be the second derivative of -t**5/20 - 11*t**4/12 - 5*t**3/3 + 2*t**2 + 3*t. Let a be i(-10). Let c be (-44)/(-12) - a/2. Is c smaller than 3?
True
Let p be ((-12)/117)/((-4)/12174). Let h(x) = 155*x - 2. Let y be h(-2). Let b = p + y. Is -1 greater than or equal to b?
False
Let d = -383/2 + 192. Which is smaller: d or -17/5?
-17/5
Let l = -88 - -66. Is 0.1 smaller than l?
False
Let f = -5 + 4. Let t = -5.9 - -0.9. Is f greater than or equal to t?
True
Let z = -6 + 30. Let y be (2/(-3))/((-4)/z). Let s be ((-1)/(-15))/(y/50). Which is bigger: s or 0?
s
Let q = -5.6 + 6. Which is bigger: q or 2?
2
Suppose z = 3*f + 46, -2*f + 0*f - 3*z - 27 = 0. Let k be 6/f + 8/20. Suppose k = -5*d - 5*j - 20, -j + 6 = -3*d - 10. Which is bigger: d or -4?
-4
Let n be (-23)/115 + ((-1)/(-5) - 0). Is n <= 0?
True
Let m = 49 + -48.91. Is -1 less than m?
True
Let w(l) = -2*l**2 - 10*l - 1. Let d be w(-5). Let g = 260/3 - 86. Are g and d non-equal?
True
Let a = -0.17 - 0.03. Which is greater: -2/5 or a?
a
Let m be (3/(-16))/((-2)/(-8)). Let u(i) = -i**2 - 4*i - i + 2*i - 1. Let p be u(-3). Is m less than or equal to p?
False
Let z be -1*1/5*2. Let b = -838 - -853. Is b smaller than z?
False
Let b(c) = -c**2 + 7. Let o be b(-3). Let d = -4 + 4. Which is smaller: d or o?
o
Suppose 3*i = -12, 27 = 5*w - 5*i + 7. Is w at least -2/3?
True
Let h be -6*(-1 - (-44)/(-8)). Is h less than or equal to 37?
False
Suppose -4 = t - 3. Let z be (-15)/(-3)*54/75. Let j = -193/55 + z. Is j bigger than t?
True
Suppose 4*i - 6 = f - 0*f, -f - 3 = -i. Let g = 8 + -10. Is f less than or equal to g?
True
Let l(q) = -q**2 + 12*q + 9. Let j be l(13). Suppose f + 2*o - 14 = 3*f, 31 = -5*f + 4*o. Let p be (0 - 1)/((-1)/f). Is j equal to p?
False
Let f be 1 - -4 - 1 - 2. Let o = f + 1. Suppose 4*t + 3*b + 11 = 0, -b = -2*t + 3*t + 4. Is t at least as big as o?
False
Let h = 15 - 14. Let k be h - -2 - (-6)/2. Which is smaller: k or 5?
5
Suppose 3*s = 0, -3*x - 5*s - 3 = -0. Let q be 6/(-14) + 11/33. Which is greater: q or x?
q
Let o = 3/34 - -11/68. Which is bigger: o or 12?
12
Suppose -3*u + u = 0. Which is bigger: u or 3/19?
3/19
Let z(p) = -p**3 - p**2 + 4*p - 1. Let i be z(-3). Let d = 4 - i. Let b be 94/(-68) + 12/8. Is d > b?
False
Let j(c) = -c - 9. Let z be j(-12). Suppose -4 = z*p + 14. Is p != -7?
True
Let f be ((-6)/(-4))/(2/4). Suppose -f*s = a + 4, -8*a = -3*s - 3*a + 20. Which is smaller: s or -1/2?
-1/2
Let p = -3 - 8. Let z = -13 - p. Is -3 > z?
False
Let c(t) = 3*t**2 - 3*t - 5. Let u be c(-2). Suppose 3*x - 14 = 2*d, 2*d + 4*x = -d + u. Which is smaller: d or 2/3?
d
Let d = 19 - 17. Let i be (2/3)/(4/6). Is i >= d?
False
Suppose 26 = -3*s + 20. Is 3 greater than or equal to s?
True
Let s = -18 - -13. Let r = s + 4. Which is smaller: -4 or r?
-4
Suppose -3*k + 5*a = 2*a + 3, 0 = k - 5*a