4?
False
Let h = 2 + 1. Let t = -4.1 - 0.9. Let c = t + h. Which is bigger: 2/9 or c?
2/9
Let n be (-36)/10 - (-2)/(-5). Let f be 6/n + 3/6. Let h = -4/3 - -5/6. Which is smaller: f or h?
f
Let w be 1/3*12/(-8). Let o = -9 + 15. Let y = o + -5. Which is greater: y or w?
y
Suppose 0 = -0*z + 4*z. Suppose z*u + 6 = 2*d - u, -3*u = 5*d + 7. Are 0.1 and d equal?
False
Let l be (-8 - -1)/(2 + -1). Let g be (-1 + (-78)/(-42))*(-8 - -1). Which is smaller: l or g?
l
Let p(g) = 4*g + 78. Let u be p(-21). Is -9 less than u?
True
Suppose 2*i + 26 + 26 = 0. Let j = -25 - i. Which is smaller: -7/4 or j?
-7/4
Let x = 587/123 - 18/41. Which is greater: x or 5?
5
Let t = 2264/155471 + 6/1453. Is 0 equal to t?
False
Let n = 19 + -14. Suppose -4*i + z + 3*z = -4, -5*i + n = 2*z. Which is smaller: 2 or i?
i
Let n(f) = -f**2 + 2*f - 2. Let c be n(3). Which is smaller: c or -6?
-6
Let d(w) = 2*w + 1. Suppose 0*n - 4*n - 4 = 0. Let m be d(n). Let s be 6/10 - 42/120. Which is greater: m or s?
s
Let g = 207/4 - 52. Let n = -8 + 11. Let l be -1 - n*2/(-9). Which is smaller: g or l?
l
Suppose 0 = 5*q - 0*q - 25. Let m be 1/2 - 9/(-6). Suppose m*h = -q + 3. Which is bigger: 1/4 or h?
1/4
Let v = 0 - -0.4. Let r = v + -3.4. Does r = 0?
False
Let h(n) = -n**3 - 4*n**2 - 2*n - 3. Let u be h(-4). Let g be u/(-2)*2 + 3. Which is smaller: -1 or g?
g
Suppose 6 = -2*s, -12 = -g + 4*g + 2*s. Let b be (g + 1 - -82) + 0. Let j be b/(-264) + 2/11. Is 0 less than j?
False
Let q be 0/3 + (-2)/(-2). Suppose 0 = -5*i - 3*k - 6 + 1, 5*k = -4*i - 17. Suppose q + i = -w. Which is smaller: -4 or w?
-4
Let f be (2/(-4))/((-4)/8). Which is greater: 1/25 or f?
f
Let y be 1*(3 + (-2)/1). Let w = -50718 - -6542585/129. Let o = w - 2/43. Is o at least y?
False
Let c = 260 + -3898/15. Suppose 0*j - 3*j = 3. Is c at least j?
True
Let p = 87 - 86. Which is smaller: p or -1/3?
-1/3
Let p be 2/(-4) - (-93)/6. Let a = -16 + p. Does -2 = a?
False
Let t = -36 + 36. Which is smaller: t or -2/73?
-2/73
Let a = -10 + 5. Let p(m) = 2*m**2 - 7*m - 5. Let x(w) = 3*w**2 - 15*w - 11. Let z(f) = a*p(f) + 3*x(f). Let c be z(-9). Is 2/7 equal to c?
False
Let p(v) = -2*v - 5. Let i be p(-5). Let x(f) = f**2 - 5*f - 10. Let j be x(i). Is j > -10?
False
Let r(j) = -3*j**3 + 12*j**2 - 14*j + 11. Let w(s) = 10*s**3 - 35*s**2 + 42*s - 32. Let h(k) = 7*r(k) + 2*w(k). Let d be h(13). Is 0 equal to d?
True
Let y be (-95)/(-5) - (-1 + 5). Which is smaller: y or -0.1?
-0.1
Let w = 249/6956 - -1/148. Which is smaller: -1 or w?
-1
Let p be 8/5*30/12. Which is smaller: 6 or p?
p
Suppose -j - l = 11, -3*l - 12 + 3 = -j. Is -7 at least j?
False
Let n be 2/(-5)*(-2)/24. Let i = n - -19/330. Do i and -1 have the same value?
False
Let c = 49 + -244/5. Suppose -x - x = 0. Are x and c equal?
False
Let s be (0/3)/(1 + 1). Are s and 0 equal?
True
Let o(n) = n + 1. Let r be o(8). Suppose -c - 2*d + 51 = -6*c, -c = -d + r. Is -11 >= c?
True
Suppose 4*w + 15 = m, 4*m = 2*m - 4*w - 6. Suppose 0 = -m*k - 0*s + 2*s + 6, k = -4*s - 12. Which is smaller: -3/5 or k?
-3/5
Suppose 3*n - 4*u - 15 = -u, 2*n + 4*u = -8. Let y be (-198)/(-26) - n/13. Let k = 94/13 - y. Which is smaller: 0 or k?
k
Let a(y) = -y**3 + 0 - 3 + 4 + 4*y**2 - 3*y. Let t be a(2). Suppose t*j + 2*w + 14 = 4*j, 3*j = w + 17. Which is smaller: j or 3?
3
Let u be (2 + -1)/(-1*(-1)/(-7)). Which is smaller: u or -8?
-8
Let b be (1 + -2)/((-1)/19). Let x = -12 + b. Let r be (-21)/9*(-2)/x. Which is bigger: 2 or r?
2
Let z = 283/170 - 30/17. Let h = -9 - -10. Suppose 4*x + 1 + 6 = -p, 3*x = -5*p - h. Which is smaller: p or z?
z
Let n(t) = t - 5. Let x be n(6). Let w = -662/5 + 133. Which is greater: x or w?
x
Let l = -243/4 - -61. Let z = l - -5/12. Is -0.3 greater than or equal to z?
False
Let y = -15 + 15.07. Let o = 1.6 - 1.53. Let q = o - y. Which is bigger: q or 0.1?
0.1
Let u = 301 + -14149/47. Is u <= 1?
True
Let v = 0.3 - 1.2. Let w = 0.4 + v. Let g = -0.3 - w. Is 0.3 less than g?
False
Suppose 2*q + 0*q = -8. Let c = 2 + q. Is -2/7 <= c?
False
Let y = -20.7 - -19. Let x = y + -0.3. Let r be 1*2 - (-2 - -4). Which is bigger: r or x?
r
Let k = -1.4 - -1. Let x be 7/(-4) - 3/(-4). Which is smaller: k or x?
x
Let f = 26/9 - 3. Let a(o) = o**2 - 3*o - 1. Let c be a(3). Which is bigger: f or c?
f
Let v be 4/(-52)*-2 + 3/(-39). Is v <= -3?
False
Let f be (-32)/(-10)*-1 + 3. Is 3 at most as big as f?
False
Suppose 3*i - 2 = -d - 4, 0 = -5*i - d - 4. Let t be (i/(1/2))/(-1). Is t at most 1?
False
Suppose -25 = 2*x + 3*x. Suppose 3 = 2*f - 15. Let n = f + -13. Is n greater than or equal to x?
True
Let i = -25.98 + 26. Which is smaller: -0.1 or i?
-0.1
Let k be (0 + 1)/(0 + 3). Let o(f) = -4*f**2 - 2*f + 1. Let v be o(1). Let w = 4 + v. Which is smaller: w or k?
w
Let r = -7 - -11. Which is smaller: 1 or r?
1
Let q = -12 - -17. Suppose 15 = -2*n - q. Let x = -52/5 - n. Which is smaller: x or -1?
-1
Suppose -2*z + 6*z - 16 = -3*s, 3*z = -s - 3. Let w(b) = -b**2 + 13*b - 12. Let l be w(s). Is 2/7 not equal to l?
True
Let o = 3 + -1. Let q = -0.06 + -0.14. Which is smaller: q or o?
q
Let h(p) be the first derivative of -p**4/4 + 7*p**3/3 - 3*p**2 + 4*p - 2. Let b be h(6). Is 2 at most as big as b?
True
Let x = -22 + 32. Suppose 2*i + x = -2*s, -s + i - 2 = 5*i. Which is greater: -5 or s?
-5
Let m = 0.188 + -0.088. Is 1.6 greater than or equal to m?
True
Let y be ((18/15)/((-2)/(-5)))/(-1). Let d = -4 + 2. Is d at least y?
True
Let z(v) = -v + 10. Let w be z(8). Does w = -3/2?
False
Let q be (-47)/3 - -3*(5 - 4). Which is bigger: q or -12?
-12
Suppose -f = 4*f - 15. Let s be -1 + f - (0 - 0). Which is smaller: s or 4?
s
Let i(g) = g**2 + 2*g - 2. Let k be i(-5). Let o = -13 + k. Is -4/11 != o?
True
Suppose -8*q = -3*q - 5. Suppose -3*l = a + q, -2*a + 3 = l - a. Let s be -1 - l/(-7) - -1. Is s equal to 1?
False
Suppose -8*v + 3*v - 45 = 0. Let r = v + 10. Is r equal to 0?
False
Let n = 65 - 104. Is -37 <= n?
False
Let f = -543 - -3795/7. Let j = -9 - -8. Which is greater: f or j?
f
Let l = 3128/33 - 286/3. Let n = 173 + -175. Which is smaller: n or l?
n
Let v(l) = l**3 + 5*l**2 - 6*l - 3. Let q(g) = -4*g**3 - 14*g**2 + 18*g + 10. Let a(x) = -2*q(x) - 7*v(x). Let j be a(6). Is j at most as big as 0?
False
Let a be 4/6 + (-1298)/1407. Let m = a - 2/67. Let i = -16 - -18. Which is greater: m or i?
i
Let z = -11 - -9. Let j = -7 - z. Is -5 greater than j?
False
Suppose -k - 4*f = -17, 3*f + 2 = 8. Which is bigger: k or 7?
k
Let d = -0.03 - -0.08. Let z = -0.01 + 0.06. Let a = z - d. Is 0.8 at least as big as a?
True
Let x be (1 - 3) + 2*4. Suppose 5*z - 16 + x = -2*r, -z = r - 2. Let o be (-3)/12 - z/(-8). Is 0 >= o?
True
Let p(r) be the first derivative of -r**3 + r**2 + 4*r - 2. Let g be p(3). Which is bigger: -18 or g?
g
Suppose 3*r = 2*r. Suppose p + 2*p + 8 = 5*q, r = -3*p - 5*q + 2. Which is greater: p or -1/7?
-1/7
Let z(c) = c + 3. Let a be z(-2). Suppose -l + 2*m - 2 + a = 0, -3*m + 1 = -2*l. Let w be (-3)/36 - (-2)/6. Is l smaller than w?
False
Let z = -0.01 + 3.01. Are 0.2 and z nonequal?
True
Let t = -6.9 - 1.1. Let s = 7.9 + t. Let w(j) = j + 4. Let i be w(-3). Is i at most s?
False
Let x be (-34)/52 + (-25)/(-50). Which is smaller: x or -2?
-2
Let h be (-971728)/2429300 + 2/5. Let r = -57696239/110533150 - h. Let a = r + 2/91. Is a equal to 7?
False
Let t(k) = k - 3. Let p(i) = -1. Let y(o) = 4*p(o) - t(o). Let f be y(0). Are 2/29 and f non-equal?
True
Suppose -3*m = -2*m - 10. Let d be (-4)/m + 8/20. Which is greater: d or -2/25?
d
Suppose 2*q + 4 = 10. Suppose q = y - 3. Let r = 10 - y. Is 3 at most r?
True
Let l = -8 + 7. Let m = -2/3 - l. Which is greater: 5/3 or m?
5/3
Let p be ((-4)/6)/(1/(-3)). Let d be (-10 + p)/(-1 + 0). Let y = d + -6. Which is greater: y or 1?
y
Let u be 1 - 1/((-1)/13). Let h = u + -9. Suppose -p = -h*b - 15 - 10, 0 = 2*p + 5*b + 25. Which is smaller: 1 or p?
p
Let c = 3.2 - 3.28. Let v = -0.3 - -0.32. Let z = c - v. Are -2 and z equal?
False
Let u = -687/5 + 18539/135. Is u smaller than -0.2?
False
Let p be (-6)/(-21) - 140951/17634500. Let t = 1/141076 - p. Let c = -1/125 + t. Which is smaller: 0.1 or c?
c
Let w be 1/(-3) - -4*4/24. Is w greater than -95?
True
Let n = -6/115 + -7923/230. Which is smaller: -34 or n?
n
Let w be 0 + (-8)/(-612)*3.