4?
-0.4
Let r = 7 - 7.2. Is -2/9 at most r?
True
Let s(g) = -g - 6. Let u be s(-7). Suppose 2 + 1 = -3*z. Which is smaller: u or z?
z
Let u = -0.1 + -0.9. Let l = -0.9 - 0.6. Let w = l + -0.5. Which is greater: w or u?
u
Let y be -3 + 2 + 2*24/50. Is y > 1?
False
Let m = 791/5 + -159. Let s = 18 + -23. Let b(v) = v + 4. Let l be b(s). Which is bigger: m or l?
m
Let h be ((-3)/80)/(90/(-75)). Are 0 and h unequal?
True
Let k be (-2 - 0)*(-2)/(-10). Which is smaller: k or 0?
k
Let o be 5 - (3 - 1 - 1). Let x be (0 - 6/21)*o. Are 0 and x equal?
False
Let l = 25167581/156 + -161330. Let b = l + 4/39. Suppose -34*o = -32*o. Is o at most as big as b?
True
Let i = -0.3 - -0.2. Let a = 23 - 13. Let o = 7 - a. Is o > i?
False
Let s = -125/156 - -2/39. Suppose 4*l = -0*l. Suppose 1 + l = -t. Is s at most as big as t?
False
Let n = 6 + 3. Let z(q) = -q**3 - 6*q**2 + 8*q + 10. Let m be z(-7). Let y be m*(21/n + -2). Which is greater: 0.1 or y?
y
Let w = -13 + 11. Which is greater: 0 or w?
0
Let y = 8.28 - 0.28. Let f = -7.8 + y. Which is smaller: f or -0.05?
-0.05
Let y = -254/7 + 36. Suppose -7 = 4*w + 1. Let u = w + 3. Is y <= u?
True
Let n(v) = v + 3. Let a be n(-5). Let u be 2/((-3)/(-2) + a). Let s be 0/(-1) + u/(-1). Is s at most 4?
True
Let u(t) = t - 10. Let s(h) = 1. Let q(x) = 6*s(x) - u(x). Let z be q(0). Let k be z/(-156)*3/2. Which is smaller: k or -1?
-1
Let q = 6512/23 + -492359/1748. Let n = 4/19 - q. Which is smaller: n or 0.2?
n
Let n(x) be the second derivative of x**3/6 + x**2 + 8*x. Let h be n(5). Is -0.1 less than or equal to h?
True
Let s = -1 + 0.8. Let n = 2 - s. Let v = -1.5 + n. Which is bigger: v or 2/3?
v
Let h(w) = w**3 + 2*w**2 + w. Let k be h(-2). Let q be ((-3)/(-2))/(3/4). Suppose 2 = -4*v - q. Which is bigger: v or k?
v
Let b(d) = d**2 + 2*d - 3. Let u be b(-3). Suppose 5*m - 15 = 0, n = -4*m + 11 + 1. Are n and u equal?
True
Let o = 0.9 + -1.28. Let l = o - 0.02. Let w = l - -0.4. Which is smaller: w or 0.1?
w
Let n = -2477/11 + 225. Do 2/17 and n have different values?
True
Let h = -19 + 20.9. Let q = -2 + h. Which is bigger: q or -2/5?
q
Let f = -36 + 26. Let x = -8 - f. Which is bigger: 4 or x?
4
Let m be (-9 - -11)/((-2)/6). Let j = m + 2. Which is greater: -2 or j?
-2
Let m(p) = -p**2 + 3*p + 5. Let k be m(4). Let j = k - 0. Let n be 3*j/(-9)*-3. Which is smaller: n or -2/7?
-2/7
Let i = -143/16 - -9. Which is bigger: i or 1?
1
Let g(q) = q**3 + 18*q**2 + 15*q - 19. Let b be g(-17). Let p = 14 - b. Which is bigger: -2 or p?
p
Let k(p) = -p - 9. Let a be k(-10). Suppose 13 = 2*w + 3*x, 2*x = -4 + 10. Is a bigger than w?
False
Let d be (-4)/6 - 24/(-9). Suppose 16 = 2*c + 3*p - d*p, 40 = 5*c + 3*p. Is 8 greater than c?
False
Let j(c) = -c**3 - 5*c**2 + 5*c - 5. Let g be j(-6). Which is smaller: g or 2/7?
2/7
Let g(m) = m - 6. Let w(x) = -x**2 + 8*x - 6. Let s be w(6). Let k be g(s). Suppose y + 3*y = -8. Is k at most as big as y?
False
Let s be (-4)/26 + 4/26. Suppose s = -t - 0 + 2. Which is smaller: 1 or t?
1
Let s(t) = -t**3 - 2*t**2 + 3*t. Let a be s(-3). Suppose a*q = 4*q. Let n be (2 - q) + 1/(-2). Are 1 and n non-equal?
True
Let r(h) = h + 3. Suppose 0 = t + 4*a - 2*a + 14, 2*a - 10 = 5*t. Let u be r(t). Is u less than 3/10?
True
Let l be (1*(-12)/(-6))/(35/(-2)). Is 1 <= l?
False
Let y = -17/4 - -3. Let n be (-8)/24 + (-4)/6. Which is smaller: n or y?
y
Let g = 12.8 + -13.86. Let d = g + 0.06. Is d equal to 1/3?
False
Let i be 6/(-10) + (-1)/(-5). Suppose -16 = g + p - 6*p, -g = p - 2. Which is bigger: i or g?
i
Let q(h) = -2*h - 6. Let o be q(-3). Is o greater than -4/3?
True
Let r = 15 + -11. Let v = r - 6. Which is smaller: -4 or v?
-4
Let q be -1 + (12 - -2)*4/4. Which is smaller: 12 or q?
12
Suppose -4*b = -2*b - 24. Let a be 1*(-3)/b*-4. Which is greater: a or 3?
3
Let w = -23 + 21. Do -11/7 and w have different values?
True
Let b = 306/133 + -60/19. Suppose 5 = -3*h - 4, -3*x - 9 = 3*h. Which is smaller: b or x?
b
Let i be -5*(3 + (1 - 6)). Is 9 equal to i?
False
Let z be ((-30)/3)/5 + -1. Which is bigger: 4 or z?
4
Suppose 0 = -3*r - 6, 0 = p + r + r + 4. Let n be (-2)/(-7) - (-440)/(-1295). Which is smaller: p or n?
n
Let q be (-1 + 3)*-1*1. Let b(f) = -4*f - 2. Let c be b(q). Is c smaller than 2?
False
Let l = -1 + 3. Let o = l + -8. Let p be ((-2)/(-4))/(3/o). Which is smaller: -2/13 or p?
p
Suppose -5*r + 0*d + 10 = -d, -18 = 2*r + 4*d. Are r and 1 equal?
True
Let o = 86 - 78. Is 9 at least o?
True
Suppose z = 2*z. Let p be 1/(-1)*z/(-2). Suppose p = -3*s - 2 - 7. Is -4 less than s?
True
Let c = -2/137 - 667/1233. Which is smaller: 0 or c?
c
Let r = 673 - 479. Let b = -2132/11 + r. Is b at least 0?
True
Let k = -109 - -156. Let g = 145/3 - k. Let v = 5 + -3. Is v < g?
False
Suppose -j + 23 = -m, j + 5*m - 109 = -2*j. Suppose -f = 4*f - 4*l - j, -2*f + 2 = 3*l. Which is bigger: 3 or f?
f
Let c = 0.7 - 0.8. Is c bigger than -3?
True
Let k = 20.7 - 21. Which is greater: k or 0.4?
0.4
Let g(x) = x + 1. Let y be g(4). Let q(a) = 5*a - 9. Let d be q(6). Let s = d - 18. Is s at most y?
True
Let m be 3 + (-4)/(-5) + -3. Are -2/5 and m nonequal?
True
Let g be (-501)/990 - 5/(-10). Let n = g - 323/1155. Is -1 at least as big as n?
False
Let o be 8/10*(-10)/(-4). Which is smaller: o or 9/7?
9/7
Suppose 0 = 10*n + 2480 - 830. Which is bigger: -164 or n?
-164
Let a be 4/(12/(-9))*-1. Let x be (a + -3)*(-2)/(-2). Let l be (2 + (-4)/3)/((-40)/24). Which is bigger: l or x?
x
Let y be 20*(6/4 + -2). Let w = y + 3. Is -7 bigger than w?
False
Suppose 4*x = 4*p - p + 17, -4*p - 2*x = 52. Let d(h) = 6*h + 41. Let g be d(-7). Is g less than p?
False
Suppose -15 = -n - 3*f + 1, 18 = n + 5*f. Is n greater than or equal to 14?
False
Let v = 2 + -8. Let u = v + 11. Which is bigger: u or 1/3?
u
Let n(f) = 4*f - 29. Let p be n(7). Are p and -6 non-equal?
True
Let k(w) = w**2 - 2. Let u be k(-2). Let v(g) = -u*g + 3 + g - 4 + 0*g. Let n be v(-2). Is n >= 1/4?
True
Suppose -9*s - 7 = -2*s. Which is smaller: s or -4/63?
s
Let c = 0.2 - 0.4. Let i = -0.3 - c. Let d = 8 + -5. Which is smaller: i or d?
i
Let b(n) = n**3 + 1. Suppose -2*y + 6 = 2. Let x(s) = 3*s**3 - 4*s**2 - 2*s + 7. Let u(m) = y*b(m) - x(m). Let j be u(4). Which is smaller: 4 or j?
j
Suppose -3*s = -2*s + 1. Let u = s + 4/5. Do -1 and u have different values?
True
Let w be (2 + -1)*44/11. Suppose 2*y = 2*u - 2, -3*u - 3*y = -w*y + 3. Which is smaller: -7/5 or u?
u
Let l be (-31 + -3 - -3)*(-2)/(-6). Is -9 bigger than l?
True
Let a(n) be the third derivative of -n**6/120 + n**5/30 + n**2. Let l be a(1). Are 1/15 and l unequal?
True
Let k be 1 + 20/(-14)*28/(-4). Is 0 < k?
True
Suppose -8*o = -3*o. Let u(t) = -6*t**2. Let n be u(-1). Let b be (-4)/(-6)*n/(-4). Which is bigger: o or b?
b
Let f = -34 + 29. Suppose y + 3*y + 36 = -4*i, 3*y + 5*i = -35. Is y > f?
False
Let d = 3 + 0. Let q = -3 + d. Is q at least -1/4?
True
Let h be 2 + (-20)/11 + (-105)/154. Is 0.12 smaller than h?
False
Let h = -2 + 5. Suppose -3*i - 6 = 3*i. Let o be (-1)/((-1)/(-3)*i). Is h != o?
False
Let n = -3601/11 - -327. Is 1/3 > n?
True
Let r(q) = 2*q**3 + 3*q**2 + q + 2. Let i be r(-2). Let o = -2 - 2. Is o equal to i?
True
Suppose -2*z + 6 = -2*i - 0*z, -2*z = -4*i - 6. Suppose i = k + 2*k. Suppose k*u = -5*u. Which is greater: u or -2/17?
u
Suppose -i + 0*i + 12 = 0. Suppose 12 = -i*n + 16*n. Suppose -7 = 4*m - 3*h - 34, -5*m + 40 = -5*h. Is m greater than n?
False
Suppose -2*t - 5*j + 4*j - 2 = 0, 4*t = j + 8. Are 4/3 and t nonequal?
True
Let s be (2/(-14))/((-3)/6) - 0. Which is greater: s or 0.2?
s
Let p = -9 + 10.1. Let u = -2.1 + p. Is 5 at least as big as u?
True
Suppose -3*d = 28 - 4. Suppose -36 + 15 = 3*c. Which is greater: c or d?
c
Let s(w) = -3*w**2 + 13*w - 4. Let d be s(2). Suppose 0 = -3*y + 3*i + 27, -y + 5*i = i - 6. Is d at most as big as y?
True
Suppose y - 6*y = 3*r + 31, 0 = 5*y + 25. Let g be ((0/r)/(-3))/3. Which is bigger: -3/7 or g?
g
Let z = 4.91 - -0.09. Do 0 and z have the same value?
False
Suppose 3*y + 3 = -3*x + 6, -5*x = 3*y - 9. Suppose -2*c = c - 9. Let k be (-4)/(-6) + (-8)/c. Is y less than k?
False
Let a = 2.3 + -2.8. Is 1 not equal to a?
True
Let a(r) = -3*r + 17. Let f = -1 - -6. Let p be a(f). Is p equal to 11/4?
False
Let h = 45 - 64. Let n = 1