ue
Let w be 8*(-5)/(-100)*5. Suppose -5*h = 5*f, -4*h - 3*f = -6*h + 20. Is w at least h?
False
Suppose -3*f = 3 + 6. Let j(v) = v. Let y be j(f). Let u = -4 - -1. Are u and y nonequal?
False
Let y be (0 + 1)/((-11)/33). Which is smaller: y or -1?
y
Let w be 203/(-98) - 3/(-2). Is 0.1 smaller than w?
False
Suppose 0 = 2*k + 5 + 7. Let s be k/((7 + -3)/(-2)). Let a be 1/2 - (-1)/(-2). Do s and a have the same value?
False
Suppose 0 = s + i - 6*i - 7, -i - 19 = 2*s. Which is smaller: -7 or s?
s
Let a = -18 - -19.1. Let f = a + -1.2. Is -4 less than f?
True
Suppose 0*j = -2*z - 5*j + 17, -j = -5*z + 2. Let f = -2.8 - -3. Let l = 0.3 - f. Is l smaller than z?
True
Let h = -0.4 - 1.6. Which is smaller: h or -3?
-3
Let k = 9 - 10. Is -1 at least as big as k?
True
Let w be 1/(-2 - (-18)/8). Let u be (-16)/32 - (-6)/w. Let r(j) = -2*j - 1. Let t be r(-2). Which is bigger: u or t?
t
Let j = 2 - 6. Let y be (0 + 1)*2/j. Let l = 0.02 + -4.02. Which is greater: y or l?
y
Suppose 13 = -4*l + 1. Do l and 10 have different values?
True
Let f = 10.2 + 2.8. Let l = 1.0002 - 0.0002. Is l greater than or equal to f?
False
Let w = 0.5 - 0.4. Let a be 2 + 8/60 + -2. Do a and w have the same value?
False
Let c = -2 - 0. Is -1 equal to c?
False
Suppose 0 = z + z + 2. Let c be (-2)/(-4)*(-2)/z. Let f be (c/(-2))/(9/12). Which is smaller: 0 or f?
f
Suppose 6*f + 156 = 3*f. Let m be -1*(-2)/((-8)/f). Which is smaller: 12 or m?
12
Suppose 2*f = -f - 4*i + 127, -5*f = 2*i - 221. Suppose 2*w + w = f. Suppose 2*l = -l - w. Is -2/3 equal to l?
False
Suppose 5*q = 3*p - 200, -28 = 4*q - p + 139. Is -43 at most q?
True
Suppose 0 = 6*u + 2*u. Let z = -2317/4203 - 2/467. Which is smaller: u or z?
z
Let b = -887/3 + 291. Are -4 and b non-equal?
True
Let n = 35 + -22. Let w = -16 + n. Are 0 and w unequal?
True
Suppose 2*q + 2*q = 0. Let k be (q - -2)*-1*2. Which is greater: k or -5?
k
Let j = 4 + -9. Let n = j + 4.9. Let z = 4 - 18/5. Which is smaller: z or n?
n
Let j be (-2)/4 + (-1279)/60. Let n = j + -73/30. Let f = n + 24. Which is greater: 1/4 or f?
1/4
Suppose 3*w + 19 = -4*l, 5*w - l + 3 - 2 = 0. Let t be 4/164*(0 + w). Which is smaller: -1 or t?
-1
Let z be (-52)/(-235) - 9/45. Let u = -85/423 - z. Is u less than 2?
True
Let f be 2/11 - (-473)/(-605). Is f smaller than 0.1?
True
Let n = 226 - 1111/5. Which is smaller: 4 or n?
n
Let l(s) = -s**2 + 7*s - 6. Suppose -2*d = -0*d - 14. Let w be l(d). Let u(r) = -r**2 - 5*r + 6. Let z be u(w). Which is greater: z or 1?
1
Let n be (36/(-39) - -1)*(-12)/36. Do n and -1 have the same value?
False
Let k(z) = 2*z - 28. Let t be k(16). Is t not equal to -2?
True
Suppose -72 = 2*i + 2*i. Let g be 2 + 32/i + 0. Let o = 0 + -1. Which is greater: g or o?
g
Let b(m) = -m + 13. Let r = 23 - 14. Let a be b(r). Let l = 1/57 - -107/399. Which is greater: l or a?
a
Suppose -2*z + 5*z - 27 = 0. Let u = z - 19/2. Is u bigger than 0?
False
Let x = -39 - -739/19. Suppose -5*v = 3*t + 4, 2*v + 2*t + 2 = -2. Is x at most as big as v?
True
Let h = 16.9 - 16. Which is smaller: -3 or h?
-3
Let s(o) = -o**3 - 21*o**2 + 21*o - 41. Let v be s(-22). Is v greater than -20?
True
Let q be (-3 + -3 + 4)*-1. Is 1 at least q?
False
Let u = -218/275 + -2/275. Is u not equal to 0.2?
True
Let x = -50.8 - -50. Are 2/3 and x equal?
False
Let r = 0 + -1. Let c be (r/(-18))/(4/(-16)). Let l = -8 + 7. Is c < l?
False
Let h = 0.05 - -0.55. Let t = -1.6 + h. Let g = 1 + -2. Is g at most t?
True
Let m be (-3)/6 - 61108/24. Let u = -2525 - m. Let t = u + -21. Is t smaller than 3?
True
Suppose -4*o + 4 = -2*o. Is o less than or equal to -1/6?
False
Let u(g) = -5*g + 6 + 2*g**2 + 6*g**2 + g**3 + 6*g. Let v(w) = w - 4. Let h be v(-4). Let p be u(h). Is p at most as big as -1/4?
True
Let j be 20/75 - (-4)/(-6). Let c(n) = n + 9. Let x be c(-5). Suppose -x*f + 5 = -9*f. Which is smaller: f or j?
f
Suppose 4*j + 3*k = 2*j - 16, 3*j + 24 = -2*k. Which is bigger: -7 or j?
-7
Let a = 15.91 + -16. Let z = -0.05 - a. Which is bigger: 1 or z?
1
Suppose -15 = 2*p + 15. Is -16 not equal to p?
True
Let y(z) = -3*z**2 + 7*z + 11. Let v(h) = -2*h**2 + 4*h + 6. Let w(g) = -5*v(g) + 3*y(g). Let k be w(0). Suppose 0 = 2*f + k*f. Does -3/5 = f?
False
Suppose 3*n + 3*y + 27 = 0, -5*n - 4*y - 15 = -4*n. Let z(m) = -m**3 - 6*m**2 + 6*m - 7. Let l be z(n). Is 0 >= l?
True
Suppose 18*m - 20*m - 4 = 0. Let z = 58/5 + -13. Is m less than z?
True
Let g = -5 + 8. Let o = -8.3 - -8. Let l = -2.3 - o. Which is smaller: g or l?
l
Let k = 0.227 - 0.127. Which is bigger: 0.53 or k?
0.53
Let b = -17/5 + 63/20. Let w(t) = 5*t + 8. Let s(n) = -n. Let z(d) = -6*s(d) - w(d). Let a be z(9). Are a and b non-equal?
True
Let u be ((-584)/10)/(30/(-75)). Is u at least 146?
True
Suppose 15 = 5*f - 10. Suppose -d + f - 4 = 0. Let a = 25/12 + -7/3. Is a >= d?
False
Let v = -98 - -100. Is v less than 11/8?
False
Let p = -133/381 - -2/127. Is p greater than or equal to 4?
False
Let s = 5 - 4.98. Let c = s - 0.12. Is c equal to -4?
False
Suppose 0 = z + 4*z + 15. Suppose 239 = -3*a + 227. Which is greater: a or z?
z
Let o = 7 - 8. Is o >= -2?
True
Let d = 48 - 110. Is d <= 0.1?
True
Let q = 6 - 7. Let o be 6 - 3 - (4 - q). Is -2 equal to o?
True
Let t = -133237/6 + 22292. Let i = 86 - t. Which is greater: i or 0?
i
Let b(a) = a + 1. Let y be b(4). Suppose 29 = -2*z + y*p, 0 = 3*z + 5*p - 8 - 11. Let s be (-18)/(-24) - 10/8. Which is greater: s or z?
s
Let c be 1/(-3) + (-14)/(-6). Suppose -5*f = -7 + 2. Which is greater: f or c?
c
Let q be -2 + 1 - (1 + 4). Which is smaller: q or 1?
q
Let m be (4/10)/((-13)/(-195)). Let v be 4/((-8)/m*-1). Is v at most 3?
True
Suppose -5*i + 4*z - 9 = 0, -2*z + 12 + 0 = -4*i. Are i and -5 non-equal?
False
Let x be (-8)/(-28) - 26/(-56). Which is smaller: x or -4?
-4
Let m(y) = 2*y + 1. Let t(l) = -l**2 + 4*l - 1. Let q be t(3). Let p be m(q). Suppose h + 3*u + 5 = 0, p*h - 3*h + 3*u + 4 = 0. Is h greater than or equal to 1?
True
Let b(z) = 3*z**3 + z. Let q be b(1). Let y = 0.01 + 2.19. Let l = 2 - y. Which is greater: q or l?
q
Let x be -7 + 3 + 5 + 1. Is x less than or equal to 2?
True
Let p = -15 + 14. Which is smaller: p or 2/7?
p
Let c(h) = -2*h + 2. Let g be c(0). Let d be g*-2*(-2)/(-8). Which is greater: d or -4?
d
Suppose 5*w = -c + 12, -c + 3*w - 4*w + 16 = 0. Which is smaller: 1/2 or c?
1/2
Let p = -1001584/3269849 + -104/6913. Let r = p - -6/43. Which is bigger: 0 or r?
0
Let s = 0.05 - -0.15. Is -8 != s?
True
Suppose 7*n + 0*n = 21. Which is bigger: -39 or n?
n
Let u(s) = -s**3 - 3*s**2 - s + 1. Let z be u(-3). Let p be 3 + (2 - z - 2). Which is bigger: -2/27 or p?
-2/27
Let b = -6 + 5.7. Do b and -0.1 have the same value?
False
Suppose 2*x = -9 - 3. Let d = x - -7. Is -1 at least as big as d?
False
Let q = 210 + -1894/9. Is 1 bigger than q?
True
Let d(f) = -2*f**3 - 22*f**2 + 1. Let l be d(-11). Is 1/5 greater than or equal to l?
False
Suppose -3*n = -0*n - 6. Let j be 4/8*(1 - -9). Suppose 5*c = -h + 8, n*c + j*h - 18 = -1. Which is smaller: 0 or c?
0
Suppose -9*b + 6*b - 27 = 0. Which is smaller: -0.04 or b?
b
Let q be (4/60)/((-2)/(-354)) - 4. Which is bigger: -2 or q?
q
Let j(u) = u**3 + 12*u**2 + 5*u - 16. Let q be j(-12). Let k be q/(-6) + (-4)/6. Is 12 less than k?
False
Let z be (-26)/6 - (-1 - 2). Let m be -1 - ((2 - 1) + -1). Which is bigger: m or z?
m
Let m(g) = g**2 + 11*g - 26. Let h be m(-13). Which is smaller: -5/6 or h?
-5/6
Let r(n) = n**2 - 4*n + 3. Let c be r(5). Which is smaller: 3 or c?
3
Let t = 1.76 + 0.24. Let b(v) = -v**3 + 8*v**2 + 1. Let i = -11 - -19. Let s be b(i). Which is greater: s or t?
t
Suppose 0 = 4*z + 5*k - 13 - 6, -2 = z - k. Which is greater: z or -14?
z
Let k = -1013606932/1575 - -643560. Let d = k - -2/1575. Are 0 and d non-equal?
True
Let b = -8 - -8.8. Are -2 and b unequal?
True
Suppose -4*k + 15 = k. Suppose k*p - 6 = 4*a, a - 2*p - 10 = -7*p. Let o = -0.32 + 0.02. Is a smaller than o?
False
Let k = 68 + -58. Which is bigger: 1 or k?
k
Let f be (1 + 1/2)*(-312)/(-36). Which is smaller: f or 43/3?
f
Let y = -0.306 + 0.3. Are y and 0.1 nonequal?
True
Let z(a) = -3*a**2 - 2*a - 2. Let r be z(-2). Let l = 4 + r. Let s be ((-8)/(-6))/((-4)/18). Is s > l?
False
Let o = 5 - 6. Let n(w) = w**2 + 7*w + 2. Let h be n(-7). Let y be (2*-1)