 = 73 - 93. Which is bigger: f or -19?
-19
Let t be (-2)/((0 - 1)*-3). Is -0.11 equal to t?
False
Let d = 104 - 70. Is d smaller than 35?
True
Let o = -2 - 7. Which is smaller: 1/2 or o?
o
Let q be (-1)/4 - 14/8. Suppose 2*b = -g + 4 + 3, -b - 4*g = 0. Let v be (0*(-2)/b)/(-2). Is v greater than or equal to q?
True
Let g(d) be the second derivative of d**5/60 + 5*d**4/12 + 7*d**3/6 + d**2/2 + d. Let p(q) be the first derivative of g(q). Let m be p(-9). Is m less than -0.2?
True
Let v be (-4)/2*(4 + 655/(-170)). Is v less than or equal to -1?
False
Let l = -49 + 1616/33. Is l less than 0?
True
Suppose z = -16 - 4. Is z greater than or equal to -21?
True
Let w(s) be the first derivative of -s**4/4 + 2*s**3 - 4*s**2 - 2*s + 4. Let d be w(4). Which is bigger: d or 0?
0
Suppose -q - 2 = -4*i + q, -5*i + 5*q + 5 = 0. Let v(x) = -x**2 - x - 1. Let w be v(i). Let y be 0 - (2 + w*6). Are y and 4 unequal?
False
Let u(r) = r**3 - 5*r**2 - 5*r - 20. Let n be u(7). Which is bigger: n or 44?
44
Let p be (8/14)/((-2)/(-3)). Let t = p + -2/7. Let x be -7 - -4*35/20. Does t = x?
False
Let d = 0.663 - -0.137. Which is smaller: d or 3?
d
Let i = 0 + 2. Let z be (i - 1) + (-6)/3. Let s be 2/2 - z - 2. Are s and -1 non-equal?
True
Let t = -27 + 26. Does 1/3 = t?
False
Let b = 1218/137 - -80614/1781. Let h = -54 + b. Is h > -1?
True
Let b(f) = -f**3 - 3*f**2 + f. Let c be b(-3). Let i be c/15 + (-104)/(-20). Is i not equal to 7?
True
Let b be 2*(-6)/8 - (-3 - -2). Which is bigger: b or -1?
b
Let t = -23/5 - -71/15. Is t <= 1?
True
Let t(r) = 2*r**3 - 6*r + 7. Let u be t(2). Which is smaller: 9 or u?
9
Let p(k) = k**3 + k**2 + 4*k - 1. Let n be p(-2). Is -12 >= n?
True
Suppose -3 + 0 = -l. Suppose -5 = 55*z - 60*z. Is z >= l?
False
Let w be (18/4*-2)/1. Is -8 at least w?
True
Let b = 2665/3 - 881. Let g = 8 - b. Suppose 9*s = 8*s - 7*s. Which is greater: g or s?
g
Let i be -2 - -4 - 80/24. Which is smaller: 1/2 or i?
i
Let b(c) = -c**2 + 3*c + 12. Let t be b(-3). Is -7 greater than t?
False
Let d(c) = -c**3 - 7*c**2 - 7*c - 6. Let y be d(-6). Suppose y*r - 2*r + 8 = -i, r - 4 = 4*i. Let l = -116/3 + 39. Do i and l have different values?
True
Let j(i) = -2*i - 19. Let s be j(-9). Is s at most 18?
True
Suppose -9 = -3*j - 2*n, 0 = 4*j - 0*j - n - 1. Suppose -7*q - j = -8*q. Let u be q*(-1 - (-12)/21). Which is smaller: u or 1?
u
Suppose -l + 16 = 3*r, -r = 3*r - 20. Which is bigger: l or -22/3?
l
Let p be ((6 - -1)*-2)/1. Let a(j) = -j**3 - 7*j**2 - 2*j + 11. Let d be a(-6). Is p equal to d?
False
Let l = 312 - 2192/7. Which is smaller: l or -2?
-2
Suppose 4*k - 15 = -3. Suppose -7*b - 16 = -k*b. Let w be (1/2)/(13/(-78)). Which is greater: b or w?
w
Let h = 0.21 + 0.19. Which is smaller: h or -2/67?
-2/67
Suppose 3*p = 2*m - 59, -3*p + 0*p = 5*m - 158. Which is smaller: 30 or m?
30
Let h = -1 + 2. Let l = -1 + 2. Let d be 3/(-6)*(l - 3). Is h > d?
False
Let j(q) = -q**2 + 8*q - 8. Let b be j(8). Is b equal to -8?
True
Let u(b) = b. Let p be u(6). Let y = -6 + p. Which is smaller: y or -1?
-1
Let h be 58/(-5) - (-4)/(-10). Let z = h + -4. Which is smaller: z or 1/2?
z
Let z = 18 - 18. Is z less than 18/17?
True
Let g be 1 - -1 - 1 - -2. Let b = g - -9. Let f be ((-21)/b)/(-1) - 2. Is f bigger than 1/3?
False
Suppose -2 = o - 4. Is o > 0?
True
Let o = -46.39 + 46. Let n = 0.01 - o. Which is greater: n or 1/3?
n
Let s = -150 + 138. Is -0.4 at most s?
False
Let l(x) = x + 0 + 1 - x**2 + 0 + 2*x**2. Let p be l(0). Is p greater than or equal to -2/27?
True
Suppose -4*p = p - 15. Suppose 2*u - p*u = -1. Let m = -235/986 + 7/58. Which is bigger: m or u?
u
Suppose 1 = n + 4. Let r = n + 5. Let w be (-5 - -4)*r/2. Is 1 at least w?
True
Let n = 78.9 + -79. Which is bigger: 8/9 or n?
8/9
Suppose 3*a - 7 = -0*a + g, -5*a + 4*g + 7 = 0. Suppose -2*x + 4*j = 18, a = -2*x + 3*j - 10. Which is bigger: -3 or x?
x
Let b = 0.22 + -0.12. Which is greater: b or -22?
b
Let q = 0.8 + -0.83. Which is greater: -1/4 or q?
q
Let y(r) = 14*r + 1. Let i be y(1). Let d = i - 10. Is 5 at least as big as d?
True
Let w be 3/(-1) + 39/9. Is w at least as big as 0?
True
Suppose -3*f - 32 = -7*f. Which is smaller: f or 0.1?
0.1
Suppose 0*g + g = 44. Suppose -2*p = w + w + 2, 2*p - 13 = w. Let h be (1/p)/(g/(-32)). Which is greater: h or -1?
h
Let b be (20/(-6))/(19/(-3)). Let z = b - 69/95. Let h be -1 + -1*(1 - 1). Which is smaller: h or z?
h
Suppose 3*h = -7*h. Is h bigger than 1/34?
False
Suppose -5*q = 2*r - 16, 2*q - 19 = -3*r - 2*r. Suppose 5*j + q = 4*j. Which is bigger: j or -4/3?
-4/3
Suppose 3*j - 115 = -5*f, 0*f - 3*j + 75 = 3*f. Suppose 0 = -2*p + 2*w + 2*w - 16, 0 = 4*p - 5*w + f. Let k be 1 + (-2 - (p - -1)). Is -3 smaller than k?
True
Let f(w) be the third derivative of -w**5/60 + w**4/6 + 3*w**2. Suppose -3*p + 12 = -0*p. Let s be f(p). Which is smaller: s or 1/5?
s
Let n = -2 - -18. Let h = n + -17. Are h and 4/9 non-equal?
True
Let d(h) be the first derivative of h**4/4 - 3*h**3 + 7*h**2/2 + 12*h - 1. Let r be d(8). Let n = -5 - -10. Which is greater: r or n?
n
Suppose -2*n - 18 = d, 2*d + 18 = 3*n - 25. Let j be (-4)/d - 7/(-15). Let o = -3 + 5. Which is smaller: o or j?
j
Let a = -0.05 - 1.95. Let g = a + 3. Is 6 > g?
True
Let i = -12 - -11. Which is smaller: 1/10 or i?
i
Let r = 22 - 38. Let y = r + 10. Let p = y + 6. Is p < -1/4?
False
Suppose h = 2 + 8. Which is smaller: 9 or h?
9
Suppose 60 = -5*o + 3*x + x, -4*o + 4*x - 48 = 0. Let c be (o/(-9))/((-1)/3). Which is greater: -3 or c?
-3
Let o = 7 + -6.95. Let z be 3/(-4) + 3/(-12). Which is bigger: o or z?
o
Let g = 22 - 22. Which is smaller: 2/29 or g?
g
Let n(q) = -6*q**3 + q**2 - 6*q + 6. Let w be n(2). Is w bigger than -50?
False
Let p be (-4)/(-14) - (-76)/(-217). Let w be -16 - -13 - (-6 + 0). Suppose 0 = x + w*x. Is p > x?
False
Suppose r + 0*r + 13 = 0. Is r less than -13?
False
Let h = 57 + -29. Let s be (-5)/(-7) - (-8)/h. Are s and -2/23 equal?
False
Let g = 12 - 9. Let v = -3 - -2. Which is smaller: v or g?
v
Suppose 2*f + 2*f = 0. Let d(l) = l + 11. Let z be d(-12). Which is greater: z or f?
f
Let m = -29 - -89/3. Let a = -5.6 - -6. Let l = a - 0.6. Which is smaller: l or m?
l
Let b(y) = -3*y - 19. Let k be (12/14)/((-13)/91). Let n be b(k). Which is smaller: n or -3/11?
n
Let r = -1.9 + 2. Let c = 2171/10 + -217. Do r and c have different values?
False
Let i = -74 - -73. Suppose -3 = 2*q + 1. Is i smaller than q?
False
Suppose -4*i - d = 2 + 3, 0 = -4*i - 5*d - 9. Let v = -2 + 2. Let s = 0 + v. Which is bigger: i or s?
s
Let c be 1/(1 + (-3)/2). Let v be (-11)/12 + (-13)/(-52). Is c at least as big as v?
False
Let k = -247 + 366. Which is bigger: 118 or k?
k
Let v = 31/2 + -209/14. Let z(x) = -x**2 - 6*x + 9. Let j be z(-7). Are v and j unequal?
True
Let s be (-18)/10*10/(-2). Let p = -4 + s. Suppose 3*u = -2*u - p. Do -2 and u have the same value?
False
Let n(d) = -d - 7. Let x be n(-7). Let l(k) = k**2 - 8*k + 10. Let t be l(8). Let b be 15/18*(-4)/t. Does x = b?
False
Let k = 70633/6 + -11697. Let b = -75 + k. Is b at most 1?
True
Let u = 2/603 - -3596/6633. Let l(x) = -x**3 + 11*x**2 - 9*x - 8. Let s be l(10). Suppose -5*r + 7 = s. Is u > r?
False
Suppose 2*r + r = 0. Suppose f - 6*f = r. Which is smaller: f or 2/7?
f
Suppose 4*p - 11 = 5*j - 4, 0 = 2*p - 5*j - 1. Let n be (-2 - -1)/(p - 2). Which is greater: -4 or n?
n
Let g(c) = c**3 - 2*c**2 - 4*c + 1. Let z be g(3). Let v = z + 1. Is 8 > v?
True
Suppose -7*a + 21 - 21 = 0. Is a equal to 3/16?
False
Let o = -1 - 3. Let w = o + 2. Which is smaller: w or -0.2?
w
Let q = 7 + -4. Let x(s) = -s**3 + 0*s**q + 3*s - 2*s. Let w be x(-1). Which is greater: -1 or w?
w
Let n be -1*((2 - 4) + 3). Let a be 3 + -1 + -7 + 4. Let u be ((-1)/(-2)*2)/a. Is u smaller than n?
False
Suppose 2*w + 6 = 5*w. Suppose -w*c - 15 = 3*c. Let j be 84/(-45) - 2/(-10). Which is bigger: j or c?
j
Let g(c) = c**2 + 7*c + 3. Suppose -5*j + 11 = 41. Let q be g(j). Which is smaller: -5/3 or q?
q
Let l be 2 + -4 - ((-1056)/213 + 3). Is l less than or equal to 0?
True
Let v = -22 + 30. Is v < 2?
False
Let w = 0.6 + 2.4. Let l = -8 - -7.7. Let a = 0.3 + l. Which is bigger: w or a?
w
Suppose -15 = 5*j - 0, -2 = g + j. Which is smaller: 0 or g?
0
Let w(u) = -11*u**3 - 5*u**2 - 5*u + 6. Let v(n) =