t y(f) = 4*f - 23. Let k be y(-3). Which is smaller: k or -34?
k
Suppose 3*u - 3*c + 1 - 16 = 0, 2*c + 3 = -5*u. Let r be u - 4/(-7)*-1. Let i be (-2)/(-5) + 2/(-5). Do r and i have the same value?
False
Let g = -0.17 - 0.13. Do g and 0 have the same value?
False
Let r(u) = -u + 9. Let z be r(8). Let q be (0 + z)*(3 + 7). Let w be (2 + 0)/(4/q). Which is greater: w or 1?
w
Let m = -16 + 15. Which is greater: m or -13/6?
m
Let u = 1748/3 + -600. Which is bigger: u or 0?
0
Suppose 3*b + 3*u - 4*u - 9 = 0, 3*b + 2*u = 9. Suppose 4*c - c = b. Which is smaller: -1/3 or c?
-1/3
Let f(y) = y**3 - 4*y**2 + y - 3. Let p be f(3). Is p greater than or equal to -10?
True
Let q = 129 - 267. Let r be (-64)/q - 1/3. Let p = r + 103/92. Which is smaller: 2 or p?
p
Suppose 0*x - x + 4 = 0. Is 4 equal to x?
True
Let n = 9.3 + -9.2. Which is bigger: n or -36?
n
Let v be 1*(-1 - (-6)/2). Suppose -2*s - 8 = v*r, 2*r + 2*s = -2*r - 14. Let u = r + 1. Which is smaller: 0 or u?
u
Let m be 1/(0 + (-3)/(-39)). Suppose m = -w - 0*w. Let g = -40/3 - w. Which is smaller: g or -1?
-1
Let x be (-14)/(-21)*3/4. Let u be (-9 - -9)*1/2. Are x and u non-equal?
True
Suppose -4*g - 3*b = 91, -4*b + 7*b = g + 19. Is g bigger than -22?
False
Let a(f) = 8*f + 8. Let c be a(8). Let q = -577/8 + c. Are 0 and q equal?
False
Let w = 76 - 75. Is -1/33 less than or equal to w?
True
Suppose 5*h = 20 - 5. Suppose 0 = -h*c + c + 6, -5*c = 2*b - 9. Let n = b - -3. Is 1 at most n?
False
Let k be (-2)/(-1)*(-2)/(-2). Suppose 4*i - d - 61 = 0, -15 = -k*i + d + 16. Let g be 2*1*3/i. Which is bigger: g or 1?
1
Suppose -8 = -4*k - 0. Suppose k*x - 4 = 2*c + 10, -9 = -3*x - c. Let a = -5 + x. Is 0 < a?
False
Let c(w) = -w - 6. Let y be c(-5). Is y less than or equal to -6/11?
True
Let z be (-2)/5 - 4/(-10). Suppose 3*k = -0*k + 9. Suppose -11 = -r + 3*m, -4*r = -2*r + k*m + 14. Are r and z non-equal?
True
Let v = 161/117 + -15/13. Suppose 4*f - 12 = -3*c, -5*c = -0*f - 2*f - 20. Let k be ((-10)/c)/(-5)*0. Is k at most as big as v?
True
Let n be -3 - (-8)/(-36)*-12. Suppose 0*g = 3*g + 3. Do n and g have different values?
True
Let o = -156 + 784/5. Is 0.6 < o?
True
Let r(j) = j**2 + j - 5. Let y be r(-3). Is y not equal to 1?
False
Let v = 573/5 - 116. Does v = -2?
False
Let c = -4/201 + -1580/1407. Suppose -2*p + 6 + 0 = -2*a, 3*p = 6. Is a less than or equal to c?
False
Let v = 3.3 + -3.35. Let a = -2.95 - -3. Let w = a - v. Which is smaller: 0 or w?
0
Suppose t - 3*t + 2 = 0. Let w be t*(1 + 7/(-5)). Is 1 not equal to w?
True
Suppose -3*f = 5*f - 80. Is f < 8?
False
Let n = -0.17 - 5.83. Let i = 5.9 + n. Which is greater: i or 5?
5
Let f be 2/9 - (-1)/((-189)/96). Are 70 and f nonequal?
True
Let p(o) = -o**3 + 19*o**2 + 44*o - 45. Let a be p(21). Which is smaller: -33/8 or a?
-33/8
Let y(g) be the first derivative of g**3/3 - 7*g**2/2 - 8*g + 2. Let i be y(8). Which is smaller: i or 1/4?
i
Let q = -1.5 + 15.5. Let s = 12.9 - q. Let k = -1 - s. Which is greater: 5/3 or k?
5/3
Suppose 0 = p - 0*p. Suppose l - 2*l = p. Is -5/4 bigger than l?
False
Let a = -1 - -5. Let q = a - 8. Let m be (-108)/(-132) + (-4)/(-22). Is q >= m?
False
Let a be 3/12 + (-22)/(-8). Suppose 0 = y + 1. Is y greater than a?
False
Let w = -2.3 - 9.7. Let l = 12.1 + w. Is l less than or equal to -0.3?
False
Let m = -115803 - -9727603/84. Let r = -17099/8196 + 2/683. Let p = m + r. Which is smaller: 0 or p?
p
Let l(z) = z - 5. Let m be l(6). Which is bigger: m or 0.1?
m
Suppose 4*p + 49 = 57. Let f be 20/(-7)*(-2)/8. Is p > f?
True
Let c = 253321/8 - 31743. Let s = 78 + c. Which is greater: s or -1/2?
s
Let u(i) = -3*i**3 + 7*i**2 - 8*i + 6. Let p(y) = 16*y**3 - 36*y**2 + 41*y - 30. Let k(z) = 2*p(z) + 11*u(z). Let v be k(4). Which is bigger: v or -4/3?
-4/3
Let y = 3 + -4. Which is bigger: y or -3?
y
Let n(k) = 6*k + 18. Let c be n(0). Is c bigger than 19?
False
Suppose 5*r - 8 = -13. Which is smaller: -2/3 or r?
r
Let q = -7 + 7.1. Is -1/2 at most as big as q?
True
Let t = -0.09 + 5.09. Let q = t - 5.2. Which is smaller: 0.2 or q?
q
Let q = -39/85 - -18/17. Are q and 1 non-equal?
True
Suppose -2 = -z - 0*z. Let q be (270/35)/(3/14). Suppose 0 = 5*h + 2*r + r - q, -z = -r. Is 6 at least h?
True
Suppose -3*a + 1 + 4 = 2*i, 0 = -5*a + 4*i + 1. Is -6/29 > a?
False
Let z = 24 + -17. Let d = z + -7. Which is greater: -10/9 or d?
d
Let y = 5 + 7. Is y greater than 13?
False
Let t = 20863/38 + -549. Is t >= 1?
False
Let o = -22 + 28. Which is greater: o or 8?
8
Suppose -2*v - 2*v - 4 = 0. Is -5/9 > v?
True
Let k(t) = t**3 - 5*t**2 - 2. Let w be k(5). Let s be (w/35)/(4/(-5)). Is s <= 0?
False
Let q(f) = f - 2. Let p = -2 - -3. Let o be q(p). Let x(k) = -2*k**2 - 4*k - 2. Let h be x(-2). Which is smaller: h or o?
h
Let z(m) = -m + 9. Let v = -9 - -4. Let o be (-114)/(-15) + (-2)/v. Let l be z(o). Is l greater than or equal to -1/5?
True
Let l(u) = 2*u**2 + 5*u + 6. Let o be l(-2). Is o less than or equal to 11/4?
False
Let t be (12/3)/((-4)/(-46)). Let g be (-1 - -3) + 670/(-14). Let k = t + g. Is 2/7 > k?
True
Let s = 43 + -42. Is s bigger than 2.5?
False
Let o = -1/2575 - 5083/172525. Let g = 1075/124 - 469207/58156. Let r = o + g. Which is greater: 2 or r?
2
Suppose 0 = 3*k + 3*k - 18. Is k bigger than 3/2?
True
Let h = 16 + -26. Let k be (-56)/27 + h + 12. Which is greater: 1 or k?
1
Let t = -6422/5 + 1293. Which is bigger: 0 or t?
t
Suppose 2*f + 30 = -5*m, m - 5*m = 8. Are f and -10 equal?
True
Let t = 1.27 + 0.13. Let y = 1.5 - t. Which is bigger: y or 1?
1
Let z be -1 + 20/6 + -1. Suppose 5*d + 6 = 6. Is z bigger than d?
True
Let w = 10 + -9.7. Let y = w - -4.7. Which is greater: -0.2 or y?
y
Let p = -1 + -1. Let b(q) = q**2 - 1. Let h be b(p). Let k(v) = v - 1. Let g be k(4). Are h and g equal?
True
Suppose -3*z + 21 = f - 2*z, 3*f = -4*z + 62. Is f less than 22?
False
Let h(g) = -g. Let f be h(-5). Suppose 3*o = -0*i - 4*i - f, 0 = -i + o - 3. Is i bigger than -2?
False
Let v(j) = 5 + j - 3 + 0*j. Let p be v(-3). Are 2/15 and p equal?
False
Let n = -12 + 9. Which is greater: n or 0?
0
Let a = -0.47 + 0.17. Which is smaller: -2/3 or a?
-2/3
Suppose 1 - 4 = -n. Suppose -3*u + 15 = 2*p, -n*u = -p + 12 - 0. Let r be (-9)/(-4)*(-6)/p. Which is smaller: r or -3?
-3
Let j = -6 + -6. Do j and -11 have different values?
True
Suppose g = -3*x - 10, -2*g - 2*x + 7*x = -13. Let v = 5 + g. Is v less than or equal to 4?
True
Let c(t) be the second derivative of t**3/6 + 3*t**2 + t. Let u be c(-5). Let k be (-10)/(-15) + 1/3. Is k > u?
False
Let b be (-8 + 2)/(-3) + -3. Suppose -3*p - 3*f + 5*f - 22 = 0, -4*p - f - 44 = 0. Let g be (-8)/20 + 11/p. Which is bigger: g or b?
b
Let y = 271 + -263. Suppose -1 = 4*g - 9. Which is smaller: y or g?
g
Suppose -5*c - f - 101 = 0, -3*f = -2*c + 5*c + 63. Let r = c - -24. Suppose -10 = -2*x - 0*x. Is r equal to x?
False
Let g(p) = -p**3 + 4*p**2 - 2*p - 2. Let u be g(3). Let h be (-264)/(-138) - (2 + 0). Is u less than h?
False
Let u = -6 + 9. Suppose -3 = u*s - 0. Which is bigger: 0 or s?
0
Let k = -2219/6 - -17693/42. Let p = -2621/56 + k. Let m = -391/88 + p. Does m = 1?
False
Let w(h) = h**2 - 8*h - 3. Let l be w(5). Is -18 at least l?
True
Suppose 0 = 5*b - 5, 2*a - 3*a - 22 = -3*b. Which is smaller: -20 or a?
-20
Let c = 0 + -2. Let u be (2 + (-34)/18)*c. Let r = 7 - 8. Which is bigger: r or u?
u
Suppose 6 = 3*b + 3*b. Which is smaller: b or 2/3?
2/3
Let x = 0.11 - -0.89. Is x at most 1?
True
Let b = -2.1 + 2.2. Which is smaller: -2.8 or b?
-2.8
Let i = 0.2 - 0.4. Let m = -0.6 - i. Let n = -0.4 - m. Is -2/5 less than n?
True
Let h(o) = o - 3. Let l be h(3). Let r = 8 + -23. Let q be ((-48)/r + -3)*1. Which is smaller: q or l?
l
Let g = -5 + 5.14. Let o = -0.34 + g. Which is greater: -2 or o?
o
Suppose -r - r - 4 = 0. Let a be -2*1*(-4 - -2). Let f be (-2)/a*(r - -4). Is f bigger than -2?
True
Let j = -508/1827 + -2/261. Is j <= 0.9?
True
Let d(b) = 6*b + 80. Let m be d(-7). Which is smaller: m or 36?
36
Let j be -1 + 1 - (-2)/1. Suppose 4*b + j = 2*b. Suppose -5*g = -7*g. Which is smaller: g or b?
b
Suppose 0 = -2*t + 7*t - 15. Let s be 0 - 3/t*-1. Which is bigger: -2/17 or s?
s
Let n be 0/(3/3) - -12. Let j = 13 - n. Let b = -0.1 - 0.9. Which is greater: b or j?
j
Suppose -7*u + 11*u = 8. S