. Let m = j + 1. Which is smaller: m or -1?
-1
Let z(l) = -l**2 - 6*l - 2. Let p be z(-4). Suppose -j - p = j. Which is bigger: -2 or j?
-2
Let q(k) = -k**3 + 5*k**2 - k + 7. Let b be q(5). Let n = 6013/240 + -247/10. Let o = n + 5/16. Which is smaller: b or o?
o
Let n = 1/210 - 949/840. Is 0 smaller than n?
False
Let z = -6 + 7. Let b be (-4 - -5)*z/(-2). Is 1 at least b?
True
Let a be 5 + -1 + -1 - -9. Let g = a + -7. Which is smaller: 1 or g?
1
Let i = -11 - -22. Which is greater: 2/3 or i?
i
Let q = 3/104 + -461/1560. Is q > 0?
False
Let b = -1508/155 + 4/31. Let s = -81/10 - b. Suppose -r + 6 = 4. Which is greater: s or r?
r
Let n be (3 + 36/8)*(-8)/6. Which is smaller: n or -9?
n
Let t be 14/119 + 2/(-306). Let n = -2/87 - -188/609. Which is smaller: n or t?
t
Suppose -12 = -3*p + u, 5*p + 2*u - 5*u - 16 = 0. Suppose 0*i + p*i + 2*f + 1 = 0, 2*i = -f. Which is greater: -2 or i?
i
Let j = 0.24 + -0.04. Which is smaller: -0.2 or j?
-0.2
Let l(j) = -23*j + 3. Let v be l(5). Let m = 103/102 - -11491/102. Let z = v + m. Which is bigger: 1 or z?
z
Suppose 7*i - 2*i = 4*w + 26, i = 4*w + 18. Suppose v = i*v. Let l be 6/2*(-2)/3. Are l and v nonequal?
True
Let m(q) = -q**3 + 4*q**2 + 3*q + 4. Let a be m(5). Let c be (-2)/a*(-18)/(-3). Suppose c*h - 2*k - 3*k = -2, -h - 1 = k. Is h != 1?
True
Let t = -0.01 - -2.01. Let u = -1.1 - -1. Let b = 0.3 + u. Which is smaller: b or t?
b
Suppose 59 = r - 21. Let j be 274/r - -1 - 3. Let x = 13/10 - j. Is x greater than 1?
False
Let d(o) = o**2 - 13*o + 11. Let m be d(12). Which is greater: 1/15 or m?
1/15
Let u be -2 + (-35)/30 + 4. Is -0.1 less than or equal to u?
True
Let v be (8/(-6))/((-2)/3). Let g be 2/(-6) - 12/(-9). Suppose -7 + g = -2*a. Is a equal to v?
False
Let v be 1 + ((-8)/2 - -3). Let t be (-12)/8 - (-1)/(-2). Let w be 2/20 + t/4. Which is smaller: w or v?
w
Let l(s) = 7*s**3 + 2*s**2 - 1. Suppose -3*c + 4 - 7 = 0. Let x be l(c). Which is smaller: x or -7?
-7
Let v be 2/(-13) + (-228)/39. Which is smaller: v or -8?
-8
Let r = -3/46 - -2/207. Which is greater: 1 or r?
1
Let y = 0.38 - -0.62. Is -2/23 less than or equal to y?
True
Let m = -30.1 + 32. Let q = m - 2. Which is smaller: q or 6/11?
q
Let x be (-3)/(((-27)/(-2))/(-1)). Let a(b) = -b + 10. Let v(w) = -w**3 + w + 9. Let d be v(0). Let r be a(d). Do r and x have the same value?
False
Let i = 22 - 39. Is i < -17?
False
Let o(c) = -c**2 - 8*c - 12. Let n be o(-9). Let u be (2/(-21))/(9/n). Is 1 equal to u?
False
Suppose 0 = -5*w + w + 8. Suppose 3*d + 20 = -w*d. Which is smaller: -6 or d?
-6
Let d = 43 - -23. Is 65 equal to d?
False
Let o be (4 - 4)*1/(-2). Let v = 0 - o. Let r(t) = -t - 1. Let b be r(v). Are 0 and b equal?
False
Let s(j) = j**3 + 11*j**2 - 3*j - 3. Let z(c) = c**3 + 10*c**2 - 2*c - 3. Let h(p) = -5*s(p) + 6*z(p). Let k be h(-3). Which is bigger: 5 or k?
k
Let w = -1 + 4. Suppose 0 = w*d + 2*d. Which is greater: d or -0.5?
d
Suppose -4*z + 8 = 0, 0 = 2*p + 5*z + 50 + 36. Let a be (2 + p/27)*-1. Is a > -2/5?
True
Let b(v) = -v - 29. Let i be b(-9). Which is greater: i or -23?
i
Let o be (-44)/(-30) - (-2)/(-3). Let d(g) be the first derivative of -g**3/3 - 3*g**2 - 3*g - 2. Let a be d(-5). Which is smaller: o or a?
o
Let z be 1/(8/(-10)) + 1. Let w(v) = 2*v**2 + v. Let c be w(-1). Let l = c - 0. Which is smaller: l or z?
z
Suppose 6 = -v - 2*v. Let f be (v/(-4))/((-6)/(-60)). Which is smaller: 4 or f?
4
Let x = 3 + -5. Let n = x - -2. Suppose -2*b - 10 = -0*b. Is b less than or equal to n?
True
Let w = -1/15 - 4/15. Which is bigger: w or 2?
2
Let x = 7 - 7. Let m = 12 + -8. Let b = x + m. Which is bigger: b or 2?
b
Let a = -1 - -3. Let z(p) = -p + 2. Let w be z(a). Let l = 2 - 1. Which is greater: l or w?
l
Suppose 6*p = 7*p - 6. Let q = p - 6. Which is greater: q or 0.1?
0.1
Suppose 5*l + 9 = -4*t - 32, 3*t + 37 = -5*l. Let w be -1 + 2 - (2 - 3). Suppose -3*y - 15 = w*y. Which is smaller: y or t?
t
Suppose -12*a + 6*a = -180. Is a <= 61/2?
True
Let m(j) = -j**3 + 6*j**2 + 7*j + 3. Let g be m(7). Is 1 > g?
False
Let a = 3/53 - -144/265. Suppose -17 = 4*m - m - 2*v, 5*m - 4*v + 29 = 0. Let u(q) = q**3 + 6*q**2 + 6*q + 7. Let w be u(m). Which is bigger: a or w?
w
Let v = 3461/5 - 690. Which is bigger: v or 2?
v
Let y(x) = x**3 + 4*x**2 + 2. Suppose -h = h + 8. Let z be y(h). Suppose 12 = -z*d + 6*d + u, d + 2*u - 3 = 0. Which is smaller: d or 0?
0
Suppose -2 = -5*l + 13, 5*z - 7 = l. Let m = -18 + 18.1. Is m less than z?
True
Let v(b) = b**3 + 9*b**2 + 8*b - 10. Let o be v(-8). Let p be (-1)/(-5) + (-18)/o. Which is bigger: p or 4/5?
p
Let u = -801 - -64883/81. Which is bigger: u or -1?
u
Let u = -7 - 1. Let w = -7.7 - u. Which is bigger: 1/4 or w?
w
Suppose 8*q - 2 - 6 = 0. Is q less than 2/97?
False
Let u be 1*2190/(-3 - 0). Let j = u + 474. Let g be j/700 + (-2)/(-7). Which is smaller: -1 or g?
-1
Suppose 5*k = 4*r - 51, r - 5*k = 3*r - 3. Let j be 3/r - (-118)/6. Suppose -2*q = -4*d + q - j, 0 = 5*q - 20. Is -3 less than d?
True
Let s be (-6)/(-26) + (-30 - -30). Which is smaller: 5 or s?
s
Let y be (3/2)/((-9)/(-18)). Which is smaller: y or 2/7?
2/7
Let z be 4/(-2 + -3 + 6). Suppose -z*g = g - 15. Suppose -g*s = 4*i + 12, 4*i + 14 = 3*s + 2. Is -3/5 smaller than s?
True
Suppose 5*d + m + 6 = 0, -5*d + 5*m - 16 = 14. Which is greater: d or -3?
d
Let d(o) = -11*o**2 + 2*o - 1. Suppose -1 = -i + 5*i - 5*j, -5*i - 2*j + 7 = 0. Let b be d(i). Is -10 bigger than b?
False
Let s(k) be the first derivative of -k**2/2 + k + 6. Let f be s(4). Is -1 at least as big as f?
True
Suppose 3*o - 7*o = 0. Suppose 2*q + 4 = 4*j, -2*j = 4*q - 5*j - 2. Let l = o + q. Is 2 at least as big as l?
True
Let j = -0.21 - -0.11. Which is greater: -2/9 or j?
j
Suppose l + 6 = 4*l. Let s be -3 - ((-11)/l - 0). Is s greater than 3?
False
Suppose -4*r + 173 = 13. Let j be (-4)/22 + r/99. Let l = 0 + -1. Is l less than j?
True
Let g = 10 - 6. Suppose q + 16 = 4*q + g*o, -2*o = q - 8. Is -2 bigger than q?
False
Let m = -5 - 5. Let u = m + 7. Is -3 greater than or equal to u?
True
Let p be (78/(-16))/(9/60). Let v = p - -32. Is v <= -4?
False
Let v(z) = 3*z - 77. Let k be v(26). Does -1/18 = k?
False
Suppose -3*d + d - 4 = 0. Let f be 1 + d + (-27)/(-21). Which is smaller: 0.3 or f?
f
Let r = 11 + -18. Let y(x) = x**3 + 7*x**2 - x - 4. Let g be y(r). Let m = -4 + g. Which is smaller: -4/3 or m?
-4/3
Suppose 0 = 3*o - 0*o - 3. Let n(i) = -i + 4. Let q be n(4). Suppose q = 2*h + h. Which is bigger: h or o?
o
Let p = 1.2 - 2. Let i = -1.8 - p. Is -1 at most as big as i?
True
Let u = -9111 + 62645/7. Let l = u - -162. Suppose -2*v = v. Which is greater: v or l?
l
Suppose 3*s - 6 = -2*o, 0*s = -4*s + 8. Let i be 2 + 0 + (-1)/(-1). Let t = -2 + i. Is o > t?
False
Suppose 0 = -3*l + 2*l - 2. Let t = 222 - 1124/5. Which is smaller: l or t?
t
Let q = -11 - -15. Is 6 at least as big as q?
True
Let d(g) = -g**2 + 1. Let i be d(3). Let b = -7891/1029 - -2/1029. Which is bigger: i or b?
b
Let o = 6.1 + -6. Which is smaller: 0.22 or o?
o
Suppose 2*d = -3*s + 48, 0*s - 4*s = -2*d - 50. Suppose 0 = 2*k - 4 + s. Which is bigger: k or -4?
-4
Let j be 0 + 5/((-580)/(-8)). Is j at least 1?
False
Let z(v) = -3*v + 1. Let s be z(-13). Is 41 at least s?
True
Suppose -24 = -4*o - 0. Let u(k) = k - 6. Let p be u(o). Which is smaller: 1/23 or p?
p
Let b = -0.1 + 0. Let i = b - -0.1. Let v = -1 - -1. Is v <= i?
True
Let x be (0 - -3 - 1) + -2. Is -3/4 less than x?
True
Suppose -5 = -5*u - 25. Let g = 0 - 8. Which is greater: g or u?
u
Let x be (1 - (1 + 7)) + 2. Suppose -4 = -q - 2*s + s, q - 13 = -4*s. Let c be (q - x)*(-1)/2. Do -4 and c have the same value?
False
Let p be (-4)/8*4/7. Let o = -1 - -4. Suppose -4*t + o*t = -1. Is p less than or equal to t?
True
Let q be 4/((-7)/5 - -1). Let f = q - -10. Is f at least -1/3?
True
Let f(x) = x + 1. Let u be f(0). Let q = 2.22 - 3.22. Which is smaller: q or u?
q
Let n = 0.5 - -2.5. Let c = 6 + -5. Is n < c?
False
Let h be (-2)/(-8)*(0 + 3). Let k = 2 + -4. Let q = k - -1. Is q greater than or equal to h?
False
Let g(s) = 3*s**2 - 4*s - 2. Let q be g(-3). Suppose 4*m + 0*h - 5*h + q = 0, 0 = -2*m + 2*h - 16. Let i = 3 + m. Which is smaller: -1/3 or i?
-1/3
Let h(f) = f**3 + 2*f**2 - 2*f + 3. Let y be h(-3). Let o = -28/5 + 51/10.