Let u be -1 - 0 - (-29)/15. Let s = 19/60 + u. Which is smaller: s or 1?
1
Let d = 0.1 - -6.9. Let a = d + -12. Is a at least as big as -0.1?
False
Let y = 1 - 0. Which is smaller: y or 5/3?
y
Let j = 2.9 - 8.8. Let s = j + 6. Is 0.1 <= s?
True
Let r = -12 + 14. Which is smaller: r or 6?
r
Let q = 0.22 + 8.78. Which is greater: 2 or q?
q
Let u(n) = -3*n + 5*n + 1 - n. Let z be u(1). Is z greater than or equal to 0?
True
Let f = -0.4 - -1.5. Let r = f + -0.1. Is -5 < r?
True
Let o be (-13)/(-3) + (-32)/24. Let c be 14*o/(-18) + 1. Let v = -97/4 - -24. Which is greater: c or v?
v
Let z = -41 - -44.9. Let s = -0.1 - z. Let a = s + 4. Does a = 2?
False
Let d(j) = j - 4. Let i be d(0). Suppose -12 = 4*h - 0. Which is bigger: i or h?
h
Let i be 3 - 3 - 2/(-1). Suppose 0 = 2*q - 0*a + 2*a, 0 = -3*q - 4*a + i. Is q at most -4/3?
True
Let k = -270 - -1886/7. Suppose 8*b + 8 = 4*b. Let g = -2 - b. Which is smaller: g or k?
k
Let t = -10 + 11. Suppose 0*y = y - t. Which is smaller: -2/5 or y?
-2/5
Suppose q + 15 = 4. Are q and -12 nonequal?
True
Let p = 42464/3 + -14476. Let g = p - -324. Let m = g - 17/6. Is 0 greater than m?
True
Let f be (-2)/3 + (2 - 2). Is 3 equal to f?
False
Let o be ((-3 - -2) + -8)*-23. Let y = 2689/13 - o. Which is greater: y or 0?
0
Let b be 2/6 + 2/3. Are b and -1/7 non-equal?
True
Let r be 2 - (6 - -2) - 0. Are r and -5 non-equal?
True
Let j = 35/108 + -2/27. Suppose -2*q + 414 = -4*o, 4*q - o = 2*q + 429. Let p = -1955/9 + q. Are j and p nonequal?
True
Let j be (0/(-3) - -1)*(-2)/152. Do 1 and j have different values?
True
Let l = 26 - 1. Which is smaller: 0 or l?
0
Let g = 61 + -101. Let k = 89081/6 - 14887. Let t = k - g. Which is bigger: t or 1/3?
1/3
Let k be (-18)/45 - (-48)/(-5). Let w = k + 10. Which is smaller: w or 2/39?
w
Suppose -3*q + 6 = 5*a, -q - 2*a = -5 + 2. Let w be (0/(-3))/(-2 - q). Suppose 0*d + 3*d = 12, -5*x + 2*d - 3 = 0. Is w at least x?
False
Let q(m) = m**3 - m**2 + m + 1. Let h be q(0). Let z = -3 + 8. Let a be 2 + z/(-7) - h. Is 0 != a?
True
Suppose b + 5*f - 18 = -2*b, -4*f = 3*b - 15. Is 15 equal to b?
False
Let m be 301449/150772 + (3 - 5). Let b = -88601957/396078044 - m. Let g = -12/71 - b. Is g at most as big as 1?
True
Let n = 13 - 10. Let z = 10 + -7. Is n greater than or equal to z?
True
Suppose -10 = z + 4*o, 4*z - 5*o = 18 + 26. Let m = 0.12 - 0.06. Let c = -0.16 + m. Which is smaller: z or c?
c
Let k = -3 + 1. Let a be 124/(-72) + k/(-9). Let i = -5 + 4. Which is smaller: a or i?
a
Let j(a) = -5*a**3 - 6*a**2. Let t(x) = -x**3 - x**2 - x. Let n(g) = -j(g) + 4*t(g). Let p be n(-4). Is p <= -16?
True
Let o = 10 + -10. Which is bigger: o or 4/5?
4/5
Let l = 0.9 - -2.1. Is l <= -14?
False
Let h(f) = 3*f + 6. Let q be h(12). Let v be (-1)/21 - 28/q. Which is bigger: -1 or v?
v
Let n(u) = -u**3 - 4*u**2 - 4*u - 3. Let s = 4 - 7. Let j be n(s). Which is smaller: j or 4/9?
j
Let r(c) = -c**2 + c. Let z(k) = 2*k**2 + 1. Let f(y) = 3*r(y) + z(y). Let s be f(3). Which is smaller: s or 10/9?
s
Let r = -111 - -110. Which is smaller: r or -1/2?
r
Suppose -3*t + 12 = -7*t. Let b be (5/2 + t)*-2. Which is smaller: b or 7?
b
Let y be (4/6)/(5/(-3)). Suppose -7 = -4*k - 19. Let z = k + 4. Is y bigger than z?
False
Let r be (0/(4/2))/2. Let x = 2 - 6. Let f = 4 + x. Is r > f?
False
Suppose 0 = x + 2*s + 11, 2*x + 16 = -5*s - 11. Let i = 5/12 + -2/3. Is i greater than or equal to x?
True
Suppose 2*z - 3*q = q - 4, 3*z = 4*q - 6. Let j(v) = -v**2 + 2*v + 1. Let n be j(3). Let d = 2 + n. Is d greater than or equal to z?
True
Let i(h) be the second derivative of h**4/12 + h**3/3 - 2*h. Let r(j) = j**2 - j - 2. Let t be r(0). Let c be i(t). Which is smaller: 1 or c?
c
Let k = -9/11444 + -17589347/102996. Let b = -171 - k. Which is greater: b or 1?
1
Let j = 43.4 - 43. Which is smaller: j or -6?
-6
Let o(p) = -p - 2. Let i be o(-5). Suppose 4*m + i*f = -17, -m + 5*f + 16 = 3. Let r be (1 + m)*2/(-6). Which is smaller: 1/6 or r?
1/6
Let t = 18.9 + -20. Let z = t + 0.7. Which is greater: z or -2?
z
Let n = 13.02 + -0.02. Which is greater: 0 or n?
n
Suppose 0 = -0*n - 4*n. Suppose -r - 2*t + 2 + 6 = n, r - 2*t = -8. Which is smaller: -1/14 or r?
-1/14
Suppose m + m + 18 = 0. Is -12 at least m?
False
Suppose -4*g + 24*g = -120. Let b(p) = -2*p**2 - 3*p + 3. Let z be b(-3). Are z and g equal?
True
Let x = -3 - -2.7. Let v be 3/(-2) + (-2)/4. Let b be (-60)/(-88) - (-1)/v. Which is greater: x or b?
b
Let x = -0.015 + -0.039. Let p = x - 4.046. Let k = 4 + p. Is -2 at most as big as k?
True
Suppose 0*k + i - 31 = k, i = 3*k + 91. Let t be 10/12*(-9)/k. Which is smaller: -0.1 or t?
-0.1
Suppose -h = -5*l - 23, -5*l + 3*h - 32 = -h. Let w be (-3)/(-2)*l/(-6). Is -4 < w?
True
Let m(g) = -8*g**3 - 2*g**2 + g + 2. Let s be m(-1). Which is greater: s or -5?
s
Let f = -0.1 - -0.03. Let w = 0.93 - f. Is w at least -0.6?
True
Let q(d) = d**3 + 7*d**2 - d - 4. Let s be q(-7). Let x be (1 + 7/(-4))*-4. Is x at most as big as s?
True
Let n = -41/5 - -7. Which is smaller: n or 0?
n
Let t = -27/2 + 13. Let s = -1.7 - -2. Let x = 0.4 - s. Is x less than t?
False
Suppose 2*f - c - 3 = -0*f, -4*c + 12 = 4*f. Is f > 9/4?
False
Let p = 0.99 + 0.01. Which is smaller: p or 10?
p
Suppose 6*d = -h + d - 16, -3*h - 24 = 3*d. Do -6 and h have the same value?
True
Let f = -2 - -2. Suppose 3*v = -f*v. Let c be 0 + -2 + 48/22. Do v and c have the same value?
False
Let c be 1/(-4) - 51/(-12). Let n be (6 - 0) + (-2 - -1). Suppose n = -m - c*m. Are -1/3 and m nonequal?
True
Let j be ((-3)/12)/((-2)/4). Do j and -3 have different values?
True
Let c = -13 + 8. Let d = c + 6. Let t = 0.06 - -1.94. Which is smaller: d or t?
d
Let q be -2 - (12/(-4))/3. Let p = 1 + q. Is p less than or equal to 0.4?
True
Let i = -42 - -31. Which is bigger: i or 0.2?
0.2
Let k = 3857/16 - 241. Suppose 0 = 2*s - 3*o + 13, -2*s + 3*o - 12 = s. Do s and k have the same value?
False
Let p(r) = r + 5. Let f be p(-7). Let d be f/(-10)*(0 + 2). Is d != 0.3?
True
Suppose -5*n - 2*f = -31, 2*n + f - 2*f - 7 = 0. Suppose 5 = -5*a + 3*s, -a + n*s - 1 = -0. Let y(d) = -d**2 - 4*d + 11. Let w be y(-6). Does a = w?
True
Let t be (1*(-1 + -30))/(-1). Suppose 0*v + 15 = 3*v. Suppose 2*j - v*a - 4 = -t, -5*a + 25 = 0. Does 2 = j?
False
Let i be (-3)/6*-2*(-63)/(-30). Is 3 <= i?
False
Let j be (1 + (-173)/174)/1. Let p = 163/1914 + j. Which is smaller: 0 or p?
0
Let c(u) = u**2 - 2*u + 2. Let n be c(2). Let z be ((-3)/(-4))/(n/8). Is 0 equal to z?
False
Let v = -1031 + 74233/72. Let j = -67/360 - v. Is j at least as big as -1?
True
Suppose 0*z - 3*j = 2*z + 9, j - 4 = -3*z. Which is greater: 2 or z?
z
Let v = 1817/2 + -12793/14. Which is bigger: v or -5?
-5
Suppose 4*z - b = -4*b + 151, -5*z + 186 = b. Does -2/5 = z?
False
Let m = -0.4 - 0.2. Let f = m - -0.7. Which is smaller: f or 2?
f
Let r(q) = -2*q. Let d(c) = -c. Let g(s) = -3*d(s) + 2*r(s). Let t be g(0). Which is greater: t or -1/6?
t
Suppose 0 = -73*p + 74*p. Let i = 1/8 - 0. Which is bigger: i or p?
i
Let y = -33 - -6. Which is smaller: y or -29?
-29
Let i = -54.9 + 55. Let c = 17/18 - 5/18. Is i greater than or equal to c?
False
Let o = 0.03 + -2.03. Let w = 35 - 34.9. Is w at least as big as o?
True
Let s = 2 - 3. Let v be 1*9 - (-24)/8. Suppose -4 = 5*t + 3*h, 4*t - 5*h = -6 - v. Is t <= s?
True
Let l = 693/4 + -172. Is 2 smaller than l?
False
Suppose -3*b + 4*u + 8 = -0*u, 4*b + 5*u + 10 = 0. Which is bigger: -4/3 or b?
b
Suppose -3*f = -0*f - 6, -2*s - 3*f + 12 = 0. Suppose 0*x - 6 = s*x, -4*x = 3*c - 7. Which is bigger: 7 or c?
7
Let j be 5 + -11 - (-420)/(-16). Which is smaller: j or -33?
-33
Let s = 5 + -4.96. Let m = 0.16 + s. Which is greater: -0.2 or m?
m
Let r be (8/(-6))/((-2)/(-3)). Let j(v) = v - 8. Let p be 2*(1 + 6/4). Let k be j(p). Which is greater: k or r?
r
Let q = 3/5 + -19/15. Is -55 not equal to q?
True
Suppose -5*w - 10 = 0, 0*w + 2*w - 1 = 5*r. Let v be (-15)/(-6) - 0 - 3. Are v and r nonequal?
True
Let a be -1*(8/(-10))/(-1). Let u be (3 + -12)*(-2)/(-2). Let d = u + 8. Is d <= a?
True
Let s(c) = -c**3 - 9*c**2 + 11*c + 9. Suppose -4*w - 154 + 38 = 0. Let d = w - -19. Let y be s(d). Which is smaller: -1/2 or y?
y
Let h be 1/((3 + 2)/210). Is h at least as big as 42?
True
Let o = -0.4 - -0.4. Let