-7). Is r less than or equal to 7?
False
Let v = -30 - -30. Is v greater than 0?
False
Let g be (-22)/(-5) + (-12)/30. Suppose h + g*v + 12 = 0, -2*h - 2*h = -4*v - 52. Let a be (3/12)/(2/h). Which is bigger: a or 2?
2
Let v be 4 - 3/(15/22). Is 13 < v?
False
Let x = 0.49 + 0.01. Let d = -0.5 - x. Which is smaller: 8 or d?
d
Let v = -4 + 7/2. Let h = 5.4 - -0.6. Is v < h?
True
Let d = -171/5 + 34. Is 0.2 bigger than d?
True
Let k = -1269 - -27977/22. Let t = 24/11 - k. Is 2/3 greater than or equal to t?
True
Suppose 3*w = 4*j + 76, -2 = -j + 3*j. Suppose -g = w - 23. Is g at most -3/5?
True
Suppose 4*w = c + 3*w, -8 = 4*c + 4*w. Suppose 0 = 4*p - p. Let a = p - -1/4. Is c less than or equal to a?
True
Let g be ((-4)/6)/(2/(-9)). Let r be (1/g)/((-2)/(-6)). Is -1/7 bigger than r?
False
Let u = -1.4 + 0.4. Let t(y) = y - 3. Let g be t(-2). Which is smaller: u or g?
g
Let w be ((-14)/3)/(12/(-18)). Let x be (-3 - 60/(-28))*w. Which is bigger: x or -5?
-5
Suppose -l - 2*b = 11, 2*l + 4*b + 15 = 7*l. Let w = l + 2. Suppose -9 = -2*n + 3*c, -c - 3 = 3*n - 5*n. Is w < n?
False
Let j = 34 - 23. Which is bigger: 12 or j?
12
Let v = -122 - -115. Is 0.2 < v?
False
Let n = 32 + -222/7. Let u(z) = 2*z. Let c be u(3). Let r(g) = g**2 - 7*g + 7. Let k be r(c). Is k < n?
False
Let s = 25.9 - 26. Which is smaller: 2.2 or s?
s
Let w be 6/3 + -4 + 80/55. Which is smaller: -3/8 or w?
w
Let b(d) = 8*d**3 - d**2 + 1. Let n be b(1). Let o(v) = 6*v**2 + v + 2. Let l be o(-1). Let f = n - l. Which is greater: f or 0?
f
Let z = 3.9393 + 0.0507. Let i = z - 4. Let d = -0.99 + i. Which is smaller: d or 0?
d
Let k = 26 - 20.8. Let z = 5 - k. Are 0 and z equal?
False
Let j = -0.504 + 0.004. Which is smaller: j or 2?
j
Let g(u) = -2*u + 24. Let n be g(-12). Is n equal to 49?
False
Let u(p) = p + 4. Let j be u(-3). Suppose -v - j = -2. Do -2/5 and v have different values?
True
Let c = 34 - 33.8. Which is greater: c or -11?
c
Let v(c) = -7*c + 3. Let y be v(-7). Which is smaller: 53 or y?
y
Let a = 21 - 17. Is 3 at least a?
False
Let q(x) = -x**2 - 8*x - 12. Let s be q(-6). Let k be (-2)/(22/17) - -1. Which is greater: s or k?
s
Suppose 0 = -4*m - 4, 0 = y + 5*m + 1 + 4. Let p(d) = -d. Let i be p(y). Let u be 2*-1 + 0/1. Is u equal to i?
False
Let q = -53.6 - -53. Does 0.2 = q?
False
Let m = 0.6 - 0.7. Let y = m - 0. Let c be 1/(-4)*8/(-5). Is y not equal to c?
True
Let u = 0 - -2. Let v = -3 + u. Which is bigger: v or -1/5?
-1/5
Suppose 0*w = -3*w + 195. Let t = w - 457/7. Let i = 29/2 - 15. Is i not equal to t?
True
Suppose 90 + 105 = -15*t. Which is smaller: -1 or t?
t
Let p be 1 + (-3 - 51/(-12)). Which is smaller: 3 or p?
p
Let x = 3 - 3.1. Which is bigger: 0.05 or x?
0.05
Let w(k) = -4*k**3 + 6*k**2 - 7 - 18*k + 19*k + 3*k**3. Let h be w(6). Are h and -1 non-equal?
False
Let c(s) = s**2 - 5*s - 1. Let p be c(5). Let d be (1 + 2 + -4)*1. Are p and d equal?
True
Let d = -237/4 + 59. Suppose 13 = 2*s + l, 24 = 3*s + l + 7. Suppose -3*v = 2*m - 2, -2*m = -5*v - s*m + 2. Which is smaller: v or d?
d
Suppose -t + 6 = 2*g, 3*g = -2*t + 2*g + 18. Suppose 2*p + 3*p + 2*h + 78 = 0, 4*p = -5*h - 76. Let q = t + p. Is -5 at least as big as q?
False
Let z(o) = o**2 + 1 + 0*o**2 - 7*o - 3 - 6*o. Let d be z(14). Which is greater: 11 or d?
d
Let x(l) = 2*l**2 - 2*l - 1. Let n be x(-1). Let p(t) be the third derivative of -t**5/60 + t**4/8 + t**3/3 + t**2. Let w be p(n). Is w less than 1/2?
False
Suppose 7*s = 2*s - 20. Let b(v) = -2*v - 5. Let d be b(s). Suppose 2*t = d*t + 1. Which is bigger: t or 3/8?
3/8
Let j = -3342/11 - -304. Let u = 2 - 2. Is u greater than j?
False
Let o(m) = -m + 14. Let z be o(14). Suppose 4*l + z*l = 0. Are -1/4 and l non-equal?
True
Suppose -l = -0*l - 1. Which is bigger: l or -2/47?
l
Suppose 5*c = -3*q, -2*q = -q + 4*c. Is 1 >= q?
True
Let w be (-4)/(-2) + (-2)/(-2). Let q be w + ((-108)/(-14))/(-3). Which is greater: q or -1?
q
Let n = -89 + 95. Let g = 5 + -3. Let v = 7 - g. Which is bigger: v or n?
n
Let p(o) = -o + 6. Let q be p(5). Let x = -6 - -14. Let i be ((-6)/28)/((-6)/x). Is q at least as big as i?
True
Let s = -41 - -40. Is -9 bigger than s?
False
Let c be -3 + 3 - 6/6. Which is bigger: c or -4/63?
-4/63
Let m = 3.9 - 4. Is m bigger than -1/20?
False
Let h be 24/(-16) - 1/2. Is h bigger than 0?
False
Let h be 2/(-8) + 129/(-12). Let m = h - -6. Is m != -5?
False
Suppose 5*u - 14 = 4*l, -1 - 1 = 2*l. Let g = 2 + -2. Is g greater than u?
False
Suppose -5*d + 3*d - 8 = 0. Let p be d + (-2 + -1 - -5). Let g be -3*(5/(-3) - p). Are -1/2 and g non-equal?
True
Suppose 3*f + 7 = -4*o, -46 = 3*f - 3*o - 4. Let b be (3/2)/(f/(-30)). Let r(m) = -m - 2. Let w be r(-4). Are w and b equal?
False
Let f = -8 + 8. Suppose 12 = -4*g, -d - 3*g - 2 + f = 0. Let i(q) = q**2 - 7*q - 4. Let r be i(d). Is r equal to -4?
True
Let y = -118/9 - -41/3. Let p be (-4)/(-10) - (-8)/(-45). Let q = p - y. Is q > 1?
False
Let c = -0.4 + 0.4. Let q = c - 1.4. Let j = q + 0.4. Which is greater: j or -2/5?
-2/5
Suppose i - 1 + 0 = 0. Is -5/14 at most i?
True
Suppose -3*j + 6 = -3. Suppose -4*v = -0*v + j*z + 8, 2*v + 3*z = -4. Let w be (6/(-10))/(2/10). Which is smaller: v or w?
w
Let x = 19/50 - -3/25. Let u be 70/22 + 6/(-33). Which is smaller: u or x?
x
Let l = 20 - 20.12. Which is smaller: l or -0.4?
-0.4
Let k = 7 - 4. Suppose -i = -v - 5*i + 15, -k*v = 5*i - 17. Is 0 less than or equal to v?
False
Let l = 1100 - 87999/80. Let a = -179/1520 + l. Suppose -2*p = -p. Do p and a have the same value?
False
Let d = -25 - -30. Is 15/4 at least d?
False
Suppose z = 2 - 3. Is -9/5 at most as big as z?
True
Let y = 33 + -33. Which is greater: y or -1?
y
Let u(p) = p**2 - 6*p - 8. Let r be u(7). Suppose 6*j + 2 = -w + 3*j, 2 = -w - 2*j. Which is smaller: r or w?
w
Let w = 88/3 - 30. Is -0.1 at least w?
True
Let g(s) = -3*s - 20. Let i be g(-6). Which is greater: -12/11 or i?
-12/11
Let a be (3/(-939))/(1/(-2)). Let l = -2/1783259 + 593831507/5581600670. Let u = l - a. Is u equal to 0?
False
Let x = -0.67 + -0.53. Which is greater: 5 or x?
5
Let h be 2/(-5) - (-14)/10. Let v be -1*h*(-7)/14. Is v bigger than 1?
False
Let c be (-3)/(-12) + (-4)/(-16). Are c and 2 nonequal?
True
Let y(w) = -w**2 + 3*w + 24. Let v be y(-5). Which is smaller: -2 or v?
v
Let b = -463/5 + 13447/145. Is 0 > b?
False
Suppose 0 = -7*w + 4*w + 9. Let r(d) = -5*d - 5. Let h be r(-4). Suppose -2*s + w = h. Is -4 greater than s?
True
Suppose -p = 2*a + 14 - 3, -5*a - 25 = 0. Which is smaller: p or 2/11?
p
Let w(m) = -m + 16. Let s(u) = 3*u - 31. Let d(f) = 2*s(f) + 5*w(f). Let r be d(-7). Which is smaller: r or 12?
r
Let b be ((-24)/(-20))/(2/(-10)*-1). Which is smaller: 7 or b?
b
Let l = 11 - 26. Let n be (-1)/(-3)*(l - 18). Is -12 < n?
True
Let n be (1 + 1 + 75/(-38))/(-1). Are n and 1 non-equal?
True
Let i be (-33)/(-12) + 6/(-8). Let z be 1 + 3 + -1 - 2. Which is smaller: i or z?
z
Suppose 3*v - 62 = -5*l, 4*v = 2*l - 3*l + 26. Let r be (4/l)/(18/15). Which is greater: -1 or r?
r
Let n be (-18)/(-24) + (-1)/2. Let r(x) = x**2 + 2*x. Let f be r(-2). Is f >= n?
False
Let h = 11 + -10. Suppose -3*n + 1 = f - 2, -n + 4*f + h = 0. Is n > 1/5?
True
Let w = 7 - 10. Let d = 6 - 5. Suppose -s = d + 3. Which is bigger: s or w?
w
Let o = -41 - -41. Let y = 82 + -323/4. Let r = -7/4 + y. Is o > r?
True
Let q(j) = j**3 - 11*j**2 + 11*j - 10. Let x(p) = -2*p. Suppose -3*o + 10 = -5*o. Let g be x(o). Let n be q(g). Which is greater: n or 1?
1
Let f = 3 + -2. Let c(z) = -z**2 + 7*z + 2. Let u be c(5). Let v be (1 - u/4) + 2. Which is smaller: f or v?
v
Let k be (-11 - -2)/3 + 14. Which is smaller: 12 or k?
k
Let b(o) = o**3 - 3*o**2 + o - 1. Let z(l) = 6*l + l**3 + 8 + 6*l**2 + 1 - 2*l**3. Let a be z(7). Let g be b(a). Is g less than -1?
True
Let p = -1 - -1/2. Let g = -1 - -0.6. Let r = g - -0.3. Is p > r?
False
Let k(j) = 3*j**3 - 2*j - 1. Let q be k(-1). Let i be (q/3)/((-4)/6). Let o be ((-6)/8)/(9/(-6)). Is i at least as big as o?
True
Suppose -2*y + y = -5, -3*z + 4*y - 59 = 0. Let w = z + 13. Are 0 and w unequal?
False
Let w = 47 + -73. Is w < 1/4?
True
Let i(m) = -m**2 + 2*m + 1. Let x be i(3). Which is smaller: x or -6?
-6
Suppose 2*h = 5*h + 3. Let j(x) = 3*x**3 - 3*x**2 - x - 5. Let w(b) = -b**3 + b**2 + 1. Let k