. Which is smaller: i or -6?
i
Let i = -0.06 - -0.06. Let m = 0 + i. Is m bigger than 0.1?
False
Let f(y) be the second derivative of y**5/20 - y**4/3 - y**3 + y**2 + 2*y. Suppose -4*j + 0*j + 20 = 0. Let d be f(j). Is -3 greater than or equal to d?
True
Let h = 6 + -4. Which is bigger: 6 or h?
6
Let a(h) = h**2 + 10*h + 12. Let k(j) = 3*j**2 + 31*j + 36. Let y(z) = -8*a(z) + 3*k(z). Let i be y(-13). Are i and 12 equal?
True
Suppose f - 2*r = 13, f - 3*r - r - 23 = 0. Suppose 5*h - j - 6 = -4, 13 = 4*h + f*j. Let u be -1*2*(-1)/(-5). Are h and u nonequal?
True
Suppose 2 = -3*v - 1. Let y = 350/747 - 2/83. Which is greater: y or v?
y
Let r = -3 - -42. Is 39 at least as big as r?
True
Let h be 2/(-3) - (-1)/3. Let j = 0.6 - 0. Is j less than or equal to h?
False
Let x = 31 - -17. Let p be (3/10)/((-36)/x). Let n be 6/4*(-2)/12. Which is smaller: n or p?
p
Let m = -148 + 136. Which is smaller: 2/7 or m?
m
Suppose -3*l = -2*u - 4, -l - u - 17 = 2*u. Let q be 1/(-6)*l*0. Let t = 134 - 1208/9. Is q at least t?
True
Let u = 4.18 + -2.15. Let x = 2 - u. Which is bigger: x or 2/3?
2/3
Let z = 193 + -202. Let j = -4 + 3. Is z less than j?
True
Let n = 0.6 - 0.3. Let a = n + -0.1. Let b be 3/12 + (-27)/(-84). Is a greater than b?
False
Let k = 713 + -19249/27. Let n be 391/(-540) + 3/12. Let r = n + k. Is 2 at most r?
False
Let u = -1480 + 1552.1. Let f = 76 - u. Let s = 4 - f. Which is smaller: s or -2?
-2
Let d be 10/(-6) - 2/(-3). Let r = 167 + -163. Which is greater: d or r?
r
Suppose -2*b = -5*z + 7 + 16, -4*z = 5*b - 25. Which is smaller: 4/13 or b?
4/13
Let i be 14/(-4)*(-15)/75. Which is greater: 1 or i?
1
Suppose -2*r = -f + 7, 0 = -2*r + 2*f - 4 - 6. Which is smaller: r or -1?
r
Let n(u) = u + 1. Let h be n(2). Let f = -1 - 1. Let w be (f/(-6))/((-2)/(-18)). Is w < h?
False
Let q be (1 - 3)*2/(-4). Let w be (2 + 2/(-1))*q. Is w greater than or equal to -1/4?
True
Let s = 9.3 - 6.3. Is 0 at most s?
True
Let g(x) = x - 11. Let l be g(6). Suppose -1 = j + 1. Are l and j equal?
False
Let d = -0.07 + 0.37. Suppose 2 = r + h - 5*h, -r = 3*h + 26. Let z be (-10)/6 + r/(-21). Which is smaller: z or d?
z
Let b(s) = -s**3 + 13*s**2 - 10*s - 5. Let h be b(12). Which is greater: h or 17?
h
Let q be (-104)/(-400) - (-1)/(-2). Which is bigger: q or 0?
0
Let h be 59/(-10) - (1 + -4) - -3. Which is bigger: h or 0.4?
0.4
Let k(v) = -v**2 - 6*v + 6. Let j be k(-6). Suppose -3*t = -j*t + 4*x - 10, 2 = 3*t - x. Suppose u - 4*u = -t*o - 1, -4*u = 4*o - 8. Which is smaller: u or 2?
u
Let z(k) = -3*k**2 + 7*k - 5. Let i(m) = -4*m**2 + 10*m - 7. Let t(a) = 5*i(a) - 7*z(a). Let f be t(-2). Let c be ((-2)/8)/(5/(-40)). Is c not equal to f?
False
Let j = -5/16 - -79/48. Which is greater: 0 or j?
j
Let q = -52.6 - -58. Let h = 10 + -15. Let y = h + q. Is y greater than 2/5?
False
Let h = -44 - -44. Is -2/9 > h?
False
Let w(z) = -6*z**2 + 3*z - 2. Let u(o) = 7*o**2 - 2*o + 3. Let x(c) = 5*u(c) + 6*w(c). Let i be x(8). Is i smaller than 0.1?
False
Let f = 36 + -47. Is f smaller than -7?
True
Let f = 307 + -4. Let h be f/(-99) + 10 + -7. Is -1 less than h?
True
Let m be 0/((-2)/(-1 + -1)). Suppose 4 = -4*o - m. Let c be 8/(-198) - 8*(-6)/(-264). Which is bigger: o or c?
c
Let j(o) = o**3 + 7*o**2 + 6*o + 3. Let l be j(-6). Let i be (20/l)/((-6)/(-9)). Let z be 1 - -5 - i/5. Is z less than 5?
True
Let l be 3/(-3) - (-1 - 1). Let o = 6 + l. Suppose -3*s - o - 4 = -k, -21 = 5*s - 3*k. Which is greater: s or -2?
-2
Let f be ((-360)/(-16))/(3/(-6)). Is -45 bigger than f?
False
Let m = -214 - -484. Let v be m/63 - (-4)/(-14). Let x = v + -7. Is x >= -4?
True
Let n = -119 + 136. Which is greater: n or 19?
19
Let o = -62 - -61.4. Let d = 3.5 + -3. Let x = d + o. Is x at most as big as 0?
True
Let q be (-216)/(-6) + -3 + 1. Which is smaller: q or 33?
33
Let i(o) = o**3 - 4*o**2 + 2*o + 1. Let q be i(2). Let c be ((-1)/q)/((-1)/(-3)). Let j(y) = 2*y**3 + 5*y**2 + y - 2. Let r be j(-2). Which is bigger: c or r?
c
Let i = 2/59 - 124/177. Let p(z) = -z - 2. Let j be p(-5). Suppose 13 = 2*d + 3*a, -5*d - 30 = -2*a - j*a. Which is smaller: d or i?
d
Suppose -4*g + 4*q - 20 = -0*g, -3*g = 4*q - 20. Let v be (-8 - 627/(-78))*1*2. Which is greater: v or g?
v
Suppose k = 3*k. Let d be 14/(-8) - (-11 + 9). Which is smaller: d or k?
k
Let d(a) = 2*a**3 + 5*a + 2. Let z(c) = -c**3 + c**2 - c - 1. Let u(k) = -d(k) - 3*z(k). Let i be u(3). Which is bigger: i or -7?
i
Let x = 2 - 2. Suppose 3 = 5*w + 3*m, -w + 2*w - 5*m = -5. Suppose k - 5*n - 10 + 35 = w, 2*k + 5*n - 25 = 0. Is x <= k?
True
Suppose -2*f + 5*g + 10 = 3*f, 3*g = 6. Which is bigger: f or 2?
f
Suppose -4*g = -3 - 1. Suppose -3*d - 2*m + 212 = -0*m, 5*d - 366 = 3*m. Let q = -502/7 + d. Which is smaller: q or g?
q
Let k = -83.65 + 83. Are 0 and k non-equal?
True
Let p = -27 - -17. Let z = 10 + p. Which is smaller: 2/7 or z?
z
Let a = -33 + 23. Let v = 10 + a. Which is greater: -1/9 or v?
v
Let o be ((-4)/(-6)*9)/2. Suppose 3*u = -o*n + 18, 5*u - 2*u + 5*n = 24. Which is bigger: 2 or u?
u
Let d be 9/15 - 11/10. Which is greater: 0 or d?
0
Let y = 13198/9 + -1464. Are y and 1 equal?
False
Let s be 8/12 + (2 + -5)/(-9). Is -2/17 greater than s?
False
Let o be 1/(-4)*8/(-78). Is o >= -1?
True
Suppose 2*n - 6*n = 2*w - 4, 2*n = w + 10. Suppose -n*g - 1 = 8. Which is bigger: -1 or g?
-1
Let c = 0.6 - 0.4. Let h = c + -1.2. Let l = -1.2 - 0.8. Which is smaller: h or l?
l
Let n = 10 + 2. Let s be n/(-10)*6/(-18). Is s smaller than 1.3?
True
Let f be 7/(-8) - -1 - 4/(-16). Which is bigger: f or 0?
f
Let z = 10 + -8. Let m = 3 + -7. Let k = z + m. Is -1 != k?
True
Let z = 7 + -6. Let n be (-28)/(-32) + z/(-1). Which is smaller: n or 0?
n
Let o(l) = -l**2 + 8*l + 8. Let v be o(9). Which is smaller: v or 12/25?
v
Let c = -13 - -19. Let x be (-26)/c + 8 + -6. Is -2 less than x?
False
Let w = 125/92 - 14/23. Suppose 5*g = -4*x - 0*g + 3, -g = -4*x + 9. Is w smaller than x?
True
Let b = -0.17 - 2.03. Let h = -0.8 + 1.6. Let u = h - b. Which is bigger: -0.2 or u?
u
Suppose 0 = 4*x - 2*x + 10. Suppose -3*f - 14 = n, -4*n = -f - 6*n - 8. Are f and x unequal?
True
Let s = -2550/13 + 196. Is -0.04 smaller than s?
False
Suppose 14 = -w + 3*w + 5*k, 4 = -w + 3*k. Let s = -5/13 - -59/52. Is w <= s?
False
Let n = 142/1035 + -3/115. Is n at most -1?
False
Suppose -2*a + 14 - 2 = 0. Let d be (3/a)/((-3)/(-12)). Which is smaller: d or 4?
d
Let k = 0.2 + -6.2. Let o = k - -4. Let y = -2 - o. Which is bigger: 1 or y?
1
Let s be -5 - 0 - -3 - -2. Let j(v) = -v + 11. Let x be j(11). Let q be x + -3 + 129/45. Is q greater than s?
False
Let r = 29/40 - 9/8. Do r and 0 have the same value?
False
Let n = 86 + -76. Which is bigger: n or 51/5?
51/5
Let g(i) = i**3 - 4*i**2 - 2. Let f be g(3). Let p = -16 - f. Which is smaller: p or -4?
p
Let b be -2 + (-1 - (-15)/6)*2. Is b > -8/19?
True
Let v = -1/5 - -13/15. Let p(d) = d**2 + 6*d - 2. Let h be p(-7). Suppose h*j + 22 = x, -10 - 4 = -x + 3*j. Is v greater than x?
False
Suppose 5*a - 30 = -4*j + 247, -a - j = -56. Which is smaller: a or 52?
52
Let m = 0.03 + 0.01. Let z = m - -0.06. Let l be (-2)/2 - 10/(-8). Is z <= l?
True
Let g = -135 - -136. Which is greater: -3 or g?
g
Suppose 2*c = 5*s - 20, 3*c - 4 = -2*s - 15. Suppose 0 = 3*n - i - s, -n + 5*i - 19 = -1. Which is smaller: n or -3?
-3
Let y(j) = -j + 1. Let m(a) = -1 - 2*a - 1 + 3*a. Let h be m(-2). Let p be y(h). Is 5 > p?
False
Let r be -1 + (-3)/((-9)/30). Suppose 4*f - 36 = 2*z, -3*f + 26 = 3*z - 4*z. Which is greater: r or f?
r
Suppose 3*a - 3 - 15 = 3*x, 5 = 5*x + 2*a. Let m = -152 - -238. Let z be 3 - (m/18 + -2). Is x >= z?
False
Let q = 385/232 + -30/29. Which is greater: 1 or q?
1
Let k = 3 + -4. Is k smaller than -8/9?
True
Let g be 2/7*49/21. Suppose 0*w = -4*w + 8. Is g at least w?
False
Suppose -5*o + h + 3*h = 19, 2*o + 2 = -4*h. Let v = -961903 + 481912073/501. Let d = v - 2/167. Is d <= o?
False
Let v be (-8)/5 + 2/(-5). Let d = 12 + -11. Suppose -b - 3 = -d. Are b and v unequal?
False
Let s = -4 - 3. Let x = -4 - s. Is x bigger than 4?
False
Let z = 13 + -5. Let u be 10/4*z/5. Which is smaller: 0 or u?
0
Let x = -0.16 - -0.2. Let d = 0.24 - x. Are -0.5 and d equal?
False
Let z = -4/3 - -2/3. Let r(w) = -w**2 - w + 1. Suppose -4*n = -3*n + 2. Le