z = 197/4 + -2569/52. Which is bigger: f or z?
z
Let p = -106 - -111. Suppose 0*y + 5*y = 25. Is p < y?
False
Suppose 6*l - 3*l = 6. Suppose 0 = -0*v - l*v. Suppose 0 = 2*d - 4 - 6, 0 = 4*g + 5*d - 21. Are v and g equal?
False
Let w(p) = -p + 10. Let u be w(0). Suppose -5*y - 9 - u = -o, 13 = -o - 3*y. Suppose 0*f + 3*f - 3 = 0. Which is bigger: f or o?
f
Let n = -11 - -10. Let c = -1 + n. Let k = -0.3 + 0.4. Which is smaller: k or c?
c
Let f = -5293/21 + 252. Is 1 at least f?
True
Suppose 5*w - f - 41 = 0, -4*w + 21 = -3*w + 3*f. Which is smaller: w or 26/3?
26/3
Let s = -67 + 64. Which is greater: -18/7 or s?
-18/7
Suppose -27 = -3*i - 3*o, -2*i - 3*o = -0*o - 21. Let c be i/14*(-2)/(-3). Let u be (-7)/(-3) + 12/(-6). Which is greater: c or u?
u
Let d be ((-211)/138 - 6/(-4))*3. Suppose 0 = -2*k - 2*k + 4. Which is smaller: k or d?
d
Let z = 14 + -58. Let g be 8/z + (-5)/33. Is g less than 2/5?
True
Let f = 1 + 209. Let j be 115/f + (-3 - -1). Let w = j + 7/6. Which is smaller: 1 or w?
w
Let y = 1630/17 - 96. Which is smaller: 0 or y?
y
Suppose -5*k = -k. Let a = 5 + k. Suppose -2*o + a*t = -20, 0*o + 20 = -2*o - 5*t. Is 3/5 at most as big as o?
False
Let v = -22 + 2. Let a be 25/v*2/(-15). Which is smaller: a or -1?
-1
Let i = 6.4 - 4.4. Is 21 smaller than i?
False
Suppose g = 6*g - 25. Which is smaller: g or 11/2?
g
Suppose 3*x - 6*x - 24 = 0. Let s be (-10)/x - 1/4. Which is smaller: s or -1?
-1
Let d = 0 - 0.2. Let n = 0.3 + d. Let p = -9 - -7. Which is bigger: n or p?
n
Let x(g) be the first derivative of -g**3/3 + 9*g**2/2 + 16*g + 4. Let n be x(11). Let b = n - -12. Which is bigger: 5 or b?
b
Suppose 3*q = q + 5*g + 41, 3*g + 47 = 4*q. Suppose 2*f + q + 2 = 0. Is -6 > f?
False
Let k be 6/(-3)*1/34. Which is bigger: -1 or k?
k
Let d be (-1 - -1) + (0 - 1). Let a = -272/9 - -3028/99. Is d less than a?
True
Suppose 4*i - 8 = -2*h, 0*i - 5*h = 3*i - 13. Which is smaller: -1 or i?
-1
Let b(q) = 3*q**2. Let g = -2 + 1. Let v be b(g). Suppose 4*y - 9 = v*x, 2*y - x + 3 = 6. Which is smaller: 2/7 or y?
y
Suppose 0 = -0*k + k. Suppose 0 = 5*d - 3*q - 15, 3*d - 4 = 5*q - 11. Suppose -d + 2 = 4*t. Which is greater: t or k?
k
Suppose 6*u - 2*u + 40 = 0. Are 2 and u non-equal?
True
Let v = 5 - 1. Is 8 smaller than v?
False
Let y(z) = 2*z + 1. Let v be y(-1). Let k be v/(-1 + (-3)/(-2)). Let t = k + 3. Is 1/3 at most as big as t?
True
Let w be 108/(-120) + 2/4. Which is smaller: w or 1?
w
Let f(c) = c**3 + 5*c**2 - 2*c - 6. Let o be f(-5). Let h(z) = -z**2 + 3*z + 4. Let x be h(o). Which is bigger: -2/15 or x?
x
Let x(j) = j**2 + j - 2. Let h be x(-2). Suppose 0 = -3*i + 18 + 6. Suppose 5*q + 2*d - 1 = 0, 2*q - 2*d - i = -2*q. Is q bigger than h?
True
Let m = 27/86 + -2271/5590. Is m <= -1?
False
Let l = -0.13 - 0.77. Let o = l - 1.1. Let p = 5 + -5. Which is smaller: p or o?
o
Suppose 0 = -2*h - u + 9, 3*h + 5*u = -0*h - 4. Let w = -1 - h. Suppose -40 = 5*r - 2*d, -r - 5*d = r + 16. Is w greater than r?
False
Let c be (2/(-21))/(88/12). Let s = -227/308 + c. Suppose -2*a - 4 = 0, a + 5 = y + 4. Are y and s nonequal?
True
Suppose -7*t + 18 = -4*t. Let i = -4 + t. Which is smaller: 5/6 or i?
5/6
Let b = 2 + -18. Let h = b + 18. Which is smaller: 6 or h?
h
Suppose -g + 3*g = -2*g. Are 26 and g equal?
False
Suppose 0 = 2*w + 8, -2*w = -4*y + 2*w. Let c = y - -3. Suppose n + 4 = 5*n. Which is bigger: c or n?
n
Let y = 3.3 - 3.11. Let l = 0.09 - y. Let u be 2/(-8) - 7/(-12). Which is bigger: l or u?
u
Let v be (6/4)/(3/(-4)). Let s be (-1)/2*v - 0. Let w be (0 + 1)*4/14. Is s <= w?
False
Let j(n) = 3*n**3 - 14*n**2 - 9*n - 17. Let z(g) = -2*g**3 + 9*g**2 + 6*g + 11. Let b(l) = 5*j(l) + 8*z(l). Let v = -21 - -24. Let r be b(v). Is 5 less than r?
False
Let t be 1/(-10)*(-6 - -2). Let q = 105 + -102.85. Let v = 0.15 - q. Are t and v non-equal?
True
Let h be 5/20 - 43/(-4). Suppose h*j + 15 = 8*j. Let m(b) = 2*b + 6. Let o be m(-4). Are o and j non-equal?
True
Suppose 0 = 7*m - 20 - 22. Which is smaller: 7 or m?
m
Suppose -5*k = -14 + 4. Suppose -3*w = 3, -3*g + 2*w = -g - k. Which is greater: g or 13?
13
Let a(m) be the second derivative of -m**4/12 + m**2/2 - m. Let z be a(1). Is z at most as big as -1/6?
False
Let x = 8 - 9. Which is smaller: 4/15 or x?
x
Let z = 10 - 6. Suppose z*g + 7 = 3. Let a be ((-2)/(-16))/(g/6). Which is bigger: a or 0?
0
Let w = 12 + -7. Suppose 0 = -w*s + 3*s + 8. Let k be (-18)/5 - s/10. Which is greater: k or -3?
-3
Suppose 7 = 2*k - y, 1 - 16 = 5*y. Which is smaller: 5/4 or k?
5/4
Let o(h) = 8*h - 1. Let j be o(2). Let w = 1 + 3. Suppose -i = r - 7, i - 5*r = -w*i - j. Which is smaller: 0 or i?
0
Let i = 9 + -4. Let v = 6 - i. Are 3 and v equal?
False
Let y(l) = l. Let k be y(-3). Let w = 5 + k. Suppose -1 = 3*m - w*m. Is m at most as big as 1/3?
True
Let x = 8 - 5. Suppose 0 = -4*q + x*u - 2 - 9, 2*q = 4*u + 2. Is -6 at least as big as q?
False
Let r = 56 + -56. Is 1/30 > r?
True
Let h = 22.1 + -22. Let s = 0.76 - 0.06. Let p = s - -0.3. Do p and h have different values?
True
Let b = -13 - -8. Which is bigger: -3 or b?
-3
Suppose -m - 2 = 2, -4*b - 5*m = 0. Suppose 4*x - 4*r = -28, -3*x - 53 = 2*x + 4*r. Let f = x + 13. Which is greater: b or f?
b
Let d be (-66)/10 + (-10)/25. Which is bigger: 2 or d?
2
Suppose 3*s + 17 - 5 = 3*o, -5*o = 4*s - 11. Suppose -u + 4*k = -9, o*u + 4 = -4*k - 1. Which is smaller: u or -1/6?
-1/6
Let i = -3.9 - 0.1. Let d = 0.6 + -0.66. Let f = d - -0.06. Are i and f unequal?
True
Let d be -73 + (-3 - (2 + -2)). Let o = 761/10 + d. Which is bigger: 2/7 or o?
2/7
Let h(z) = -z**3 + 4*z**2 - 3*z + 1. Let y be h(2). Suppose 0 = -0*d - y*d - 5*u - 31, 0 = 2*d + 5*u + 29. Are d and -1 unequal?
True
Suppose -79 = -4*j - 2*m + m, -48 = -3*j - 3*m. Let h be (-1 - j/(-15))*-5. Is -2 smaller than h?
False
Let n(h) = 44*h**3 + 1. Let c be n(-1). Is -43 greater than or equal to c?
True
Let z(o) = o**3 + 6*o**2 - o - 2. Let a be z(-6). Suppose a*k = 6*k - 6. Suppose w + k = 2. Which is bigger: 2/9 or w?
2/9
Let g = -34 + 13. Let l be ((-8)/(-6))/(14/g). Does 0 = l?
False
Suppose 5*p + 4 = 3*p. Let g = p - -1. Is 0 greater than g?
True
Let h = -10 + 10. Which is smaller: h or -4?
-4
Let r = -11 + 11. Which is bigger: -1/12 or r?
r
Let o(b) = -5*b**2 + 3*b + 8. Let x(t) = 2*t**2 - t - 3. Let q be (-4)/(1*(-2)/4). Let n(s) = q*x(s) + 3*o(s). Let j be n(0). Which is smaller: -1 or j?
-1
Let o be (-60)/(-8)*8/6. Let w = -6 + o. Is w at least 5?
False
Let v = -25 + 16. Which is smaller: v or 1?
v
Let y(t) = -11*t**2 + t - 1. Let b be y(1). Let m(a) = 2*a**3 - a**2 - 3*a + 3. Let p be m(-2). Is b greater than p?
False
Suppose -2*i + 3 = -23. Which is smaller: i or 2/5?
2/5
Let s(h) = h**3 - 14*h**2 + 13*h. Let k be s(13). Is k at most as big as 5/17?
True
Let b(c) = -c**2 + 5*c - 6. Let l be b(3). Which is smaller: 2/57 or l?
l
Let l = 0 + 14. Let z = 13.7 - l. Which is smaller: 4 or z?
z
Let k(i) = 3*i - 5. Let u be k(4). Is 8 smaller than u?
False
Suppose 2*u - m = 125, -2*u - 4*m + 17 = -83. Let t be (-39)/u - (-4)/10. Which is bigger: t or 0?
0
Let a = 5 + -14. Let s(m) = m**2 + 9*m + 4. Let u be s(a). Is u smaller than 18/5?
False
Let h = -5.01 - -0.01. Let t = -2.4 + -2.8. Let v = t - h. Which is smaller: v or 2?
v
Suppose -19 = -5*w + 31. Suppose -4*x = -3*f - 15, -x - 4*x - 2*f - w = 0. Let j = 379/4 + -96. Which is smaller: j or x?
j
Let p(b) = b - 1. Let j be p(4). Suppose -j*h = 10 - 1. Let d be 1/h*2/1. Is 0 not equal to d?
True
Let k = 17 - -12. Let j = -19 + k. Which is bigger: 9 or j?
j
Let b(t) = -13*t - 1. Let y be b(2). Let c be 3*(-1)/y*277. Let m = -31 + c. Is m >= 1?
False
Suppose 0 = -5*w + 6*w + 16. Let y = w - -33/2. Which is bigger: y or -2/5?
y
Let l be (-10)/4*4/15. Suppose 0 = 5*d + 3*r, d + r - 1 = 1. Let g = 3 + d. Which is bigger: g or l?
g
Let b be 10/(-6)*54/(-45). Let v be 4/(-16)*b*0. Is v greater than or equal to -2/19?
True
Suppose -3*t = -0*t. Let i be 32/3*(3 + t). Let d be i/12 + (-1)/6. Which is smaller: 3 or d?
d
Let n(m) = m**2 - 6*m + 2. Let i be n(6). Suppose 4*g - i*g - t = 9, 2*g + 2*t = 6. Suppose 3*l + 3 = g*l. Does l = 3?
True
Let f be ((-22)/(-10) - 1)*-5. Let p = f - -8. Is p >= 2?
True
Let o = -17.2 - -16. Let a = o + 1. Which is smaller: a or 0.5?
a
Let o = 0