3 + o). Let f be 2/h - 12/(-27). Are f and 1 unequal?
True
Let k = -20 - -18.9. Let q = k + 1.2. Let i = -1.4 - -0.7. Is i greater than q?
False
Suppose -5*a - 2 + 12 = 0. Let u = -4 + 3. Let q be (-1)/(u - 0/1). Is a at most as big as q?
False
Let d(h) = -h**2 - 2*h - 1. Let i be d(-2). Which is smaller: i or 0?
i
Let q = 0.02 - -1.98. Let a = 0.13 - 0.06. Let c = 1.93 + a. Is c at least as big as q?
True
Let d = -63 - -65. Suppose -3*q = -q - 10, -r - 4*q + 23 = 0. Let u be r/3 + (-1)/(-2). Which is smaller: u or d?
u
Let p = -19 - 51. Is -69 at least p?
True
Let w = 370 - 8516/23. Is 0 at most w?
False
Let q = -93 - -92.8. Which is greater: q or -3.4?
q
Suppose -6*o = -2*o + 4. Which is smaller: -2 or o?
-2
Let v be -1 - (-1 + 2160/14). Let m = -154 - v. Let l = -8 + 7. Which is smaller: l or m?
l
Let b = 25 - 26. Let v be 1*-1 - (-142)/222. Let t = v + 1/37. Which is bigger: t or b?
t
Suppose -3*i - 3 = -0*i. Suppose -g + 52 = 4*u, 0*g - 5*u + 57 = g. Let c be 8/52 - g/(-130). Which is smaller: c or i?
i
Let j = -105/137 - 64993/822. Let p = 80 + j. Let c(d) = d**3 + 3*d**2 + d - 2. Let v be c(-2). Is v >= p?
False
Let s(k) = k**2 - 6*k + 7. Let u be s(6). Let v = 4/7 - 19/21. Is v not equal to u?
True
Let z = -3 - -5. Let r be 2/z + 10/(-18). Suppose w + 2 = -3*l - 4, 3*l + 6 = -3*w. Is w greater than or equal to r?
False
Let p = 2.4 + -2. Let y = 0.7 - p. Does y = -0.1?
False
Let g = -9 - 9. Let f be g/30 - 3/(-5). Are f and 0 nonequal?
False
Let j = 34 - 33. Which is smaller: -51 or j?
-51
Let u = -1.7 + -0.3. Which is bigger: 0.04 or u?
0.04
Let o be 0/(2/(1 - -1)). Let n = 66 + -592/9. Which is smaller: o or n?
o
Let z = -11 + 16. Suppose 3*t = 5*j - t + 13, -2*t + z = -j. Let c be (4 + -7)/((-1)/j). Is -2 at least c?
True
Suppose -f = -2*f. Which is greater: f or -9/7?
f
Let d = 29 - 29.04. Which is bigger: -0.07 or d?
d
Suppose d = 3*p - 29, p - 68 = 5*d - 3*d. Which is greater: d or -34?
-34
Suppose 9*k - 356 = 292. Is -0.1 >= k?
False
Let d = 0.2 + -0.2. Let v = -0.1 + d. Is v at least as big as 3/5?
False
Let l = 27 + -27. Is l >= -2?
True
Let a = 48 + -10. Let y = 17 - a. Let f be (-23)/y - (-4)/(-6). Which is smaller: -1 or f?
-1
Let o be ((-6)/59)/((-3)/(-6)). Let l = 278/1947 + o. Let s = -52/231 + l. Is -1 > s?
False
Let f = -10 + 10. Let h = f - -0.01. Which is smaller: -2/11 or h?
-2/11
Let m(n) = 2*n**2 + 5*n + 2. Let b be m(-3). Suppose -2*i - 2 = 0, 6*i - b*i = 2*c - 1. Is 0.09 greater than or equal to c?
True
Suppose 0*m - 4*m - 8 = 0. Is -14/5 < m?
True
Let n = -2 - -5. Suppose -w = 3*a - 1 - 1, -2*w + n = 5*a. Let c be 5*(3 + -4)*a. Is -5 greater than or equal to c?
True
Let a = 5 - 4. Let y = a + 1. Suppose -y*v = -6*v. Is v not equal to -4/7?
True
Let l be 96/(-12)*(-14)/(-8). Is l >= -14?
True
Let j be (-4 + 3 + 2)/((-2)/(-3)). Does 2 = j?
False
Let r = -1 - 0. Let a = -86/25 - -1519/100. Let q = -12 + a. Is q at least as big as r?
True
Suppose 3*r + 324 = -5*l, 3*l - 3*r = 2*r - 174. Let s = -253/4 - l. Is 0 at most as big as s?
False
Let s be (-1*0*2/4)/3. Which is bigger: s or 6/49?
6/49
Let r = 1.05 + -1. Let c = 0.1 - r. Is c < -0.1?
False
Let s = -1 + 0. Let c = -4/19 + -29/133. Which is smaller: s or c?
s
Suppose 4*y + m = -2 + 9, 0 = -y - 5*m - 3. Suppose -h = 3*b - 5 + 7, -y = -2*h. Is b greater than 2/13?
False
Let w = -1.2 - -1.4. Is 0.07 <= w?
True
Let w = -17 + 18. Which is smaller: w or -0.09?
-0.09
Let a(c) = -c + 1. Let i be a(2). Let h be ((-3)/(-14))/(78/91). Which is greater: h or i?
h
Suppose 0 = -f - 3*f - 5*d + 1, -d - 4 = 5*f. Let v = 25 - 22. Suppose -v*m = -4*m + 4*a + 10, a + 3 = 0. Which is greater: f or m?
f
Let k(x) = 2*x**2 + 3*x - 2. Let a be k(-3). Let m(v) = v**2 - 7*v - 6. Let d be m(a). Let h = -3 - d. Which is smaller: 2 or h?
2
Suppose 6*c = 2*c + 12. Let o(k) = -1 + 2 + c*k**3 - 2*k**3. Let r be o(0). Is r < 0?
False
Let x be -3*1*(-4)/18. Let h(v) = -5*v**2 + 2*v + 9. Let q(d) = d**2 - d - 1. Let j(m) = -h(m) - 6*q(m). Let a be j(3). Which is bigger: a or x?
x
Suppose 2*f - 9 = -3*l, 3*f + 1 = -3*l + 10. Which is greater: f or -1/3?
f
Let b = 46551/2618 + -639/34. Let z = 8/11 + b. Is z < -1?
False
Let q(h) = -6*h - 3. Let n be q(-4). Suppose n = k + 2*k. Let w = 4 - k. Is -4 greater than w?
False
Let h(u) = u**2 + 6*u + 9. Let k be h(-6). Is k bigger than 10?
False
Let b = 10 + -7. Suppose 2*h + 3*h = -2*d - 26, b*h - 3 = 5*d. Is h smaller than -3?
True
Let j = 0 + -6.2. Let g = 6 + j. Are 2 and g equal?
False
Let m(i) be the second derivative of i**3/6 + 2*i. Let j be m(5). Suppose r + 8 = j*r. Is r at least as big as 1?
True
Suppose 0*w - w = 1. Let a(s) = s + 6. Let v = 13 - 19. Let n be a(v). Which is smaller: n or w?
w
Let j = 123 + -503/3. Let o(f) = -f**2 - 15*f - 5. Let d be o(-10). Let i = j + d. Which is smaller: i or -1?
-1
Let m = -3 - -4. Suppose 0 = b - 5 + m. Let l = 5 + -3. Which is smaller: b or l?
l
Let g be ((-3)/(-4))/((-42)/4). Let l = 1102 - 1103. Is g < l?
False
Let f = 2139 - 198925/93. Is f at least 0?
True
Let x = -159 + 193. Is x smaller than 36?
True
Suppose t - 9 = -3*x, 2*t + 3*t - 4*x = 64. Is t != 10?
True
Let p be 2 - (0 + 3) - 0. Let h be 1 - (p*6 + 1). Let i be (-4)/6 - (-22)/h. Is 0 < i?
True
Let m(h) = h + 15. Let n be m(0). Suppose -n = f + 2*f. Is -5 less than or equal to f?
True
Let t = -18.07 - -18. Let b = -0.53 + t. Is -1 less than b?
True
Let k be (-1 - 1)*10/(-4). Let m be (-225)/(-20) + (-1)/4. Suppose -3*d = -4*g + m, 4*g - d - k = -4. Are g and -2 unequal?
True
Suppose -35*q = -32*q + 117. Is q > -1?
False
Suppose 3*h + 14 - 5 = 0. Suppose -2*i + 0*i = 2. Let z be -1 + ((-1)/(-1))/i. Which is greater: h or z?
z
Let x(z) = 2*z - 21. Let c be x(10). Which is bigger: c or 3/20?
3/20
Suppose -r - 12 - 50 = t, -t - 71 = -2*r. Which is greater: t or -64?
-64
Let s(b) = b**3 - b**2 + b + 2. Let l be s(2). Let v be (-40)/3*l/4. Let i = 26 + v. Which is smaller: i or -1?
-1
Suppose 3*x + 14 = 4*y, -3*y + 4 + 4 = -x. Is 7 less than or equal to y?
False
Suppose -2*h = m - 6, -2*h + 4*m + 1 = -5*h. Suppose 4*x - 22*f - 36 = -27*f, 8 = -2*x + 4*f. Which is greater: h or x?
h
Let g = 19 + -11. Which is smaller: 7 or g?
7
Let f = 2 - 1. Let u = 6 - 10. Let t = u - -1. Is f >= t?
True
Suppose i - 2*z + 10 = 4*i, 0 = -4*i + 5*z - 2. Suppose 0 = -3*f + 5*a + 52 - 21, -4*f - a + 3 = 0. Is i equal to f?
True
Let t be (-159)/36*6/(-2). Let z = -363/28 + t. Suppose 0 = -5*w - 0*w + 5. Is w at least z?
True
Let c = 10 - 5. Suppose -5*u + 5*v - 31 = -u, -c*v + 15 = 0. Is u less than -4?
False
Let q(g) = g + 6. Let s be q(-9). Let k be (s - -3)/(0 + 2). Which is smaller: k or -0.07?
-0.07
Let f = 0.3 + -0.4. Let g = 3.28 - -0.32. Let v = -0.6 + g. Is v >= f?
True
Suppose -4 = j - 0. Let w = j + 6. Suppose 3*r - 4 = -1. Are r and w equal?
False
Suppose 12 = 2*s - 0*s. Suppose -2*j = -j - 3*h - 3, -5*j = 4*h - 15. Suppose -2*y = -c + 4, -4*y - s*c + 2 = -j*c. Which is smaller: 0 or y?
y
Let l be 370/45 + 4/(-18). Suppose -4*u + 4 + l = 0. Is 2 less than or equal to u?
True
Let h be (1 - (-7 - -2))/5. Suppose 0 + 3 = 3*o. Do o and h have different values?
True
Let m = 1 - 3. Let z be 3 - (-3 - (m + -3)). Is z at least 3?
False
Let w(k) = k**3 + 4*k**2 + 4*k + 2. Let n be w(-2). Let t = n - 0. Suppose -t = -2*d - 0. Which is smaller: 2/3 or d?
2/3
Let r(u) = u + 10. Let t be r(-6). Suppose -2*p - t = c + 3, 2*c + 10 = 0. Let h be ((-15)/6 - -2)*0. Is h at least p?
True
Let q = -47 + 20. Let r be 1/(-3) - (-45)/q. Are r and 0 unequal?
True
Let f(m) = m**2 + 3*m - 1. Let b be 21/14*(1 - 3). Let w = -5 - b. Let j be f(w). Do -1/4 and j have the same value?
False
Let d(n) = n**3 - 6*n**2 + 5*n. Let h be d(5). Which is smaller: -3/10 or h?
-3/10
Let b = -6.2 + 6.3. Is b != -1/7?
True
Let n = 63/118 + -2/59. Let s = 169/3 + -56. Which is smaller: s or n?
s
Suppose f - 10 = -4*f. Suppose 0*a - 15 = -5*a. Suppose 0 = -a*b + 4 + f. Which is smaller: 0.1 or b?
0.1
Suppose z + 7*z = 4*z. Is 1/6 not equal to z?
True
Suppose 3 = -c - 2*c + 3*k, -5*c - k + 13 = 0. Let y(i) = 21*i - 3. Let d be y(1). Let l = 22 - d. Do l and c have the same value?
False
Let g = 18 + -30. Which is greater: -14 or g?
g
Suppose 4*g = -4, 5*l - 2*g = -7*g. Which is greater: l or 3/16?
l