 = 0.4 + -0.9. Suppose -2*p + 5 + 3 = 0. Suppose -5 = -9*l + p*l. Which is smaller: l or t?
t
Let g be (-1 + -1 + 0)*-2. Suppose -g*t - 5 = -49. Let d be -2 + 1 + t/9. Which is bigger: -1 or d?
d
Let d = 3 - 3.02. Let y be 9/6 + -3 + (-95)/(-76). Is y less than or equal to d?
True
Suppose 2 = -3*b + 11. Suppose -x - 2 = b*s, x - 2*x - 2 = 5*s. Is s bigger than 0?
False
Let d = -7029/5 + 1401. Which is bigger: -4 or d?
-4
Let i(m) = 2*m - 12. Let w be i(9). Let u be -5*(2/(-10) + -1). Is u greater than or equal to w?
True
Suppose -3*k - 15 = -6*k. Let t(o) = 17*o + 293. Let b be t(-17). Are b and k unequal?
True
Let n = 15 + -16. Is n at most as big as -2?
False
Let a = 12.2 + 1.8. Let s = a + -18. Let y be (-32)/14 - 2/(-7). Which is bigger: s or y?
y
Let d be (16/(-7) + 2)*12/(-3). Is 2 smaller than d?
False
Let n be (5/(3020/(-24)))/2. Let a = -477/1208 - n. Which is smaller: a or 1?
a
Let y = 4.9 - -3.5. Let u = -1.4 + y. Let o = -0.01 + 0.01. Does u = o?
False
Let a(v) = -2*v**3 - 4*v**2 - v + 2. Let h be a(-2). Suppose b = h*b. Which is smaller: b or -2?
-2
Suppose -2*l = 4*p - 28, 5*l - 2*p = 6 + 4. Suppose -3*r + 2*s - 7*s = -34, 3*r + 16 = 5*s. Suppose -5*g + r*k + 37 = 0, -g - 4*k = 15 - 4. Is g bigger than l?
True
Let c = 4 + -4. Suppose 0 = -o + 1 + 4. Suppose -15 = -o*i + 5*r, -i + 4 = -3*r - 5. Is c equal to i?
True
Suppose 5*t - 5*s + 3*s + 13 = 0, -3*s = 3*t + 12. Suppose -12 = 3*i + c - 43, 5*i - 61 = -4*c. Suppose -4*v = 7 + i. Which is smaller: v or t?
v
Suppose -y + 6*o - o + 20 = 0, 3*o = -2*y - 12. Suppose -2*j - 2 = -y*j. Is j not equal to 1/18?
True
Let p(g) = -2*g + 17. Let a be p(0). Suppose -3*n = -x - 14, 2*x + a = 4*x + 3*n. Which is bigger: -3 or x?
x
Let s(c) = -5*c**3. Let v be (5/(-3) - -2)*-3. Let m be s(v). Is 5 bigger than m?
False
Let g = 27 + -38. Let s = g + 16. Suppose -2*h = -s*h - 9. Which is greater: -1 or h?
-1
Let q be ((0/(-1))/2)/(-2). Let j(y) = y**2 + 8*y + 7. Let t be j(-7). Suppose 0 = 3*x - t + 6. Are q and x equal?
False
Let p = 20 - 20.3. Let k = -0.3 - p. Is k >= -1/4?
True
Suppose 8*z = 4*z + 4*p + 32, -34 = -4*z + 2*p. Let f = z + -10. Suppose -15 = 3*n, -n + 6*n + 27 = -2*d. Is f greater than d?
False
Let m(c) = c**3 + 5*c**2 + 3*c - 2. Let g be m(-4). Let j(v) = -v. Suppose -4*x = -1 - 7, -3*k - 3*x = -3. Let n be j(k). Which is smaller: g or n?
n
Let j = -35.1 + 35. Which is bigger: j or 0?
0
Suppose a + 10 = t + 3*a, -4*t - 3*a + 20 = 0. Suppose 3*m - 67 = t*v, 0 = -m + 2*m - 3*v - 34. Which is bigger: 20 or m?
20
Suppose -4*f = -4*j + 1 + 107, -5*j = -15. Are 0 and f non-equal?
True
Suppose 9 = -i + p, -3*i - 7*p - 27 = -2*p. Let u = i + 5. Is -4 bigger than u?
False
Let s = -139/2 - -72. Let c = -5 - -9. Do c and s have the same value?
False
Let g(m) = -m**3 - 2*m**2 - 3*m - 4. Let q be g(-2). Is 4/3 > q?
False
Let f be ((-84)/(-18) - 2)/(10/(-6)). Is 2 at most f?
False
Let c = 213/11144 + -1/796. Is c < 0?
False
Let k = 0.2 - 0.4. Let p be (0/(4/1))/2. Which is smaller: p or k?
k
Let c(w) = -6*w + 7. Let s be c(11). Which is smaller: -61 or s?
-61
Let l = -2.83 - -2.3. Let b = 0.23 + l. Let n = -3.1 + 3. Which is smaller: b or n?
b
Suppose -3*k = 4*a + 5, 10 = -2*k - 5*a + 2. Let i be 33/55 + (-1)/2. Is i at most as big as k?
True
Let v = -239 - -1670/7. Is v at least as big as 1?
False
Let j(q) = 2*q + 20. Let i be j(-13). Do i and -8 have different values?
True
Let z = -23 - -15. Let n = -74 + 73. Which is greater: n or z?
n
Let m(k) = -2 + 3*k**3 - 4*k**3 + 2*k**2 - 4*k**2 + 3*k**2. Let z be m(0). Is 0 greater than z?
True
Let l be 2 - (19/4 + -3). Are l and 0.13 unequal?
True
Let y = -4.3 - -3.3. Is y != 0.26?
True
Let r = 7 - 1. Let j be r/(-4) - 2/(-2). Is -1 at least j?
False
Let y = 2/7 - 4/7. Let n = 0.08 + 3.92. Let s = n - 4.1. Which is smaller: s or y?
y
Let k = -11.3 - -11. Which is smaller: -4 or k?
-4
Let t = -5.4 + 5. Let p = 2/7 + 8/21. Which is smaller: p or t?
t
Let u(k) = -k**3 + 8*k**2 + 10*k. Let h be u(9). Let d be (3/(-9))/((-3)/h). Is d at most as big as 2?
True
Let t(v) = v + 7. Suppose 0 = -l + 2*q - 4, 65 - 3 = -3*l - 4*q. Let j = l - -7. Let s be t(j). Is s != -4?
True
Let v = -1 + 6. Let s(c) = 3*c - 7. Let l be s(v). Which is greater: 7 or l?
l
Let l = -0.061 + -4.009. Let f = 0.17 + l. Let v = 4 + f. Which is greater: -1/6 or v?
v
Let k = 40 + -42.8. Which is smaller: 1 or k?
k
Let q = -0.03 + -4.97. Let i = q - -4.2. Let p = -1 - i. Which is greater: p or 2/7?
2/7
Let s be ((-2)/(-8))/(1/12). Suppose 5*w = -2*j + 11 + 7, 0 = -3*w + 4*j - 10. Is s at most as big as w?
False
Let g = 1/52 - -19/26. Suppose -t - 4 + 6 = 0. Is t greater than or equal to g?
True
Let c = 1.94 + 0.06. Let y = -1.9 + c. Is -0.1 > y?
False
Let t = -0.157 - 7.543. Let r = 0 - 8. Let s = r - t. Is s greater than or equal to 0.2?
False
Let h be (5*3/15)/13. Is h at least as big as -1?
True
Let l be ((-1)/(4/8))/(2/3). Is l at least as big as -2?
False
Let z = 4 + 1. Suppose -z*k + 9 = -16. Is k equal to 5?
True
Let f(g) = -g**3 - 2*g**2 + g - 3. Let w be f(-3). Let z be 0 + w*(-4)/(-12). Is z < -4?
False
Let m be 7/(119/2) + 0. Which is bigger: m or -1?
m
Let t = -37 - -17. Is t at least 1?
False
Let a = -5 - -7. Let t be 161/126 - a/(-9). Which is bigger: 1 or t?
t
Let x(b) = -7*b - 7 + 0*b**2 - 4*b**2 + b**3 + 9*b**2. Let n be x(-6). Which is smaller: n or -5/2?
-5/2
Suppose 6*u + 411 = -417. Is -0.1 at least as big as u?
True
Let i be (-18)/15*(-2)/4. Let k = 5 - 15. Let g = 10 + k. Which is smaller: g or i?
g
Suppose 1 + 25 = 3*f - t, 4*t + 40 = 4*f. Let l = 7 - f. Which is greater: 2/5 or l?
2/5
Suppose 1 = 5*a - 14. Is a equal to 8?
False
Suppose 0 = 8*v - 6*v - 6. Is v not equal to -7?
True
Let u = -223393/159 - -1405. Does u = 0?
False
Let m = -9.11 - -0.11. Let d = -8.9 - m. Is d bigger than -1/11?
True
Let h(x) = 5*x. Let y be h(1). Suppose -4*i = i - y. Which is greater: i or 4/9?
i
Let k be 18/99 - 24/11. Suppose 5*n + 12 = 2*n. Let x be k + 2 + n/14. Is x >= -1?
True
Let k(a) = a**3 + 9*a**2 + 8*a + 8. Let r be k(-8). Suppose 0*z + r = 4*z. Suppose z = -p - p. Which is greater: p or 3/8?
3/8
Suppose 2*q + p - 9 = q, 5 = -5*q + 5*p. Suppose -4*v + 8 = 5*f, 0*f + q*f - 5*v = -10. Are f and -2/3 nonequal?
True
Suppose c = -6*m + 3*m + 13, 0 = -m + 3*c + 11. Let h = m - 5. Which is bigger: h or -2?
h
Let h = -0.1 - 0. Let p = h - 0.3. Let l = p + 0.6. Is 0.2 greater than l?
False
Let n = 951/428 + 3/107. Let s = n + -29/12. Which is smaller: 1 or s?
s
Let z = -5 + 5. Let a = -0.3 + 1. Is a greater than z?
True
Let u = -10 - -1. Let i be 3/(-2)*12/u. Let b be i/(-1) + (-20)/(-11). Is 0 >= b?
True
Suppose -k - k + 4*s - 8 = 0, 5*k = -2*s + 28. Suppose -k*r + 5*r = -2*w - 5, w = -4. Suppose 0 + r = 3*t. Which is greater: t or 1/5?
t
Suppose 5*y - 5*k = -3*k - 7, 5*k = y - 17. Is y smaller than -17/5?
False
Let x = 11361 - 499857/44. Let b = 4/11 - x. Which is bigger: b or -1?
b
Suppose 25*v = 27*v + 2. Let a be 1 + ((-6)/1 - -1). Is v bigger than a?
True
Let n be 22/18 - (-8)/(-36). Let f = 2 + -1.2. Is f <= n?
True
Suppose -4*p - 67 = -7. Let o = p + 11. Let w be 2/(-6)*6/o. Do w and 3 have different values?
True
Suppose u - 2*u + 21 = 2*a, 3*a + 1 = 5*u. Let k = 21 - 12. Is k smaller than a?
False
Let z = 7 - 10. Is z less than or equal to -3?
True
Let x be (-3 + -1)*(-56)/48. Let d = -29/6 + x. Is d >= -1?
True
Let v be (-50)/8 - 2/(-8). Let p = v + 2. Let d(w) = -w**3 - 2*w**2 + 48*w - 4. Let f be d(6). Does p = f?
True
Let l(f) = 2 - 3*f**2 + f**2 + f**2 - 8*f. Let p = -7 - 1. Let c be l(p). Are c and 4/5 nonequal?
True
Let v be (-15)/(-3) + (-2)/1. Let l(k) = 4*k + 1. Let q be l(v). Suppose 3*r = -r + 3*w - 11, -3*r + q = 2*w. Is r < 2?
True
Suppose 40 = -32*o + 30*o. Let a = o + 20. Let c be -1 + 0 + (-2)/(-6). Is c >= a?
False
Let l be 8/88*1/3. Is 1 < l?
False
Let p = -335003 + 98825787/295. Let f = 4/59 - p. Is -0.1 at most f?
True
Suppose 0 = 3*l - 7 - 2. Which is greater: l or 2?
l
Suppose -4*z + 2*z = -8. Suppose 2*p + 2 = z*s, -4*p = 3*s - 6*s + 9. Suppose 2*c + 5*q = -8, -c + 2 - 3 = q. Is c bigger than s?
True
Let k be ((-28)/8 + 3)*-6. Is 4 != k?
True
Suppose 3*s + 698 = 1931. Let l = 12743/31 - s. Is 0 >= l?
False
Suppose -2*r + 3*u = 3*r + 15, 0 = -