. Let i = 8 + v. Suppose 0 = -5*c + j + 10, -i - 3 = -3*c + j. Which is bigger: -2/7 or c?
c
Let d(n) = n**2 + 4*n - 6. Let t be d(-5). Let q be (9/12)/((-14)/(-8)). Is t >= q?
False
Let b be (380/(-25) + 0)/(-2). Which is smaller: b or 7?
7
Let c = 11 - 15. Do 1 and c have the same value?
False
Let d be -1 - (-4 + 2) - -5. Suppose -h + 5 = -d*h. Let q = -88 + 1850/21. Which is smaller: h or q?
h
Let t(d) = -d**2 - d + 17. Let y be t(0). Suppose -4*c - 3*j - 3 + y = 0, -2*c - 4*j = -2. Suppose -3 = -c*v + 2*p, -4*p + 2 = -2*p. Which is greater: v or 0?
v
Suppose 2*i + 8 = 0, -10 = 2*d + 7*i - 2*i. Suppose d*j - 59 = -9. Let z(n) = -n**2 + 10*n. Let w be z(j). Do 0 and w have different values?
False
Let l(c) = -c**3 + 11*c**2 - 9*c. Let k be l(10). Suppose -k = x - 2. Are x and -8 non-equal?
False
Let r be (3 - 5)*(-6)/(-4). Let o = 5 + r. Which is smaller: 0 or o?
0
Let l be ((-12)/3)/(4/(-6)). Suppose 0 = 2*q - 7 - 3. Let a = 0 + q. Is a at least as big as l?
False
Suppose -3*w + 0*w + 30 = 0. Let o = w - 0. Suppose 0 = -2*n - 2 - o. Which is bigger: -7 or n?
n
Suppose m + m + 14 = -x, -2*m = 4*x + 20. Are m and -5 equal?
False
Let d = 130 - 131. Let w(u) = -u**3 + 7*u**2 + 9*u - 10. Let t be w(8). Is t at most d?
True
Let r(k) = -k**3 - k**2 - k + 14. Let c be r(0). Let p be 4/(-42)*c/(-6). Let v(o) = -o**3 + 3*o**2 - 3*o + 1. Let t be v(2). Is t != p?
True
Let b(y) = y**2 + 9*y - 6. Let j be b(-11). Let t be (-1)/((-2)/j*7). Is 2 smaller than t?
False
Let a be (1 - 2 - 1)/1. Let m = 4 - 5. Let l = m - a. Which is smaller: l or 2?
l
Let z = 1.1 + -1. Let g = 4 + -4.4. Let t = 0.2 + g. Is z not equal to t?
True
Suppose 0 = s + 3*k + 2 + 7, 0 = -3*s - 4*k - 52. Let q be (-4)/(-30)*(-2815)/s. Let g = -63/4 + q. Which is bigger: g or 0?
0
Let p be (-13 + 4)*14/(-12). Is p at least as big as 12?
False
Suppose 0 = -3*o + 2 - 5, 1 = 4*x - o. Let y(t) = t**2 - 7*t - 16. Let c be y(9). Is x != c?
True
Let d = -137/5 + 27. Which is greater: -26 or d?
d
Let g = 4.6 + -5. Let q = g - -0.4. Let t = 0.3 + q. Which is bigger: 1 or t?
1
Suppose -54 = 4*p - 2*x, 0*x + 26 = -2*p + 2*x. Let y = p + 11. Which is bigger: y or -5?
y
Let v = 0.2 + -0.4. Let j = -1 - -0.9. Let r = j - v. Which is greater: r or 0?
r
Let x be 3 - 3/((-204)/(-200)). Which is smaller: 0 or x?
0
Let h = 24.82 + -25. Let c = h - -0.08. Is 4 greater than c?
True
Let x = 0.6 - -0.4. Are 8 and x non-equal?
True
Let x = -19 + 20. Which is greater: 3 or x?
3
Let t be (22/(-4))/((-1)/(-2)). Let n = t - -9. Let i be ((-2)/(-5))/(n/(-10)). Which is smaller: i or 0?
0
Let k = 0.75 - 1.07. Is 0.1 greater than k?
True
Let m = -93/115 + -9/23. Which is bigger: m or -1?
-1
Suppose -5*x + 2*x = 3. Let j be (x + -1 - -1)*0. Let p = 44/15 + -13/5. Are j and p equal?
False
Let s be 2 + ((-15)/(-5) - -3). Which is smaller: s or 6?
6
Suppose -3*l + 2*o + 0*o = 38, 0 = 5*l - 3*o + 64. Is -14 at least l?
True
Let o = 1 + -10. Is 1 equal to o?
False
Suppose n - 25 = -0*n - x, 4*x = -2*n + 40. Which is greater: 31 or n?
31
Let l = 840 + -14271/17. Which is greater: l or 2?
2
Suppose 5 + 6 = -11*l. Which is smaller: 1/26 or l?
l
Let z = -2 - -1. Let a = 17 - 35/2. Which is smaller: a or z?
z
Suppose -4*j = -j - 15. Does j = 5?
True
Let w be 3 + 0 - (0 + -1). Which is bigger: w or 1?
w
Let r = -11 - -6. Which is smaller: -18/5 or r?
r
Let p(x) = -5*x - 5. Let k(c) = -14*c - 16. Let y(v) = -4*k(v) + 11*p(v). Let d be y(-8). Which is greater: 3 or d?
3
Suppose 2*y - 6*y = -5*j + 17, 4*y - 3*j = -7. Let b be y/6 + 0/3. Which is smaller: -1 or b?
-1
Let j be (-9)/30*(-123)/(-90). Let s = j - -4/25. Let l = -1 - -2. Is l less than s?
False
Let r = -47 + 51. Is 0.1 > r?
False
Suppose j - 4*j = 3. Let r = 167 + -2503/15. Which is smaller: r or j?
j
Let w = -21.7 + 20. Which is bigger: -1/4 or w?
-1/4
Let c be 0 + 2/(-2 + 1). Let j = 3 + c. Suppose 2*o + j = -1. Is o != -1?
False
Suppose -2*l + 18 = l - 3*q, 5*q - 6 = l. Suppose 2*z + 3*c = l - 0, 5*c - 15 = -4*z. Is 1 >= z?
True
Let o = -0.7 - -0.8. Is o smaller than -11?
False
Suppose 4*p = 3*p + 6. Which is bigger: p or 3?
p
Let t = 0 + -0.1. Let d(z) = z**2 + 2*z + 2. Let m be d(-2). Let r be -2 - (-2 - -1)*m. Which is smaller: r or t?
t
Suppose 4*n - 6*g + g + 56 = 0, -4*n + 4*g - 52 = 0. Is n > -8?
False
Let x = -36 - -21. Let s = -9 - x. Which is smaller: -0.1 or s?
-0.1
Let o(t) = t**3 + 2*t**2 + t - 5. Let d(p) = -p**3 + p + 1. Let c(a) = 2*d(a) + o(a). Let z be c(3). Which is greater: z or -5?
z
Let b = 12 - 11.93. Let d = -0.23 - b. Is d smaller than -0.1?
True
Let m be 2/5 - 48/(-5). Let s = 6 - m. Suppose -16 = -0*r + 4*r. Is s bigger than r?
False
Suppose 2*f = 5*q + 12, -3*f + 5*q + 5 = -3. Let d be 31/(-2) + 15/10 - -2. Let z be (f/6)/((-8)/d). Is z not equal to 0?
True
Suppose 3*u + 4 = 10. Is u less than or equal to 3/4?
False
Suppose 0 = -6*w + w + 10. Let y = 195 + -192. Is y >= w?
True
Let o = 122 + -147. Which is bigger: o or -26?
o
Let u = -119 + 174. Let w = 272/5 - u. Which is smaller: w or -1?
-1
Let r be (-6)/2*(-582)/10. Suppose 2*s - 107 = 241. Let k = s - r. Which is smaller: k or -2/11?
k
Let x(w) = 7*w**2 - 4 - 1 + 2*w + w**3 + 3*w. Let f be x(-6). Which is bigger: 2 or f?
2
Let j = 2 + -5. Let z = j - 0. Is -3 bigger than z?
False
Let g be 8/(-45) - (-2)/5. Let d = -1 - -4. Suppose -d*p + 1 = -2. Which is bigger: p or g?
p
Let j be 2/1 - (-202)/(-100). Which is smaller: j or -1?
-1
Let t(g) = 8*g + 7. Let s be 11/2 + (-4)/(-8). Let x be t(s). Let r be (-10)/x - (-126)/88. Do 1 and r have different values?
True
Let k = -0.4 - -0.4. Let d be (-2)/8 - (-8)/16. Is d less than or equal to k?
False
Let x be 3/(((-3)/4)/1). Let f = x - -7. Suppose -2*p = f*p. Which is greater: -2/5 or p?
p
Suppose 5 = -4*w + 5*w. Suppose w*d - 10*d = 5. Are 0 and d nonequal?
True
Let w = 0.07 - 0.06. Let c = 4.01 - w. Is c bigger than -1?
True
Let m be 2*1/(2 - 6/2). Which is smaller: 0.06 or m?
m
Let a = -3 + 7. Suppose -a*j + 5 = j. Let l be ((-4)/(-2))/(-8)*j. Which is bigger: l or 0.1?
0.1
Let f = -0.7 + 0.6. Is f not equal to 7?
True
Let y be ((-8)/((-24)/6))/(2*-1). Let x = -50 - -251/5. Does x = y?
False
Let o(l) = -2*l**2 - 19*l + 11. Let k be o(-10). Which is greater: -2 or k?
k
Suppose -2 + 6 = -4*k. Let b be (-1)/k + -4 + 2. Are 1/4 and b non-equal?
True
Let c be (-243)/7 - (-6)/(-21). Let n = 2/777 + -137539/3885. Let r = n - c. Which is bigger: r or -0.2?
-0.2
Let v be (-4 - (-123)/15)/((-1)/10). Is v less than or equal to -42?
True
Let s = 0.4 + -0.7. Let q = 20 - 18. Which is smaller: s or q?
s
Suppose 0 = 2*u - 18 + 50. Are u and -29/2 equal?
False
Let l be (1 - (-3)/3)/2. Let w be (l/24)/(2/(-4)). Which is bigger: w or 1?
1
Suppose l = -3*l + 36. Suppose -4*s - 4*i + 7 = -l, 5*s - 4*i = -25. Which is greater: s or -2/3?
-2/3
Let y = 54 + -53. Which is greater: y or 9?
9
Let t(g) = -g**2 - 10*g - 11. Let j be t(-8). Is j less than 3?
False
Let l = -84 - -50. Let y = 17 - 13. Let p be (1 - y) + l/(-12). Which is smaller: p or 0?
p
Let b = 6 - 6.01. Let f = -0.01 - b. Are -2/9 and f unequal?
True
Let w = -9 + 16. Let i = 7.6 - w. Let s = 0.4 - i. Which is bigger: -3 or s?
s
Let a = 6.3 + -6. Let g = a - 0.2. Let z = 1.9 + g. Is z at most 0.1?
False
Let o = -1.2 - -1.2. Let l = 0 + o. Does -0.09 = l?
False
Let v be ((-2)/6)/(2/30). Let q be 5*(2/v + 0). Is q at least as big as -2?
True
Let w be (-32)/5 + (6/(-10) - 0). Is w greater than or equal to -13?
True
Let z(v) = v - 1. Let s be z(2). Let k be (3 + -7 + -1)/s. Is -6 less than k?
True
Let u = 2 - 2. Let g = 1 - -1. Suppose 4*p = -g*s + 6*s + 12, 5*p = 2*s + 12. Is p less than or equal to u?
False
Suppose -1 = 4*q + 7. Let a = 2 + 2. Which is smaller: a or q?
q
Suppose -3*t = 2*t + 4*r + 2, t = -r - 1. Let p be 6*(-1)/t*1. Is -2 smaller than p?
False
Let s = -33 - -32.9. Is 2/23 at most s?
False
Suppose 3*c = 19 + 14. Let o = -8 + c. Let f(v) = -v**3 - 5*v**2 - 2*v - 6. Let i be f(-5). Which is bigger: i or o?
i
Suppose 3 = w + 2. Suppose 4*v + 5*c = 2*c - 148, 5*v = 2*c - 208. Let n be (v/(-12) + -2)/(-3). Is w bigger than n?
True
Let w = 0.19 - 2.19. Let m = 0.2 + -0.3. Are m and w unequal?
True
Let d = -0.06 + 0.06. Let i = 0.1 - d. Are i and -3 unequal?
True
Suppose 0 = 4*s + 14 + 14. 