. Which is bigger: w or 7?
7
Let a = -0.1 - 6.9. Let r = 10 + a. Let i = 3 - r. Which is bigger: -1/3 or i?
i
Let h = 0.144 - -5.776. Let m = h - 6. Let k = m + 1.08. Is 0.06 <= k?
True
Suppose -5 + 12 = -7*x. Is x smaller than -3/59?
True
Let p = -31 - -23. Which is bigger: p or -6?
-6
Let s = -205 - -114. Let j = s + 545/6. Is j greater than -1?
True
Let c be (-3)/6 + (-15)/(-6). Let v(l) = -l**2 + 4*l + 1. Let n be v(3). Suppose -n = 4*p - c*p. Which is smaller: -3/5 or p?
p
Suppose j = 7*j - 2*j. Suppose 2*f + 3*g = 0, -2*g = -3*f + 6*f. Is f at least j?
True
Let w be 2/4*2*4. Suppose -19 = w*t - 7. Are t and -4 equal?
False
Suppose -3 = 2*q - 19. Suppose -3*m - 3*t - 2*t = -5, t = -2*m + q. Suppose -5*x - v + 0 = -7, m*v = -15. Is 1 >= x?
False
Let o = 6 - -5. Let g(s) = s + 6. Let n be g(5). Is n bigger than o?
False
Let d = -64 + 322/5. Is d at least as big as 0?
True
Suppose 2*n = q - 0 + 2, -10 = 5*q. Suppose -o - 4 = -3. Which is smaller: o or n?
o
Suppose 9 = -h + 3*z - 5, -5*h + 4*z - 15 = 0. Let d = 0 - 0. Is h at most as big as d?
False
Let f = 0.06 + -0.46. Let h = -0.4 - f. Suppose -t - 5*g = 22, -2*t + 2*g + g = -8. Is t at least as big as h?
False
Let k = 4108/15 - 274. Let j(m) = m**3 + 9*m**2 + 7*m - 7. Suppose 29 = -4*z - 3. Let o be j(z). Is o greater than or equal to k?
True
Suppose 4*a + 3*z - 2 = 3, -4*z = 2*a + 10. Suppose 0 = 3*r - a*q + 34, 4*r + 17 = q - 0. Is r less than or equal to -4?
False
Suppose 3*u = 3*t + 15, 0 = 3*t - 5*t + 5*u - 25. Let j = -331/252 - -1/36. Which is smaller: t or j?
j
Let g(k) = -k + 1. Let s be g(-2). Is s < 6?
True
Suppose 3*u = 3*y + 12, 2*u = 3 - 5. Let h be (-26)/(-10) - 2/y. Let p = 0 - h. Which is greater: -2 or p?
-2
Suppose -3*k = 2*k. Let h be (25/4)/(-5)*4. Let l = 5 + h. Is l at most k?
True
Let u(l) = 3*l + 6. Let p be u(-4). Let g(w) = 6*w**2 + 6*w - 6. Let k(n) = n**2 - 1. Let v(h) = g(h) - 5*k(h). Let r be v(p). Is r less than or equal to 1/7?
True
Let a = 51 - 52. Let q = 3 - 3.2. Is q at most a?
False
Let o = -44 + 45. Which is smaller: 4/29 or o?
4/29
Let k be (1 - (-9)/(-6))/(5/2). Do k and -1 have the same value?
False
Let i = 37/2 - 18. Suppose r - 4*r - m + 18 = 0, 5*r = -2*m + 31. Let d(t) = t - 5. Let h be d(r). Do i and h have the same value?
False
Let z = -8 - -9. Let m be (-12)/5*z - -2. Which is smaller: m or 0.3?
m
Let f = -5/129 - -22/1677. Are 1 and f non-equal?
True
Let u(k) = -2*k. Let g be u(-1). Is 16/7 at least as big as g?
True
Let y(b) = b**3 - 7*b**2 - 3*b + 3. Suppose 4*r + 0*r = -4*j + 28, -3*r = 0. Let c be y(j). Let w be (-6)/c*3/1. Are -1/3 and w nonequal?
True
Let q(y) = -y**3 - 6*y**2 + 6*y + 9. Let h be q(-7). Is h greater than 16?
False
Suppose 3*r - 18 = -5*a, r - 1 = -5*a + 5. Is r greater than 8?
False
Let s be (2 + 1 - 1)*-1. Let c be (0/((-2)/s))/1. Let h be c + (0 + 1)*1. Which is smaller: h or -3/8?
-3/8
Let t be (6 - 2)*3/(-2). Suppose -5*j - 11 = -o, 4*o - 8 = -3*j + 5*j. Let p be (1/2)/(o/(-10)). Are p and t equal?
False
Let i(z) = 0 + 4*z + z**3 + z - 3 - 2*z - 3*z**2. Let y be i(2). Which is greater: y or -1/4?
-1/4
Let y = 8 - 2. Let l = -10 + y. Let d = -3 - l. Is d at most 2?
True
Let h = 1 - -1. Suppose 4*k + 16 = 2*k. Let t be ((-1)/(-2))/((-6)/k). Is h >= t?
True
Let l = -1322 + -2008. Let s = l + 129881/39. Let m = s + -8/13. Which is smaller: 2 or m?
m
Let n = 2 + 0. Which is greater: n or 1?
n
Let r be 1 + (-2 - 0 - -1). Suppose -2*n = -r*n - 4. Let s = 39 + -75/2. Which is smaller: s or n?
s
Let g be 1 + 2/(-4) - (-1673)/(-3318). Are -1 and g non-equal?
True
Suppose 3*d = -5*f + 16, -2*d - 3*d = 2*f - 14. Is d bigger than 18/7?
False
Let f be (-9)/(-120)*1*4. Suppose 0 = 5*c - 32 + 7. Suppose -4*o - 2*d = -14, c*o + 5*d - 29 = o. Is o greater than f?
True
Let d = -0.085 + 9.985. Let y = d - 10. Which is bigger: 9 or y?
9
Suppose 4*y = 2*m, -2*m = -2*y - 6*m. Let l be 1/(-3)*-3*y. Suppose -4*w = -l*w + 4. Which is bigger: w or 1/6?
1/6
Let f = -18 + 20. Suppose 6 = -5*o - 4. Let p be o/12*4*-2. Which is smaller: f or p?
p
Suppose -5*v + 4*i + 21 = 0, -3*v + 3*i + 15 + 0 = 0. Suppose 2*w + 2*w + 5*h + 9 = 0, 5*w + v = 4*h. Which is smaller: -2 or w?
-2
Let w = -224 + 941/4. Are w and 10 equal?
False
Let p be (-4)/(-14)*(-98)/(-56). Are 6 and p equal?
False
Let s be 207/4 - 3/(-12). Let y = s + -467/9. Which is greater: 1 or y?
1
Let m = -19.15 - -19. Let i = 0.1 + m. Do 2/7 and i have the same value?
False
Let v be (-1 + 0/(-2))*2. Let l be v - -1 - (-10)/6. Which is bigger: 0.3 or l?
l
Let y = 6 - 4. Let k be (-80)/198 - 14/(-77). Is y at least as big as k?
True
Let g = 6 + -3. Suppose 3*k + 2*r + 15 = g*r, 5*k + 3*r = -11. Is k smaller than -4?
False
Suppose 6*l - 11 = 13. Is l not equal to 4?
False
Let m = 606/11 - 55. Suppose 5*z + 3 = 3. Which is smaller: z or m?
z
Let a(l) = l**3 - 5*l**2 - 2*l + 4. Let x be 2 - -9 - 0 - 1. Suppose 3*m - 4*d = d + x, d + 24 = 5*m. Let i be a(m). Which is smaller: -5 or i?
i
Let h = 1 + -1/3. Are h and -1/4 nonequal?
True
Let r be 4 + -1 + 15 + -7. Are r and 4 non-equal?
True
Let w(c) = c**2 + c + 1. Let a be w(-5). Suppose 3*h - 4*t - 38 = -15, 4*t = h - a. Which is bigger: h or 2/3?
h
Suppose -14*i + 55 = -9*i. Is i != 10?
True
Let j be 2*(-7)/((-21)/9). Which is greater: j or 8?
8
Suppose 2*y = 7 - 1. Suppose -5*j - f = -0*j + 9, 0 = y*j - 4*f - 13. Let i = j - -1. Which is bigger: 3/5 or i?
3/5
Let v be 2/(-10) + (-1408)/(-40). Is 1 less than or equal to v?
True
Let i be (-10)/(-1) - (0 - -3). Which is bigger: 9 or i?
9
Suppose -3*x = -0*x + 6. Let u be (-4)/x - (6 + -4). Let y be (-27)/(-15) + (-4)/10. Which is smaller: u or y?
u
Let u = -2/3 - -2. Let w(n) = n**2 + 9*n + 9. Suppose -2*d - 16 = -0*d. Let i be w(d). Is u bigger than i?
True
Let i be -2 - (-2)/(4/10). Let w be (9/(-6))/(i/(-16)). Let s = -7 + w. Which is smaller: 0 or s?
0
Let h = 187 + -187.04. Let o = 0.2 - 0.1. Are o and h unequal?
True
Let t = -6 + 0. Let n(f) = -f**2 - 4*f + 3. Let s be n(t). Is s > -10?
True
Let y = 20 + -16. Is -2/7 != y?
True
Suppose 5*j + 45 = -5*r, 4*j - 3*r = -4*r - 33. Suppose -4*z - 40 = z. Is j bigger than z?
False
Let c(z) = -14 + 5 + z**2 + 5*z + 0*z**2. Let b be c(-7). Which is bigger: 6 or b?
6
Suppose 3*w = 5 + 4. Suppose 0 = f + w*f. Is -1 equal to f?
False
Let f = -13 + 9. Let q = f + 3. Let a = 2 + q. Is 1/4 at most as big as a?
True
Let m = -55 + 23. Let p be ((-15)/(-4))/((-8)/m). Suppose 3*x - 7 = y, 5*y + 0*x + p = 5*x. Which is smaller: 0 or y?
y
Suppose -2*i + y + 8 = 0, 2*i + 2*y = -2*i. Let r be (i/(-6))/((-1)/(-6)). Let j = -2.3 + -0.7. Which is bigger: j or r?
r
Let i be 8/(-6) - 1/(-3). Let o(j) = -3*j**2 + 1 + 4*j**2 - 2 + 6*j. Let v be o(-6). Is v <= i?
True
Let a = 92.06 + -92. Do a and 0.4 have the same value?
False
Let v = -23 - -21.7. Let x = v + 0.3. Is x at least -3?
True
Suppose -3*q = 2*q - 4*w + 21, 0 = -3*q + 5*w - 10. Is q < -7?
False
Let t be 1/(-1 - (3 - 3)). Let a be (-24)/(-9)*t/6. Which is smaller: 0 or a?
a
Let l be 60/(-3500) + (-2)/14. Which is bigger: l or 1?
1
Let n = 5.2 + -6. Let m = 5.5 + -1.7. Let f = n + m. Is 1 <= f?
True
Let l = -29 - -10. Which is smaller: l or 0.1?
l
Let y = 0.2 + -0.1. Is -2/7 at most as big as y?
True
Let n = 13.07 + -13. Let t = -0.03 - n. Which is smaller: -5 or t?
-5
Let b be (-8)/6 + -1 + 2. Which is greater: -1 or b?
b
Suppose -3*v + 28 = 2*v + 4*b, -10 = -2*v - 2*b. Is v smaller than 8?
False
Let q = -10 + 4. Which is smaller: -4 or q?
q
Let v be (-12 - -9)*44/6. Let a = v - -13. Is a smaller than -8?
True
Suppose 3*d + 5*h + 4 = 0, 12 = -2*d - 3*d - 3*h. Are d and -9 unequal?
True
Let b = 5 - 2. Suppose 2*f + 2 = b*f. Suppose k + 1 = f. Which is greater: -1/5 or k?
k
Let i = -6 + 7. Let j = -1 + i. Is 0.4 less than j?
False
Let n be -1*(2 - (-1 + 1)). Let d be (-7)/3 - n/6. Is d less than -2/3?
True
Let z = 70 - 99. Is -29 less than or equal to z?
True
Let f(q) = -q**2 - 26*q - 11. Let j be f(-26). Which is smaller: j or -4?
j
Let d = 1 - 1. Let c(i) = 5*i**2 - 3*i - 8. Let l be c(-11). Let z be (-4)/(-30) + 456/l. Is d < z?
True
Let z be -2 - (-9)/(9/2). Let t = -1/64 + -123/320. Which is smaller: z or t?
t
Let w be (6/9)/(-4 - -8). Which is smaller: 3/7 or w?
w
Let s be 1/(-1 - (-6)/4). Suppose -j +