 Which is greater: g or -1?
-1
Let f = -25 + 27. Let d = 104557/10 + -10465. Let a = d - -54/5. Which is greater: a or f?
f
Let n = -0.7 - -0.1. Let q = 0.6 + n. Let v = 0 - q. Which is bigger: v or -0.3?
v
Let p = 12421/13651 + -1/1241. Let g(w) = -w - 5. Let c be g(-6). Is c smaller than p?
False
Suppose 101*c + 3 = 102*c. Is 3 smaller than c?
False
Suppose 3*h - n + 11 = 4*n, 5*h - 2*n - 7 = 0. Suppose -d + h = -0*d. Suppose -4*f = -f + d. Is 0 > f?
True
Let p = 15 - 17. Which is greater: 3 or p?
3
Let c = -15 + 14. Is c at least as big as -4?
True
Let g = -0.2 + 0. Let s = -0.8 - g. Let f = 1 + s. Which is greater: 2/3 or f?
2/3
Let j(h) = -h**3 + 2*h**2 + 2. Let k be j(2). Let p be -2*1/4*k. Suppose -22 = 5*u - 3*m, -2*u + 0*m = -m + 8. Which is greater: p or u?
p
Let n = -5 - -6. Let b be (8/(-5))/(2/50). Let w be 6/b + (-4)/(-10). Which is greater: n or w?
n
Suppose -n + 2 = n. Let d be (-2 + (-1 - -1))*n. Let r = 1 + d. Is r smaller than -0.1?
True
Let h be 1/4 + (-156)/240. Let k = -0.1 + -0.9. Let f = 0 + k. Is f smaller than h?
True
Suppose 0 = 2*w - 4 - 8. Suppose 5*p + 1 = w. Which is smaller: 2/3 or p?
2/3
Suppose 2*h - 5*p - 49 = 0, -4*p - 32 = -h - 0*p. Let q = -35/3 + h. Which is smaller: q or 2?
q
Let u be 1/(-5) + 24/(-20). Is u bigger than 0?
False
Let k be ((-10)/30)/((-2)/72). Let q be k/6 + 16/(-6). Which is smaller: q or -6?
-6
Let v = -4 - -2. Suppose 0 = -2*q + 5*u - 19, -13 = 2*q - 9*u + 6*u. Are q and v equal?
True
Let x = 14/23 + 86/161. Is 2 less than or equal to x?
False
Let p(i) be the third derivative of -i**6/120 + 7*i**5/60 - 5*i**4/24 - i**3 - 3*i**2. Let j be p(6). Which is smaller: j or -1/3?
-1/3
Let j = -9 + 0. Is -9 != j?
False
Suppose 2*z = w - 10, w = 5*z + 1 + 18. Is 0 at least z?
True
Let p be 31/10 + (-12)/8. Which is greater: 1 or p?
p
Suppose 80 = -4*u + 56. Let x be (1*-1 - -2)*-7. Which is bigger: x or u?
u
Suppose -k + 28 = -18. Is k greater than 47?
False
Let t be (2/(-4))/(-5*2/(-160)). Which is smaller: t or -11?
-11
Let z(q) = -6*q + 6. Let a be z(-5). Let l be (-116)/a - 2/(-9). Which is smaller: l or -2?
l
Let i = 3.3 + -6.4. Let l = 3 + i. Let b = -5 - -5.1. Which is greater: l or b?
b
Let x = -1 + 4. Let c be 5*x/(90/4). Which is greater: 2 or c?
2
Suppose -5*d = -15 - 5. Suppose -d*x - 2 = 2. Which is smaller: 0 or x?
x
Let u = -158/7 - -10105/448. Are 0 and u non-equal?
True
Let p(o) = o - 3. Let b be p(8). Are b and 5 equal?
True
Let b = 1 - -2. Let h be (-1)/4 + 306/72. Suppose -b*s - 1 = -z, 5*s - h*z + 6 = 2. Which is smaller: s or -2/5?
-2/5
Suppose -5*c - i + 0*i + 68 = 0, 2*i = -4. Suppose 0 = 3*n + 4*t + 39, -2*n = 2*t + 10 + c. Are -8 and n unequal?
True
Let h(v) = -v**3 - 5*v**2 + 6*v + 2. Let l be h(-6). Suppose -3*p + 32 = 5. Suppose 5*z = p*z. Is l greater than z?
True
Let b = -5 + 8. Suppose -b*o + 0 = -3. Which is greater: 0 or o?
o
Let m(q) = 13*q**2 - 3*q - 1. Let p be m(-1). Suppose 0 = 4*f - 5 - p. Which is smaller: 7 or f?
f
Let p(s) = 6*s**2 - 4*s + 1. Let r be p(3). Suppose -3*i - 2*i + 2*a - r = 0, -8 = i - a. Suppose 14 = -3*f - 10. Which is smaller: i or f?
i
Let u = 2 - 2. Is u at most -1?
False
Let y = -215 - -140. Does -75 = y?
True
Let y be (-3)/9 - (-4)/20. Let x = 0 + 0. Suppose -3*t = 4*f + 9 + 2, 5*t + f + 7 = x. Is t at most y?
True
Let r = 0.1 + 0.1. Let u = -0.4 + 0.2. Let f = u + r. Is -2 smaller than f?
True
Suppose -2*n - 2*i = 2*i - 62, 4*i + 88 = 4*n. Suppose -4*v - v = n, -3*r - 5*v - 19 = 0. Suppose r - 8 = 5*l - 3*g, -3*l - 3 = -2*g. Is -4 >= l?
False
Let b = -13 + 13.2. Let r be 1 - (1 + 2/(-5)). Which is smaller: r or b?
b
Let k = -0.02 - -3.02. Let d(r) = -r**2 - 2. Let x be d(0). Which is smaller: k or x?
x
Suppose -3 = 3*p - 9. Let l(m) = m + 0*m + 2*m**p + 2*m - m**2. Let u be l(-3). Which is greater: -1 or u?
u
Let n(a) = a + 4. Let g be n(-3). Let f(h) = -5*h + 25. Let c be f(5). Which is bigger: c or g?
g
Let g be ((-4)/10)/(48/(-30)). Is 1 not equal to g?
True
Let w(u) be the third derivative of -u**4/24 - 4*u**3/3 + 2*u**2. Let v be w(0). Let z = v - -5. Which is greater: -2 or z?
-2
Suppose -3*t + c + 16 = -c, 0 = c - 1. Suppose 6 = -3*s + t*s. Suppose 2*m - 14 = 3*l, s*l + m - 2*m = -8. Is l at least as big as -3/4?
False
Let i = 13043/90 - 726/5. Which is bigger: i or 0?
0
Let i = 4.9 - 2.9. Which is smaller: i or -8?
-8
Suppose -5*u - 53 + 8 = 0. Let c(g) = -g**2 - 5*g - 2. Let d be c(-6). Is d < u?
False
Let x = 0.4 + -0.3. Let o = 0 + x. Let s = 0.11 - 0.61. Which is bigger: o or s?
o
Let u be 1*3 - 70/14. Is -8/3 at most as big as u?
True
Let q = -1/139 - 271/973. Is 0.2 < q?
False
Let x be (16/(-12))/((-2)/6). Let i be (1/(-2))/(x/(-16)). Suppose -2*u = -i - 4. Is 3 greater than or equal to u?
True
Let h = 30 - 30. Suppose -3*c = 5*l - h*l - 41, 4*c = 2*l + 20. Is c at least -1?
True
Let v be 3 - (-2 + 2/1). Which is greater: v or 15/4?
15/4
Let p = 16 + -13. Let l be 28/3*(-26)/60. Let y = l + 40/9. Which is bigger: p or y?
p
Let d = 0.2 + -2.2. Let y = 0.2 - 0.3. Which is greater: y or d?
y
Let v = 2 - 2. Let g be (-4)/(-10) + 88/(-20). Let k = g - -3. Is k >= v?
False
Suppose 0*s + 4*s = 5*u - 20, 5*u + 5*s - 20 = 0. Let f be (-4)/14 + 1422/(-21). Let b = -206/3 - f. Are u and b equal?
False
Let q = 0.9 - -0.1. Let y = -1 + q. Let a(g) = -4*g + 68. Let t be a(17). Do y and t have different values?
False
Suppose -5*y + 5 = -0. Let o be 2/(1 + y)*-1. Let l = -714/55 + 64/5. Are o and l nonequal?
True
Let o = 0 - -12. Suppose -13 - o = -5*q. Which is bigger: 4 or q?
q
Let n(l) = -l**2 - 22*l - 11. Let o be n(-19). Is 45 <= o?
True
Let h be (2/4)/(2/4). Let a = -136 - -304. Let u be (3 + a/(-57))*2. Which is smaller: h or u?
u
Suppose -11*o - 21 - 45 = 0. Which is smaller: o or -4?
o
Let x be (-3)/(-9)*-7 - -2. Let w = -0.04 - -0.04. Are w and x equal?
False
Suppose 4 = -4*o - 0*o. Let u be ((-4)/8)/(o/2). Are u and 1 equal?
True
Let p = 3/13 - 19/26. Let k = 12.4 - 2.4. Let i = -12 + k. Which is bigger: i or p?
p
Let m = 2 - 1. Which is smaller: -1/4 or m?
-1/4
Let h = -5 + 7. Suppose -2*o + 3*o = h*l + 3, -l = 0. Suppose -q + o = 2. Are q and 1 unequal?
False
Suppose o + 0 + 3 = 0. Suppose 2*d + 10 = 7*d. Suppose 2*c = -3*i - 0*i - 3, d*i = -c - 2. Which is smaller: c or o?
o
Let q(v) = 2*v - 7. Let f be q(7). Suppose f = 3*c + 10. Let d be 8/(-24)*3/1. Is d at most c?
True
Let u(t) = t**3 - 5*t**2 + 3*t + 5. Let s be u(4). Suppose -3*a - 2*d - 5 = -13, 0 = d - 4. Let v = s + a. Which is bigger: v or 0?
v
Let m(p) = p**3 - p**2. Let s be m(1). Let k = 92 - 93. Which is greater: k or s?
s
Suppose 28*p = 24*p. Let c = 10/79 + 364/869. Which is smaller: p or c?
p
Let w be (-3 + 5/5)/(-1 + 3). Which is bigger: w or -1/23?
-1/23
Let o = -26 - -7. Is 2 greater than o?
True
Let x(y) = y + 1. Let i be x(7). Let j = i + -10. Which is smaller: j or -5?
-5
Let t be (1 + -3)/(2/8). Let i be (-2)/(-8) + 2/t. Which is bigger: -1 or i?
i
Suppose 32 = -2*o + 4*k, -3*o - 3*k = -4*k + 23. Is 1/9 smaller than o?
False
Suppose -6*a + 12 = -2*a + 4*v, -4*a + 5*v = -21. Which is smaller: 8 or a?
a
Suppose -6*r = -r + 10. Let c be 4*2/6*3. Suppose 2*h + 3*h + 4*n + 26 = 0, c*h + 4 = n. Are h and r equal?
True
Let x = 0.42 - 0.72. Is -1/4 at least x?
True
Let m(r) = r**2 + 4*r - 5. Let f be m(-5). Suppose 4*x - 3*j + 18 = f, 2*x + 3*j = -0*x. Which is bigger: x or -1?
-1
Let o = -0.05 - 0.05. Suppose -2*z - 3*z = 240. Let u = z - -191/4. Is o greater than u?
True
Let u be ((-15)/9 + 2)*-2. Let d = 5 - -4. Suppose 1 = 4*k + d. Which is smaller: u or k?
k
Suppose 0 = -h + 5*k - 2*k + 5, 2*k - 6 = 3*h. Let m be h/16 - 9/(-4). Which is smaller: m or -2?
-2
Let r = -6 + 8. Let k = r - 2. Which is smaller: 3 or k?
k
Suppose -3*d + 3 = -15. Let k(a) = -a - 2*a - 6 + 4*a. Let o be k(d). Which is bigger: o or 1/4?
1/4
Let a = 2 - 5. Let x(y) = -2*y + 3. Let w be x(a). Let i be (5 - w)*(-2)/(-10). Which is bigger: -1 or i?
i
Suppose 25 = 5*t - 0, 60 = 2*s + 4*t. Does 19 = s?
False
Let r be (-2)/(-1)*(4 - 5). Let c be (-9)/7 + r/(-7). Let t be 1 - 2*c/2. Is 2 greater than t?
False
Let k = 22.7497 - 0.0497. Let p = k - 23. Is p bigger than 1?
False
Let q = 0.47 - 0.5. Let u = -0.04 + 0.01. Let z = u - q. Is 0 at most z?
True
Let y(d) = -d + 1. Let b b