4 + f. Which is smaller: q or 0?
0
Let k = 123151/18 - 6844. Let v = k + 16/9. Which is bigger: 2 or v?
2
Let k be (-12 - -12) + 2/(-4). Which is smaller: 1 or k?
k
Let x = 26 - 44. Is x at most -19?
False
Let h = 4.5 - 1.5. Is -1 < h?
True
Suppose 2*t - 16 = -2*n, 0 = n + 5*t - 5 - 15. Suppose 2*i + l - 4*l - 11 = 0, l = -3. Let w = 4 + i. Is w less than or equal to n?
True
Let j = -9071/1210 + -2/605. Let g = 7 + j. Suppose 0 = 6*w - 9*w. Which is smaller: w or g?
g
Let s = 25 - 37. Let i = s + 2. Is i greater than or equal to -9?
False
Let l = 362/3 - 118. Is l <= 3?
True
Let i be (140/(-114) - -1) + 0. Let x = -2/19 + i. Suppose 0 = 5*b - 5, -o = b - 3*b + 3. Which is smaller: x or o?
o
Let q = 3.2 - 2.9. Let s = -8 - -7.3. Let a = q - s. Which is smaller: a or 3?
a
Suppose -5*z - 2*s + 15 = 0, 0*z - 5*s = z - 26. Let c be 119/42 - z*3. Is 0 not equal to c?
True
Let l = 13 + -12.96. Let r = l - -1.96. Which is smaller: -0.3 or r?
-0.3
Suppose -28 = -2*s + 4*c, -c = -5*s - 4*c + 5. Suppose 3 - 15 = -s*j. Is j != 2?
True
Suppose 2*k + 4*t + 6 = 0, 4*k - 3*t + 1 = -0. Are k and 2/21 unequal?
True
Suppose 5*j = j + 8. Suppose 2*y - 2*g = -j + 16, 4*y - 29 = 5*g. Suppose -3*x + 3*u + 18 = 0, -4*x + 2*u + 8 = -y. Which is bigger: x or -1?
x
Let l = -20 + 34. Let p = l - 13. Is 3/16 equal to p?
False
Let k = -1.6 - 1.4. Let c = -1.1 - -0.8. Is k at most as big as c?
True
Let m = -18 - -8. Let g be (1/(-2))/((-5)/m). Are g and 2 unequal?
True
Let s = -31 - -63/2. Let v = -0.24 - 27.76. Let w = v - -25. Is s at most w?
False
Suppose m = -0*m + 5. Suppose 7*y + 3 = 4*y, m*g + 4*y - 1 = 0. Is -2/5 less than g?
True
Suppose h - 12 = -2*o, h = -o + 6*h - 5. Suppose -g + o*g = -32. Which is bigger: g or -9?
g
Suppose -3*t + 2*t - 4 = 0. Let g be t/18 + 98/198. Is g greater than -1?
True
Let t = -33.075 + 0.075. Does 1 = t?
False
Let u be 2*((-85)/(-2) + -1). Let a be ((-15)/21)/(6/u). Let x = -61/6 - a. Which is bigger: x or -1?
x
Let l be (-8)/12*(-5 + 2). Suppose -2*i = -i + l. Which is bigger: -3/7 or i?
-3/7
Suppose -2*r = -10, -3*n + 6*n - 22 = -5*r. Which is bigger: n or 1/40?
1/40
Suppose 1 = 4*p - f - 7, 3*f = p + 9. Let c be 1*(-1 + (3 - p)). Which is bigger: c or -2?
c
Let q = -7 - 8. Let b be (-17)/4 + q/20. Does b = -3?
False
Let d = 259/201 + 3/67. Let f = 19 - 17. Do d and f have different values?
True
Let k = 4.9 + 0.1. Let a = 6 - k. Let b = 1 - a. Are b and 0 nonequal?
False
Suppose 0 = -0*r - 2*r + 6. Let u be r/9 - (-22)/(-3). Is u greater than or equal to -8?
True
Let x = -11 - -7. Let l be (x/(-6))/((-14)/(-3)). Suppose 0 = -2*w - 2*v - 6, 5*v + 0 = w - 9. Is w >= l?
False
Let u = -4 - -10. Let s(w) = -w**3 + 7*w**2 - 7*w + 3. Let r be s(u). Which is greater: -21/5 or r?
r
Let u be 1388/20 - 6/(-10). Let j be 1/5 - 74/u. Suppose 0 = d - 2*d - 2. Is j bigger than d?
True
Let i(l) = 3*l**2 + 21*l - 1. Let v be i(-7). Which is smaller: v or -6?
-6
Suppose -2*p + 3*p - 5 = 0. Suppose 0 = -6*h + h - p. Is -3/5 at most as big as h?
False
Let v = 1.5 + -8.5. Let c = v - -7. Which is smaller: -4 or c?
-4
Suppose 2*w - 2*f = -0*w + 4, -3*f = 5*w - 10. Suppose -g - 3 = -w. Which is smaller: 2 or g?
g
Let k be 20/(-30) - 140/6. Is -24 greater than k?
False
Suppose -p = 5*c + 3*p + 16, 0 = -4*c - p - 4. Which is smaller: 19 or c?
c
Let j(x) = x + 2. Let r be j(-8). Let i(t) = t**3 + 5*t**2 - 3*t. Let c be i(r). Let s be 6/c*(0 + 2). Which is smaller: s or -1?
-1
Let o be ((-3)/6)/((-12)/(-16)). Is -29 less than o?
True
Suppose q - m = -4, -5*m + 22 = -5*q + 2*q. Is q at most 2/561?
False
Let i = -0.091 + 1.091. Is -0.029 less than i?
True
Let s be (-7)/((-42)/(-9)) - -1. Which is smaller: 0 or s?
s
Let z be (7/12 + 0)/((-90)/40). Which is bigger: z or -1?
z
Let m be (6/4)/((-7)/14). Let a = -3 - m. Let s = a - 0. Is s bigger than 0.2?
False
Suppose 24 = 4*p + 12. Which is smaller: 12/5 or p?
12/5
Suppose -l - 3*o + 2*o = -2, 5*l = 3*o + 2. Which is bigger: -4/5 or l?
l
Let z be (1 - 0 - 3/6)*2. Which is bigger: z or 2/105?
z
Let g = 68.62 - 83.7. Let x = g - -15. Is x greater than or equal to -1?
True
Let p = 13 - 2. Let k = 12 - p. Which is smaller: 2 or k?
k
Let g be -3 - ((-112)/(-12))/(-4). Is -1 greater than or equal to g?
False
Suppose -5*i - n - n + 19 = 0, 3*i - 17 = -4*n. Suppose 2*y = 5*y + i. Is y at most as big as -1/4?
True
Let h(c) = -6*c. Let o be h(1). Let k(b) = b**2 + 5*b - 3. Let d be k(o). Suppose 4*r = 3*v - 2 + 1, -d*r - 6 = -4*v. Does v = 1?
False
Let g(w) be the first derivative of 4*w**2 + 2*w + 2. Let j(y) = 3*y + 1. Let o(t) = 4*g(t) - 11*j(t). Let z be o(-5). Is 4 at least as big as z?
True
Let q = 126 + -125. Which is smaller: q or -3/61?
-3/61
Let i = -44 + 42. Is -2 < i?
False
Let r(d) = d + 1. Suppose -3*v + 5 = 2. Let s be 1 - (v + -3 + 2). Let t be r(s). Which is bigger: t or 5/3?
t
Let l = 23 - 39. Is 0.1 >= l?
True
Suppose -m - 4 = -4*a, 3*a - 4 + 2 = m. Suppose m*n = n. Let f be (n + -1)/((-14)/2). Does 1 = f?
False
Suppose 4*u - 2*z = 3*z - 27, 5*u + 2*z = -9. Let c(p) = p - 9. Let t be c(6). Is t < u?
False
Let l = -30 + 32. Is l at most 1?
False
Let f = 5.6 + -2.6. Is 3/2 equal to f?
False
Let m(i) = -3*i - 26. Let y be m(-11). Is y smaller than 1/4?
False
Let j be 1/2 + 35/(-110). Is 1 smaller than j?
False
Let n be -1*((2 - 4) + 6). Let x be n/90*15/(-9). Which is smaller: 0 or x?
0
Suppose -319 = -0*j + 11*j. Is j at least as big as -27?
False
Let j = -2.5 - -7.5. Let t = 2 - -1. Let k = j - t. Is k >= 1/4?
True
Let r be 544/(-40) + ((-14)/10 - -2). Suppose a + 6 = -2*y, -4*a + 0*a = -3*y + 57. Which is greater: a or r?
a
Let x = 3 + -2.96. Let v = -3.04 + x. Is v greater than or equal to -1?
False
Suppose -4*q + 6 = -4*i + 2, 10 = 2*q + 2*i. Suppose v + 4*d = 15, 0 = -v + 4*v - 4*d + q. Which is smaller: v or 4?
v
Let p = -0.043 - -40.043. Is 2/3 less than p?
True
Let f be ((-573)/12)/(9/12). Let a = 63 + f. Let i be (-2 + (2 - 0))/(-1). Which is smaller: i or a?
a
Let u = 2.6 + -2.6. Suppose -5*f = -35 + 10. Suppose 2*z = -2*a - 6, 7*a - 6 = 3*a + f*z. Which is greater: u or a?
u
Suppose 0 = -8*v + 7*v + 6. Suppose v*f = 3*f. Which is bigger: f or -3/8?
f
Let o(r) = r**3 + 5*r**2 - 6*r + 3. Let v be o(-6). Let n = 246 - 731/3. Which is smaller: n or v?
n
Let a = -56 + 57. Is 11/5 <= a?
False
Let r be 4/(-10) - (-25047)/(-4895). Let k = 3/178 + r. Is 2/5 < k?
False
Let f(u) be the second derivative of -u**4/24 + u**3/3 + u**2 - 2*u. Let a(r) be the first derivative of f(r). Let i be a(7). Is i at least -4?
False
Let v = 20 - -1. Suppose 2*f - 5*m = -v, -3*m + 2 = -3*f - 7. Is -1 > f?
False
Let f = 12 + -13. Which is greater: -8/3 or f?
f
Let w = 179 + -1255/7. Let d be (-2 - 118/(-58))*-2. Is w at least d?
False
Let n = 1 - 1. Let p be (-8)/(-12) + 0 + n. Is 1 at least p?
True
Let w = 56 - 46. Which is smaller: 1/2 or w?
1/2
Let a = -0.65 - 2.25. Let j = -3 - a. Let y = -0.1 + j. Which is smaller: 3/4 or y?
y
Let n(h) = -7*h**2 + h**2 + 6*h - 2 + 7*h**2. Let a be n(-6). Let o be (-9)/(-2) + (-1)/a. Are o and 5 nonequal?
False
Let v = 24/11 + -731/330. Which is bigger: v or 0?
0
Let k be 2/2 - (-15)/(-12). Which is smaller: 3 or k?
k
Suppose 4*i - i - 4*m = 33, -i = 3*m + 2. Which is greater: 4 or i?
i
Suppose -2*k + 16 = 2*k. Suppose -3*p = -l - 2, -k*p - 5 = l - 3. Let g(i) = -i**3 + 6*i**2 - 2*i + 9. Let j be g(6). Is j less than or equal to l?
True
Let s = -8.17 - -0.17. Let t = s + 8.2. Which is smaller: 2/9 or t?
t
Let u be 0*(2/4 - 0). Suppose k = 6*k - 15. Suppose 5*m + 3 = -2*f, 5*f + 6 = -k*m - 11. Is m greater than u?
True
Let j(r) = r**2 + 9*r. Let m = 21 - 30. Let i be j(m). Is 2 equal to i?
False
Suppose -g = 2*g - 4*x - 15, 4*g - 5*x = 19. Let u be (g/(-1))/(2/(-8)). Let r = 71 + -71.1. Are r and u unequal?
True
Suppose 3*x + 33 + 17 = -2*i, 4*x = i + 3. Which is smaller: i or 1?
i
Let f(i) = 3*i**2 - 8 + 2*i**2 + 2*i + 3 + i**3. Let w be f(-4). Let u be (2/w)/((-2)/3). Which is bigger: u or 3?
3
Suppose 0 = 4*n + 4*o + o + 95, -o + 57 = -3*n. Is n <= 1/2?
True
Let b = 4 - 1. Let w = -2 + -2. Let l be (1*-16)/w*1. Are b and l nonequal?
True
Let j = -9.5 - -10.5. Is 1/2 not equal to j?
True
Let k = 0 - -1. Let v = 38/5 + -484/65. Are v and k non-equal?
True
Let s be 4 - (-2 + 4 + -2)