ose -5*t - 3*m = 2*m + 15, 3*m = -6. Suppose 4*x + 5 = z, 3*x = -3*z + 4*z - 4. Is t bigger than x?
False
Let g be 0 - 3/(42/1444). Let c = g + 103. Which is smaller: c or 0?
c
Let g = -0.1 + -1. Let t = g - -0.1. Let n(v) = -v - 6. Let c be n(-6). Which is smaller: c or t?
t
Let g(c) = -10*c**2 - c + 4. Let q be g(-4). Let n = -601/4 - q. Is 3 not equal to n?
True
Let g = -22 + 25. Is g less than or equal to -1?
False
Let g be (-10)/4*(-1 - -3). Let f(u) = -2*u**2 - 6*u. Let x be f(-4). Let w = -14 - x. Which is smaller: g or w?
w
Suppose 5*l + 1 = 11. Suppose 0*p = -p - l. Let w(d) = d**3 + 2*d**2 + d. Let b be w(-2). Is b at least as big as p?
True
Let v(y) = -y - 14. Let c be v(-10). Suppose 0 = 4*k + 12 - 4. Let n = c - k. Which is smaller: n or -1?
n
Suppose -5*k + 3 = 3*w - 4, -k + 2*w = -4. Suppose k*a = 3*a. Suppose a*s = -2*s - 2. Is -1 greater than s?
False
Let z = 0.42 + 1.58. Is z not equal to 2/3?
True
Let t(p) = -p - 1. Let a be t(-1). Let r = -132/217 + 10/31. Is a less than r?
False
Let t be ((-21)/(-56))/((-2)/(-4)). Which is smaller: 2 or t?
t
Let s(r) = r + 2 + 1 + 2. Let h be s(-4). Is h less than 2?
True
Let k(n) = -n + 6. Let h be k(8). Let m be (h - -1)/((-1)/4). Let v be m/6 + (-35)/(-15). Which is smaller: v or 2?
2
Let l(u) = 2*u**3 - u**2 + u - 1. Let d(t) = -t**3 + 11*t**2 + 1. Let g be d(11). Let j be l(g). Let z = 4 - 2. Which is smaller: z or j?
j
Let h(u) = -u**2 - 6*u - 6. Let k be h(-4). Let b = -245/6 - -83/2. Do k and b have different values?
True
Let w = -15779005/94647 + -2/94647. Let g = -167 - w. Let t = 0.2 + 0. Which is bigger: t or g?
t
Let a = 14 - 15. Which is smaller: a or -2/195?
a
Suppose -4*z + 5*z = v + 4, 0 = 3*v + 2*z + 22. Let c be 3 - (-3)/(v/7). Which is smaller: c or -2?
-2
Let f be 3/1 - 2 - 108. Is f bigger than -107?
False
Let y = 1 + 0. Let i be 2*3/99*-3. Which is smaller: y or i?
i
Let s = -6 + 4. Let n be s/(-5) + (-78)/(-5). Suppose l = -3*b - n, -3*b = -2*b + 5. Which is greater: 1/6 or l?
1/6
Let a = -2 + 3. Let s = -3/14 + 57/70. Are a and s equal?
False
Let b = -1 + 1. Suppose b = 3*d - 19 + 1. Is d not equal to 7?
True
Let t = -30 - -31.7. Let s = -0.3 - t. Let x = 3 + s. Do x and -1 have the same value?
False
Let s = -191/3 + 64. Let q = 0 + -1. Let x = -1 - q. Which is greater: x or s?
s
Let c = 16.7 + -16. Let x = 5.3 + c. Let b = x - 9. Is 2 less than or equal to b?
False
Let j be 8/4 - (6 - 1). Is -4 at least as big as j?
False
Let o(z) = -z**3 - 2*z**2 + 2*z + 4. Let n be o(-3). Let d = n + -6. Let j be 2/(-4) - 10/(-12). Is d smaller than j?
False
Let k = -0.003 + -1.007. Let l = -0.01 - k. Does -2/9 = l?
False
Suppose -98 = 4*d + 3*d. Is -12 at least as big as d?
True
Let n = 0.28 + -0.38. Let t = -0.1 + 0.2. Is t at least n?
True
Let n be (-126)/35 + 1/((-5)/2). Which is bigger: 10 or n?
10
Let u = 0.1 - 9.1. Is u less than -0.1?
True
Suppose -4*r = -r + 48. Is r >= -13?
False
Let o be (-21)/35 + 18/5. Let m(x) = -x**3 - x**2 + x + 4. Let t be m(0). Which is smaller: t or o?
o
Let v = -30 - -30.4. Which is greater: v or -2?
v
Let n = -8 + 4. Let f be n/(-16) + 50/(-8). Let x be 8/f + 4/(-6). Is x at least -2?
True
Let x = 5 + -15. Let c = x - -8. Which is smaller: c or 0?
c
Let j(y) = 3*y**2 - 12*y - 1. Let k be j(4). Is k at most 2/77?
True
Let w be (-48)/(-28) + 4/14. Let q = w + -3/2. Are q and 0 equal?
False
Let p be (0 + 1 + -2)*1. Let s be 0*(1/(-3))/(2/(-3)). Which is greater: s or p?
s
Let f = 59 + -147. Let j be ((-16)/20)/(f/60). Let o be 1/(-1) + 2 + -1. Is o at least as big as j?
False
Let g(i) = -4*i - 19. Let d be g(-17). Is d greater than 49?
False
Let j be 8/(-16)*(-8)/18. Which is smaller: j or 13?
j
Suppose -z - 2*z - 2*r + 2 = 0, 5*z - 4*r + 26 = 0. Let v be (105/(-54) - z)*4. Suppose 3*o - 6 = -3*q, o = -4*q + 4 + 4. Which is smaller: v or o?
o
Let h be 1/(1 + 1)*10. Suppose -h*k + 24 = l + 3, 0 = 5*k - 3*l - 17. Suppose -k*f = f - 15. Which is smaller: 2 or f?
2
Let c be 3836/(-18) + (0 - 0). Let k = 214 + c. Which is smaller: k or 0?
0
Let m = -13 - -13. Let q be m + -2 + 30/3. Do 8 and q have the same value?
True
Suppose q = 4*q. Suppose 12 = 2*s + 4*w - 5*w, 24 = 4*s + 3*w. Which is greater: q or s?
s
Let a = 14 - 28. Let z = -15 - a. Is z less than -1?
False
Let x = -0.009 - -2.109. Let t = -1.1 + x. Which is smaller: t or -3?
-3
Let r be (7 - -7) + -1 + 1. Let o be (-16)/56*r/(-18). Suppose -4*t + 2*z + 0*z - 10 = 0, -2*t + 3*z = 11. Which is bigger: o or t?
o
Suppose 5*u + 235 = -0*u. Let t = -233/5 - u. Let m = -0.2 - -0.1. Are m and t nonequal?
True
Suppose -14*x - 31 - 25 = 0. Which is greater: -1 or x?
-1
Let z be (-6)/(-9) + 1/(-3). Suppose 5*a - 5 = -0*a. Let w be a*2/3*-3. Which is greater: w or z?
z
Let m(z) = -z**2 - 2*z + 3. Let r be m(3). Let j be 7/9 - r/54. Which is bigger: 2 or j?
2
Let z = 23 - 33. Which is greater: z or -8?
-8
Let q(s) be the second derivative of -s**3/6 - 3*s**2/2 + 3*s. Let x be q(5). Which is smaller: x or -9?
-9
Let z = 0.01 - 0.01. Let l = -0.7 + 1.6. Which is smaller: l or z?
z
Let c(p) = -p**2 - 12*p + 3. Let v be c(-12). Which is smaller: v or 4?
v
Let h = 506/13 - 39. Which is bigger: 0 or h?
0
Suppose -5*r = -4*r + 1. Let t(f) = f**3 + 3*f**2 - f - 3. Let x be t(-3). Let a = r + x. Which is smaller: -1/4 or a?
a
Let z(p) = -p**2 + 8*p - 14. Let h be z(4). Is h less than or equal to 2?
True
Let o be 34/4*2 - 3. Which is smaller: o or 12?
12
Suppose -5*a = -p + 6 - 1, 4*p = 5*a + 20. Let o be (-2)/9 + 152/36. Let l be (-5)/(-15)*o/2. Which is greater: l or a?
l
Let c = 5 + -5. Let z = 0 + c. Does z = 0?
True
Let g = -70.1 + 70. Which is bigger: g or -2?
g
Let w be 0/(0/1 - -1). Suppose -2*s + w = -5*z - 5, 3*s + 3 = 4*z. Which is bigger: -5 or z?
z
Let u = 8434/19 - 444. Which is smaller: u or -1/3?
-1/3
Let j = 5 - 15. Let m be (-252)/j + (-1)/5. Let l = m + -74/3. Which is smaller: l or 1?
l
Let s(w) = -5*w**2 - w - 1. Let l be s(-1). Let h(f) = -f**3 - 4*f**2 + 6*f + 3. Let z be h(l). Which is smaller: -3 or z?
-3
Let y = -149 - -243. Let i be (-18)/(-27) - y/6. Which is smaller: -16 or i?
-16
Let a = 18 + -12. Let h = -4 + 6. Let b = h - 1. Which is greater: b or a?
a
Let b(i) = i + 12. Let o be b(-9). Suppose -2*h - 22 = o*u - 4, u - 4*h = 8. Let s be (6/u)/((-9)/(-24)). Is s >= -3?
False
Let g(d) = -2*d**2 + 2*d + 2. Suppose j - 5*j - 4 = 0. Let n = 3 + j. Let z be g(n). Is -1/2 less than or equal to z?
False
Let l be 0/(-2)*(-9)/(-27). Suppose -2*g = -6*g + 8. Are g and l nonequal?
True
Let c be (-1)/(0 + 1/3). Let d be 3 - c*6/(-9). Let j be 1 - 11/6 - -1. Which is greater: j or d?
d
Let a(x) = -3*x + 2*x + 2*x + 7. Let k be a(-6). Let c = 36/7 - 5. Which is smaller: k or c?
c
Suppose 44 = -q + 5*q. Let z be ((-12)/(-10))/(4/10). Suppose t + 3*k = -t + 23, q = -t + z*k. Is t at least 3?
True
Let d = -5 + 10. Let b be (-4)/(-6) - (-17)/(-3). Let p be d/b - (-1 - -1). Which is greater: -2 or p?
p
Let g = 0.854 - -0.116. Let u = -0.03 - g. Suppose -n = 2*n - 6. Is n less than u?
False
Let h be -2 - (-7)/((-7)/(-16)). Suppose 8*n = 9*n + h. Is n at least -13?
False
Suppose -1 + 0 = i. Which is bigger: i or 1/15?
1/15
Suppose -5*x + 2*t + 14 = -2, -3*t + 26 = 5*x. Let y be x + 1/(-1) + 0. Suppose -3*u + 3 = -f - 6, -4*u - 5*f - 7 = 0. Is y greater than u?
True
Let p = -3 + 7. Suppose 3 + 29 = p*n. Let x be 4/n*4/(-14). Is 0 greater than x?
True
Let x(b) = 15*b**3 - b. Let p be x(-1). Is -13 less than p?
False
Let k = 14 - 17. Let w = k - -2. Let a be (-16)/21 - (-2)/6. Which is greater: a or w?
a
Let g = -21 - -14. Let j = -12 + 15. Suppose 0 = -j*d - 0*d + 3. Is d greater than g?
True
Let r = -0.27 - -0.07. Is r at least as big as 4/11?
False
Suppose -3*i = 2*i - 15. Suppose -u = i*u - 24. Suppose 0 = 2*n + c, 2*n - 2*c + u*c = -12. Is n > -0.2?
True
Let v be 3/(-6)*(-3)/(-3). Does -2 = v?
False
Let g = 1.74 + -2. Let x = -4.46 - g. Let o = 4 + x. Are o and -1 non-equal?
True
Let k = -0.01 - 0.02. Let z = k - -0.43. Let f = 0.4 - z. Is -2 not equal to f?
True
Let s = -3/106 - 615/742. Let r = 5 - 7. Which is greater: r or s?
s
Let g = 0.37 - 1.07. Let m = -6371/3 + 2105. Let b = m - -19. Is g bigger than b?
False
Let r = -0.85 - -37.85. Is r at most 0?
False
Let b = 114 + -796/7. Suppose -2