Is g greater than -5?
True
Suppose 3*l + 2*t + 17 = 4*l, -5*t + 52 = 2*l. Let q be (-20)/(-6)*l/14. Let k be ((-12)/(-30))/((-11)/q). Which is smaller: k or -1?
-1
Let n(t) = 5*t + 1. Let d be n(2). Let f(l) = l. Let m be f(3). Suppose 15 = -5*x, -m*x - x - d = r. Which is greater: -1/3 or r?
r
Let j(v) be the first derivative of v**3/3 + 2*v**2 + 3. Let g be j(-5). Suppose -g = -z, 2*z = 2*a - 1 + 5. Do a and -2/3 have the same value?
False
Let c(x) = -19*x - 1. Let t be c(1). Is t less than or equal to -20?
True
Let q = 16.2 - 16. Which is bigger: q or 0.1?
q
Let t(w) = w - 6. Suppose -4*j - 84 = -6*j. Let q be (-1)/(3/j*-2). Let m be t(q). Which is greater: m or 0?
m
Let w be (-4)/(-6) - 35/84. Which is greater: -7 or w?
w
Let o = 0.9 - -4.1. Let i = o - 3. Let q be 0*(1 + -1 - -1). Which is greater: i or q?
i
Let m be 4 + -3 - 4 - -5. Let j = -8/111 + 722/777. Which is smaller: m or j?
j
Suppose -2*c - 3*c + 25 = 0, -5*c = -5*o. Suppose 1 = 5*q - 3*d - 3, -4*q - d = -10. Suppose o*s = q*s. Which is greater: 2/17 or s?
2/17
Let j = 1067 + -3160/3. Let a = j + -13. Is 1 bigger than a?
True
Let n = 0 + 0.1. Suppose u + 1 - 6 = 0. Suppose -5*i - 2*l = l + 18, 2*i = l - u. Are n and i nonequal?
True
Let n(v) = 3*v + 29. Let s be n(-9). Suppose 4*i - 12 = -3*z - 0, -2*z + 8 = 2*i. Is i at most as big as s?
True
Let b = -0.3 - 0.2. Let q = 12.2 + -12. Let i = q + b. Is 0 greater than i?
True
Let b be (-42)/4*(-3)/(-14). Which is smaller: -1 or b?
b
Suppose l = -2*l - 6. Let z(v) = 5*v**3 - v**2 + 4*v + 7. Let g(p) = 4*p**3 + 3*p + 7. Let s(d) = 6*g(d) - 5*z(d). Let k be s(5). Is k > l?
False
Let o(l) = -3*l + 2. Let a be o(-2). Let u be (a/6)/(-1)*-3. Let x be (-2)/(-1 - 1) - -1. Are x and u equal?
False
Suppose 3 = -n + 3*b, -5*n + 2*b + 1 - 3 = 0. Suppose 5*u - 3*c + 4*c + 11 = 0, 5*u + 3*c + 13 = n. Is -4 less than or equal to u?
True
Let m be (-2)/(-9) - (-3021)/216. Let w = 83/6 - m. Suppose -2*f + 1 = 3. Which is bigger: w or f?
w
Let y = -108 + 90. Is -20 < y?
True
Suppose -2*c + 2 - 4 = 0. Let h(d) = -3*d. Let o be h(1). Which is bigger: c or o?
c
Let i be (-17)/(-4) - 3/12. Suppose 3*u = -u - i. Let p be ((-1)/(-3))/(u/2). Is -1 <= p?
True
Let b(l) = -l**2 - 2*l + 1. Let i be b(-3). Let p be (i + (-12)/(-3))*-1. Suppose 7 - 16 = 3*c. Which is bigger: p or c?
p
Suppose 3*m = q + 14 - 0, 12 = 4*m - 3*q. Let o(y) = -y + 14. Let b be o(m). Is 9 less than or equal to b?
False
Let b = 19 + -40. Do -21 and b have different values?
False
Suppose 4*m - 3*n + 43 = 0, 5*m + 2*n = -6 - 19. Let v(z) = z**3 + 8*z**2 + 8*z + 8. Let p be v(m). Which is smaller: -2/11 or p?
-2/11
Suppose 0 = -x + 2 - 4. Let y(u) = -u - 4. Let w be y(x). Which is greater: -3 or w?
w
Let w = 1 + 4. Let n be ((-1)/10)/((-2)/w). Do n and -1 have the same value?
False
Let r be 0*3/((-15)/(-5)). Is -25 greater than r?
False
Let i = 107 - 120. Which is smaller: -0.1 or i?
i
Suppose -3*i = 7 - 10. Do i and 3/14 have the same value?
False
Let w = -4 - -7. Suppose 18 = -w*x - 3. Is -6 equal to x?
False
Let j be (-16)/(-9) + 2/9. Let h = j - 4. Let x be ((-1)/(-4))/(1/h). Is x greater than or equal to -1?
True
Let b be -1 + 4 + (-1 - -1). Let h be (b/5)/(14/(-10)). Suppose -5*m + m = -4. Which is smaller: h or m?
h
Let x = 46 - 45. Which is greater: x or 7?
7
Let i(u) = -u + 7. Let f be i(3). Suppose f*l - 7 = 13. Is 5 less than l?
False
Suppose 0 = g + 4*q + 101 - 94, -q = 2. Let l(z) = -2*z - 3. Let x be l(6). Let n be 3/5*x/(-24). Which is greater: n or g?
g
Let c be 1/2 - (-3)/6. Let t be -2 + 0 + 2 - -8. Let v be (3/(-4))/(12/t). Is c equal to v?
False
Suppose -2*a + 44 = 2*a. Suppose 4*v - a = -5*q, -q + 17 = 3*v + q. Is v not equal to 9?
False
Suppose -g + 6 = 1. Suppose -3*y + g*r = -15, -y - y + r = -3. Let m(b) = -b**2 + 1. Let n be m(-1). Is y > n?
False
Let i = 0.4 + 3.6. Which is bigger: i or 1/5?
i
Let g(b) = b**3 + 4*b**2 - 5*b. Let f be g(-5). Is f bigger than 3?
False
Let b = -0.13 - 2.47. Let m = -2.4 + b. Which is greater: -1 or m?
-1
Let n = -681 - -7485/11. Is -1 greater than or equal to n?
False
Let v(n) = -7*n + 5. Let d(s) = 4*s - 2. Let b(f) = -5*d(f) - 3*v(f). Let p be b(3). Which is smaller: 1 or p?
p
Let y = 0.05 + -0.22. Are -1/9 and y equal?
False
Let m be (-1277)/2*4/14. Let s = m - -183. Is s >= -2/5?
True
Suppose -219*r + 224*r = 10. Which is smaller: 10/3 or r?
r
Let h = -9/2 + 5. Let t = -14 + 16. Is h greater than t?
False
Let a be (4/16)/(15/(-24)). Let u(m) = m + 5. Let n be u(-4). Is n <= a?
False
Let y(r) = -r**2 + r - 3. Let n be y(0). Suppose -4*v = -3*i + 1 + 13, -3*i = 3*v + 21. Let g be i/(-6)*24/(-4). Do g and n have different values?
True
Let i be 1*-12 + (3 - 5). Let l be i + 10 + (-14)/(-4). Is l greater than 4/9?
False
Suppose -m + 21 = 6. Suppose -2*g + 20 = -4*z - 0, m = -3*g - 3*z. Suppose -o - 2*o - 3 = g. Which is bigger: o or 1?
1
Let p = 84.19 + -86. Let t = 0.19 - p. Which is smaller: -1/6 or t?
-1/6
Let l be ((-1)/10)/((-3)/(-12)). Let b be (2 + (-4)/2)/2. Which is bigger: b or l?
b
Let x = -7092/43 - -165. Does x = 0?
False
Suppose t + 2*z - 3 = 0, -4*t + 2*z - 8 = -0*t. Let o = 23233/180 + -644/5. Let x = 1/45 - o. Is x greater than or equal to t?
True
Let h = -3 - -3.2. Let b(p) = -p**2 - 7*p + 8. Let z be b(-8). Which is bigger: h or z?
h
Let p = -9 - -9.09. Let h = p - -0.11. Which is smaller: h or 0.1?
0.1
Suppose -c = 2*c + 3. Let s be (-2)/c - (-3 + 10). Which is greater: -4 or s?
-4
Let z(s) = -s**2 + 14*s + 8. Let y be z(14). Suppose 0*w - 2*w - y = 0. Which is bigger: -3 or w?
-3
Suppose 0 = 4*k + 2*o + 3 + 5, 0 = -3*k - 3*o. Is 0 less than k?
False
Let i = -247/460 - -9/20. Do i and 1 have different values?
True
Let a be -2*2/(-8)*-183. Let i = a + 673/6. Let r = -21 + i. Which is smaller: r or -0.2?
r
Let j = -2.2 + 3.3. Let b = j - 1. Let p = 0 + 0.2. Is p smaller than b?
False
Let p = -1.439 + 0.039. Which is bigger: 0 or p?
0
Let n = 43 + -91. Let r be n/70 + (-2)/(-7). Is r < -1?
False
Suppose 4*j + 60 = -2*j. Which is smaller: -13 or j?
-13
Let j = -1 - -8. Let z be 1/(-4) + (-50)/(-8). Are z and j nonequal?
True
Let f = -264 + 541/2. Let q = 19/6 - f. Are -2 and q unequal?
True
Suppose -2*x + 238 = -o - 157, 0 = -o - 5. Which is greater: 194 or x?
x
Suppose 4 = 5*a - 1. Suppose -2*y = 3 + a. Is -5/4 not equal to y?
True
Let h(v) = v**2 + 19*v + 3. Let l be h(-19). Which is smaller: 5 or l?
l
Let i = 19 + -18.9. Which is bigger: -0.19 or i?
i
Let m be (5/5)/(2/(-2)). Which is bigger: -2/23 or m?
-2/23
Let w = -37/82 + -2/41. Let c(y) be the second derivative of -y**3/2 + y**2/2 + y. Let n be c(1). Is n equal to w?
False
Let a(d) = 3*d - 3. Let m be a(2). Let s = m + 0. Suppose 4*l - 5 = 4*b - 1, 14 = 5*l - 2*b. Which is smaller: s or l?
s
Let n(x) = x - 4. Let k be n(-3). Is -7 less than k?
False
Let z = 23/28 - 4/7. Let w(r) = r**3 + 3*r**2 - 4*r. Let u(p) = p**3 + 8*p**2 + p + 4. Let n be u(-8). Let l be w(n). Is z >= l?
True
Suppose 24 = 3*r + 3. Let w be 1*6/r - 1. Let t(a) = -a**2 - 3*a - 2. Let v be t(-2). Which is smaller: v or w?
w
Suppose 14 = 2*f - f. Let j = -15 + f. Is 2/13 bigger than j?
True
Let n = -27950/33 + 2860151/3366. Let w = n - 25/9. Which is greater: 0 or w?
0
Let m = 0.005 - -0.125. Which is smaller: m or 0.4?
m
Let h(j) = -3*j**2 - 1. Let l be h(1). Let q(y) = y**2 + 6*y + 6. Let u be q(-6). Let d be (-2)/u*(-60)/(-8). Which is greater: d or l?
d
Let u be (-2 + (0 - -3))*-1. Let k = 1 + u. Are k and 0 unequal?
False
Let r(b) = -b**2 - b. Let f be r(-1). Suppose -4*j - 10 - 2 = f. Let i be 32/12 + (-1)/j. Which is smaller: 4 or i?
i
Let h be (-1)/((2/390)/1). Let y be 4/7 + (-15045)/77. Let j = h - y. Which is bigger: j or 0?
0
Let c = -3.09 + 0.09. Let n = 1.3 + -0.3. Which is smaller: n or c?
c
Let t(o) = o + 14. Let p be t(-16). Let k be (5/2)/(14/(-4)). Which is bigger: k or p?
k
Suppose 0 = -0*x - 5*x + 70. Let z be x/(-48) + 18/27. Which is smaller: 0 or z?
0
Let u = 24 + -35. Let r = 4 + u. Are -5 and r equal?
False
Suppose 0 = -3*y + 4*y. Let n(h) = -h**2 - h. Let x be n(y). Is x bigger than -11/3?
True
Suppose 4*r = 8*r. Suppose 0 = -4*a - r*a + 8. Is a equal to 3/5?
False
Suppose 0 = -y - y + y. Which is smaller: y or 5?
y
Suppose -2*g - 1 - 19 = -z, 4*g + 3*z = -20.