= -158 - -1108/7. Let t = -11 + 10. Are n and t equal?
False
Suppose 11 = 4*a + 3*o, -11 + 2 = -4*a - o. Let i(m) = m - 2. Let t be i(5). Suppose -t*u + 12 = 2*x, 4*u - 5*x - 5 = -4*x. Is a smaller than u?
False
Let t be 15/(-21) + 4/14*1. Are t and 1 unequal?
True
Suppose -4*u - u + 30 = 0. Suppose -u*g = -g - 90. Let i be g/(-22) - 6/33. Is i at most -1?
True
Suppose p + 4920 = -p. Let s be ((-10)/4)/(34/p). Let g = s + -181. Is g at most -1?
False
Let l = -41 - -21. Which is greater: l or -19?
-19
Let j = 1423/580 + -47/20. Which is bigger: 0 or j?
j
Let y = 14 - 14. Let b = 45 - 43. Is b at most as big as y?
False
Let z be (-117)/(-65) + 2/10. Suppose 0*m + z*m = -2. Is m greater than -1?
False
Suppose -h - 3*b = -5*h - 13, 9 = 3*b. Let g be 352/456 - 4/6. Are g and h non-equal?
True
Let p = -863/7 - -123. Suppose 0 = 2*m + m - 3. Are m and p non-equal?
True
Let w(s) = -2*s**2 - 28*s - 2. Let x be w(-12). Is 47 less than or equal to x?
False
Let n = 100 + -100. Is n > 0.134?
False
Let d be ((-1)/(-2))/(14/196). Is 3 less than d?
True
Let c = 12 + -12. Which is greater: c or 12?
12
Let u = -12404/23 - -539. Which is smaller: 0 or u?
u
Let h = 25 + -26. Does h = -0.9?
False
Let t = -8 + 7. Is -2/7 <= t?
False
Let b = -2 - -2. Suppose 0 = -4*p - 2*z - b + 8, -3*p + 4 = 2*z. Suppose p*q - 10 = 6. Which is greater: 5 or q?
5
Let z = 120 + -119.9. Let h = -7.88 + 8. Which is smaller: z or h?
z
Suppose -3*v = -2*m + 5, 0 = -9*m + 4*m + 20. Is 1/9 smaller than v?
True
Let y = -61 + 69.8. Let z = 9 - y. Which is smaller: z or 1?
z
Let s(k) = -3*k**3 - k**2 + k - 4. Let q(y) = 4*y**3 + 4. Let g(t) = -4*q(t) - 5*s(t). Let l be g(4). Is l > -2/13?
True
Let z be 1/(-5) - 1/5. Which is bigger: z or -2?
z
Suppose -4*d = 2*t + 16, -3*d - 3*t + 4*t - 12 = 0. Let c be (-10)/(-25) + d/(-90). Do c and -1 have different values?
True
Let j = 15.7 - 16. Is -1/5 > j?
True
Let p = 23 + -18. Suppose 4*m - p = -1. Which is bigger: m or 2/21?
m
Let p be -22 - -57 - 1/1. Which is greater: p or -1/2?
p
Let v = -12 - -7. Let a = v - -9. Which is smaller: 1 or a?
1
Let x be 5*(2 + (-6 - -3)). Let w(c) = c**2 + 3*c - 6. Let s be w(x). Suppose 2*m = -s*d - 2, -3 = 3*m + 4*d - 0*d. Which is smaller: 2 or m?
m
Let f(s) = s**2 - 6*s + 5. Let b be f(5). Suppose -d + 1 = 0, -4*g - d + 0*d + 13 = b. Which is smaller: 0 or g?
0
Suppose -66 - 15 = 9*g. Is -10 greater than g?
False
Let i = 7/2 - 123/34. Is -1 smaller than i?
True
Let x = -6 + 5. Let n be (-2)/(-4) - (-3)/(-2). Is x <= n?
True
Let f = 241/5 - 48. Which is smaller: f or 0?
0
Let a = -0.49 - -0.09. Let q = -1.26 + 0.16. Let j = -1 - q. Which is smaller: a or j?
a
Let f be (-1)/((2/(-6))/(10/(-120))). Is -5 <= f?
True
Let h = -3/10 - -2/5. Suppose 0 = -3*j - 2*j + 10. Suppose j*t - 3*t - 2 = -4*k, k + 4*t - 9 = 0. Are k and h nonequal?
True
Let n(p) = -p + 5. Let j be n(6). Let y be 0 - ((-3)/3)/j. Let t be 1/((2 + -16)/y). Do 1 and t have the same value?
False
Let q(g) = -g**3 - g**2 + 2*g. Let z be q(2). Let d be ((-4)/16)/((-2)/z). Which is bigger: d or 3/8?
3/8
Let h = 35 + -28. Which is greater: 0 or h?
h
Let k = 22.82 + -23. Let u = k + 0.08. Which is greater: u or -1/9?
u
Let h be (-1)/(-2) - 110/44. Which is bigger: h or 2?
2
Let u be ((-4)/6)/(20/15). Is -0.15 != u?
True
Let f = -0.3 + 0.3. Let j = -0.4 + f. Let w = 0.2 + j. Which is smaller: 1/2 or w?
w
Let q be 2/(-4)*(8 - 6). Suppose -l + 5*l + 4 = 0. Is q greater than l?
False
Suppose 0 = v - 6 - 0. Which is bigger: v or 7?
7
Let b(h) = h**3 - 9*h**2 + 7*h + 11. Let c be b(8). Which is bigger: c or 5?
5
Let o = 0 + -1. Let b(c) = c**3 - 15*c**2 + 16*c - 30. Let t be b(14). Is o greater than t?
True
Let z be (1/(-5))/((-2)/14). Let x = z + -9/5. Which is smaller: 0.1 or x?
x
Let j be (4/(-6))/(2/(-3)). Let q = 2 + 4. Suppose 0 = -4*y - 2*u + q, -2*u = -2*y - 0*u + 6. Which is smaller: y or j?
j
Let b(f) = -f**2 - 16*f + 4. Let i be b(-16). Is i greater than 0?
True
Let n(w) = w**3 - 12*w**2 + 14*w - 15. Let q be n(10). Let y be (-20)/q*(-10)/4. Is 0.2 at most y?
False
Let g be (-140)/64 - 3/(-1). Which is greater: g or 2?
2
Let v be (-1 + -2)*(-4)/36. Let c = 0.58 - -0.02. Is v > c?
False
Let x be 23/7 + 2 + -6. Is x greater than -2/9?
False
Suppose y = 1 - 3. Let m = y - -4. Is m greater than or equal to 3?
False
Let d = -37 - -64. Let c = d - 51. Let z be ((-6)/(-20))/(c/20). Is z <= -1?
False
Let o be 1*(-11 + 2 + -1). Let z be ((-5)/o)/((-2)/(-4)). Is z greater than -4/9?
True
Let u(q) = -q**2 - 4*q - 2. Let b be u(-5). Are b and -1 non-equal?
True
Let y be ((-13)/3 - 1)/(-2). Let p = -3 + y. Is 6 bigger than p?
True
Suppose 0 = n + n. Suppose -4*l + l = n. Let u be 7/(-5) - (-2 + l). Which is greater: -2/7 or u?
u
Let m = -20 + 59. Let k be -2 + (-6)/m - -2. Let b = 0 - 1. Do b and k have the same value?
False
Let m(d) = d**3 + 12*d**2 + 11*d - 5. Let a be m(-11). Let f = 4 + a. Which is smaller: 2/23 or f?
f
Let a be (-5)/(-3) + (-2)/(-6). Suppose -d = 3*d. Which is smaller: d or a?
d
Let q(u) = -u**2 - u**3 + 0*u**3 - 3 - 2*u + 5*u**2. Let v be q(3). Which is smaller: 1/31 or v?
v
Suppose -9*o = 2*o - 11. Is o > -1/29?
True
Let s = 4 - 8. Let w = 7 + s. Is 4 at most as big as w?
False
Let n(t) = -t + 5. Let d be n(-7). Suppose 3*w = d, -2*a - 3*w + 14 = -0*w. Let k be (-6)/21*(0 + a). Which is greater: 2/3 or k?
2/3
Let n = -3 - -3. Is n <= 2/19?
True
Let i = -7376/273 + 192/7. Let c = i + -1/13. Let q = 0.5 + -0.3. Is q < c?
True
Suppose -p + 2*h - 7 = 2, 2*h = -5*p + 3. Which is smaller: p or -1/12?
p
Let t = -33/7 + 745/161. Let g = t - 32/161. Let j = 2/7 + -1/28. Which is bigger: g or j?
j
Let j = 15 - 10. Let h(z) = -z + 4. Let g be h(j). Does 1/7 = g?
False
Let a(g) = -g + 1. Let h be a(0). Let b = 2.4 - -8.6. Let v = b - 7. Do v and h have different values?
True
Let n be 52/96 + (-2)/3. Let t be -3 - 2*(-6 + 4). Is n equal to t?
False
Let y be ((-6)/(-12))/(3/(-54)). Which is greater: -8 or y?
-8
Let x be (3 - -15)*(1 - 0). Let m = x + -12. Is 5 not equal to m?
True
Let h = 113 + -77. Is h >= 36?
True
Let i = 85/6 - 14. Suppose 2*t + t = 0. Is i >= t?
True
Let k = 15 - 13. Suppose 10 = -k*d + 4. Which is smaller: -5 or d?
-5
Let z(j) = j + 1. Let y be z(-5). Let v be (y/2 - -4)/1. Let o be (-1 + 0)/(-3 + v). Which is smaller: -1 or o?
-1
Let t = 0.05 + 9.95. Let s = 14 - t. Is 2 > s?
False
Let x = 20 - 23. Is x < 1?
True
Let z = 2 - 1.7. Which is smaller: z or -6?
-6
Let z = -0.4 + 0.3. Let s(c) = c**3 + 7*c**2 - c - 3. Let b be s(-7). Suppose 7*n + b = 3*n. Which is greater: z or n?
z
Let k(c) = 10*c**2 - 3*c + 0 + 12*c + c**3 + 4. Let o be k(-9). Let w be (-5)/o + (-3)/(-12). Is w at least as big as -2/13?
False
Let t = 3.1 + -1.1. Which is greater: t or 0.1?
t
Let i be (2 + 2)*614/4. Let j = 13505/22 - i. Let q = -53/66 - j. Is q at least -1?
True
Let b(g) = 7*g + 25. Let x be b(0). Does x = 25?
True
Let s = -13 + -11. Let a = 9 + s. Let p be 6/a + (-27)/(-5). Is p greater than or equal to 4?
True
Let d = -4 - -5. Let f = d - -1. Let m(u) = -u**3 - 3*u**2 - u - 1. Let h be m(-3). Is f less than h?
False
Let u(a) = 2*a + 10. Let v be u(-7). Do v and -1 have the same value?
False
Let u be (0 - -2)/((-3)/1). Let g = 33 - 34. Which is bigger: g or u?
u
Suppose 0*q - 12 = -2*q. Let k be 28/q + (-4)/6. Suppose -k*c = -0*c. Which is smaller: c or -1?
-1
Let c(o) = o**3 + 4*o**2 + 3*o + 2. Let a be c(-3). Suppose 5*w + 6 + 4 = -5*i, 3*i - 5*w - a = 0. Do i and 1/4 have different values?
True
Let s = -146/7 + 21. Let j be ((-2)/(-1))/(-1 + (5 - 6)). Is j > s?
False
Let y(c) = -c**3 + 2*c**2 + 2*c - 2. Let j be y(2). Are 0.1 and j unequal?
True
Let u = 7 + -12. Let w = u - -7. Let h(x) = -x**3 + 2*x**2 + 2*x - 1. Let f be h(2). Is f <= w?
False
Let s be (2304/388)/3 - 2. Which is smaller: s or 1?
s
Let k = 1/665 - -87/5320. Is 0.1 at least k?
True
Let i = 0.91 + -0.11. Let g = i + 0.2. Suppose 0 = -w + 4*w. Is g less than w?
False
Let m be -1 + (-2)/((-126)/57). Which is greater: 1 or m?
1
Let o = 5 - 3. Let m(f) = -2*f - 12. Let y be m(-7). Is y smaller than o?
False
Let g(d) = -3*d - 14. Let o be g(-4). Is o <= -16/7?
False
Suppose 0 = -5*z - g + 74, -2*g - 14 = 5*z - 87. Let n = z + -15. Is 2 greater than n?
True
Let i be 0/(-2)*2/4. Let m b