an d?
False
Suppose -5*h = -4*v - 4*h - 8, 3*v + h + 13 = 0. Let q be ((-6)/(-20))/(v/(-4)). Which is smaller: q or 0.1?
0.1
Suppose 5*h + 28 = 2*m, -5*m - 5 = 3*h - 13. Let t = m - 5. Let o be ((-10)/(-6) - 2)/t. Which is bigger: o or -2/7?
o
Suppose 0 = 2*x - 0*c - 4*c + 12, 3*x = 3*c - 9. Is -2/33 not equal to x?
True
Let b = -1/31 - 83/310. Which is greater: b or -1?
b
Suppose 0 = -6*g + 14*g. Which is bigger: g or 2/285?
2/285
Suppose -5*i + a = 33, -2*i - 18 = a + a. Let f = -11 + 4. Is f bigger than i?
False
Let j(z) = -2*z - 4 + 3 - 3 + 2. Let d be j(-2). Let c = 8 - 7. Is c at most as big as d?
True
Suppose -2*j + j + 0*j = 0. Is j at most as big as 18/25?
True
Let f(a) = -a**2 + a + 35. Let p be f(0). Let z = p - 20. Is z bigger than 15?
False
Let o = 1299/5 - 597/5. Let g = o - 141. Do g and 1 have the same value?
False
Let c(a) = -6*a**3 + a**2. Let k be c(1). Which is smaller: -25/7 or k?
k
Let w be (-28)/36 - (0 - (-1 + 2)). Does 0 = w?
False
Let q(f) = 8*f - 97. Let p be q(12). Which is smaller: -10/29 or p?
p
Let n(k) = -3*k**3 + 11 - 1 + k + k**2 - 10*k**2 + 2*k**3. Suppose -4*g - 18 = -2*g. Let c be n(g). Is c at least as big as 1?
True
Let n = -25 - -25. Is n equal to -0.17?
False
Let w = 0.001 + -2.101. Let g = w + 1.2. Let k = -0.7 - g. Which is greater: k or -2?
k
Let j be (489/(-18))/((-6)/(-8)). Let o = j - -36. Is 0 not equal to o?
True
Let t = -2 + 0. Which is greater: -6/7 or t?
-6/7
Let y = -0.8 - -0.82. Let d = y - -8.98. Which is bigger: d or 1?
d
Suppose 0 = -5*w - 5*s - 30, 4*w + s - 6 = -15. Let i be (6/3)/(w/(-1)). Let q be -2 + 6 + -2 + -1. Which is smaller: q or i?
q
Let a = 7 - -3. Which is smaller: 9 or a?
9
Let f = -10 - -9. Let k be (-82)/(-282) - 3/9. Are k and f unequal?
True
Let c(k) = -k**3 - 7*k**2 - 9*k - 7. Let u be c(-6). Suppose 5*i - 18 = i + q, 3*i - u = 2*q. Let d(h) = -h**2 + 6*h - 6. Let m be d(i). Is -1/8 greater than m?
True
Let q = -61/2 - -31. Suppose 4*u - 7*j = -3*j + 16, -4*u - 12 = 3*j. Suppose u = z + t + 2, -5*t = -3*z - 4*t - 2. Which is greater: q or z?
q
Let m = -1 - 0. Suppose 44*w = 31*w. Is m < w?
True
Let p(c) = -c**3 + 2*c**2 + 2*c + 4. Let i be p(3). Let d = 7 + -13/2. Which is smaller: d or i?
d
Let n = 1305689/285 - 4581. Let y = -263/456 + 13/24. Let l = y - n. Are l and 1 unequal?
True
Let h = 5 + -2. Let n(t) = -t + 7. Let u be n(4). Is u not equal to h?
False
Let m = 54.92 + -55. Is 8 less than or equal to m?
False
Let m = -3 + 7. Let h be (m/8)/((-7)/2). Is h less than 1?
True
Let v(t) = t + 12. Let w be v(-9). Let n be (0 + -7 - w)*1. Is n bigger than -2?
False
Let o = 2 + -4. Let k be (-51)/78 + (-1)/o. Let a be ((-1)/2)/((-1)/(-2)). Which is greater: a or k?
k
Let y = -1 - -1. Let c = 26 + -19. Suppose -2*b + w + 3 + c = y, -5*w = 5*b - 55. Is b less than or equal to 7?
True
Suppose 4*k = -2*c + 10, 3*c + 0*k - 11 = -2*k. Suppose c*v + 3 = 4*g - 2, -5*v = 3*g - 11. Let j be v + -4 - 7*-1. Do j and 4 have different values?
False
Let j = 1020 + -60182/59. Is j smaller than 0?
True
Let k = 23.9 + -25. Which is smaller: k or 1?
k
Let f = -1.007 - -0.007. Do 7 and f have the same value?
False
Let m = 461/3 + -152. Is 2 at most as big as m?
False
Let m be -22*(1 + (-2)/4). Let k = -0.28 - -0.38. Is m <= k?
True
Let v = 712/7 + -104. Which is smaller: -1 or v?
v
Let c(r) = -2*r**3 - 2*r - 1. Let t be c(-1). Suppose 0*o - 3 = t*o. Do 0 and o have the same value?
False
Let x = 17 - 12. Let v be (x/(-15))/(74/(-12)). Is 0 at least as big as v?
False
Let l be (4/(-112)*-18)/3. Which is smaller: l or 1?
l
Let d(y) = -2*y**2 + 2*y + 1. Let k be 0 - (-7)/(28/8). Let p be d(k). Is p at most -2?
True
Let b(s) = 4*s**2 - s. Let g be b(1). Suppose g*v + 0*v - 6 = 0. Suppose 3*p + v = -1. Is p < -4?
False
Suppose -9 = 4*w - 2*f - 39, -5*f - 25 = -5*w. Suppose -3*b - w = -v, -3*v + 5*b + 3 + 15 = 0. Is v not equal to 2?
True
Let z = -0.2 - -0.2. Let y = z - 0.1. Is y > -1?
True
Let x be 18 - 21 - 102/(-2). Which is greater: x or 49?
49
Let f = -44 + 45. Suppose 3*z + 2*z = 2*k + 6, 0 = -5*z + 10. Let v be (f/(-2) + 1)*k. Do 2 and v have the same value?
False
Let p = -1 + 1.4. Let z = 9.4 - 8. Let a = -1.3 + z. Is p greater than or equal to a?
True
Let d = -18 + 23. Is -3 bigger than d?
False
Let t = 72 - 73. Which is smaller: -6/5 or t?
-6/5
Let x be 1 + 2 + (-29912)/(-84). Let q = -359 + x. Which is bigger: q or -1?
q
Suppose 0 = -0*b + 4*b. Suppose -4*z = -b*z. Let w = 194 + -580/3. Which is smaller: z or w?
z
Let b be 28/21*-3 + 4/1. Which is bigger: b or 2/461?
2/461
Suppose -5*f = 4*q - 21, 5*q - 10 = 8*f - 11*f. Which is bigger: 1/160 or q?
1/160
Let i = -6 - 3. Let j be (i/21)/((-6)/(-4)). Is j bigger than -0.2?
False
Let k = 0.21 - 0.21. Are -2 and k nonequal?
True
Let r = -5 + 1. Let u(f) = -f + 3. Let a be u(4). Which is smaller: r or a?
r
Let q be (-2)/6*(-8 + 5). Let x be 3*1 - (-1 + -6). Suppose -o + x = 4*o. Which is greater: q or o?
o
Let t be 99/44*(2 - (-14)/(-6)). Which is greater: t or 0.2?
0.2
Let c be (0 + -2)/(15/(-9)). Which is bigger: 0 or c?
c
Let b = 163/865 + 2/173. Let p(y) be the first derivative of y**3/3 - 3*y**2 + 6*y - 3. Let j be p(5). Which is smaller: b or j?
b
Let q = -2.3 - -3.3. Which is bigger: q or 0.1?
q
Suppose 0 = w - 1 - 0. Let x be w/8 + 1/(-4). Which is smaller: 1/2 or x?
x
Let j be (-4*(-20)/32)/((-1)/(-2)). Is 6 bigger than j?
True
Let v = 3/4 + 3/4. Which is smaller: v or 0.1?
0.1
Let s = 6 - 11. Which is smaller: -4 or s?
s
Let l = 2 + -1.9. Suppose 2*b + 0*r = 3*r + 5, -r = 5*b - 38. Let z = 5 - b. Which is smaller: z or l?
z
Let g = -5 - -5. Let s = g - -3. Which is smaller: 2 or s?
2
Let n = -8 + 6. Let y be (-6)/(-15)*n/4. Let b = 2/91 - -87/182. Is b bigger than y?
True
Let k(s) = 2*s**2 + 4*s + 3. Let g be k(-2). Suppose -l + 4 = -4*p, 28*p + 4*l - 16 = 32*p. Which is smaller: p or g?
p
Suppose w = 4*m + 43, 2*m + 5*w + 16 = -33. Let c be ((m/7)/(-3))/(-2). Is c less than -2?
False
Let i = 114/595 - -1/119. Which is bigger: -1 or i?
i
Suppose 0 = 4*v + 3*d - 8, -2*v - 4*d = 2*v - 12. Is -3/4 at most as big as v?
False
Let f = -0.8 - 0. Let q = f + 0.8. Let d = -4 - -3.7. Which is bigger: q or d?
q
Let x be -6*((-2)/(-8)*2)/(-16). Which is smaller: 1 or x?
x
Let p be 3/(1*(-3)/9). Let w = 17/2 + p. Let m = 0 - 0. Are m and w equal?
False
Suppose -6*w + w = -45. Suppose 9 - 18 = -n. Is w at most as big as n?
True
Suppose -4*k + 4 = -12. Let r be (-15)/(-12)*k/10. Which is bigger: r or 1?
1
Let s = 12 + -30. Is s less than or equal to -20?
False
Suppose 4*i - 8 = 2*l, 3*l + 2*l = -20. Let m(r) = -1 - r + 2*r**3 + 0 - 3*r**3. Let b be m(i). Is -2 not equal to b?
True
Suppose 0 = -k + 3*k - 48. Let h be 10/(-35) - k/(-35). Let z = 6.2 + -6. Is z < h?
True
Let m(d) = 4 - d**2 + 0*d**2 - 2 - 4. Let y be m(0). Let v(h) = h**3 + 6*h**2 + 5*h - 2. Let i be v(-5). Is i less than y?
False
Let z = 5 - 6. Which is bigger: -83 or z?
z
Let g = -18 + 12. Which is smaller: -4 or g?
g
Let l = -0.05 - -0.95. Let a = l + -2. Is 0 <= a?
False
Let h = 75239/76 + -990. Is h at least 1?
False
Let p = 0.054 - -21.946. Let l = p + -21.95. Is l <= -0.1?
False
Let s = 2.5 + -3.5. Which is smaller: -11 or s?
-11
Suppose -21 = -v + 25. Is 142/3 >= v?
True
Let s(r) = r - 1. Let z(n) = -n**2 - 5*n - 1. Let q be z(-4). Let p be s(q). Is 4 at most as big as p?
False
Let j be (-3 - -7) + -2*1. Suppose 2*o = -j*o + 4. Is -2/17 != o?
True
Let r be (-18)/(-189)*(-2)/(-4). Which is smaller: r or 0?
0
Let y be 32/(-8)*-6*(-1)/(-70). Which is smaller: 0 or y?
0
Let s(n) = -n**3 - 12*n**2 - 10*n + 9. Let y be s(-11). Which is bigger: 27 or y?
27
Let n = -32 - -161/5. Suppose 5 = 2*l - 21. Let x = l + -13. Which is smaller: x or n?
x
Suppose -1 = -i + 2*y + 3, 5*y = 3*i - 11. Suppose -7 = -5*w + 4*f, -2*w - i + 4 = -2*f. Is w >= 3/2?
True
Let y be -1 + 1 - 8/((-320)/(-110)). Let j = 8 - 12. Do j and y have different values?
True
Let w = -4 - -4. Let i = -0.24 - 0.26. Which is greater: w or i?
w
Let u(g) = g**3 + 9*g**2 - 11*g - 11. Let d be u(-10). Do d and -15/8 have the same value?
False
Let w = 18.9 - 20.99. Let f = -0.09 - w. Is -2 less than or equal to f?
True
Let u = 21 - 22. Is u greater than or equal to -0.1?
False
Let t(f) = 0 + 0 - 3*f - 8 + 2*f. Let m b