/8. Is v < 0?
True
Let t = -5873 + 246689/42. Let i = -3/14 + t. Let n = -4 - -6. Which is bigger: n or i?
n
Let u = -6 - -5.5. Let o = 0.65 + u. Do o and 0 have the same value?
False
Let z(d) = 2*d - 6. Let y be z(3). Are 4/31 and y equal?
False
Let p be -3 + 39/15 + 15/(-25). Suppose 5*a = -3 - 2. Is a > p?
False
Let j be (-12)/(-3) - (-3 + 128/20). Is j <= 10?
True
Let u = 4 + -4.3. Let o = u - -0.2. Let w = o + 0.2. Which is smaller: -2 or w?
-2
Let l be ((-10)/3 - -4)*(-3)/13. Is 0 != l?
True
Let c(j) = j**2 - j - 2. Let d be c(3). Suppose 0 = -i, -2*p + 4*i = -d - 6. Let v = 5 - p. Which is smaller: v or -2?
-2
Suppose -p = -2*p. Let v(c) = c**2 + c - 4. Let w be v(-3). Suppose w*g - 5*g = 0. Is p < g?
False
Let k = 70 + -58. Is 13 bigger than k?
True
Let c = -1811/3 - -610. Let r = c - 83/15. Which is bigger: 1 or r?
1
Suppose 963 - 270 = -3*q. Let i be (q/12)/(-7) - 3. Are i and 2 unequal?
True
Let g be (2/3)/((-32)/(-48)). Let u be (-2)/8 + 123/12. Let p be (4/(-50))/((-8)/u). Is g < p?
False
Let p be (-30)/(-150) - (-4)/(-10). Let v = 5 + -3. Is p < v?
True
Let w = 4 + -4. Suppose w = -2*d - 2 - 0. Let o be (2/(-18))/((-2)/(-15)). Is d at least as big as o?
False
Suppose 0 = 6*m - 16 - 56. Which is bigger: m or -0.1?
m
Suppose 6*q - q = 15. Let b(a) = -a + 1. Let s be b(q). Let n be (-16)/10 - 4/s. Which is bigger: n or 1/9?
n
Let k = 26 + 0. Let h be (-8)/k + 0/3. Is h greater than 1?
False
Let a = -6.6 + 6.6. Is 0.3 less than a?
False
Suppose 6 = -5*k + 1. Let w be (0 - k)/(3/(-9)). Let y = 3 - 3. Is w less than y?
True
Suppose 5*b - 2*x = 94, -4*b - 5*x = -44 - 51. Let q be (-6)/14*b/30. Which is smaller: q or 1?
q
Let z = -22.34 - -22. Let v = z - -0.4. Let s = -1.94 - v. Which is smaller: s or 0?
s
Let q(o) = -o**3 + 6*o**2 - 7*o - 2. Let s be q(4). Suppose -5*w - s*w + 14 = 0. Is 9/7 bigger than w?
False
Let f = 80.85 + -81. Is -0.3 not equal to f?
True
Let m(l) = 6*l**2 + 8*l - 4. Let v be m(-2). Do v and 10 have the same value?
False
Let l be 1 + (-8)/6 + (-136)/(-84). Which is bigger: 0 or l?
l
Suppose 4*n + 16 = 0, 0*z + 2*n - 1 = z. Let x = z + 8. Which is smaller: x or 3/7?
x
Let g(f) = -f**2 - 5*f + 1. Let j be g(-5). Let o = j + 1. Let a be o/(-3)*-2 + -1. Which is greater: 0 or a?
a
Let r = -18 + 21. Which is greater: r or 1?
r
Suppose 5*z + 7*w = 2*w + 10, -3*w - 9 = -2*z. Suppose z*d - 5*j = -0 - 2, 5*d + j = 6. Is 2/19 bigger than d?
False
Let i = 92 - 90.93. Let h = 0.07 - i. Is 4 less than or equal to h?
False
Let v = -1.7 + 1.8. Let m = -6.018 + 0.118. Let h = m - v. Which is bigger: -1 or h?
-1
Let o be (1/(-15))/((-2)/258). Let g = o - 41/5. Which is bigger: 1 or g?
1
Let q = 0.18 - -0.22. Let k = q + -0.1. Is 0.3 bigger than k?
False
Suppose 2*n = n. Suppose n = -4*d - 20, -u = -0*u + 4*d + 19. Is -1/4 at least as big as u?
False
Suppose 5*c = -15, 7*r - 2*r - c - 93 = 0. Let t = 33/2 - r. Which is smaller: -1 or t?
t
Suppose g = 4*g - 12. Let t = 2 + -1. Suppose -11 - t = g*y. Do y and -3 have the same value?
True
Let l = 39337/268 + -587/4. Is -1 < l?
True
Let c = -149/492 + 9/41. Which is greater: 0 or c?
0
Let t = 6 - 3. Which is smaller: t or 1?
1
Let b be 6/(-4) - 3/(-6). Suppose 2*y - 5*g = 0, 6*y = 3*y - 3*g. Which is bigger: b or y?
y
Let a be (-104)/(-96) - 3/4. Let g = 6.08 - 6. Is g bigger than a?
False
Let l = -10786/13 + 824. Let h = l - -2599/468. Let z = h + -1/12. Which is smaller: 0 or z?
z
Let y be (-2)/6*(1 + -7) - 41. Is y greater than -39?
False
Suppose 5*y + 5*g - 1 = 9, 2*y - 4 = -5*g. Is 2 equal to y?
True
Suppose -v = -2*m + 14, -7*m + 2*m = 2*v - 26. Let s be 0 + -1 + 4/m. Which is greater: 0.1 or s?
0.1
Suppose 1 = -2*r + 3. Is 1/3 at least r?
False
Let i = 23 + -18. Let r = -1 + i. Which is smaller: r or 3?
3
Let b = 33 + -32. Which is greater: b or -1?
b
Let g = -34 - -34.2. Is g at most as big as 6?
True
Let f be (-5 - -1)/(1 - 2). Let g be 2/((-44)/(-33)*(-3)/(-14)). Do f and g have different values?
True
Let q be 68/714 - 76/357. Suppose 0 = 5*s + 3*t - 15, s = -s - 3*t + 15. Which is bigger: q or s?
s
Let t(d) = -d**2 - 6*d - 3. Let g be t(-5). Suppose 0 = -4*v + v - 6, -v + 2 = g*b. Let x = -67 - -69. Is x at least b?
True
Let r be 3/2*8/6. Let w be 1*(-4 + r - -6). Suppose -c = 2*x - w*x, -5*c - 4*x + 14 = 0. Which is smaller: c or 3?
c
Let o be (4/3)/(3/(-9)). Is -7 bigger than o?
False
Let y = 44 + -24. Let q = -19.9 + y. Which is greater: q or 14?
14
Let v(i) = -i**3 - 5*i**2 + 6*i + 4. Let w be v(-6). Let b = w + -4. Which is smaller: 2/7 or b?
b
Let l(n) = n**2 + 6*n - 6. Let h be l(-7). Let s be (3 - 1) + 2 + 1. Suppose -g = -3, -s*g = -5*b + h - 16. Which is smaller: b or 1?
b
Let b(m) = m**3 - 10*m**2 + 9*m - 1. Let i be -1*(-2 + (-6)/(-3)). Suppose i = r + 3*r - 36. Let q be b(r). Is 0.03 at least as big as q?
True
Suppose 2*q - 2*l + 12 = -6*l, 0 = 3*q - l + 11. Is q at most as big as -4?
True
Suppose 8*o = 12*o. Let s be o/(4 + -4 + -2). Is s smaller than 8/5?
True
Let q = -1.8 - -2. Let v = 14 - 24. Let x be v/14 + (-1)/(-1). Which is bigger: q or x?
x
Let z = 0.12 - 0.22. Which is greater: z or -2/11?
z
Let k(u) = u**3 - 2*u**2 + 3*u - 3. Let m be k(2). Suppose 0 = m*d + 6. Let z be (-2 - -1)/(d/(-2)). Are z and 1 unequal?
True
Let m(h) = -h - 8. Let o be m(-9). Let z be 1*(14 - 0)/(-1). Let a be (z/12 + 1)*-8. Which is smaller: a or o?
o
Let q = 17971296613/1708 - 10521835. Let v = -1/244 - q. Which is bigger: -2/7 or v?
-2/7
Suppose -13*d + 17*d - 144 = 0. Which is smaller: d or 35?
35
Let l be (-4)/(-54)*(3 + (-30)/8). Which is smaller: l or 1?
l
Let h be (-3)/6 - 3/(-2). Let b be 99/(-135) - (-1)/3. Is b less than h?
True
Suppose -d + 4*p + 19 = -0*d, -36 = -3*d + 5*p. Suppose 4 - d = -3*f. Suppose -11 = -s - 5*u + 4, -5*s = 2*u - 6. Does f = s?
False
Let k = 11 + 11. Is k not equal to 22?
False
Let h be (10 + -5)*(0 + 1). Let j = h + -3. Let t = -3.9 - -4. Is j less than or equal to t?
False
Let x = 0 + 2. Let l = 5 - x. Let d be 4/(-5)*5/(-2). Which is greater: l or d?
l
Let s be 8/(-12)*(1 + -7). Suppose -p + 3 = -s*p. Which is smaller: 2 or p?
p
Let s = 72 + -82.2. Let r = s + 11. Let n = r - 1. Which is bigger: n or -0.3?
n
Let q(i) = -i**3 - 10*i**2 + 10*i - 10. Let n be q(-11). Suppose 3*o = 3*d, -3*o - o = 5*d - 18. Let z be -1*o + (2 - -3). Which is smaller: n or z?
n
Let r = -1 + 3. Let s(u) = u**3 - 17*u**2 - 18*u. Let n be s(18). Which is smaller: r or n?
n
Suppose k + 4*x - 19 = 0, 0 = -3*k + 2*k + 5*x - 8. Which is smaller: 1 or k?
1
Suppose 3*l - 2*x + 67 = 0, 4*l = -4*x - 89 + 33. Which is bigger: -18 or l?
-18
Let g = 7.98 - 8. Let o = -0.32 - g. Which is bigger: o or 0.1?
0.1
Let q(r) = -r**2 - 10*r - 2. Let a be q(-9). Which is greater: a or 9?
9
Let s = 0.068 + 4.032. Let u = -12 - -8. Let x = u + s. Which is smaller: x or -0.4?
-0.4
Let d = 5.6 + -6. Suppose -2*u + 7*u = 0. Which is bigger: u or d?
u
Let v = -1.33 + 1.23. Does v = 5?
False
Let n be (-4)/(-14) + 264/(-42). Let a be n/(-88) + (-6)/24. Which is greater: -1 or a?
a
Let p(m) = -5*m**2 - 2*m**2 + 2 - m**3 - 5*m + 1 + 1. Let f be p(-6). Let r(c) = -c**3 + 10*c**2 + c - 11. Let g be r(10). Which is smaller: g or f?
f
Let f = -35 + 49. Which is smaller: f or 0.1?
0.1
Suppose -3*m + m = -5*o + 27, -m - 3*o + 3 = 0. Let y = m + 33/5. Is y < -0.2?
False
Let x be ((-15)/9)/(2/42). Let p be 15/x + (-12)/(-28). Which is greater: p or 2/27?
2/27
Suppose 4*y - 17 = 7. Let q be 2*3/y*1. Which is greater: -2/13 or q?
q
Suppose -2*u - 10 = 3*u. Let w be (-5 - u)*1/(-3). Let v be ((-4)/2)/(-1) + 0. Is v >= w?
True
Let j(l) = 19*l. Let n be j(-1). Which is smaller: -18 or n?
n
Let j(x) = -1 + x**2 + 0 + x + 0*x**2. Let r be j(-1). Let l = 9 + -11. Is l at least as big as r?
False
Let r be -1*2 - 522/(-1455). Let l = r - -4/97. Let x = -27/20 - l. Is x less than 0?
False
Let d = 56 + -24. Let b = 94/3 - d. Let w be 2*2/(-4) + 1. Which is greater: b or w?
w
Let m = -9.93 + -0.07. Let s = 9.9 + m. Is -5 at most as big as s?
True
Let y(a) = -a**3 - a - 3. Let f be y(0). Are f and -12/7 non-equal?
True
Suppose 21 = j + 23. Is j > -3/2?
False
Let d be -13 + 2/1*-1. Let j be (42/d)/(-1) - 3. Which is greater: -1 or j?
j
Let p be -2 - (757/11 - 4/(-22)). Do -71 and p have different values?
False