3/2
Let z = -26 + 15. Let y = z + 10. Let k be ((-1)/(-10))/((-2)/(-8)). Which is smaller: y or k?
y
Let u = -15 + 12. Which is smaller: u or -0.2?
u
Let u(v) = -2*v - 17. Let b be u(0). Do b and -18 have different values?
True
Let u be 6 + (-2)/(6/9) - 2. Which is bigger: u or 6/17?
u
Let s = 1 - -1. Suppose 5*r - 3*t = 497, s*t - 4 + 2 = 0. Let y be 2/(-3) + r/105. Which is smaller: y or -1?
-1
Let v = -3 + 7. Suppose 0 = v*o + 5 + 15. Let r be (-2 - o) + (-4 - -2). Which is smaller: 2 or r?
r
Suppose -3*f = -0*f - 81. Let b be (-114)/f + (-4)/(-18). Let d be (-1)/(-3) + b/30. Which is smaller: d or 0?
0
Let w(a) = 3*a + 12. Let f be w(-5). Let l = 121 - 235/2. Let z = l - 31/10. Are z and f equal?
False
Let g be ((-6)/20)/((-36)/30). Suppose 0 = 5*i - 5 - 0. Suppose 2*k - 1 = i. Which is smaller: g or k?
g
Let t(u) = -10*u**2 - 2. Let h be t(-2). Let c be h/(-24) - (-3)/(-4). Which is greater: c or 2/3?
c
Let h = -3165/8 + 395. Is h greater than or equal to -1/4?
False
Suppose -5*m + b + 0 + 7 = 0, 0 = -2*m - b. Suppose 4*x = -7 + 19. Let o be 0 + 0 + x + -3. Which is greater: m or o?
m
Let o = 18 - 21. Which is greater: o or -2?
-2
Let x = 27 + -24. Does 4 = x?
False
Let w(n) = n**3 + 5*n**2 - 6*n - 2. Let s be w(-6). Let y be (-3)/s*(-2)/1. Which is bigger: y or -2/5?
-2/5
Suppose 5*g + 9 = 8*g. Suppose 0 = 2*d + d - g. Do -0.1 and d have different values?
True
Let w(i) = -i**2 + 10*i + 11. Suppose -2*p - 3*p + 55 = 0. Let r be w(p). Does -4 = r?
False
Suppose 2*r = 5*u + 22, 0 = -4*r + 4*u + 20 + 12. Let t = r - 4. Suppose -22 = -6*j + 2. Is t smaller than j?
True
Let u(i) = i**3 + 13*i**2 + 15*i + 10. Let r be u(-12). Which is bigger: -27 or r?
r
Let x = 1 - 2. Suppose -3*t + 17 + 1 = 0. Let r = 4 - t. Which is bigger: r or x?
x
Let w = 172 - 856/5. Suppose 5*g - 9 = -4*g. Is w at least as big as g?
False
Suppose 4*i = -x + 4, 2*x - 3*x - 5*i = -5. Do 4 and x have the same value?
False
Let c = 9.98 - 10. Let a = -0.12 - c. Is -2 <= a?
True
Suppose 3*q - 5*v - 11 - 34 = 0, -v = -q + 13. Let t be (-6)/14*q/(-60). Which is greater: 0 or t?
t
Let m(c) = c**2 + c. Let y be m(-2). Which is smaller: y or 3/2?
3/2
Let a be (24/((-9)/(-3)))/(-1). Let y be 10/a - (-1)/1. Let f = -533/28 + 75/4. Is y < f?
False
Suppose 3*q = q. Let u = -24 - -29. Suppose -u*v - 4*f + 34 = -q*f, f = 1. Which is bigger: v or 0?
v
Let t = 39 - -7. Which is smaller: 45 or t?
45
Let x(o) = -2*o - 9. Let b be x(-6). Suppose -2*k = b*k. Suppose 0 = d - k*d + 1. Is 1/5 less than or equal to d?
False
Let z be -2 + (-1 + 3 - -1). Let i(t) = -4*t**2 - 20*t + 4. Let u be i(-5). Let h = z - u. Which is smaller: h or -4?
-4
Suppose -5*h = 4*v - 29, 0 = 5*v - 10*v - 2*h + 15. Let z = -2 - -1. Which is greater: v or z?
v
Let g = 155/44 + -36/11. Which is smaller: g or -39?
-39
Let r = 82 + -1560/19. Is r <= 1?
True
Let m(l) = l**2 + l - 1. Let p be m(2). Suppose 0 = -a - n, 6*n = p*a + 3*n. Which is smaller: 1/15 or a?
a
Let f = 42 - 292/7. Let g = 46.97 - 47. Which is greater: f or g?
f
Let o be 2/(-7 + -1)*-12. Is 13/6 not equal to o?
True
Suppose -2*o + 16 + 18 = 0. Let b = o - 17. Which is bigger: b or 2?
2
Let m = 9 - 5. Let z(t) = -2*t + 3. Let w be z(m). Let c = w + 4. Which is greater: c or -4/5?
-4/5
Suppose 6 = -2*q + 2, 2*q = c - 9. Let s be (c + 1)*(-8)/(-16). Suppose -s*b - 1 = 17. Which is smaller: -5 or b?
b
Let z = -26 + 31. Is z <= 6?
True
Suppose -10 = -4*r + 3*r. Let l be 5/r + (-3)/(-2). Suppose -2*k - 12 = -3*c, 3*k = c - 2 - 2. Is k at least as big as l?
False
Suppose -m + 23 = 4*r, -5*r + 2*m + m + 33 = 0. Let t be (-4)/3*18/(-4). Suppose -h + t + 0 = 0. Is r at most h?
True
Let a = -344/9 + 38. Is a greater than 0?
False
Let n = 5 - 8. Let u = 8 + n. Suppose -u*h = 2 - 7. Which is smaller: h or 2/5?
2/5
Let y = 0.07 + -0.07. Let i = -3 - y. Suppose -f - 2*z - 8 = 0, 2 - 5 = 3*f - z. Which is greater: i or f?
f
Let u(c) = -c**2 - 2*c + 1. Let z be u(-2). Let t be ((-2)/(-10))/(9/(-99)). Let g = 104/45 + t. Is z smaller than g?
False
Let m = 4 - -4. Suppose -m - 2 = -5*k, 0 = 5*j + 3*k - 31. Suppose 3 = 2*r + j. Which is greater: r or -3?
r
Let j be (2/3)/((-8)/(-36)). Let v = 0 + j. Suppose -b + 0*u + v*u + 1 = 0, 3*b + 5 = u. Is b equal to -3/2?
False
Let v = -2 + 7. Suppose -4*k - 2*r + r = 4, r + 4 = -v*k. Suppose d + k*d - 4 = c, -2*c - 4*d + 16 = 0. Is 2/19 <= c?
False
Let b be 4/8*8 - 5. Which is bigger: b or -0.14?
-0.14
Let r = -0.05 + -0.95. Which is smaller: 3/14 or r?
r
Let o = 8 - 6. Let i = 39.11 - 41.1. Let s = 0.01 - i. Is o not equal to s?
False
Let z be ((-568)/12)/((-6)/(-9)). Does z = -71?
True
Suppose -5*p + 104 + 256 = 0. Which is smaller: 73 or p?
p
Let s = 0.09 + 0.75. Let m = s + 0.16. Which is smaller: m or -5?
-5
Let f(g) = g - 14. Let j be f(-6). Which is smaller: -2/5 or j?
j
Suppose 2*c + 3*w = -1, -2*c - 2*w + 6 = c. Let i(k) = -k**2 + 5*k - 4. Let j be i(c). Suppose 2*z + 4*g = -j*z - 2, -g = 5*z + 5. Does z = -1?
True
Suppose -2*p - 2*b + 2 = 0, b + 2 = -2*p + 8. Which is greater: 4 or p?
p
Suppose 0 = 2*f + q - 5*q + 26, 0 = 4*f - 4*q + 44. Let n = -275 - -265. Is n bigger than f?
False
Let y = 0 - 2. Let t = -0.9 + 0.3. Let d = t + 1.6. Which is greater: y or d?
d
Let k = -26 - -27. Let z be 10*(21/15 - k). Is z greater than 6?
False
Let t = 15.006 + -0.006. Is t > -0.1?
True
Let v be (-57)/45 - 8/20. Which is greater: v or -1?
-1
Let r = 3 + 3. Suppose -h - 4*h + 10 = 0. Let l be 2/r + h/(-24). Which is greater: l or 2/7?
2/7
Suppose 67*c = 62*c - 5. Let y be (-1)/4 + (-89)/(-4). Let j be (-2 + 1)*(-4)/y. Is j > c?
True
Let o be (-3 + 22)*(1 - 0). Is 19 >= o?
True
Let u(c) = 3*c - 2. Let r be u(2). Suppose t - 5*t + r = 0. Let v = -27 + 27. Which is greater: t or v?
t
Let r(j) = -j - 3. Suppose 2*w = -5 - 1. Let t be r(w). Which is greater: -5/4 or t?
t
Let s = 0.75 - 0.6. Let a = s + -0.06. Which is smaller: a or 1?
a
Let t = -53 + 53. Let o be (-107)/(-126) + (-2)/(-9). Let n = -4/7 + o. Which is greater: t or n?
n
Let r = -239/4 - -60. Let c = -8.07 - -0.07. Let n = c + 7. Which is bigger: r or n?
r
Let i(k) = -2*k + 6. Let b be i(4). Let f be 1/((-1)/(7 - b)). Let v be f/12*(-2)/12. Is 0 > v?
False
Suppose -4*n + 0*i = 3*i - 12, n - 4*i - 3 = 0. Which is bigger: n or 4?
4
Let z = 11 + -12. Does -5/56 = z?
False
Let s be ((-546)/(-135) + -4)*5. Is s at most as big as 0?
False
Let s(p) = -p**2 - 4*p - 1. Let j be s(-4). Let f = 17 - 6. Is j != f?
True
Let w(q) = -2*q**2 - 5*q - 4. Let s be w(-5). Is -29 < s?
False
Let d be 35/14 - (1 + 18/(-10)). Which is bigger: 2 or d?
d
Let c(b) = -10 - 2*b + 15 + b. Let k be c(8). Is -3 less than k?
False
Let s(u) be the first derivative of u**3/3 + 3*u**2/2 - 2*u - 2. Let l be s(-4). Suppose -11 = k + 2*m, 0*k + 4*m = l*k - 18. Do 0 and k have different values?
True
Let y = -5 + 14. Is 10 != y?
True
Suppose 2*d + 0*d - 3 = p, 3*d - 37 = -5*p. Let n be (13 + -1)/d + -2. Which is smaller: n or 2/19?
2/19
Let k = 6 + -3. Let o be (-14)/4 - (-6)/k. Is 0.3 greater than o?
True
Let c(w) = w**3 - 2*w**2 + 2*w - 1. Let r be c(1). Let u be r*(-1 + 3 - 1). Let p = 5/3 + -3/2. Is u less than p?
True
Let m = 4.8 + -4.9. Is m > 12?
False
Let b = 90 - 46. Let s be 16/b - (-2 - -2). Which is smaller: 1 or s?
s
Let i = 57 - 1429/25. Which is smaller: i or 0?
i
Let f = 5 + -5.2. Let r = 0.04 - 0.44. Let i = f - r. Which is smaller: i or -0.1?
-0.1
Let a(j) = -j + 1. Let d be a(3). Let o = 6 + 1. Let c = o - 8. Is c less than or equal to d?
False
Let u = -0.4 - 13.6. Let x = 7 + u. Let b = x - -6.6. Which is smaller: b or 0?
b
Let j be (6/(-3))/(4/6). Let f(b) = -2*b**2 - 4*b - 2. Let p be f(-2). Which is smaller: p or j?
j
Suppose -5*m - 26 = -6, -28 = -4*v + 4*m. Which is bigger: 5/3 or v?
v
Suppose 4*v = 5*o + 18, 4*o + 1 = -2*v - 3. Are v and 1 unequal?
True
Let m(d) = d - 3. Let a be m(4). Let o = -3 + 3. Is o < a?
True
Let k be (-1)/9 - 3514/2394. Is k < -3?
False
Let r be -7 + (-5)/((-15)/6). Let t(b) = b**2 + 4*b - 3. Let a be t(r). Suppose 3*l - 2*s - 3 = 0, 0*l + 3*l - 4*s = -3. Is l at least as big as a?
True
Let t be 46 - (-2 + 6 - 3). Let s be (-43)/(-9) + 10/t. Is 6 >= s?
True
Let j be (-1)/(-6)*226 - 2. Let x = -103/3 + j. Suppose 0 = -d - 2*d + 6. Is x less than or equal to d?
Tr