et o be -1*3/9*n. Which is bigger: 6/13 or o?
6/13
Suppose 32 = 3*k - 37. Let l(t) = -t**3 - t**2 - t + 23. Let r be l(0). Do k and r have different values?
False
Suppose -6*w - 4*n = -2*w + 36, 3*n - 37 = 5*w. Let p = -8 - w. Which is greater: 0.07 or p?
0.07
Let s be (-6)/(-2) - 25/10. Let g = -31/66 + s. Is g less than 0?
False
Let l be (-70)/(-60) - (1 - 0). Which is bigger: 0.07 or l?
l
Let a(t) = -t + 17. Let h be a(6). Let p(d) = -d + 9. Let y be p(h). Are y and -3/2 nonequal?
True
Let j = 304 + -1207/4. Is j equal to 3?
False
Let v be 1/3 - (-2)/(-18). Let c = -1 - -0.9. Let k = c - -0.2. Is v greater than k?
True
Let m be ((-30)/2675)/((-6)/(-20)). Let u = -274/1605 - m. Which is bigger: 0.1 or u?
0.1
Let u(j) = j**2 - 4*j. Let k be u(3). Let g = 4 + k. Do g and 3 have the same value?
False
Let r = -2/51 + 173/510. Is r at most 0?
False
Let f = 0.14 - 0.14. Which is greater: f or -2?
f
Suppose -g + 6*g + 70 = 0. Is -0.1 < g?
False
Let q(h) = 4*h - 2. Let l be q(1). Which is greater: 5/6 or l?
l
Let u be 6/10 + 24/60. Let c be (-2 - -2)/(1 + u). Is c greater than 7/6?
False
Suppose k = -3 + 8. Let i be 6/(-1)*(0 - 1). Suppose k = -i*d + d. Which is bigger: d or -2?
d
Suppose 0 = -126*m + 122*m - 12. Let b be (2 + -4)*-1 + -4. Which is bigger: m or b?
b
Let s = 4 - 6. Let j(l) = l**2 - 9*l - 10. Suppose 0 = -2*c - 3*w + 5, -w + 10 - 55 = -4*c. Let i be j(c). Which is bigger: i or s?
i
Let h(m) = -2*m - 41. Let b be h(-8). Is -25 at most b?
True
Let l = -0.5 + -0.5. Let t = 0 + l. Which is smaller: t or 3/5?
t
Suppose -2*l = 0, -7 = 5*d + 2*l - 17. Suppose 0*s = d*s - 3*u + 7, 12 = 4*u. Let h = 1 + 1. Is s less than or equal to h?
True
Let o be -10 + (2 - -3) + 0. Which is smaller: o or -15/4?
o
Let h be (-92)/(-24) + 8/(-2). Let f = h - 25/66. Are f and 0 unequal?
True
Let d = 5.3 - 18.3. Which is smaller: -3 or d?
d
Let g be ((-30)/4)/5 - -1. Let z = -1/43432 - 3344153/4820952. Let u = -1/37 - z. Which is bigger: u or g?
u
Let t = -13/6 + 2/3. Suppose 3*x + 4 = 6*x + 4*i, -3*x - 2*i = -2. Suppose 2*h + 0 + 4 = x. Is t >= h?
True
Let u = 1 - 0.6. Let o be ((-1)/(-5))/(8/10). Which is greater: u or o?
u
Suppose -8 = 2*o + 4. Which is bigger: o or -8?
o
Suppose 5*o - 1 = v, -4*o = o + 2*v + 2. Suppose -2*d = 4*k + 24, 2*k = -5*d + 7*k + 15. Is d at least as big as o?
False
Suppose -g - 4*s = -2*s + 7, -1 = -3*g + 5*s. Let h be (-2)/4*(-2 - 0). Let z = h + -4. Is z smaller than g?
False
Let j = -21.13 + 21. Which is bigger: j or 0?
0
Suppose 2*x - 5 = 3. Suppose 0 = x*y + 1 + 7. Are y and -3 non-equal?
True
Let d = -0.83 - -0.63. Let m be (-2)/(-7) + 102/(-14). Which is smaller: d or m?
m
Let r(o) = 4*o - 34. Let j be r(-10). Which is smaller: j or -73?
j
Let m = -1 + 2. Suppose -p = 5*w + 2, -5*p + 14 = -m. Let z = -11/114 - 4/57. Which is smaller: w or z?
w
Let i(v) = -3*v**2 + 0*v + 3*v + 5*v**2 - v**2. Let a be i(-3). Suppose -j + 2 = -a*j. Is j smaller than 1?
False
Suppose -4*f + 4*o = -20, 2*f = -3*o - 7 - 3. Is -6/77 at least as big as f?
False
Let p(t) = t**2 - 2*t. Let d be p(2). Suppose 2*o = g - 5, 4*g + 6*o - 8 = 2*o. Suppose -g = -2*r - r. Which is smaller: r or d?
d
Let f be 2/6 - (-21)/(-9). Let s be 10/7*7/(-23). Let n = -49/46 + s. Is f >= n?
False
Let p = 8.691 + 0.109. Let z = p - 8. Which is bigger: z or 0?
z
Suppose -1 - 4 = 5*o. Let g = -3 - o. Is g at most as big as 2?
True
Suppose 4*z + 12 = 0, z - 16 = 2*g + 5*z. Which is smaller: g or 1/3?
g
Let u = -1 + 1. Let f = -1 + u. Let k = 197 + -1579/8. Is k greater than f?
True
Let z = 396 + -3526/9. Let k be 4/6*(-172)/(-30). Let g = k - z. Is g equal to 0?
False
Let a be 4/6*(-12)/8. Let x be a/4 + 5/4. Suppose n = -n. Which is smaller: n or x?
n
Suppose -4*h + 2*h + 5*n = 19, 0 = -2*h + 4*n - 14. Let i be 1 + -1 - (h + -2). Is 1 < i?
False
Let n = 0.03 - 0.13. Let d be 2/(4 - 2)*-7. Which is bigger: n or d?
n
Let c = 16 - 25. Let p = c + 15. Let h = 3 - p. Which is greater: -4 or h?
h
Let m = 0.2 + 0. Let k be ((-215)/(-25) + -8)/((-18)/(-15)). Which is greater: m or k?
k
Let r(y) = -y**3 + 7*y**2 + 7*y - 10. Let o be r(8). Which is smaller: -19 or o?
-19
Let c be (-52)/(-24) - (-2)/(-1). Let p = -7 - -12. Suppose 15 = -p*w - 4*i, 3*w - 5 = 4*i + 18. Are c and w unequal?
True
Suppose 5*z = -5*s + 100, -6*z + 3*s = -2*z - 101. Is z at least as big as 23?
True
Let z = -0.11 - -0.08. Let b = z + 0.03. Do 3 and b have the same value?
False
Let l(x) = -6*x - 69. Let p be l(-22). Which is bigger: p or 61?
p
Let o = 19 + -10. Let q be (-27)/9 + 11 + 1. Is q <= o?
True
Let b = -57 + 52. Which is smaller: 0.1 or b?
b
Let z = 0.04 + -0.24. Which is bigger: 14 or z?
14
Suppose -4*w + 22 = 5*x - 4, 14 = -3*x + 5*w. Suppose 3*u = 3*j - 9, -x*j = 3*u - j - 11. Let d be (-2)/5*10/(-6). Which is greater: u or d?
u
Let l be 0 + -2 + 32/14. Which is greater: l or 0?
l
Let f(i) = i**3 - 7*i**2 + 8*i - 9. Let p be f(6). Which is smaller: 1 or p?
1
Let w = 76 + -19. Is w at most 57?
True
Let o = 3/109 - -312/545. Which is bigger: 0.2 or o?
o
Let w be 3/5 - 17/(-5). Suppose -w*z + 0*z = 8. Let r be 2/(-4) + z/12. Which is smaller: r or 0?
r
Suppose -3*v - 2*v - 9 = 3*s, 3*s + 9 = 4*v. Which is greater: v or -1/3?
v
Let j = -44 - -394/9. Let c = -32351/18 - -1798. Let x = j + c. Is 2 bigger than x?
True
Suppose g + 7 + 3 = 4*j, 4*g + 10 = j. Let q = 3 - j. Is q >= 1?
True
Let g be 42/(-4)*(-21)/98. Is 3 greater than or equal to g?
True
Suppose -3*k - 14 - 22 = 0. Let p be k/15 + (-1)/5. Which is smaller: 1/5 or p?
p
Let u(d) = -d**2 + 4*d + 1. Let s be u(4). Let p = -161/3 + 229/3. Let x = -23 + p. Is s <= x?
False
Let a be 6/21 - 0 - 2/7. Let r = 13 + -8. Suppose 0 = -3*p + 4*m + r, 4*p - 5*p - 5*m - 11 = 0. Is p > a?
False
Let q = 75 + -51. Suppose q = -4*b - 0*b. Let j be ((-2)/6)/(1/b). Which is greater: 6/5 or j?
j
Suppose 2*p + 3*u = 2*u - 3, 0 = -5*u - 25. Which is bigger: -2/25 or p?
p
Let m = 102.957 + -103. Does -2 = m?
False
Suppose 4*v + 4*i = 24, 4*i - 24 = -5*v + i. Let q(b) = b + 8. Let l be q(-6). Suppose -l*j - 1 + 3 = 0. Which is bigger: j or v?
v
Let s = -74/27 + -16/27. Let r be (2/(-6))/(2/(-4)). Which is bigger: r or s?
r
Let b(u) = -u - 39. Let g be b(8). Are -47 and g non-equal?
False
Let w be (-12)/(-9)*6/(-20). Let y be 4/(-10) - 4/(-10). Which is bigger: y or w?
y
Let h = -23/135693 - -57083615/12348063. Let u = -32/7 + h. Do u and 0 have the same value?
False
Let z = -212 + 212.2. Let l = 0.03 - -0.37. Are l and z equal?
False
Suppose -3*g - 2*h + 87 = -0*g, 0 = 4*g - 5*h - 116. Is 28 greater than or equal to g?
False
Let j be -6 - (-1660)/205 - (-2)/(-1). Is 1 > j?
True
Let o = -5 - -10. Suppose -o*i - 15 = -3*t, 0 = 4*i + i - 5*t + 25. Suppose i*l = l, -2*n = l. Which is bigger: 1 or n?
1
Let n(g) = -2*g**3 + 3*g**2 - 5*g - 13. Let v be n(-3). Are 83 and v unequal?
False
Let h = 2 + -8. Let m be (20/h)/((-2)/3). Suppose 0 = -g + m*z - 21, -4*g - 9 - 11 = -4*z. Does 1/6 = g?
False
Let n = 85 + -86. Let p be 46/(-84) + 1/2. Let o = p + -9/7. Is n at most as big as o?
False
Let x be 126/(-29) + 7 + -2 + -1. Is x at least 1?
False
Let v = 4 + -2. Let w be (1*v)/(4 - 5). Let z be (w/8)/((-9)/(-24)). Are -0.1 and z equal?
False
Suppose 4*l - 24 = -2*y, l - 3 = -2*y + 6. Suppose 0 = -y*z - 6 - 8. Is -7 at most z?
True
Let g = -86 + 86. Is 6/61 > g?
True
Let n = -35/171 - -6/19. Is n >= -1?
True
Suppose 17 - 92 = -5*f. Let y be ((-8)/(-10))/(3/f). Suppose -2*v = -2 - y. Is v greater than 2?
True
Let a be (3 - 2)/(-2 + 1). Let t be 12/4 - (-14)/2. Suppose t = -7*k + 2*k. Which is smaller: k or a?
k
Suppose 3*v + 5*c - 14 = -34, -4*v - c - 4 = 0. Do v and -5/12 have the same value?
False
Let j(l) = -4*l - 3*l + 6*l - 6. Let f be 2 - 3 - (-12)/(-2). Let q be j(f). Is -1/5 greater than q?
False
Let o(l) = -l**3 + 4*l**2 + 7*l - 4. Let s be o(5). Let x be s/24 + (-1)/(-4). Is x < 1/4?
False
Let q(u) = -3*u - 6. Let l be q(-2). Suppose 1 = 2*a - 3*a. Which is bigger: a or l?
l
Let i = 14.97 + 0.03. Let l = 14.8 - i. Are l and 6 nonequal?
True
Let l(u) = -2*u**3 + 2*u + 3*u + 7*u**2 + 3*u**3 - 3. Let y be l(-6). Let k be 1*y/(-3)*1. Do -2 and k have different values?
True
Let y(d) = d**2 + 9*d + 9. Let c be y(-5). Which is greater: -13 or c?
c
Let d(q) = q - 7. Let r be