 + 1. Let j be f(-3). Suppose s = 4*r - 8 + j. Which is smaller: -1 or r?
-1
Let m be 5/7 + 6/21. Let r(f) = f + 7. Let a be r(-4). Which is greater: m or a?
a
Let l = 14 - 14.5. Which is bigger: -1 or l?
l
Suppose 4*o - 4*x + 4 = -2*x, -x + 2 = 5*o. Are -2/13 and o unequal?
True
Let w = 14 + -13.7. Let g = w - 0.6. Let r = 0 - 2. Which is smaller: g or r?
r
Let u = 20 + -20. Let g be (-84)/5 - (-12)/20. Let y = 911/55 + g. Which is bigger: u or y?
y
Let i = -18 + 195/11. Which is smaller: i or -1?
-1
Let t(s) = 0 + 1 + 1 - s. Let j be t(-6). Is 7 less than j?
True
Let z = -53/14 - -481/126. Is 0 at least as big as z?
False
Let h = 24 - 17. Let c = 3 - 5. Is h equal to c?
False
Let h(d) = d**2 + 4*d - 1. Let j be h(-4). Which is bigger: j or 0?
0
Let b be (-48)/15 - (-3)/15. Let v be (b/42)/((-6)/7). Which is smaller: -1 or v?
-1
Let g(w) be the first derivative of w**2/2 - 11*w + 1. Let f be g(7). Is -4 >= f?
True
Let n(q) = -q + 4. Let l be n(4). Which is smaller: l or -8/9?
-8/9
Let v(y) = -y + 9. Let m be v(6). Let k be 148/104 - m/2. Is 1 >= k?
True
Let l = -15 + 8. Let s = l + 1. Which is bigger: s or -5?
-5
Suppose -3*i - 12 = 5*d, d - 5*d + 4 = -i. Is d smaller than 2?
True
Let k = 23 - 17. Suppose k*n - 2*n = -80. Which is smaller: n or -19?
n
Let r be (-1)/(-2) + (-1)/(-2). Which is smaller: 9/7 or r?
r
Let q = -91 - 45. Is q > -137?
True
Suppose 0 = i + 2 - 4. Suppose -2*t + 2*w = -4, -t + 10 = 4*t - 3*w. Is t not equal to i?
False
Let q be 1/(-1) - (-4)/10. Let v = -0.44 - -0.14. Is v greater than or equal to q?
True
Let n = -12 - -15. Suppose 0 + n = -3*h. Is h less than or equal to 2/11?
True
Suppose 4 = 3*b + b. Suppose 3*y - b = -5*x - 13, -5*x = -2*y - 8. Which is smaller: -3 or y?
y
Let r = -7 - -41/6. Let d = -70 - -69.8. Which is bigger: r or d?
r
Let a be -1 - (-4 + 8)/4. Which is smaller: a or -4?
-4
Suppose 0 = x + 4*x + q + 16, 0 = 5*x - q + 24. Let p(o) = -o + 3. Let f be p(x). Is 6 smaller than f?
True
Let p = 0.07 + -6.07. Let d = 5 + p. Let r = -0.2 + 0.4. Which is greater: r or d?
r
Suppose 3*r = 3*j - 6, -4*j + j - 4*r = -27. Suppose 5 = -j*w + 30. Suppose w*p + 2 = 12. Which is smaller: p or 1?
1
Let i = -0.47 - -21.47. Let w = -15 + i. Let u = -9 + w. Is u equal to 0.2?
False
Suppose 2*l + 3*l = -30. Let k(h) = -25*h**2 - h. Let d be k(1). Let v be ((-2)/3)/(d/l). Is 0 smaller than v?
False
Suppose 0*t + 0*t = 5*t. Suppose -5 = -3*g + 4*g. Let f be g/(-6) + 1/(-3). Which is greater: t or f?
f
Suppose -5*z - 1 = 9. Let m = 709/7 - 102. Are m and z non-equal?
True
Let w(g) = g**3 + 4*g**2 + 3*g - 2. Let l be w(-3). Let n be l/((-3)/3)*1. Suppose -n = -2*f - 0*f. Which is greater: f or 3/4?
f
Let r(k) = 2*k + 12. Let w be r(-7). Is w greater than or equal to 3?
False
Let x be (-385)/20 - 1/(-4). Let p = x - -6. Let m be p/35 + (-4)/20. Which is smaller: -2 or m?
-2
Let t be 6/10 - 62/70. Is t equal to 1?
False
Let g(v) = -v**2 + 3*v - 4. Let s be g(3). Let l be (s/10)/(5/50). Are l and -5/2 equal?
False
Suppose 3*j = -0*j. Let h = 21 + -21.2. Which is greater: h or j?
j
Let g = -5 - -8. Suppose 0 = -5*w - 5, -3*z + 43 = -z - g*w. Suppose 0 = 2*u + 3*u + z. Is u greater than -4?
False
Let o(y) = y**3 - 4*y**2 - 5*y + 2. Let i be o(5). Let a be 1/(-3) + 1/i. Is a < 0?
False
Let v(m) = -m - 2. Let w be v(-1). Let c be (-2)/(15 + w)*3. Are -1 and c unequal?
True
Suppose 0 = -4*i - 0*i. Suppose -2*l + i + 2 = 0, 5*l - 7 = k. Which is greater: -1 or k?
-1
Let u be -2 + 3/(315/276). Let r = 4/7 + u. Is r at least 1?
True
Let w(v) = -11*v**2 + 16*v - 16. Let x(g) = 4*g**2 - 5*g + 5. Let l(c) = -3*w(c) - 8*x(c). Let q be l(7). Let r = 492/7 - 70. Is r less than or equal to q?
True
Let z = -1323453/13 - -101861. Let t = z + -57. Is 0 < t?
False
Let t = -1285/136 - -150/17. Is t less than 1/4?
True
Suppose -2*s = 3*s + 4*p - 4, 4 = -2*s + 4*p. Suppose s = a + 2*a. Which is smaller: a or 3/8?
a
Let a be (36/8 + -4)/(-2). Which is smaller: a or -1?
-1
Let l be 9/15 + (-1)/5. Suppose -3 + 18 = 3*x, 4*d + x = -23. Is l smaller than d?
False
Let a be 5/(5/3) + -3. Let g = -25 + 24. Is g less than a?
True
Let u = -5867/15 + 391. Is 4 greater than or equal to u?
True
Let s = -0.8 - -0.9. Let t = -2.97 - 0.03. Are s and t equal?
False
Let f = 13/60 + 1/30. Which is bigger: f or -3/5?
f
Let z = 2 - 3. Let i = z + 3. Suppose 0 = -i*a - m + 8, -5*a = -6*m + 4*m - 2. Which is greater: a or 3/4?
a
Let y(q) = -q**2 - 6*q - 4. Let s be y(-5). Let t = 2 - s. Is t != 2?
True
Let w(x) = -x**3 - 6*x**2 + 10*x + 3. Let v be w(-7). Let g be (v/(-12))/((-2)/4). Is g bigger than -1?
False
Let w = 0 - 15. Let g be (-1 - 24/w)*5. Let n be 1/(g/(-1 + 4)). Which is greater: 3 or n?
3
Let n = 59 - 49.1. Let u = n - 10. Is u greater than 2?
False
Suppose -4*a + a = 0. Suppose 0 = n - 2, 2*f + 3*n - 3 - 7 = a. Let k = -13/12 - -3/4. Which is bigger: f or k?
f
Suppose 2*x - 70 = -2*j, 2*j - 3*j - 2*x = -38. Let f be (-120)/j - (-3)/4. Which is smaller: f or -1?
f
Let v be 25/9 - (-2)/9. Suppose 0 = -v*i - 2*q, 5*q - 2*q = -3*i. Which is greater: i or -2?
i
Let x = -710 + 30528/43. Does 1 = x?
False
Let d(u) = u**3 - u. Let t be d(2). Let n(z) = -z - 1. Let s be n(-7). Suppose 0 = -f - 4*l - 1, -4*l = -f + s*f - 27. Do f and t have different values?
True
Suppose -2*v - 15 = -19. Is v at most as big as 5?
True
Suppose -g = -0*g - z + 2, 0 = 4*g - 5*z + 10. Which is greater: 4/23 or g?
4/23
Let w(s) = -s**3 + s**2 - 2. Let q be w(-4). Let k = -102 - -75. Let g be 16/q*k/(-36). Is 0 < g?
True
Let n(b) = -b**2 + 7*b - 1. Let c = -2 - -5. Let v be n(c). Suppose 5*f + 18 = -2*q, 0 = 5*q + 9 + v. Which is smaller: 0 or f?
f
Suppose -4 = k - 8, s = k - 31. Let m(h) = -2*h - 8. Let a be m(-6). Let j be (-2 - s/14)*a. Which is greater: j or 1?
1
Let y(z) = -z + 1. Let j be y(2). Let i = 253 - 465/2. Let g = 857/42 - i. Which is greater: g or j?
g
Suppose 5*p + 5 = 20. Is p <= 8/5?
False
Suppose -3 = 4*r + 3*y, 0 = 5*r + 3*y + 2*y + 10. Let z be r + -5 + 0 + 0. Let x be ((-2)/(-3))/(z/6). Which is smaller: x or -1?
x
Let p be (-2)/10*-2*25/(-65). Is 0 at most as big as p?
False
Suppose -a - 2 = 2*a - c, 12 = -3*a + 3*c. Does a = 3/73?
False
Let w be (-75)/42 - (-18)/12. Which is smaller: -0.31 or w?
-0.31
Let s(j) = j + 4. Let z be s(-7). Let t be 5*z/(30/(-8)). Which is greater: 3 or t?
t
Let x = 1 - 4. Let o be 1 + (-2)/(-2) + x. Suppose 3*t = -t. Which is smaller: o or t?
o
Let m = -0.391 + 19.291. Let g = m - 18. Let a = 0.7 - g. Which is smaller: a or 0.2?
a
Suppose 0 = 3*w - 9 + 48. Which is bigger: -11 or w?
-11
Let i(z) be the third derivative of -z**4/8 + 5*z**3/3 + 2*z**2. Let j be i(5). Which is smaller: -3 or j?
j
Let r(k) = -k**2 - 3*k + 4. Let y be r(-4). Do y and 0 have the same value?
True
Let s be (9 - 4)/(-5)*5*-1. Is 8 at most s?
False
Let q(x) = 7*x**2 - 3*x - 2. Let o(w) = 15*w**2 - 6*w - 4. Let l = -21 + 34. Let v(p) = l*q(p) - 6*o(p). Let t be v(3). Which is bigger: -3 or t?
t
Suppose -j + 4*l + 0*l = -20, -63 = -4*j - l. Let c be j/6 + (-2)/3. Let w be (-49)/(-14) - (1 - -1). Which is smaller: w or c?
w
Let w(q) = q**3 + 10. Let l be w(0). Suppose -3*z - l = c, 0 = c + c - 4*z - 20. Which is smaller: c or 1?
1
Let a(t) = t**3 - 3*t**2 + 1. Let k be a(3). Are 2 and k non-equal?
True
Let r(c) = -2*c. Let z be r(1). Let i = -1 - 83. Let h = i - -165/2. Which is bigger: h or z?
h
Let z = 27 - 8. Which is smaller: z or 20?
z
Let d be (500/(-105))/5 - -1. Which is smaller: 1 or d?
d
Let c(i) = i**2 - 3*i - 4. Let h be c(4). Let g = -8 + 14. Let f be (g - 5) + 14/(-8). Is f at most as big as h?
True
Suppose 0 = -3*s + s + 4. Suppose -4*b + 18 = f + b, s*b - 8 = 0. Does -0.04 = f?
False
Let n = 0.63 + 0.07. Let d = 0.8 - n. Let i = -1.94 + -0.06. Are i and d nonequal?
True
Let b be (1/(-10))/((-7)/7). Are -0.1 and b nonequal?
True
Let t = 8 + -8. Suppose -2*h + 11 = y - 4*h, t = 5*h + 15. Is 4 at least as big as y?
False
Let u = -9 - -9. Is -3/44 at most u?
True
Suppose 0 = 5*z - 6 + 1, 3*z + 5 = 4*t. Which is greater: 3 or t?
3
Let d(k) = -4*k**2 + 2*k - 4. Let h be d(2). Which is bigger: -0.1 or h?
-0.1
Let x = 0.53 - 0.13. Let d = 1 + -0.9. Is x < d?
False
Let g be 4/10 - 13/(-5). Suppose -4*p - g = -p. Let l be p*(21/(-12) - -1). Does 0.1 = l?