3. Suppose 7*o - 90 = u*o. Let n be (-1)/3 - o/126. Is 0 at least n?
True
Suppose 20 = 2*l + 4*w - 14, 2*l - 4*w = -6. Is 28/5 > l?
False
Suppose 0 = 3*m + 12, 0 = -w + 4*m - 2*m + 7. Which is greater: -2 or w?
w
Let n = 14 - 14.06. Let w = n + 0.07. Let m be (-4)/(-2) - (-10)/(-4). Are w and m nonequal?
True
Let n = -134 - -147. Is n bigger than 16?
False
Let h = 1461/20 - 73. Is h != -1?
True
Let s(u) = u**2 + 6*u + 6. Let f be s(-6). Let q be 1/3 + 4/f. Do q and -4/3 have different values?
True
Let y be 2/(((-20)/6)/5). Let h(v) = -5*v - 3. Let o be h(-2). Let l be 2/(((-4)/o)/1). Which is greater: y or l?
y
Suppose -3*m = 2*t - 12, -3*t + 0*t - 4*m = -16. Let x be 0 - (-1 + 1 - -1). Is x > t?
False
Let y = 5 - 12. Let c = y + 7. Suppose 5 = 2*q + s, 7*q - 3*q = -4*s + 16. Which is bigger: c or q?
q
Let i be 9/(-2)*(-4)/3. Let r = i - 4. Suppose -r = -0*t + t. Is -3 less than or equal to t?
True
Let f = 3 - 3. Let n be 15/(-27) - f - -1. Suppose -3*q = 2*a - 0*q - 7, 0 = a + 3*q - 8. Which is greater: n or a?
n
Let g be 2/(-4) - 6/(-4). Let i = -0.09 - -0.09. Let y = i + 0.1. Are y and g unequal?
True
Let t = 91 + -46. Let f be 3/4 - 429/(-52). Let h be 35/t + 2/f. Which is greater: h or 0?
h
Suppose 18*h - 12 = 14*h. Which is smaller: 5 or h?
h
Let s = -1.6 + 0.9. Let h = s - 0.3. Is h at least -2/3?
False
Let j be 926/7 + (-2)/7. Let i be (11/j)/(1/2). Which is greater: 1 or i?
1
Let u be 48/15*(-30)/(-12). Suppose -10*s + 2*s = -u. Let k be (6/20)/((-1)/(-4)). Do k and s have the same value?
False
Suppose -5*v + 1 = -19. Let c be 3*-1*v/6. Let p be 1/(-3) - c/(-3). Do p and -2/29 have the same value?
False
Suppose -z - 5*d = 2*z - 36, 0 = -z - 5*d + 2. Suppose g + 5*s - z = 0, -1 - 2 = -s. Suppose 6 = -h - g*h. Do h and -6/5 have the same value?
False
Suppose 8*p - 5*p = 0. Let x(q) = 11 + 0*q + p*q + q. Let d be x(-9). Which is bigger: -1 or d?
d
Let y(i) = -i**2 - 9*i + 3. Let k be y(-7). Do k and 17 have the same value?
True
Let h(x) = 81*x + 1. Let o be h(1). Let m = o - 491/6. Let d be ((-14)/(-56))/(1/4). Which is bigger: m or d?
d
Let b = -215/4 + 55. Is 1 at least as big as b?
False
Let g = -7 + 3. Is g at least as big as -2?
False
Suppose -8*m - 179 = 173. Which is smaller: m or -45?
-45
Let u = -93/5 - -19. Let j = -2 - -10. Let o be (-2)/(-4) - (-4)/j. Which is smaller: u or o?
u
Let z be (-1 + -5 + 7)/(-1). Which is greater: z or -2/35?
-2/35
Let w = -153 - -315. Let v be (-6)/w*3*-1. Are v and 1 equal?
False
Let s(p) = 2*p**2 + 4*p - 2. Let g(m) = 3*m**2 + 5*m - 3. Let h(y) = -3*g(y) + 4*s(y). Let u be h(2). Is u smaller than 0?
True
Let i = -0.13 + -1.47. Let a = i + 2. Let w = 0.4 - a. Are -3 and w unequal?
True
Let n be 3*1 - 2/(-1). Let h(s) = -s**3 + 5*s**2 + 6. Let p be h(n). Let c be p/(-4)*(-12)/(-117). Which is greater: 1 or c?
1
Let k(q) = -q + 5. Let b be k(5). Which is smaller: b or 2/49?
b
Let a be 82/8 + (-3)/12. Let t be 114/15 - (-4)/a. Suppose -7*o + 3*o + 13 = 3*j, 2*j = -2*o + t. Is o < 0?
False
Let c = 3 + -3.6. Let y = -0.3 - c. Which is smaller: -2 or y?
-2
Let z be 1/((-3)/6)*-1. Let i = 3 - z. Is 1/11 < i?
True
Let i = 0.63 + -0.43. Is i at least as big as 7?
False
Let z(f) = -f + 8. Let u be z(-18). Is 0 >= u?
False
Let d(v) = v**3 + 6*v**2 + 7*v + 5. Let f be d(-5). Is -7/2 <= f?
False
Let n be 8/24*(-1 - 122). Does n = -1?
False
Let k = 413 - 414. Suppose -3*r - 7*w = -4*w + 3, 4*r + 3 = -3*w. Which is greater: k or r?
r
Suppose 5*z + 101 = 2*f, 5*z + 52 = 4*f - 45. Let w = 13 + z. Which is bigger: w or -9?
w
Let x(f) = -f**3 + 8*f**2 + 2. Let c be -4*(2 - (1 - -3)). Let v be x(c). Let a = -10 + 11. Which is smaller: a or v?
a
Suppose -3*x + 2*x = -6. Suppose -5*y = -1 + x. Let a be 6/(-8)*2/3. Which is greater: y or a?
a
Let t = -15 + 20. Suppose 2*p + t = 3. Do 1 and p have different values?
True
Let r = 0.3 - 0.2. Let z = 8.2 + -8.3. Do z and r have the same value?
False
Let l = 0.5 - 10.6. Let t = 0.6 + -10.6. Let h = l - t. Which is smaller: 0.9 or h?
h
Let l be ((-8)/(-6))/(1/117). Let b be ((-1)/(-2))/(2/l). Let o = b + -116/3. Which is bigger: o or 2/5?
2/5
Let t = -1 - -2. Suppose 0 = 3*j - 6*j + 9. Let m be 0/(3/(j/(-2))). Which is bigger: m or t?
t
Let u = -2.2 + 0.2. Let y = -15 - -21. Let d = 5 - y. Which is smaller: u or d?
u
Let k = -2 - 1. Let r be (-4)/(k - 15/(-3)). Which is smaller: r or -3?
-3
Let i(z) = -z**2 - 6*z + 4. Let g be i(-5). Suppose -4*t + 3*t + g = 0. Let k(a) = a**2 - 2*a + 2. Let v be k(4). Do v and t have different values?
True
Let b(n) = 3 - 3*n - n**2 - 1 + 0*n. Let u be b(-4). Let q = 0.1 + 0.1. Which is greater: u or q?
q
Let z = -3.5 + 4.45. Let b = z + 0.05. Which is smaller: -1/2 or b?
-1/2
Let t be (-36)/168*(-8)/(-6). Let j(v) = -2*v**2 + v + 2. Let p be j(-2). Let m = -5 - p. Which is bigger: m or t?
m
Let h = -81 + 80.5. Is h > 3?
False
Let t be 1 + 5/(2206855/(-732002)). Let x = -20/3709 + t. Let u = x + 4/17. Is 1 at most u?
False
Let s = -12 - -15. Which is smaller: -3 or s?
-3
Let s = -3 + 5. Let n = 2 - 8. Let p(x) = -x - 4. Let d be p(n). Is s greater than d?
False
Let u = -1/9 + 11/18. Suppose -2*c + 3*w + 5 = 0, 3*w = 5*c - 0 - 8. Which is bigger: u or c?
c
Let f = -1235 - -55573/45. Which is bigger: -1 or f?
f
Let v(m) = m**3 - 7*m**2 - 11*m + 13. Let z be v(8). Is z greater than or equal to -19/2?
False
Let h be ((-3)/(-15))/(-3*(-24)/(-90)). Which is smaller: h or -2/25?
h
Suppose 1 + 2 = z. Suppose z*l + 1 = 4. Suppose l - 2 = q. Is 2 less than q?
False
Suppose 3*n = 2*n. Suppose 0 = 5*o - 9 - 11. Suppose -2*j = -o*j - 4. Is j equal to n?
False
Suppose 2*h = -m, 6*m = m + 20. Let u be -1 + (1/(-2))/(-1). Which is smaller: u or h?
h
Suppose -5*g = -2*z - 10*g - 15, -4*z - 24 = 4*g. Is 1 at least z?
True
Suppose h - 3 = 4*a, -h - 3 = -2. Do a and 3/23 have the same value?
False
Suppose -5*s - 10 = -0*s. Let k = 0 - s. Is k smaller than 2?
False
Let g(m) = m**3 - 5*m**2 - m + 9. Let w be g(5). Which is greater: w or 3?
w
Let h be (0 - -1) + (1 - -4). Suppose 3*c + 24 = -c. Let i be ((-4)/c)/(16/120). Which is smaller: i or h?
i
Let l(p) = -41*p + 2. Let h be l(-1). Suppose -h = 3*a - 4. Is -13 bigger than a?
False
Let f(u) = -13*u + 25. Let t(q) = -3*q + 6. Let m(j) = 2*f(j) - 9*t(j). Suppose -g - 4*g = -20. Let s be m(g). Is s not equal to -2/11?
True
Let g be 24/(-15)*5/(-2). Let s be g/18 - (-4)/(-18). Are s and 3/4 non-equal?
True
Let f(r) = r**3 + 8*r**2 + 2*r + 4. Let c be f(-8). Is c at most as big as -13?
False
Let u be (-8)/12 - 242/(-3). Let n = -37 + u. Let b be -12*(n/(-22) + 2). Which is greater: -2 or b?
b
Let a(p) be the second derivative of -p**5/20 - p**4/12 + p**3/6 + 3*p**2/2 - 3*p. Let z be a(2). Is z greater than -6?
False
Suppose -1 = -l + 2*a - 0, 0 = 5*l - a - 5. Is 8/9 < l?
True
Let v = -127 + 757/6. Which is smaller: 0 or v?
v
Let f = -8 - -9. Let d(n) be the second derivative of n**3/6 - n**2 - n. Let q be d(f). Is q not equal to 0?
True
Suppose -5*d + n + 5 = -2*n, -3*d + 3 = -5*n. Let u = 1010/7 - 144. Is u less than or equal to d?
True
Let k = -4 - -8. Let p = 3.9 - k. Let y = 7.7 + -8. Which is smaller: y or p?
y
Let l(r) = r + 10. Let f(d) = d**3 - 5*d**2 + d + 5. Let g be f(4). Let s be l(g). Is s less than 2?
False
Let n(k) = -k**3 - 12*k**2 + k + 3. Let x be 1 + 2*(-39)/6. Let l be n(x). Let i be (-4)/15 + (-3)/l. Is -1 bigger than i?
False
Suppose -5*p + 5*o + 6 - 1 = 0, 0 = 4*p - o - 13. Which is bigger: p or 7/2?
p
Let d be (104/12)/((-2134)/60). Let z = -6/97 - d. Let g = z - -3/44. Which is greater: 0 or g?
g
Let m(o) = o**3 + 6*o**2 + 3*o - 9. Let w be m(-5). Let n = -0.3 + 0.25. Let d = n - 2.95. Is w at least as big as d?
True
Let b = -4 + -1. Which is smaller: b or -7/2?
b
Suppose 12 = -3*r + 6. Let j be r/10 - (-11)/5. Suppose h + 3 = 2*h. Which is smaller: h or j?
j
Let o be ((-1)/2)/(4/8). Let c = 3 + -17. Let x = c - -27/2. Which is greater: o or x?
x
Suppose 0 = 6*u + 1 - 7. Is u smaller than -2/49?
False
Let l(r) = 5*r**2 + 15*r + 9. Let n be l(-4). Which is bigger: 31 or n?
31
Let t = -0.1 + -0.9. Let m(h) = -h**2 - 3*h + 9. Let d be m(-8). Let k = 123/4 + d. Which is bigger: t or k?
k
Let k(o) = o**2 - 10*o - 14. Let a(u) = -u**2 + 10*u + 14. Let b(d) = 4*a(d) + 3*k(d). Let q be b(11). L