5. Let f = o - k. Which is greater: f or 5?
f
Let y = -1.6 - -0.1. Let r = 2 + y. Let h = r - 0.4. Is 1 > h?
True
Suppose -96 = 8*z - 24. Suppose 4*m = -m. Let u be (z/30 - m)*4. Is 0 not equal to u?
True
Let d(x) = -81*x + 3. Let a be d(-3). Suppose -4*z + a = -38. Let t = z + -498/7. Is t < -1?
False
Let d be (10 - 9)/(1/(-1)). Let x(y) = y**2 - 2*y - 2. Let u be x(d). Is u >= -3/16?
True
Suppose -4*j + 3*j = -4, 4 = 4*y - j. Let d be -2 + 24*2/15. Which is smaller: d or y?
d
Let u be 1/4 + 210/24. Let c be (-11)/u + (-4)/(-18). Is 1/7 greater than c?
True
Let d(r) = -2*r**3 - 2*r**2 + r + 2. Let a(h) = 3*h**3 + 3*h**2 - 2*h - 5. Let y(k) = -3*a(k) - 5*d(k). Let l be y(0). Is l not equal to 5?
False
Let a = -1 + 0. Suppose 0 = -0*d - d - h + 17, 0 = 2*d - h - 31. Let m be d/(-28)*(-1)/(-2). Is a != m?
True
Let p be 0 + 10/(-3) + 4. Which is greater: p or 11?
11
Let b be (-3 + 42/18)*54/(-4). Suppose -9 = -3*a + 18. Is a smaller than b?
False
Let w be 2/3*5/(-10). Let c = -1 + 1.4. Let u = 0.7 - c. Is u != w?
True
Suppose -4 = -2*f + 2. Let p be (2 - -1) + 5/(-5). Let y = f - p. Is y less than or equal to 2/15?
False
Let c = 0.3 + 0. Let x = 0.3 - c. Let w = 0 + 0.1. Which is smaller: x or w?
x
Let g = -1020/7 - -146. Which is greater: g or -2?
g
Suppose q + 2*q = 6. Suppose d = -q*d + 9. Suppose d*i = -2*i + 10. Is i < 2?
False
Let h(p) = p**2 - 7*p + 3. Suppose 5*t + 3*o - 40 = 4*o, 2*o = -5*t + 25. Let j be h(t). Let u be 0 + j/(-3*1). Which is greater: u or -2?
u
Suppose g - 2*n = 8 + 5, 0 = -g - 3*n + 3. Let b be -2 + (4 - 0) + 6. Let j = b - g. Which is smaller: j or -0.3?
j
Suppose -12*b + 1 = -11*b. Which is bigger: b or -4?
b
Let u(j) = -2*j + 1. Let l be u(4). Is -7 at least l?
True
Let z(v) = -v + 3. Let d(w) = w - 2. Let i(f) = 6*d(f) + 5*z(f). Let m be i(-6). Which is smaller: -4 or m?
-4
Let m = -10/37 - -4618/111. Let u = m + -41. Which is smaller: u or 6?
u
Let i be 18/(-16)*4/(-75). Which is smaller: 0 or i?
0
Let n = -2 + 1.9. Are n and -2 non-equal?
True
Let a be ((-4)/(-6))/(1*(-50)/(-45)). Let h = -2.9 + 3. Which is smaller: a or h?
h
Suppose -3*h = -h - 3*c - 3, -3*c = 5*h + 3. Let l = 4 + -4. Let a = l - h. Which is smaller: -1/4 or a?
-1/4
Let d = -0.06 + -11.94. Let h = 9 + d. Is h at least as big as 2/5?
False
Let x be -3 + ((-1045)/30)/(-11). Suppose 2*u - 10 = -3*h - 2, -3*u - 5*h = -12. Suppose u*v - v = 0. Is v greater than x?
False
Let q(m) = -m**3 + 12*m**2 - 2. Let l be q(12). Let c be l/(-4 + 2 + 0). Are c and 3/10 nonequal?
True
Suppose -5*p + v = 0, -4*p + 2*p - 5*v = -27. Suppose 0 = -3*n - 2 - p. Is n <= -1/5?
True
Suppose 14 = 4*r - 2*v, 4*r + 3*v + 7 + 4 = 0. Is r at least as big as 14/15?
True
Let f = 112 + -202. Let m be 1/(-6) - 35/f. Is m less than or equal to 0?
False
Let y = 383/760 - 11/19. Let z be -1 - -1*1557/1560. Let r = z + y. Is 0 > r?
True
Let q = -196 + 196.47. Which is greater: q or -2/7?
q
Suppose 0 = 4*c - 5*g - 29, 3*c = -2*g - 0 - 7. Is 2 > c?
True
Let g be (0 + 10 - 3) + -1. Suppose -g*k = -2*k - 16. Suppose 3*w - 8 = 4*x - 0*x, -k*x = 3*w + 32. Is -3 at least as big as w?
True
Suppose f - 2*f + 6 = 0. Let z be 4/20 - f/5. Is -3/2 smaller than z?
True
Suppose -4 = 5*g - 6*g. Suppose g*w = 3*w - 2. Let q = w - -2. Which is bigger: q or 1/4?
1/4
Let t = 12.74 + 0.26. Let n = -13.1 + t. Which is greater: -1 or n?
n
Let z = -785/204 - -5/51. Which is greater: z or -3?
-3
Let w be (-21)/34 - ((-144)/(-136))/(-9). Let u = 1 - 2. Which is greater: u or w?
w
Suppose 3*t - 16 + 1 = 0. Let h = 8 - t. Let c = 5 - 3. Is c at most h?
True
Suppose 5*q - q - 24 = 0. Are q and 6 unequal?
False
Let f(u) = 3*u**2 - 2*u - 2. Let q be f(2). Are q and -1/4 non-equal?
True
Let f = 4 - 4. Suppose 0*r - 2 = -2*r. Which is smaller: r or f?
f
Let g(m) = -4*m**2 + 11*m - 13. Let o(p) = -9*p**2 + 23*p - 27. Let x(a) = 7*g(a) - 3*o(a). Let q be x(7). Let c be q*11/(-27) - 1. Is c greater than -0.1?
True
Let m = 699592/7 - 99685. Let y = m - 256. Which is bigger: 2 or y?
2
Suppose 0 = 3*i + 5 + 4. Let p be (-3 - i)*(2 + -1). Which is smaller: -1/5 or p?
-1/5
Let s = 38 + -39. Do s and -12/11 have the same value?
False
Let m be (-3)/(5*(-6)/(-80)). Is -8 less than m?
False
Let d = 1 + -1. Let o = -226016 - -10171169/45. Let h = o - 51/5. Is h at most as big as d?
True
Let k(y) = -5*y + 29. Let r be k(6). Let t = -581/104 + 41/8. Which is smaller: r or t?
r
Let l = 29 + -21. Suppose 0 = -2*a - 5*b - l, 2*a + b - 6*b = -8. Let p be 2/(-14)*a - 1. Which is smaller: p or 1?
p
Let o be (-1)/((-14)/(-4)) + 442/77. Is o > 4?
True
Let n(i) = -i + 6. Let l be n(0). Let q = l - 4. Suppose -q*p - 2*p - 18 = -5*o, -4*p - 24 = -2*o. Which is smaller: p or 0?
p
Suppose 0 = 4*h + 8 - 4. Are -8/7 and h nonequal?
True
Let p(k) = k + 3*k**2 - 3*k**2 - k**3 - 5 + 5*k**2. Let a be p(5). Is -4 smaller than a?
True
Let u = 17 - -14. Which is greater: 32 or u?
32
Suppose 0 = -4*f - f + 5. Let r = -3 + f. Let n(x) = x**3 + x**2 - x - 2. Let y be n(0). Is y smaller than r?
False
Let m = -6 - -7. Suppose r - 18 = -2*r. Which is bigger: m or r?
r
Let h(z) = z - 2. Let l be h(5). Suppose 0 = 4*y - 5*w, 0*y - 5 = -l*y + 5*w. Is -5 at least y?
True
Let d = 20 - 21. Which is smaller: 6/19 or d?
d
Let q = -220 - -351. Is q bigger than 131?
False
Let a = -102 + 86. Is a at least as big as -29/2?
False
Let d = 0.25 - 0.15. Which is greater: d or 3?
3
Suppose 0 = g - 2 - 1. Let b be 1 + 2 + (-6)/g. Which is smaller: -1/7 or b?
-1/7
Suppose -c - c = -2. Let n = 11 + -6. Suppose 5*s = n - 0. Is s at least c?
True
Suppose -2*x = -x. Let z = -42749 - -15389683/360. Let a = z - -1/72. Is x > a?
False
Let j = 104 + -99. Is -0.2 less than j?
True
Suppose 12 = 20*b - 8*b. Which is bigger: b or 1/40?
b
Let q be (-5)/(-3) - 1/(-3). Let f be (6/5)/((-9)/(-30)). Let h be q*(-2)/f + 1. Which is greater: 2/9 or h?
2/9
Let n be (-6 - (-123)/20) + 1/(-4). Suppose 2*d - 4*z - 3 = -21, -3*z = -12. Which is smaller: n or d?
d
Suppose 0 = -2*k + 4*c, k - 2 = c + 1. Let s = k + -8. Let z be s/(-7) - 48/70. Which is bigger: 0 or z?
0
Let b = -0.32 - 7.18. Let k = -1.5 + b. Is k <= 2/5?
True
Suppose w + 4 = 3. Let h be w - (-7 - (-4 + 1)). Which is bigger: 5/2 or h?
h
Suppose 6 + 1 = u + x, 0 = -4*x + 20. Which is bigger: 2/19 or u?
u
Let p be (-1)/1*(-9)/27. Let y(u) = -u - 3. Let d be y(-3). Let m(c) = -c + 1. Let b be m(d). Which is smaller: b or p?
p
Suppose -3*z = 2*z - 10. Let f = -1 + 0.9. Which is smaller: z or f?
f
Let p = 18 - 7. Which is bigger: 0.1 or p?
p
Let j be 3/(-15) - (-29)/20. Are 0 and j equal?
False
Let o = 13 - 9. Do 2 and o have different values?
True
Suppose 15 = w + 2*w. Suppose t = -w + 3. Let p be (-1)/t*(-4 - -4). Which is greater: p or -1/2?
p
Suppose 0 = 4*i - a + 2*a - 6, 0 = -3*a - 6. Suppose 4*t + 5*g = 41, 5*t + g - 1 = 24. Is i at most as big as t?
True
Let g = 1.1 + -0.1. Are g and 2/9 unequal?
True
Suppose -3*r - 2*r = -4*n + 24, -5*n = 20. Let j be (r/12)/(2/15). Which is bigger: j or -4?
-4
Let x = 51.1 + -51. Let l = 0.1 + 0.1. Which is smaller: x or l?
x
Let h be 2/6*3/(-1). Suppose 0 = -m + 11*m + 20. Is m at least h?
False
Let s be 3 - (1 - (0 - 0)). Let h be (3/(-28))/(s/8). Which is smaller: h or 1?
h
Let g = 3 - 2. Let x = 0.2 + 0. Is g bigger than x?
True
Let l = -395 + 677. Let a = l - 88. Let u = a - 1364/7. Is u at least as big as 0?
False
Let p be ((-1)/(-3))/((-7)/(-84)). Let j be (3/p)/((-9)/(-45)). Do 4 and j have different values?
True
Let c = 0.1 + -0.07. Let h = c - -0.07. Are -3 and h nonequal?
True
Suppose -153*v - 18 = -144*v. Suppose -3*n = 3*s + 2*n + 19, -2*s - 6 = 2*n. Suppose s = -3*a - 3*c - 22, 0 = 5*a + 2*c + 25. Is v > a?
True
Let z be (-2 + 1 + 2)*-1. Suppose 8 = -a + 4. Let w(r) = r**2 + 3*r - 4. Let u be w(a). Is u at most as big as z?
False
Let i = 0 + 0.02. Let k = 2.98 + i. Which is bigger: k or -2?
k
Let o = 1298/9 - 144. Which is greater: o or 1?
1
Suppose -2*w - 12 = 2*o - 0*o, 0 = -2*o + 4*w + 12. Which is smaller: -3/4 or o?
o
Let m = 1.1 - 0.6. Let z = -6 + 4. Let l = -3 - z. Is l < m?
True
Let m(r) = 11*r + 23. Let f(g) = 5*g + 11. Let t(w) = 13*f(w) - 6*m(w). Let y be t(5). Let o be y + 0 - (-1 - 0). Is 3 > o?
True
Let r be 8/20 - 28/(-5). Does 0.1 = r?
False
Let t be 60/(-40) + (-