Are t and -10 non-equal?
False
Let y = -2/8715 - -111359/2905. Let s = y + -38. Is 2 != s?
True
Suppose -5 = y - f + 1, -4*y + 2*f = 22. Is -9 at most as big as y?
True
Let g = -9/5 - -163/10. Which is smaller: g or 16?
g
Let l = -2.8 + 3. Let k = 8/53 - -140/477. Let j = -25/36 + k. Which is smaller: j or l?
j
Let n be 0/(-2) + -2 + 3. Let u be (-118)/(-2 - 2 - 34) + -3. Which is greater: n or u?
n
Let x(l) = -l**2 - l + 8. Let b be x(-3). Let s = -434/3 - -114. Let z = s - -32. Do z and b have different values?
True
Suppose 4*b + 4*f = -4, 0 = 3*f + 2*f + 20. Which is smaller: b or 2?
2
Suppose 6*n = 4*n. Which is smaller: n or -3/7?
-3/7
Let c = -2 - -7. Let b(s) = s + 4. Let l be b(0). Suppose c*g = -0*r + l*r - 20, -5*g = -5*r + 25. Is -1 greater than g?
False
Suppose -2*b = -4, -3*c + 2*b + 58 = b. Suppose h = -0*h + 2*a + 10, 0 = 3*h + 4*a + c. Is h smaller than -1/6?
False
Let b = -4 - -10. Let c be b/15 - 18/20. Which is bigger: c or -1?
c
Let r = -0.1 + 0.23. Is r greater than or equal to 2?
False
Let z = 1.8 + 13.2. Is z at most as big as 1?
False
Suppose -3*y = 366 + 60. Which is greater: -143 or y?
y
Let v(l) = l**3 + 4*l**2 - 6*l - 2. Let w be v(-5). Let a(o) = -o**w + o + 3 - o. Let h be a(0). Is h less than 4?
True
Suppose -5*j = -15, 4*c + 0*j + 15 = 5*j. Which is greater: 1/3 or c?
1/3
Let j be (-4 - -2 - -4) + -6. Let a be j/(-6) + (-2)/(-6). Is a >= 0?
True
Let z(r) = -2*r - 3. Suppose 0 = -3*h + h + 8, -2*a - 4 = -h. Suppose 5*f + 19 = 2*j + j, -f - j + 1 = a. Let i be z(f). Which is smaller: -1/5 or i?
-1/5
Let a = -1756/115 - -204/23. Let g = -241/40 - a. Which is smaller: 0 or g?
0
Let x be 7 + (3/1)/(-1). Let k = -5 - -8. Suppose -4 = -3*a - 2*w + x*w, -25 = 5*a + k*w. Which is greater: -3 or a?
a
Let h = -1.08 - -0.75. Is 0 at most h?
False
Let h be 4/22 - (-6 + (-2919)/(-385)). Let l be (-1)/(((-3)/(-2))/3). Is l greater than or equal to h?
False
Suppose -m = m. Which is smaller: m or -2?
-2
Suppose 0 = -3*m - 0 - 3. Suppose k - 412 = -56. Let y = k + -6050/17. Is m at least y?
False
Let m(u) = 3*u + 5. Let g be m(-5). Let f = g - -7. Let d = f - -3. Is 2 at most d?
False
Let b be 47/2 + (-1)/2. Let z = -301/13 + b. Is z not equal to 0?
True
Suppose 0*u + 3 = -u. Let m be ((-2)/(-4))/((-3)/12). Is u > m?
False
Let h = -21/11 + 83/55. Let c(g) = g + 2. Let a be c(-2). Do a and h have the same value?
False
Suppose -4*m + 1 = -5*m - 5*y, 16 = 5*m + 4*y. Let i be 14/(-18)*m/14. Suppose 43*q + 99 = 142. Are i and q nonequal?
True
Let c = 15.4 + -17. Let w = c + 1.7. Is -2/3 at least as big as w?
False
Let a be 3/9 + 37/(-105). Let q = a - -113/420. Which is smaller: 1 or q?
q
Let b(z) = -z**3 - 17*z**2 - z - 18. Let v be b(-17). Let u = 2/87 + -265/174. Which is smaller: u or v?
u
Suppose 3 + 17 = 3*n + 2*r, -r - 29 = -5*n. Suppose -n = 3*b + 6, 3*x + b = -7. Which is smaller: 0.6 or x?
x
Let h(a) = 3*a - 101. Let m be h(34). Which is smaller: 1/6 or m?
1/6
Let t be (-3 + 4)*6/(-13). Let a = 20 - 20. Is a at most t?
False
Suppose 6*z - 5 = z. Let n be (5 + -4)*(4 + z). Let d = -5 + n. Which is smaller: d or 0.1?
d
Suppose l - 5*v + 3 = -0*l, 3*l + 5*v = -29. Which is greater: l or -12?
l
Let g = 0.7 + 0.3. Let f be (-10)/(-4) - (-3 - -5). Is f not equal to g?
True
Let d be 0 + 6*2/4. Let w be (3 - -4) + d*-1. Let f(t) = -t + 4. Let c be f(w). Which is smaller: c or -2?
-2
Suppose -3*k = 8 - 23. Suppose -k = -2*y - 3. Is 0 greater than y?
False
Let c be 6/(-3)*(2 + -1). Let n = -4 - c. Let p be n/(-6) - (-128)/(-312). Is p <= -1?
False
Let k(v) be the first derivative of v**3/3 - v**2/2 - 4*v + 1. Let o be k(4). Suppose 6*q - q = 3*y - 4, o = 4*y - 4*q. Is 3 < y?
False
Let n(u) = -13*u**3 + u**2 - 2*u + 2. Let f be n(1). Is f at least as big as -2?
False
Let n = 0.05 + 0.25. Suppose 4*d + 16 = -4*g, 23 = -2*g - 0*d - 5*d. Which is smaller: g or n?
n
Suppose 0 = 2*q - n + 2*n + 8, 0 = 5*n. Let i = q - -5. Which is bigger: i or -1/3?
i
Let c = 10.95 - -0.05. Let t = -7 + c. Is -2 greater than t?
False
Let v = 5/67 + -643/536. Are v and -2 equal?
False
Let m = -1.023 + 0.023. Which is smaller: m or 55/3?
m
Let c be 11/(-1) + 2/2. Let a = -9 - c. Is a equal to 2/19?
False
Let i(j) = 8*j - 1 - 3 - 4*j + j**2 - 10*j. Let f be i(7). Suppose 6*c + 2*u + 3 = c, u = f*c - 7. Which is smaller: -3/7 or c?
-3/7
Suppose 3*v + 0 = 138. Is 43 less than v?
True
Let b be 0 - (3 - (-3 - -2)*-3). Which is smaller: b or -4/23?
-4/23
Suppose n - 2 + 32 = 0. Is -29 less than or equal to n?
False
Suppose 100 = 4*t + 4*l, 2*t - 5*l - 65 = -8. Let u be (-30)/t + 1 + 0. Which is greater: -1 or u?
u
Let x = -3.24 + 2.9. Which is greater: 1 or x?
1
Let c be 8/36 - (-2)/(-9). Suppose c = -3*x + 5*x + 14. Is -7 at least x?
True
Let z = -1 + 1. Let r(u) = -2*u. Let f be r(1). Is f <= z?
True
Suppose 2*m - 2 + 10 = 2*t, 0 = -t - 5*m + 10. Suppose -2*v + t = -s - 5, 0 = 5*v - s - 22. Suppose n - v*n - 3 = 0. Which is smaller: -2 or n?
-2
Suppose -6 = -2*s + 3*i, -i + 2*i = -2. Is s < 0?
False
Let j = -5 - -9. Let v = -0.2 - -0.3. Let x = v - 0.1. Which is greater: j or x?
j
Let s = -41 + 29. Do -12 and s have the same value?
True
Let q(o) = o. Let j be q(-1). Let d(p) = -p**2 - 5*p - 4. Let i be d(-5). Which is smaller: j or i?
i
Let t be 73/2 - (-6)/(-12). Let n be t/8*(-4)/6. Which is smaller: -4 or n?
-4
Suppose 4*z = -3*w - 45, -z + 4*w = 3*z + 24. Let o be 2*-1 + (-21)/z. Is o >= 1?
False
Let y = 2 + 2. Suppose 4*d = 6 - 2. Let l be d/4 + (-57)/(-12). Which is greater: l or y?
l
Suppose 5*s = -4*t, -3*s = -4*t + 5*t. Are -18 and t equal?
False
Let y be ((-2)/(-4))/((-8)/(-448)). Which is bigger: y or 27?
y
Suppose 2*n = 3*n + 3. Let o = -5 - n. Is o at least -3?
True
Let q = -1/166 + 503/830. Let t = -1 - -4. Let g = 2 - t. Is g <= q?
True
Suppose 2*b - a - 5 = 0, 5*b - 15 = 5*a - 0. Let c be (3/6)/(b/(-4)). Let w = c - 0. Are -1/4 and w non-equal?
True
Suppose 0 = -2*t - 2*b + 2, 4*b - 23 = 2*t - 7. Suppose q = -3*q. Suppose k = -q*k - 7. Is t bigger than k?
True
Let q = -32 - -22. Which is bigger: -8 or q?
-8
Let y = 29.6 - 30. Which is smaller: y or 2?
y
Let a be (5 + 1)/((-1)/(-2)). Suppose p + p + 4*s + a = 0, 0 = -4*p - 4*s - 12. Let i be 6/(-28) + (-1)/(-2). Is p at most as big as i?
True
Suppose -4*x + 48 = 180. Is x at most -33?
True
Let t = -4 + 7. Let r = t + -3. Suppose 0*h + 5*h = r. Does 2/15 = h?
False
Let v = 907/2061 + 1/229. Let p(b) = -b**2 + 2*b + 1. Let k be p(2). Which is smaller: k or v?
v
Let q = -1017 + 88481/87. Which is smaller: q or 0?
0
Let f = 0.044 - 4.244. Let z = f + 4. Are z and 0.1 nonequal?
True
Let g(f) = 2*f**2 + 3. Let w be g(-2). Is w bigger than -1?
True
Let t = 13/6 + -17/6. Suppose -3 = -x + 1. Suppose -x*w = w. Are w and t unequal?
True
Suppose 4*i + 10 = -u, -5*i = -3*u - 0*i + 38. Suppose j + 45 = u*j - k, 2*j - 40 = -4*k. Suppose 3*d - 15 = -2*h, h + d = -d + j. Which is smaller: -1 or h?
-1
Let t(u) = u**3 - 6*u**2 - 6*u - 14. Let m be t(7). Which is smaller: m or -3?
m
Suppose 3*n = 7*n. Suppose 2 = -2*j - n. Do j and -1/4 have the same value?
False
Suppose 0 = -h - 5*l - 0*l - 3, 3*l - 8 = -2*h. Which is greater: h or 0?
h
Suppose -5 + 14 = -3*f. Suppose d = 2*w - 2*d + 20, 32 = -3*w + 5*d. Which is smaller: f or w?
w
Let k = 153/110 - -1/110. Which is greater: 2 or k?
2
Let x = -387 + 1563/4. Let w = 101/28 - x. Let g = -1 - -1. Which is bigger: w or g?
g
Let i = -1.14 + 0.14. Is -0.1 smaller than i?
False
Suppose 3*v + 7 + 8 = 0. Which is smaller: -3 or v?
v
Let k be (-203)/280 - (-6)/(-15). Which is greater: -2 or k?
k
Let m = -3 + 2.8. Let u be 1*-9*(-9 - -8). Is u less than m?
False
Let h be (2/(-12))/((-2)/(-4)). Is 7/27 greater than or equal to h?
True
Suppose 0 = 3*h + h - 8. Let l be (4 - h)*(-1)/(-2). Do l and 0 have the same value?
False
Let k = 10796/21 - 514. Which is smaller: k or 1?
k
Let g = -15 + 23. Which is bigger: 10 or g?
10
Let r = 48 - 49. Which is bigger: 0 or r?
0
Let j be 204/42 + (-2)/(-6). Let f = -16/3 + j. Let r = 3 + -3.2. Do r and f have the same value?
False
Suppose 0 = -10*z - 14 - 36. Is z > -6?
True
Let w(p) = p**3 - 16*p**2 - 17*p + 4. Let a be w(17). Is a bigger than 40/11?
True
Let t be 28/(-77)*(-6)/4. Does 0 = t?
False
Suppose -4*p + 4 = -4*y, -5*y - 5 = -5