 be 6/q*2*-1. Which is bigger: s or 1?
1
Let t be (-3)/(-12)*24/15. Let l be 0 - (0/(-1) - 0). Is l at least as big as t?
False
Let c be 4/(-7) - 428/(-14). Which is greater: c or 31?
31
Suppose f + f = -16. Let t be 7*-2*1/2. Which is greater: f or t?
t
Let j be 6/(-30)*10/(-1). Is j less than or equal to -8/7?
False
Let f(j) = j**2 - 6*j + 2. Let y be f(6). Suppose 4 = -6*g + y*g. Let u = 28/5 - 74/15. Which is greater: g or u?
u
Let a = 0.03 + 0. Let y = a + -0.03. Is y >= 0?
True
Let d = 2 - -1. Let v = d - 1. Let l = 26 + -26. Which is smaller: v or l?
l
Let s be ((-490)/6)/5*-4. Let l = 66 - s. Is l at most 4?
True
Let u = -0.061 + 0.021. Is u greater than or equal to 0.1?
False
Let w be (-3 - 38/(-12))*8*-3. Which is smaller: -7 or w?
-7
Let v = 13 - 10. Let l = 0.6 - -0.4. Let g = 1 - l. Do v and g have the same value?
False
Let m(l) = -l**3 + 5*l**2 + 5*l + 4. Let y = -2 + 8. Let h be m(y). Let d = -4 - -6. Do h and d have the same value?
False
Suppose -4*d - 4 = -2*v, d - 3*d = -5*v + 2. Which is smaller: 36 or v?
v
Let r = -11.72 + -0.28. Which is greater: -0.1 or r?
-0.1
Suppose 9 = -6*b + 3*b. Let g = 0.96 + 0.04. Let q = -2 + g. Which is bigger: q or b?
q
Suppose -4*v - 40 = -0*v. Let j be (v/(-3))/(4/(-6)). Which is bigger: j or -4?
-4
Let g(v) = v**2 + 13*v + 10. Let m be g(-12). Let h be m/4 - (-22)/60. Which is greater: 0 or h?
0
Let z be -2 + (-3 - (0 + -5)). Which is smaller: 2/33 or z?
z
Let p be 2/(-19) + 6*3/171. Suppose f - 3*f - 3*d - 5 = 0, -5*d = 5*f + 5. Let m be 22/56 - f/8. Which is greater: m or p?
m
Let j be (10/(-3))/(3 + (-14)/6). Let w be (-1 - -5)*3/(-4). Is j greater than w?
False
Let l = -54 + 54. Let z = -2.01 + 2. Is l at most z?
False
Let t = -25 - -32. Does 9 = t?
False
Let y be 1/1*(-4 - 833). Let z = y + 1173. Let a = 2348/7 - z. Is a >= -2?
True
Let c(q) = 1 + 7*q - 10 + 0*q + 9*q**2 + q**3. Let t be c(-8). Let b be (2 + -1 - t) + -2. Is -2/7 at least as big as b?
False
Let o = 1 + 0. Which is smaller: o or 43?
o
Let b = -0.5 - -2.5. Let u = 0 - 1. Let o = b + u. Is o != -2?
True
Let f(s) = s**3 + 5*s**2 + 3*s - 1. Let j be f(-4). Suppose -h + j = -4*h. Which is greater: -6/7 or h?
-6/7
Let g be 1/(0/(-2) + 1). Let s be (-1)/2*-2 - -3. Let q = s - 2. Is q < g?
False
Let z = -4 + -8. Let j be (-8)/z*3/14. Is j less than or equal to 0.2?
True
Let z = 28/69 - -6/23. Let a = -0.1 + 0.1. Let l = a - -1. Do z and l have the same value?
False
Let c = 63 - 52. Is 13 at least as big as c?
True
Let h(y) = y**3 + 10*y**2 - y. Let g be h(-10). Suppose -2*p - g + 0 = 0. Are -6 and p equal?
False
Let p = -4 + 1. Is -3 at most p?
True
Let a be (30/84)/(2/8). Are 1 and a equal?
False
Suppose 2*t - q + 2 = -6*q, -3*q = 0. Which is bigger: 3/11 or t?
3/11
Let d be (-1)/(-2)*8/6. Which is bigger: -1/4 or d?
d
Suppose 4*b + 2*g = -86, -4*b + 2 = -g + 73. Which is greater: 0 or b?
0
Let q(c) = c**3 - 2*c**2 - 4*c + 3. Let t be q(3). Do t and 1 have different values?
True
Let c = 11 - 18. Let i(k) = k**3 - 3*k**2 + 3. Let s be i(3). Let j = s + c. Is j equal to -3?
False
Suppose 34 = 5*u - 4*a + 234, 3*u = -a - 120. Is -38 greater than or equal to u?
True
Suppose 2*s = -2*a + 4 + 16, 5*a = -2*s + 53. Let u = a - 6. Let d be 4/6*(-3)/u. Which is smaller: d or -1?
-1
Suppose 13 = -3*k - 17. Let l be 4/8 - k/(-36). Which is bigger: l or -1?
l
Let k = -0.02 - 0.28. Let x = 0.1 + k. Let y = -5 - -3. Is x at most as big as y?
False
Let s be 7/(147/(-12)) - 272/(-280). Is 72 less than or equal to s?
False
Let q be (5 + -3)*1/(-13). Is q greater than or equal to 1?
False
Let f(m) = m**3 + 4*m**2 + m - 2. Let o be f(-4). Let g(t) = t**3 + 2*t**2 + 3. Let z be g(-3). Let i be (2/z)/(2/o). Which is bigger: i or -3/7?
i
Let j be (-4)/38 - (-22)/209. Is -1/17 >= j?
False
Let w = -80 + 78. Are -13 and w equal?
False
Let v = -3.86 - 0.14. Let h = v - -6. Is -5 greater than h?
False
Let x = 0.5 + -0.6. Suppose 0*t = 5*a - t, 4*a + 2*t = 0. Suppose a = -2*n + 1 + 3. Are x and n non-equal?
True
Let f = -85 - -424/5. Let u be (-3 + 3)*(-3)/(-6). Which is greater: f or u?
u
Let c = 19 - 20. Is -6 <= c?
True
Suppose 2 = d - 0*d. Suppose -g + 4*g = -3*r - 6, d*g + 6 = 0. Which is smaller: r or 0.2?
0.2
Let o = 26 - 27. Which is bigger: -1/45 or o?
-1/45
Let y(x) = x - 12. Let j be y(12). Let r = 88/415 - 1/83. Which is greater: j or r?
r
Let v be 3 - 2/(144/355). Let i = v - -15/8. Let a = 5/18 - i. Is a smaller than -1?
False
Let b = 40 + -78. Do -38 and b have different values?
False
Suppose 0 = -3*i + 2 + 1. Let v be 12/15 + -1 + 12/6. Which is smaller: v or i?
i
Let n = -34.8 - -35. Which is smaller: -1 or n?
-1
Suppose -76 = 5*m + 44. Let j be ((-6)/4)/(63/m). Suppose 3*t - 5*q = 5 - 2, -2*t - 5*q + 2 = 0. Is t at most j?
False
Suppose v + 12 + 2 = 0. Is -13 > v?
True
Let t = 3 - 2. Let l = t - 0.8. Let n = l + -0.3. Is -1/4 at most n?
True
Suppose 5*t + 215 = 5*q, t = q + q - 47. Let b = -547/14 - t. Let w be 1/(-4) - (-2)/8. Which is smaller: w or b?
b
Let b be 1*(-1 + -1 - (5 - 8)). Does -1/3 = b?
False
Let o = 0 - -1. Suppose -2*k - 64 = 252. Let a = -469/3 - k. Which is smaller: a or o?
o
Suppose -b + 29 = 3*n, 5*b + 26 = -5*n + 141. Let u be 1 - (3 + (-32)/b). Which is greater: u or 4?
4
Let x be (-207)/(-184) - 1/8. Which is bigger: x or -1/4?
x
Let l = 11.03 - 0.03. Which is greater: -2/7 or l?
l
Let k = 10 + -4. Suppose -2 = 2*p + k. Which is bigger: p or 1?
1
Let s = -3 + 7/2. Let x = -289395/284 - -1019. Let m = x + 555/3692. Are s and m equal?
False
Let o(h) = h**3 - 2*h**2 - 6*h + 1. Let a be 2/((5/(-2))/(-5)). Let x be o(a). Suppose -5*g + 2*t = -g + 12, t + x = -3*g. Which is bigger: g or -2?
-2
Let z be ((1 - (6 + -5))/2)/(-2). Let u be (-2)/(-3) + 52/(-51). Which is greater: z or u?
z
Let l = -759 + 53887/71. Is -1 at most as big as l?
True
Let q = -23 + 16. Let l = -22/3 - q. Is -1 equal to l?
False
Suppose 0 = 3*d + 4*p + 16, -d + 0*d + 4*p + 16 = 0. Which is bigger: d or 2?
2
Let r be (-4)/(-14) - 61/(-7). Let b be r/(-6)*(-8)/(-12). Let d = 79 + -710/9. Is b bigger than d?
False
Suppose 5*u = -2*n + 18, -21 = -4*u + 3*n + 2*n. Suppose 5*o + 4 = u*k, o = -3*o - 2*k + 2. Let g = -4.7 - -5. Which is bigger: g or o?
g
Let l(m) = 2*m**3 - m**2 - m. Let n be ((-5)/(-20))/((-1)/4). Let p = n + 0. Let y be l(p). Which is smaller: 0.4 or y?
y
Let x be (-4 - -2) + 0/4. Let m be (x/(-3))/(4/6). Suppose 15*d = 11*d. Is m less than or equal to d?
False
Suppose -180 = 18*c + 42*c. Let u = 1.3 + -0.3. Is c at least as big as u?
False
Let w = 38 - 23. Let k be 79/2 + 3/6. Suppose 2*s = -3*h + 15, 0 = -3*s - 5*h + k - w. Is s greater than 4/7?
False
Let i = 25 + -26. Is i greater than -0.1?
False
Suppose -3 + 1 = -2*i, -5*p + i = -19. Suppose 0*x - 9 = -g + 2*x, 0 = 3*g + p*x + 13. Let r be (g + 0)/(45/6). Are r and 0 unequal?
True
Suppose 2*p + 1197 = -p. Let a be 5987/5*(-1)/3. Let h = a - p. Which is smaller: h or -1?
-1
Let s = 3 - 9. Let g = 521/3 + -173. Is s smaller than g?
True
Suppose 5*i = 3*u, 0 = 3*u - 0*i + 2*i. Let g = -8 - -10. Is g > u?
True
Let i be (-1)/(3/(-3)) - 3. Let x(n) = -n**3 - 4*n**2 - 4*n - 2. Let z be x(i). Suppose 0 = 5*j + 10, 4*j + 10 = -2*r. Which is greater: z or r?
r
Let r be (-33)/(-11)*2/27. Do r and 0 have different values?
True
Let f = -26/9 - -221/36. Is 2 >= f?
False
Let w be 1/(3 + -3 + -1). Which is bigger: 2/13 or w?
2/13
Suppose 0 = 3*x - 4*o - 16, x - 3*x + 3*o + 12 = 0. Suppose -2 = l - x. Let u(z) = z**3 - z**2 - 20*z - 3. Let s be u(-4). Do l and s have the same value?
False
Let s(j) = j - 5. Let u(a) = a**3 - 5*a**2 + 6*a - 4. Let x be u(4). Let n be s(x). Let t be n - 1 - -2 - 1. Which is smaller: -3/2 or t?
-3/2
Let x = -16.3 - -9.1. Let p = x + 8. Let s = p + -0.6. Does s = 0.1?
False
Let c = -17 - -19. Is -0.02 bigger than c?
False
Suppose 2*r = -5 + 1. Let u be r/(-6)*2/3. Are u and 1 non-equal?
True
Let x(o) = -o + 4. Let r be x(5). Let c(s) = 2*s**3 + 2*s**2 + 2*s + 1. Let d be c(r). Let t be (2/(-4))/(2/(-4)). Which is smaller: t or d?
d
Suppose -6*p = 17 + 19. Which is bigger: -5 or p?
-5
Let p = 23120/2220561 + 2/11749. Let o = -179/945 - p. Let r be (-4)/(-10) - 24/60. Does o = r?
False
Let y(g) = -g**2 + 6*g + 1. Let w be y(6). Let n(r) = 4*r - 1. Let o be n(1). Let k