ppose -22*u + 19*u = 78. Is -26 > u?
False
Suppose 4*d = -c - 0*d - 3, d + 12 = c. Let z be 0 + -3*(-12)/c. Let o = 3 + -3. Is z at least as big as o?
True
Let i be -1 + (-4 - -1)/(-1). Let z be 1 + -1 + i + -1. Let r = 1 - z. Is 2/11 less than r?
False
Let f = -10 + 10.04. Let h = 24.96 - 24. Let t = h + f. Are t and 1 unequal?
False
Let i = -2 - -7. Let x be (-21)/(-15) + (-2)/i. Which is bigger: x or 2?
2
Let n be 2 + 0 - 60/33. Let m = 12/55 + n. Suppose -p - 3*y - 2*y = -26, -11 = 4*p - 3*y. Is p > m?
True
Let y = -0.72 - 0.28. Does -1 = y?
True
Let k be (3 + -9)/3 + 0. Is -2 <= k?
True
Suppose -v = d - 28, d = 5*v - 0 - 2. Is 22 bigger than d?
False
Suppose 3*d + 0 = 3. Let n = 1.9 - 2. Which is greater: n or d?
d
Suppose 0 = -5*n + 2*g + 6 + 12, -2 = 3*n + 2*g. Suppose -2*a + 5*q = -9 - 16, 4*q = -20. Suppose a*z = n*z + 2. Is -3/8 > z?
True
Suppose y = s, 40 = 4*y - 0*y + 4*s. Suppose y = n + 4. Let o be n - (2/(-2) - -1). Which is smaller: o or 2/5?
2/5
Let b = -74.2 - -75. Let n be 2/8 - (-3)/36. Which is bigger: n or b?
b
Let y be -1*(-402)/(-328) + 1. Let r = -462 - -18941/41. Let d = y + r. Which is greater: d or -1?
d
Let i = 8.4 + 2.6. Let m = 18 - i. Let t = m - 7.1. Which is smaller: -1/2 or t?
-1/2
Suppose 5*b = -5*l - 4 + 24, 0 = 2*b + 4*l - 18. Let i = b + -2. Is -5 > i?
False
Let y be 3/((-12)/8) - 11. Is y < 2?
True
Let p(i) = -i - 3 + 0 + 5 + 0. Let r be p(6). Is r not equal to -2?
True
Let i be (-1)/(-2)*2216/14. Let k be 1260/(-16) - (-2)/(-8). Let u = i + k. Which is bigger: 0 or u?
u
Suppose -16 = -5*p + p. Suppose -f = -p*i - 2*f - 3, 5*f - 7 = 2*i. Is -3 >= i?
False
Let m = -0.0338 + 3.0238. Let h = 0.01 + m. Let n = h + -3.1. Which is greater: n or 0.3?
0.3
Let o(c) = -c**2 + 6*c + 2. Let g(q) = q**3 - 7*q**2 - 7*q - 2. Let l be g(8). Let h be o(l). Which is smaller: 3 or h?
h
Suppose -3*u - 42 = -0*u. Let h be (-2)/3 + u/(-21). Let v be 2 - 1 - 20/25. Which is bigger: v or h?
v
Let a = 18.263 - 0.063. Let q = a + -20. Let b = 0.2 - q. Is -2/7 > b?
False
Suppose 2*z + 4 = -m, 0 = 2*m - 4*z + 12 + 28. Let q = m - -2. Is -11 greater than q?
False
Let p be 1/(56/(-20) + 3). Let l be (-12)/(-60) - 6/p. Which is bigger: l or 3/7?
3/7
Suppose -4*v - 8 = -2*c - 2, v = 4*c - 5. Are c and -1 equal?
False
Let s(l) = -l**3 - 2*l**2 - 2. Let i be s(-2). Let d = i - -3. Let r be 4/(-18) + 68/144. Which is greater: d or r?
d
Let z be 5/(-3)*(-2)/(-5). Let h = -12 - -11. Which is smaller: z or h?
h
Let b = 5 + -6. Is 0 at least as big as b?
True
Let t = -129 + 1159/9. Suppose 5*z - z = -8. Let q be (z - -2) + (0 - 1). Which is smaller: t or q?
q
Let j = 3 + -4. Let t = 17/3 - 53/9. Is j at most as big as t?
True
Let q be (-9)/6*(-8)/12. Which is smaller: -2/37 or q?
-2/37
Let b be 2 + -2 + (-2)/(-6). Let h be (-4)/24*1*-6. Which is smaller: h or b?
b
Let u = 4 + -4. Which is smaller: u or 1/22?
u
Let y = -2 + 5. Let o = -17.1 + 20. Let q = y - o. Is q at most as big as -2?
False
Let u(a) = -7*a**3 - 1. Let t be u(-1). Let c be 4/t + 25/3. Let l be (3/2)/(c/(-12)). Is l at least as big as -2?
True
Let o = 5/18 - -2/9. Let k be (-2)/3*(0 - 3). Suppose -k = n - 2*n. Is o at least as big as n?
False
Let m = -2 + -8. Let p = -13 - m. Which is greater: -12/5 or p?
-12/5
Suppose 7*j = 2*j + 15. Let l be (-8)/(-14) + (3 - j). Which is smaller: 0 or l?
0
Let k = 0.32 + -0.02. Let u = k + -0.4. Let i = 9.9 + -10. Are i and u non-equal?
False
Let o = 647/9 + -72. Let m = -248 + 249. Which is greater: o or m?
m
Suppose -2*y = 3 - 1. Let o = 136 - 1494/11. Which is bigger: o or y?
o
Let i(c) = 6*c + 17. Let a be i(-3). Is 1/20 <= a?
False
Let w be (-135)/(-6) + (-1 - 0). Let x = 22 - w. Is x bigger than 2?
False
Let w = 0.15 + 0. Let l = 0.05 - w. Which is bigger: l or 1/3?
1/3
Let i be ((-24)/(-10))/(12/(-40)). Let x = i + 4. Is -2 at least x?
True
Let j(i) = i + 8. Let m be j(8). Suppose 0 = 4*r + 2*x + m - 6, -5*x - 5 = 0. Let t be 2/(-9) - 0/r. Which is greater: -3/5 or t?
t
Suppose -4*o - 12 = 0, -2*o = -n + 9 + 1. Is 17/6 >= n?
False
Let j = -9 + 13. Suppose 2 + 2 = -j*c. Is -0.1 greater than c?
True
Suppose 5 = 3*u - 4. Suppose -5*o = -u*y, -4*y + 7*o - 3*o = 0. Is -1/4 > y?
False
Suppose 3 = -3*m, -3*m - 148 = -5*r + 115. Suppose -4*n = -4*u + r, 5*u = 2*n - 7*n + 95. Which is smaller: u or 17?
u
Let x = 23/17 - 1391/1003. Is x greater than or equal to -1?
True
Suppose 46*s - 44*s = -70. Is s >= -33?
False
Let n = -2 + 2. Suppose n*v + 3*v = 9. Are v and 5/3 nonequal?
True
Let v be 24/11 + (-2)/11. Suppose 7*f - v*f - 10 = 0. Suppose -f*n = 3 + 3. Is -3 not equal to n?
False
Let q = 6 - 0. Is q greater than 2?
True
Let z be 16/(-4) + 0 + 23. Which is smaller: 17 or z?
17
Let k = 0.06 + -0.36. Let f(v) = v + 2. Let q be f(-1). Is q smaller than k?
False
Suppose -6*y + y + 3*w - 10 = 0, -4*y = 3*w + 8. Which is bigger: -5/8 or y?
-5/8
Let c be (7/(-2) - -2)*(-12)/162. Which is greater: 0 or c?
c
Let o = -4.6 + 22.6. Let c = o + -17.8. Which is smaller: c or 1/3?
c
Suppose 5*h + 61 = -b, -2*h + 0*h + 2*b - 22 = 0. Let o be (2/h)/(15/30). Let n = -3 + 2. Is o less than n?
False
Let u(d) = d**2 + 1. Let o be u(-1). Suppose -2*s - o*s = 84. Let w be (56/s)/(2/6). Which is smaller: -7 or w?
w
Suppose -3*o - 1 = -4*o. Let k(a) = -5*a**2 + 6*a + 7 + a**3 - 3*a**2 + 0*a**2. Let r be k(7). Is r < o?
True
Let i be -7 - 6/(0 - -2). Let t = i - -10. Is 0 greater than t?
False
Let i = 3 + -1. Suppose 3*r = 5*x + 30, i*x + 10 = 7*x + 5*r. Is -5/2 > x?
True
Suppose 4*k + 2*i + 36 = -2*i, 4*k + i = -39. Is -10 >= k?
True
Let d be 48/(-18)*3/(-2). Let q = 43/3 + -41/3. Which is smaller: q or d?
q
Let q be (((-16)/6)/2)/((-420)/90). Is -9 > q?
False
Suppose -3*q + 4 = 2*t + 13, 0 = -2*t - 6. Is q greater than -1/66?
False
Let c = -12 + 8. Let j be 1/(-2)*c/9. Suppose 0 = 8*v - 9*v + 1. Which is greater: v or j?
v
Let g(n) = 3*n - 15. Let q(h) = -2*h + 14. Let d(x) = -3*g(x) - 4*q(x). Let m be d(-9). Let y be m/(-10) - 14/(-30). Which is smaller: y or -2?
-2
Suppose i - 3*i = 3*v + 3, 4*i + 4*v = -4. Let s be 2 - (i + -3)*-1. Is s greater than -4?
True
Let r = 18 + -17. Let v(w) = -w + 3 + 2 - 2. Let x be v(4). Is x at most as big as r?
True
Let w = 10/109 - 272/5341. Which is smaller: -1 or w?
-1
Suppose 5*t - 4 = -199. Which is smaller: -41 or t?
-41
Let s = -0.2 - -0.4. Let j = 0.7 + 0.3. Is s < j?
True
Let c = 3 + 6. Let m(f) = f**3 + 6*f**2 + 4*f + 5. Let r be m(-5). Which is bigger: c or r?
r
Let m be -3 + 2 - (-11)/9. Let o(j) = j**3 - 14*j**2 + 2*j - 27. Let b be o(14). Which is greater: b or m?
b
Let c be (-5)/(50/(-48)) - (0 + 4). Is c at most 1?
True
Let d be (14/12)/(57/(-15)). Let k = d - 1/38. Which is bigger: k or 2?
2
Let z(r) = r - 9. Let b be z(6). Are b and -2 unequal?
True
Let f = 11/92 + 3/23. Which is smaller: 73 or f?
f
Suppose 0 = -61*v + 54*v. Let u = -7 - -7.7. Is v > u?
False
Suppose 4*c - 3*c - 43 = 0. Let k = c - 130/3. Which is smaller: k or -0.3?
k
Let b = -10 - -9.5. Which is smaller: b or -4?
-4
Suppose 21 = -r - 2*r. Which is smaller: -17/3 or r?
r
Suppose n - x - 3*x + 16 = 0, -n = -5*x + 20. Are n and -3/11 nonequal?
True
Let w = -8.3 + 8.3. Are -6 and w non-equal?
True
Let w be ((-21)/(-2))/(7/14). Let h be w/9 - (-1)/(-3). Let b(t) = t**3 + 3*t**2 - 5*t - 3. Let c be b(-4). Which is smaller: c or h?
c
Let o(f) = -f - 4. Let i be o(-9). Suppose -m = y - 2, -3*m - 22 = -6*m + i*y. Suppose -8 = -0*u + m*u. Is -3/2 >= u?
True
Let l = -7.4 + 10.5. Let i = -3 + l. Are i and 1 nonequal?
True
Let r = 37/2 + -19. Let t be 6/(1 + -4)*-4. Let k(w) = -w**3 + 9*w**2 - 7*w - 10. Let z be k(t). Is z <= r?
True
Let j(x) = -2*x - 1. Let q = 13 - 11. Let u be j(q). Are -6 and u unequal?
True
Let u(x) = 8*x - 39 - 5*x**2 + 0*x + 48 - x**3. Let n be u(-6). Let s = n + 4. Is 2/7 >= s?
False
Let y = 0.2 - -0.8. Let z = y + -2. Let a = 6.9 + 0.1. Is a less than or equal to z?
False
Let p(b) = b**2 + 10*b + 10. Let x be p(-10). Which is greater: x or 16?
16
Let k = -10 + -17. Let n be (-9)/k*4/(-14). Is n less than 0.1?
True
Let k = 0.07 - -0.23. Let c = -1.09 + -0.21. Let n = c + k. Which is greater: 2 or n?
2
Let l(f) = f**3 - 5*f**2 - 5*f - 1. Let t be l(6). Suppose 3*y - t = -2*y. Which is greater: y or -2/7?
y
Suppose -5*m = -37 -