v**2 + 4*v - 1. Let b be f(-4). Is k at least as big as b?
True
Suppose 0 = -2*r + 3*j + 47, -21 = -2*r - 3*j + 44. Which is smaller: 88/3 or r?
r
Let g be (313/(-3))/(((-11)/33)/(-1)). Which is smaller: -315 or g?
-315
Suppose 4*v - 22 = -5*w + 3*w, 0 = -4*w - v + 37. Suppose -3*f - 2*z = 34, 2*f - 5*z + 8 = -2. Let q = f + w. Which is smaller: 2/5 or q?
q
Suppose -118 = -y - 103. Let o be ((-1)/((-5)/y))/11. Is o >= 1?
False
Let f = -4.82 - -4.2. Let r = -0.72 - f. Let a = 0.19 + -0.2. Do a and r have the same value?
False
Let r = -1.89 + 0.89. Are r and 0.149 non-equal?
True
Let p = 2528816/149 - 16972. Is p bigger than 0?
False
Let c = 1 - 8. Let g(t) = t. Let u be g(c). Suppose -5*q + 3*l - 34 + 0 = 0, 4*q - 5*l = -22. Is q equal to u?
False
Let c = -32 - -69/2. Let b = -4 - 0. Let y = c + b. Are -2 and y unequal?
True
Let m(t) = t**2 + 2*t + 4. Let s be m(-5). Suppose 19*u - 532 + 152 = 0. Which is greater: u or s?
u
Suppose -5*c = -0*x - 4*x + 320, 4*x = 4*c + 256. Is -65 <= c?
True
Let c be 3/(-7) + (-141)/378*-1. Is c <= -1?
False
Let z = 0.044 + -26.044. Let y = -29 - z. Let j = -4 + 8. Is y bigger than j?
False
Let g = 1.4 + -0.4. Let q = -2 - g. Let p = -1.29 + 1.39. Which is greater: p or q?
p
Let f(t) be the second derivative of -2*t**3/3 - 14*t**2 + 17*t. Let y be f(-8). Which is greater: -3 or y?
y
Let b = -61 + 60.728. Let w = b - -0.072. Which is greater: w or -10/9?
w
Suppose -7*n = 126 - 133. Is n < 5/66?
False
Suppose 0 = v - 6 + 4. Suppose v*k = 5*k - 27. Let h be 1*(1 + k + -1). Is h less than or equal to 9?
True
Let v = 1/45 + -16/45. Let h = 4 - 3. Which is bigger: v or h?
h
Let b be (-5)/25*-10*3/4. Are b and 112 equal?
False
Suppose -212 = -10*l + 258. Let u = l - 23. Is u <= 23?
False
Suppose h + 5*g = 6*h - 3985, 5*g - 3233 = -4*h. Let a = h + -31280/39. Which is bigger: a or -1?
a
Let m = 2.33 + -2.2. Which is bigger: 10/19 or m?
10/19
Let i = -1.17 - -1.2. Let b = i + -0.1. Let x = b + -0.23. Which is bigger: x or -2?
x
Let d = 39 + -128. Let c = 353/4 + d. Which is smaller: c or 1/7?
c
Let q(s) = -s + 1. Let o be q(1). Let c = 149/224 - 3/32. Is c at least o?
True
Let q = -22 - -16. Suppose -5*t = -10, -2*h + 3*t = 3*h - 54. Let k = h - 16. Which is smaller: k or q?
q
Let u(b) = -b**3 + 8*b**2 - 2*b - 2. Let f be u(7). Let x = 34 - f. Which is smaller: x or -3/26?
-3/26
Suppose -3*r - 12 = -3*s, 29*s - 28*s = 1. Let w = 0.3 - 1.6. Is r > w?
False
Suppose 784 = -4*w + 12*w. Which is smaller: w or 0.4?
0.4
Let j(u) be the first derivative of -u**4/4 + 13*u**2/2 - 4*u - 20. Let g be j(4). Is -14 smaller than g?
False
Let v be 8/(-16) + (-103)/2. Let i = v + 5. Are -46 and i non-equal?
True
Suppose 5*y = 30 + 65. Let f = -12462 + 12482. Which is smaller: f or y?
y
Let i = 434 + -482. Is -2 at most i?
False
Suppose -46*i = 68*i - 114. Let r be (-1)/4 + (-89)/(-36). Is i at most r?
True
Let s be (-2)/1 + 0/2 + 10. Let a be 6/s + (-2274)/3096. Which is bigger: 1 or a?
1
Let j be (-60)/3590*2/(-8). Which is greater: 0 or j?
j
Let f(p) = p**3 + p**2 - 1. Let h be f(-1). Suppose -14 = 3*x + 10. Let t be h - (-4)/(x/(-6)). Which is smaller: t or 1?
1
Let x be (336/(-16) - -6)*(-38)/6. Is 95 less than x?
False
Suppose -5*d + 4*p - 20 = 0, 2*d + d + 20 = 4*p. Let v(k) = 11*k - 26. Let l(n) = 4*n - 9. Let c(s) = -8*l(s) + 3*v(s). Let f be c(6). Is d smaller than f?
False
Let d be (1 - 0)/((-1)/2). Let u = 22/83 + -997/2822. Let p = u - 183/238. Which is bigger: p or d?
p
Let v(a) = -10*a + 3. Let r be v(-5). Let g = -57 + r. Suppose 4*u + 2 = 2*w, -2*u + 0*u = -5*w - 19. Which is smaller: g or u?
g
Suppose 95*v + 171 + 623 = -156. Suppose 5*j - 5 - 20 = 5*o, -19 = -2*j + 5*o. Suppose -j*k - 14 - 8 = 0. Which is bigger: v or k?
v
Let q = -549 - -548.7. Is q <= 4/19?
True
Suppose -5 = 5*i, -2*v - 137 = 5*i + 18. Let w = v - -106. Does w = 31?
True
Let o be (9/4 - -1) + 0 + -3. Is o <= -4.8?
False
Let t(m) = m**3 - 3*m - 4. Let p be t(3). Let g be (-15)/105 - 362/p. Is g >= -27?
True
Suppose 0 = -0*t - 2*t, 5*l - t = -135. Let m be 4/3 + 9/l. Do m and 6/7 have the same value?
False
Let w = -459/5 + 91. Suppose 2*q + 2*q = 0. Suppose -5*t - 4*m + m + 6 = q, -2*t - 5*m + 10 = 0. Which is bigger: w or t?
t
Let p = -1691 + 1602. Let o(z) = -3*z**2 + 4*z + 6. Let j be o(-5). Does j = p?
True
Let r = 1641 - 13127/8. Which is smaller: r or -3?
-3
Let a be (-3 + 18)*27/(-81). Is -72/19 greater than a?
True
Let b be -12*(-1 + (-4)/(-8)). Suppose 5*c - 3*t - 18 = 0, -3*c + b = -2*c - 3*t. Suppose -j - 6 = -c*j. Which is smaller: 2 or j?
2
Let i = -1919 - -1898. Let k = 53 - 74. Do k and i have the same value?
True
Let n(q) = q**3 + q**2 - 2*q - 1. Let c be n(-1). Let a be (2/2)/(c/11). Let g = a - 12. Is 1/4 > g?
True
Let g be (2/(-8))/(28/32). Suppose -2*w = 3*y + 21, 6 + 9 = -3*y. Let i be (-74)/(-44) + w/2. Which is bigger: g or i?
i
Suppose -79 = 16*d + 97. Are d and -4 equal?
False
Suppose -2*c + 5*l + 19 + 10 = 0, -19 = -c + 4*l. Let k be 1/(1 - 0)*-1. Let s be 7/c + 8/k. Is -8 greater than s?
False
Let v(y) be the second derivative of -y**5/20 - 5*y**4/12 - 2*y**3/3 - 2*y**2 - 6*y. Let t be v(-4). Which is smaller: -16/3 or t?
-16/3
Let y = 0.038 + 8.962. Let r = -1.05 + 2. Let u = -0.05 - r. Is y less than u?
False
Let x = -569 + 587. Which is smaller: -1 or x?
-1
Let k = -57 - -80. Let d be 2/(-10) - k/(-15). Which is smaller: d or 2?
d
Let u = 0.021 + 0.179. Which is smaller: u or -6?
-6
Suppose 0 = -3*q - j - 2, -j + 6*j = -25. Is 2/33 at most q?
True
Let j = -212 + 203.09. Let m = j - 0.09. Let a = 8 + m. Which is greater: 3 or a?
3
Let x = -291 + 287. Which is bigger: x or -5?
x
Suppose 110*l - 109*l = -4. Let m(b) be the third derivative of -b**6/60 - b**4/24 + b**2. Let t be m(1). Does l = t?
False
Suppose 10*t + 88 = 508. Which is greater: t or 39?
t
Suppose 0 = v - 4*v + 9. Let t be (v/5)/(3/30*14). Are 4 and t equal?
False
Let m be (2 - 3)/(4/(-3) + 1). Let w be (m/(-10) - 0)*(-5)/21. Is 1 greater than w?
True
Suppose -31 = 2*n - 3*k, 4*n - 5*k + 52 = -k. Suppose 0 = 3*w + 12 - 6. Let t be w/3*54/4. Is t > n?
False
Let z(h) be the second derivative of -h**4/12 + 5*h**3/6 - 3*h**2/2 - 11*h. Let k be z(5). Let d(q) = -2*q - 7. Let g be d(k). Does -1 = g?
True
Suppose 0 = 9*c + 1 - 91. Let d = c - 8. Which is smaller: d or 19/9?
d
Let t = 12 - 6. Let z = -0.106 + 4.406. Let b = -8.3 + z. Is b != t?
True
Let k = 947 - 948. Does 0.1422 = k?
False
Suppose v - h = -0*v - 7, h + 29 = -3*v. Suppose 5*u - 39 = -0*u - 2*y, -60 = -5*u + 5*y. Let m = v + u. Is m less than or equal to -2/29?
False
Suppose 37*n - 40*n = 6. Let v be ((-16)/8 + (-4)/n)/1. Let d be (4/14)/((-2)/5). Which is smaller: d or v?
d
Let t be ((-26)/4)/(2/(-4)). Let l(f) = -2*f**2 - 6*f + 13. Let j be l(-3). Is j less than t?
False
Let a = -203 - -204. Is a at least as big as -4/153?
True
Let n = -10.8508 - 0.1492. Which is bigger: n or 1/98?
1/98
Let s(x) = -3*x**3 + x**2 + 3*x - 2. Let m be s(2). Let r = 1629 - 1644. Which is smaller: m or r?
m
Let w(i) = 11*i**3 - 7 + 11*i**3 - 21*i**3 - 7*i**2 - 7*i. Let c be w(8). Is c at least as big as 1?
True
Suppose 2*m + 2 = 0, -5*m + 375 = j + 4*j. Is j equal to 2/5?
False
Let k be (-4)/((-20)/(-5)) + -54. Let y be (k/33)/(5/(-2)). Which is bigger: -11 or y?
y
Let y = 0.35 - -0.65. Which is smaller: -384 or y?
-384
Let i(m) = m**2 + 9*m - 19. Let w be i(-11). Let r be (-54)/(-72)*2/w. Which is bigger: 0 or r?
r
Let q = 11.51 - 14.51. Which is bigger: 6.4 or q?
6.4
Let y be (-1)/7*(-441)/(-54). Let l = 21 + -11. Suppose -5*z + 0 = l. Is z < y?
True
Suppose -2*n + 3*a = 3965, 9932 = -21*n + 16*n + a. Which is greater: n or -1988?
n
Suppose 0*t = 5*t + 60. Let u be 10/t + (-4)/(-12). Which is bigger: -2/9 or u?
-2/9
Suppose 4*r - 116 = -3*h, -3*h + 2*r + 0*r + 122 = 0. Which is smaller: 38 or h?
38
Suppose 0 = g - 0*g - 4*x - 58, -4*x + 16 = 0. Is 74 <= g?
True
Let l = -50 + 107. Let g = 227/4 - l. Is -31/2 >= g?
False
Let y = -0.016 + -0.404. Let u = y - 0.58. Which is smaller: u or -42?
-42
Suppose z + 20*g = 16*g - 16, 2*z = 3*g - 76. Which is smaller: -7 or z?
z
Let q(z) = z - 2*z**3 + 3*z**3 + 0*z. Let o be q(0). Let l = 717 - 713. Are l and o equal?
False
Suppose 0 = -837*f + 843*f + 444. Does f = -77?
False
Le