 + 4 - 2*1. Let g be -3 - (w*-1 - -2). Is g at least 4?
False
Let x be 1 - (-2 + 5/2). Let s = 2 + -4. Let i be 21/12 - s/8. Are i and x nonequal?
True
Let v be -3*(-5)/((-15)/4). Let a(f) = -f - 3. Let u be a(v). Let h = u + -4. Is -3 less than h?
False
Suppose -4*m - 94 = -5*v, -v + 4*v = m + 62. Let g be v/(-56) + 1 + -1. Let f = g + 1/7. Is 0 bigger than f?
True
Let t(p) = -p**2 + 1. Let d be t(2). Let j = d - -8. Suppose 3*b = c - 1, 3 = 4*c + j*b - 1. Is 1/8 greater than or equal to c?
False
Let f = 2.5 - 2.4. Is f < 2/3?
True
Suppose 2*g + 8 = 4*d, 14 - 5 = -4*g + d. Suppose -2*w = -5 + 1. Suppose -2 = -k + w*k. Is k bigger than g?
False
Suppose 5*z = -9 + 4. Is -5/8 greater than z?
True
Let h be 124/31 + (-34)/(-6). Which is smaller: 10 or h?
h
Let m(r) = 2*r - 1. Let l be m(-10). Let n be (-41)/(-119) + 6/l. Which is smaller: n or 0?
0
Suppose 3*p - l - 3 = -8, -3*p = l - 5. Which is smaller: p or -2/73?
-2/73
Let i(p) = -p**2 + 2*p. Let x be i(1). Let k be (-3)/(-4) + x/4. Let h = k - 3. Which is bigger: h or -3?
h
Let q be (1/(-4)*0)/(-3). Suppose 3 + q = -r. Is -4 <= r?
True
Let o(i) = -i**2 - 6*i + 9. Let d be o(-7). Let f be 12/33 - d/11. Which is bigger: f or -1?
f
Suppose 3*n = -3*u - 0*u + 213, 5*u = 3*n - 189. Which is smaller: 69 or n?
n
Suppose -2*w - 2*g + 1 = -15, 4*w + 3*g - 28 = 0. Let m = 7 - 4. Suppose -m*t = -w*t - 1. Which is smaller: t or 2/11?
t
Let w = -22 + 10. Which is greater: w or -11?
-11
Suppose -4*d = -f - 3*f + 12, 3*f = 5*d + 7. Let i = 6 - d. Is 6 at most as big as i?
False
Let y = 11 + -11. Which is greater: 3 or y?
3
Suppose 0 = c + c - 2. Let f be 0 - -2 - 32/14. Is f bigger than c?
False
Let s = -1 + 1.05. Let z = 0.2 - 0.15. Let i = s - z. Does -0.3 = i?
False
Suppose 6 = -2*q + 5*q. Let b = -11 + 13. Does b = q?
True
Let q = -19 - -94/5. Which is smaller: 7 or q?
q
Let h be (3 + 0)/(-3) + -1. Let l = h + 3. Let n be -4 - (l - (-2 + 2)). Is n > -5?
False
Let h(q) = q - 13. Let o be h(13). Let m be (1 - 6/4)/3. Do m and o have the same value?
False
Let a(g) = 13*g. Let b be a(-2). Let k be -1 + -1 + b/(-4). Which is greater: k or 1?
k
Let s be 0/6 + (-1 - -1). Suppose 0 = 2*g + 4 - 2. Which is smaller: g or s?
g
Suppose 4 = 2*u + 2*u. Let a = -5289/17 + 311. Are u and a non-equal?
True
Let l be (1/(-1))/(-1*2). Let f be 2/(-7) - 30/(-7). Suppose 3*z = -4*o - z + 4, 4 = f*o + z. Is o greater than l?
True
Let t = 0.1 - 1.7. Let c = t + 3.3. Let z = -0.7 + c. Which is smaller: 0.2 or z?
0.2
Suppose 4*r + 0 - 4 = 0. Let i be 10/25*(-25)/115. Which is smaller: r or i?
i
Suppose 11*i = 6*i + 10. Which is greater: 2/3 or i?
i
Let a(b) = b**2 + 2*b - 1. Let s be a(-2). Let x = -30 - -32. Let w = x + s. Which is bigger: -1 or w?
w
Let z be (-3)/(2/4*-2). Let q(h) be the first derivative of -h**3/3 + 3*h**2/2 - 2. Let c be q(z). Is c less than -3?
False
Let i = 0 - 0.02. Let o = i - 1.98. Which is smaller: o or 0.1?
o
Let l = 167.954 + -168. Are 0.1 and l nonequal?
True
Let q = 422.85 - 407. Let j = 16 - q. Which is smaller: j or -1?
-1
Suppose 3*h - 17 = 4*p, -4 = -3*p + 2*p. Which is bigger: 13 or h?
13
Let o(d) be the third derivative of -d**4/24 + d**3/6 + d**2. Let j be -2 - 12/(-3) - 0. Let b be o(j). Is b equal to -2?
False
Let k be 32/6 + (-1)/3. Let u(h) = h - 7. Let f be u(0). Let p = f - -11. Is k < p?
False
Let a(m) = -m**2 - 4*m + 4. Let x be a(-5). Let d be 630/(-155) - 5/(15/(-12)). Which is smaller: d or x?
x
Let f = -1.856 - 0.044. Let b = -0.4 - -0.3. Let v = b + f. Is v equal to 0?
False
Suppose g = -0*g - 2*d + 5, -2 = -2*d. Which is bigger: 5 or g?
5
Let z be (10 + 0)*(-4)/(-10). Let m = z - 4. Which is smaller: -3/7 or m?
-3/7
Suppose -8 = 4*l - 4. Let b be 48/(-60) + (-11)/5. Let i be 2 + l + 5/b. Which is smaller: i or 1?
i
Let g be 3 - 5 - 77/(-21). Which is bigger: g or 2?
2
Let c be (-42)/385 + (-2)/(-10). Is c >= 1?
False
Suppose -5*d + 9*d - 12 = 0. Suppose 2*k = d*k. Is -2/3 at most as big as k?
True
Let m(x) = -5*x + 11. Let f(c) = -c + 2. Let p be f(-9). Let v(j) = 9*j - 21. Let u(d) = p*m(d) + 6*v(d). Let q be u(-6). Which is smaller: -2/7 or q?
-2/7
Let s = 21/5 - 58/15. Which is smaller: -0.09 or s?
-0.09
Let w = -4 - -3.7. Let n = -0.2 + w. Let j = n - -0.2. Which is bigger: j or 2/7?
2/7
Let o = -129 - -901/7. Are o and 0.2 unequal?
True
Let k = -2 + 0. Let t = 3 + k. Which is smaller: -3 or t?
-3
Suppose 2*f = -27 - 37. Let b be (18/f)/(6/8). Which is greater: b or 0?
0
Let i(w) = 2*w**2. Let z be i(-1). Let l be z*(-1 + 2) - 3. Let x be ((-2)/(-10))/(l + 2). Which is greater: 0 or x?
x
Let r(w) = w**2 + 2*w. Let z be r(-3). Let q be -1 - z/6*-4. Which is bigger: 2 or q?
2
Let k = -2557000/11 + 24153029/99. Let j = k + -11504. Let a = -11 + j. Is a <= 0?
False
Let v(h) = h**3 - 6*h**2 + 3*h + 3. Let t be v(6). Is 0.1 > t?
False
Let x(n) = -4*n**3 - n**2. Let u(m) = m**2 - 4*m + 2. Let y be u(3). Let h be x(y). Suppose 16 = h*b - b. Is b at most 8?
True
Let n = -12 - -6. Which is smaller: -13/2 or n?
-13/2
Suppose -y - y = 4. Let u(c) = 7*c**2 - c. Let l be u(-1). Let g be ((-6)/l)/((-12)/(-8)). Is g greater than or equal to y?
True
Let r = 36 + -17. Is 19 at least as big as r?
True
Let d be 2/(-5)*(-8 + 3). Suppose 0*g + d = -2*g. Let z = 188/77 - 30/11. Is g != z?
True
Let s = 7 - 5. Suppose 5*v = 4*o - 27, -o + v + 9 = s. Which is bigger: 6 or o?
o
Suppose 0 = 5*v - 3*y - 25, v - 5 = -0*y + y. Which is smaller: v or 8?
v
Let t be -6 + (-1 - 6/(-10)). Is t <= -7?
False
Suppose -4*f + 20 = 5*o, 25 = -2*o + 5*f - 0. Let h = -12 + 20. Is h at most as big as o?
False
Let z(q) = -q**3 + q - 5. Let m be z(0). Let r = 37 + -20. Let g be r/(-4) + (-1)/(-4). Which is bigger: g or m?
g
Suppose -6 = 5*v - 1. Which is greater: v or -11/16?
-11/16
Let k be ((-6)/(-4))/(3/(-4)). Suppose -3*d = -j + 11, 3*d - 6*d + 1 = -4*j. Which is smaller: j or k?
j
Let j = 161/370 + 69/37. Let g = j + -14/5. Is g > 2/5?
False
Let d(c) = -3 + c + 6*c**2 - 2 + 3 + c**3 - 3*c**2. Let k be d(-2). Which is bigger: 4/3 or k?
4/3
Let v(z) = z**2 + 5*z + 1. Let o be v(-5). Let k(s) = s**2 + 3*s + 2. Let w be k(-3). Suppose -3*a + w = -2*a. Is a bigger than o?
True
Suppose 0*k - 7 = -k. Let m be 2/(-7) + 23/k. Suppose j + 5 = m. Which is greater: j or 1?
1
Let m(z) = z**3 - 7*z**2 + 2*z - 14. Let g be m(7). Is 1/7 greater than g?
True
Let o = -139 - -127. Is -12 at most as big as o?
True
Let p(o) = -o**3 - 5*o**2 - 4*o + 5. Let i be p(-4). Let t be (-2)/i - 27/(-5). Suppose -2*v = -v - t*u, 0 = -4*u. Which is smaller: -2 or v?
-2
Let j = -869/14 + 62. Suppose -5 = 3*y - 8*y. Which is smaller: j or y?
j
Let s = 76/7 - 117/14. Do s and 3 have the same value?
False
Suppose -21 = -5*n + 3*i, -5*n + 23 = -i - 3*i. Let t(y) = 3*y + 0*y - y. Let f be t(1). Which is greater: f or n?
n
Let h(g) = g**2 - 4*g - 12. Let z = 3 + 3. Let t be h(z). Is t greater than or equal to 2/15?
False
Let o = -17 - -18. Do 1/2 and o have the same value?
False
Let v = 12 - 11. Suppose -3*q - 5*z = -z - 11, 3*z = -3. Let n be 3/q + (-2)/(-5). Is n at least as big as v?
True
Let r = -14 - -10. Suppose -2*g - 3*s = -5, -5*g - 3*s - 2*s = -25. Let b = -39/4 + g. Is r bigger than b?
False
Let v = -12 + 22. Is 11 <= v?
False
Let o = -6.538 - 0.062. Let k = o + 6. Let u = k - -0.6. Is -4/7 greater than or equal to u?
False
Let a = 0.04 + -0.24. Let q = -0.1 + a. Is 1 at most as big as q?
False
Suppose 33 = 3*p + 3*h - 0*h, 2*p + 4*h = 28. Suppose -g + 0 = -p. Let c = -4 + g. Which is smaller: c or 3?
3
Let o = -128.2 - -128. Which is smaller: o or 13?
o
Let k(p) = p**3 - 2*p - 3. Let t be k(-2). Let f(g) = -5*g - 39. Let s be f(-6). Which is smaller: t or s?
s
Suppose 7*w - 2*w = -c - 57, 47 = -5*w + 4*c. Let t = 2 + w. Is t at least -8?
False
Let c be 9 + 2/((-2)/3). Let w be ((-4)/c)/(4/(-6)). Let q be (3 + -2)*(-1)/5. Is w bigger than q?
True
Let j = -83 + 88. Is 5 equal to j?
True
Let w = -1.26 - -0.26. Is 2/17 less than w?
False
Let w = -2.2 + 9.2. Let m = -6.6 + w. Let s = -0.1 + 0.2. Is s not equal to m?
True
Let t = -4 - 3. Let h = -6.7 - t. Let s = 0 - h. Which is greater: -0.1 or s?
-0.1
Let u be (-4)/(-22) - (-4)/(-22). Which is smaller: -3/5 or u?
-3/5
Suppose -4*u + 5*u = 7. Let t = u - 7. Let q(f) = 3*f**2 + f. Let c be q(