23?
f
Let i = -37 + 258/7. Let z(l) = l - 2. Let a be z(2). Suppose a = -5*s + s. Which is greater: i or s?
s
Suppose -5*n = 4*i - i - 16, 0 = -i + 2. Suppose -n*c - 4 = 2. Is c at most as big as -4?
False
Let j be 2*((-3)/(-10))/(9/5). Is 5 greater than j?
True
Let u = -2132/15 + 142. Let j be (-13 - -12) + (-49)/(-45). Let a = j - u. Which is smaller: 0.1 or a?
0.1
Let i(y) = y**2 - 9*y - 4. Let f = -6 + 16. Let g be i(f). Are g and 7 unequal?
True
Let q be 1/(1 - (-52)/(-48)). Let j be (-9 - -6)*(-22)/q. Which is greater: -7 or j?
j
Let c = 10 - -6. Which is bigger: c or 0?
c
Let p = -34 - -51. Let s = p + -18. Are s and 2/17 equal?
False
Let r be 2 + 7/(-4) + 0. Let y(u) = u**2 - 6*u + 4. Suppose -4*f - f + 25 = 0. Let q be y(f). Which is smaller: r or q?
q
Suppose 0 = k + k + 5*l + 28, 4*k + 5*l + 36 = 0. Is k <= -3?
True
Suppose 2*x - 2 = 3*x. Let j = -1 - 0. Let r be (-2)/4*(j + 2). Do x and r have the same value?
False
Let l be 11/(-5) - -2 - (-6)/(-20). Is l >= 2?
False
Let s = -3 + 5. Let c = s - 2. Let x = c + 1. Are x and 2 equal?
False
Let d = 22 + -109/5. Let i = -5 + 8. Let g = i - 2. Which is smaller: d or g?
d
Let r(u) = 5*u - 1. Let a be r(1). Let n = 12 - 4. Let o = n - 7.9. Are a and o unequal?
True
Let t = -144 + 100. Let w be (-16 + 2)*38/(-12). Let g = w + t. Is g <= 0?
False
Let x = -11 + 16. Which is smaller: x or 1?
1
Let c = 0.5 + -0.3. Let x = c + -0.18. Let o = x - -1.98. Which is smaller: 0 or o?
0
Let r = -1 - 21. Let n be (-6)/r*2/3. Is 1 >= n?
True
Let n be -3 - -5 - (-3 + 54/8). Are -1 and n equal?
False
Let h = -329/26940 + -2/449. Is h > 1?
False
Suppose -3*x - 5*z = -11 - 3, -9 = -2*x - 3*z. Suppose -16 = -x*a - 4. Let r be 2 + -1*a + 6. Which is bigger: 1 or r?
r
Let c(i) = -i**3 + 3*i**2 - 2*i - 1. Let d be c(3). Let k = d - -9. Are -0.2 and k non-equal?
True
Let a be 2/3 - (-2)/6. Let t be (-91)/(-260) + 9/(-24)*2. Is a bigger than t?
True
Suppose -3*v - 2*v + 11 = n, -2*n - 4*v - 8 = 0. Let l be 6/(-21) - (-66)/n. Let x be 4 + l - (0 - 6). Is 6 smaller than x?
False
Let l = 7 - -2. Which is greater: l or 10?
10
Let z(x) = -3*x**3 - 2*x**2 - 3*x - 1. Let l be z(-1). Which is greater: l or 13/4?
13/4
Suppose 0*j = -2*j - 6. Let z be (1/2)/((-2)/(-16)). Suppose a + 2*l = z*l + 2, -l = -a - 1. Do a and j have the same value?
False
Let v = -116/51 + -1/17. Let j = -5/2 - -3. Is v less than or equal to j?
True
Let t be 42/38 - (1 + -4 + 4). Which is greater: 0 or t?
t
Let l(g) = g**3 + 4*g**2 + 2*g - 2. Let d be l(-2). Let w be 2/6 - 26/(-3). Suppose -4*k - 5*a - d + w = 0, -2*a + 2 = 2*k. Is k less than 0?
True
Suppose 5*j + 20 + 0 = 2*n, 3*n = 2*j + 19. Let s = j + 2. Let b be (-24)/(-45) - 3/9. Which is smaller: s or b?
s
Let l be (-12)/(-8)*(-8)/18. Let b = 0 + -0.1. Let s = b - -0.2. Does l = s?
False
Let x = 14.07 + -14. Let d = 8.07 - x. Is 0.1 smaller than d?
True
Let h = 33 + -22. Which is greater: 12 or h?
12
Suppose 20 = 4*k + 5*b, 5*b - 2 - 18 = -2*k. Suppose -3*j = -k*j - 3. Is -4/9 at most as big as j?
True
Let m(x) = 7*x**3 - 4. Let l(r) = 6*r**3 + r**2 - 4. Let u(s) = -6*l(s) + 5*m(s). Let v be u(-6). Which is smaller: 10/3 or v?
10/3
Let o = -103 - -117. Is 11 not equal to o?
True
Let m = -44 - -55. Which is greater: 12 or m?
12
Let o be ((-7)/35)/((-2)/5). Which is smaller: o or 0?
0
Let k = 0.1 - 0.1. Let d(a) = a**3 + 7*a**2 + 7*a - 1. Let o be d(-5). Let r = o - 57/4. Which is greater: k or r?
k
Let v be 731/51 + 2*-1. Which is smaller: v or 12?
12
Let j be (-3 - (-6)/10)*-5. Let m = 7 - j. Which is smaller: m or -6?
-6
Let o = 35 - 138. Which is smaller: -104 or o?
-104
Let j = -2517/11 + 229. Let q be 1*((-2)/(-2) - 2). Which is smaller: j or q?
q
Suppose 56 = 10*w - 12*w. Let r be w/98 + (-8)/21. Are r and 0 non-equal?
True
Let a = -5 - -7. Let l = -1 - -4. Let u be 38/(-14) + l + 0. Which is greater: u or a?
a
Let x = 81 + -23. Is x < 58?
False
Let o = 595 + -17837/30. Let m = 1/15 + o. Suppose -4*c + c = 0. Do m and c have different values?
True
Let w = 3/442 + -157/6851. Which is bigger: -1 or w?
w
Let p be 2588/(-18) - 0 - 2. Let q = -146 - p. Is q at most -1/2?
False
Suppose -25 = -5*z - 3*q, z - 13 = -3*z - q. Let m be ((0/z)/2)/2. Let f be 1/(-1 + 2 + 0). Is f not equal to m?
True
Let q(k) = -4*k + 2. Let l be q(-2). Suppose 2*g = 0, l = -2*b - g - 14. Let z be (-10 - b)/(2*1). Which is smaller: -2/9 or z?
-2/9
Let k = -80 + 80.94. Let f = k - -0.06. Let n = 1 - 1. Which is greater: n or f?
f
Let m = -142 + 140. Are m and -4 non-equal?
True
Suppose 0 = -f - 1. Suppose -2 = -3*r - 4*p - 4, -r - 2*p = 0. Which is smaller: r or f?
r
Let l = 21 - 32. Suppose -6*f = -4*f + 20. Do f and l have the same value?
False
Let h = 69 - 69.1. Let x = -2.1 - -0.1. Which is smaller: h or x?
x
Let w(j) = -j**2 - 14*j + 15. Let a be w(-14). Suppose -f - 5*o = 3, 3*f + o + a + 8 = 0. Which is smaller: -7 or f?
f
Let h = -12 + 18. Let q = h + -7. Which is greater: -2/3 or q?
-2/3
Let p(y) = -2*y - 6. Let a be p(0). Is -7 less than or equal to a?
True
Let h(i) = 2*i**2 + i + 1. Let z be h(-1). Suppose f + 4*f = 15. Suppose 0 = -f*n - 4*l + 12, -2*n + 2*l - 10 + 4 = 0. Is z less than or equal to n?
False
Let q be 2*-5 - (-6 - -4). Let w be 30/(-8) + 2/q. Suppose -2*p = 4 + 6. Which is smaller: w or p?
p
Let f be ((-2)/(-10))/((-312)/(-155)). Let j = f - -1/39. Suppose 0*t = -6*t + 6. Which is smaller: j or t?
j
Let v = -2 - -2. Is 1/2 != v?
True
Let y be ((-17)/(-9) - 2)*-3. Let f(m) = 4*m + 44. Let g be f(-13). Is y less than or equal to g?
False
Let n = -0.021 - 3.979. Is n != 2/11?
True
Let k = 18 + -166/9. Is 0 equal to k?
False
Suppose 7*f - 35 = 2*f. Let j be (-14)/f*1/2. Let v = 0 + j. Is v smaller than -2/7?
True
Suppose -2*s + 7*s + 10 = 0. Is 0 less than or equal to s?
False
Suppose o = 3*o. Are o and -3/10 unequal?
True
Suppose -3 - 2 = 5*u. Is u > 1/3?
False
Let s(t) = t**3 + 4*t**2 - 6*t - 2. Let h be s(-5). Let p = -35 - -31. Let l = p + h. Is -4 <= l?
True
Suppose -5*u + 1 - 42 = 4*y, 37 = -3*y - 5*u. Is y equal to -8/3?
False
Let s = 9 - 8.9. Which is greater: 0.02 or s?
s
Let l = -48 + 48. Is l greater than or equal to 0?
True
Let t(c) = -4*c - 3. Let p be t(2). Do p and -11 have the same value?
True
Let l(g) = -g**2 + 3*g + 2. Suppose -2*m + 4*q = 2*q - 14, 17 = -4*m - 5*q. Let p be l(m). Which is smaller: 3 or p?
3
Let w = -114/17 - -609/68. Is 3 smaller than w?
False
Let l = 2.1 + -0.1. Let z = l + -2.1. Which is greater: 1/4 or z?
1/4
Let q(c) = 2*c - 3. Let f be q(4). Suppose -o = -2*g - 7, f*o + 3*g + 0*g = -4. Do 0 and o have different values?
True
Suppose 2*r = -5*x - 3, r + 2*r = -3*x. Are r and 21 equal?
False
Let j = -1998/89 - -121767/4984. Let i = 9/8 - j. Suppose -4*w - 20 = 4*g, 0 = -w - 2*w + 5*g + 9. Which is smaller: i or w?
w
Let n = -4/7 + 26/21. Let z be 1/(-5) + (-1)/(-5). Suppose -10 = s + 5*h + 7, z = 4*s + 4*h + 4. Is s > n?
True
Let s = 43.19 - 43. Let v = 0.09 - s. Which is bigger: v or -3?
v
Suppose 2*g + 8 = -w + 71, 3*w - g - 224 = 0. Is w not equal to 73?
False
Let n(y) = -2*y**2 + 6*y - 4. Let k be n(3). Is -4 <= k?
True
Let h(y) = y**3 - 4*y**2 - 2*y - 2. Let b be h(5). Let a(g) = -g**2 + 12*g + 18. Let k be a(b). Which is bigger: 15/4 or k?
k
Let k = -5.3 + -1.7. Let h = k - -7.1. Is h not equal to 0.4?
True
Let x = -89 + 42. Which is bigger: x or 0?
0
Suppose -3*c + 0 = -4*i - 4, 2*c = -8. Let f = i + 4. Let u(m) = -m. Let q be u(f). Are q and 4/5 nonequal?
True
Let x = -58.71 - -59. Let n = 18.71 + x. Is 0 > n?
False
Suppose 4*h - 24 = h. Let p = h + -11. Do p and -2 have different values?
True
Let g = 24958883/347724 - 3/38636. Let b be (18/(-7))/(2/(-56)). Let u = g - b. Which is bigger: u or -1?
u
Let n(t) = 8*t**3 - 8*t**2 + t - 6. Let z(m) = 7*m**3 - 8*m**2 + 2*m - 5. Let p(o) = 6*n(o) - 7*z(o). Let a be p(7). Is -8 less than a?
False
Let m = 0.7 + -0.786. Let n = 0.934 - m. Let h = n - 0.02. Which is smaller: h or 0.4?
0.4
Suppose 1 = 2*b - 5. Let z = b - 5. Is -1 greater than z?
True
Let g = 0.8 - 0.72. Let i = g - -0.02. Let k = 0 - 1. Are k and i unequal?
True
Suppose 8 = 2*t - 2. Let k = t + -3. Let m(b) = -b - 4. Let p be m(-5). Is p > k?
False
Let y = 38 - 39.06. Let f = -0.06 - y. Is f less than 2?
True
Let i be (-74)/78 - 11/(-11)