r -11/13?
-11/13
Suppose 162*s - 153*s = -1602. Which is bigger: s or -177?
-177
Suppose 5*f + 2*x + 131 = 0, x - 145 = 5*f - 4*x. Let a = 21 + f. Let p be (-10)/a - 13/(-39). Is p greater than or equal to 0?
True
Let n(d) = d**3 + 7*d**2 - 3*d. Let q be n(-4). Let b be 3*(-5)/(q/(-8)). Let z(i) = i + 2. Let h be z(-1). Do b and h have different values?
True
Let o = -4831 + 4855. Suppose 0 = -0*w + w - 25. Is w greater than or equal to o?
True
Let u = -164 + 163.917. Let b = -0.917 + u. Which is bigger: b or -7/9?
-7/9
Let i be -3*6/9 - 2. Let t(f) = f**2 + 2*f + 6. Let w be t(i). Let b be (10/(-25))/(w/10). Is b greater than 4?
False
Let q(t) = -4*t**3 + t**2 - 26*t - 47. Let f be q(-2). Which is bigger: 81/2 or f?
f
Let g(o) = o**2 + 2*o - 2. Let r be g(-2). Let i be 7 - (3 + -3 + 3). Suppose 6 = 5*q + i*f - 3, -5*f = 4*q - 9. Is q greater than r?
True
Let g = 1738 + -1745. Is 4/23 < g?
False
Let u(i) = i**3 - 17*i**2 + 16*i - 23. Let w be u(16). Let j = -29 - w. Which is smaller: 1 or j?
j
Let n(z) be the second derivative of z**4/6 - 53*z**3/6 + 33*z**2/2 + 69*z. Let o be n(26). Suppose 0 = 3*p - 0*p - 30. Which is smaller: p or o?
o
Let v be 20*(-7)/(-56)*-2. Let n(k) be the second derivative of -k**5/20 - k**4/3 + 5*k**3/6 + k**2/2 + k. Let s be n(v). Is 3 less than s?
False
Suppose 2209 + 134 = 33*m. Is 69 <= m?
True
Let s(y) = -104*y + 499. Let u be s(5). Suppose 3*f = 0, -3*d - 8*f = -3*f + 60. Is d greater than or equal to u?
True
Let p(i) = -i + 8. Let f be p(5). Let m(z) = -9*z**3 + 42*z**2 + 11*z + 24. Let d be m(5). Which is greater: f or d?
d
Let g = -425 - -12751/30. Suppose w - 6*w + 5 = -2*b, -3*b = 0. Which is bigger: w or g?
w
Let i be 1*5/((-40)/776). Is -94 bigger than i?
True
Let l = -12/319 + 1143/319. Which is bigger: 3 or l?
l
Suppose 3*l - 71*p + 75*p = -1, 2*l = p + 3. Suppose 165 - 3 = 3*a. Let i be (-6)/(0 + a/(-4)). Is l smaller than i?
False
Let k(p) be the second derivative of p**5/20 + p**4/2 + p**3/6 - p**2 + 20*p. Let c be k(-6). Which is greater: -22/3 or c?
-22/3
Let w = 379 + -5683/15. Let i = w - 4/5. Let j be 2/10 + -1*(-135)/(-300). Which is smaller: j or i?
i
Let d = -1 - 0. Let j be (20 + -18)/((-2)/5). Let i be 13/j - (-30)/50. Is i != d?
True
Let r = -6/85 - 4/85. Let h = 2008183/85 + -23626. Let o = h - r. Which is smaller: 0 or o?
o
Let f be 4/(-26) - 870/(-754). Do f and 7/47 have the same value?
False
Suppose 4*m + 4 = 2*m. Let c(i) = -i**2 - 2*i - 1. Let p be c(m). Let n be 4*9/12*p. Is 3 greater than or equal to n?
True
Let j be 11/9 + 4/(-18). Let p = -22/1129 + 9848/389505. Is j > p?
True
Let y(i) = -i - 3. Let q be y(-3). Suppose -2 = 2*c + 2*g, 4*g = -q*g - 8. Let n be -1*6/(-9)*(-12)/(-26). Which is greater: n or c?
c
Let o(d) = d**3 + 3*d**2 - 5*d - 5. Let f be o(-4). Let y = -28.04 + 1.04. Which is bigger: y or f?
f
Let g be (-7 + 8)*-2*(-2)/4. Which is greater: g or 2/237?
g
Let u be (68/1)/((-6)/36). Let l = -81291/16 - -1141599/208. Let w = l + u. Is w not equal to 0.1?
True
Let b be (-25)/186 - 19/(-114). Are b and -1 non-equal?
True
Let m = -1122 + 1119. Let k = -97/95 - -8/19. Which is smaller: k or m?
m
Suppose 36 + 5 = -d - 2*u, -u = 5. Are -31 and d unequal?
False
Let w be 32/64 + 598/(-4). Which is greater: w or -148?
-148
Suppose -j + 28 = -2*d - 0*d, 5*d - 5*j + 75 = 0. Which is smaller: d or -1/4?
d
Let i = -35 + -193. Let m be (-2)/148*(-690)/i. Let a = -1/76 + m. Which is smaller: a or 0?
a
Let w be 5*2/20*(0 - -156). Let l be ((-1)/(-3))/((-2)/w). Which is smaller: -14 or l?
-14
Let k = -681.3 + 733. Let i = 52 - k. Which is smaller: -1/2 or i?
-1/2
Let h = 1371/2 + -623. Which is greater: h or 64?
64
Suppose 207 = -129*m + 106*m. Does m = -9?
True
Suppose -212*c - 30 = -217*c. Which is smaller: c or 37/8?
37/8
Suppose -4*o = -16, -4*y + 21 = 3*o + 25. Let m = 5 + 0. Is y less than or equal to m?
True
Let n be ((-2)/8)/((-1)/(-3)). Let d = -11.54 - -12. Let o = d + -0.06. Which is smaller: n or o?
n
Let q(k) = k**3 - 3*k**2 + 2*k - 11. Let b = -1 - -5. Let f be q(b). Does f = 12?
False
Let r be (-24)/1516*28/42. Is 1 at most as big as r?
False
Let l be 6/(-27) + 25/315. Suppose 6 = -0*b + 2*b. Suppose -b*g - 1 + 4 = 0. Is g not equal to l?
True
Let q = 355 + -355.15. Let p = -72.85 + 66. Let l = q + p. Is 1/4 smaller than l?
False
Let y be 7 + 623/(-91) - 10/(-442). Let q = y + -13/170. Which is smaller: 0 or q?
0
Let f = -7 - -54. Suppose -95*t + 14*t = -3645. Which is bigger: t or f?
f
Let f be ((-12)/2)/(-2) - (-374709)/(-124845). Is 1 at most as big as f?
False
Suppose d = l - 2*l + 58, 3*l + 54 = d. Let a be 8/2 + 1/(6/324). Which is smaller: d or a?
d
Let w = -14 - -22. Suppose 0 = w*v - 3*v. Suppose v = -2*o + 4*o - 6. Which is greater: o or 5/3?
o
Let z = 41 + -43. Let j be (9 - 5)/(4/6). Let x = -8 + j. Are z and x equal?
True
Let t = -599 - -598.45. Is t not equal to 1?
True
Suppose l = -4*l + 25. Let y be (-25*1)/((-4)/4). Suppose -5*t = -l*i + y, 3*i - 4 - 3 = -5*t. Which is bigger: t or -4/17?
-4/17
Suppose -2*r + 2*o - 15 = -o, 2*o = 5*r + 21. Let m = -32 - -47. Let i = m - 17. Which is bigger: r or i?
i
Let f(k) = -k + 2. Let g be f(4). Suppose 5*d + 0*d = 40. Let t be 0/(-4) + d/(-14). Which is smaller: g or t?
g
Let f(m) = -m**3 - m**2 + 8. Let r be f(0). Suppose -4*q - 4 = -r. Let v be (q + 1 + -4)/(-1). Is v < -1?
False
Suppose 2*p + 204 = -5*v + 5*p, 158 = -4*v + 5*p. Let f be (-4)/(-12) + v/(-9). Suppose -f*o + 10 = -4*t - 1, -t - 5*o = -16. Is 3/2 greater than or equal to t?
True
Let n be 4*1/(5 + -1). Which is greater: n or 7/40?
n
Let k be ((-6)/20)/((-7)/(-105)*-543). Which is smaller: k or 1?
k
Let l = -257 + 281. Which is smaller: l or 23?
23
Let b(c) = -4*c - 26. Let l be b(-6). Let g be 0*(-1)/(-2)*1/l. Is -1/7 != g?
True
Let i = -18 + 8. Suppose 571 = -121*a - 397. Is i smaller than a?
True
Let l be (320/(-12))/(-8)*6/2. Let w(m) = m**3 - 11*m**2 + 10*m - 12. Let g be w(l). Which is greater: g or -11?
-11
Let k(p) = p - 9. Let b be k(5). Let f be (b/(-8))/((-10)/(-4)). Let i = -0.3 - -0.2. Which is smaller: i or f?
i
Let j = 88 - 52. Let c = j + -19. Is c at most as big as 15?
False
Suppose -5*n = -11 - 144. Let p be (-2 - (-5)/3)/(10/(-3840)*4). Which is smaller: p or n?
n
Suppose -3*z - 4*q = -8*z + 47, 5*z - 2*q = 41. Suppose -z*b + 2*b - 7*b = 0. Is b < -1/31?
False
Let y = -33 + 32.7. Which is smaller: y or 20?
y
Suppose 389 = -10*v - 561. Let g = v - -105. Which is greater: g or 11?
11
Let z = 4.09 - 4.1. Let y = z + 7.01. Suppose 3*m = 4*m + 1. Which is greater: y or m?
y
Let p = 2 - -2. Suppose -p*x + 4 = -2*d + 3*d, 20 = 5*d. Let s be 0 + x + (8 - 0). Do s and 8 have the same value?
True
Let h(x) = -x + 2. Let s be h(-10). Let y(q) = -q + 4. Let u be y(0). Suppose d = -b + u, -3*d = -2*d - b - s. Is 8 < d?
False
Let f(l) = -3*l**2 - 6*l + 7. Let z be f(1). Is z < 0?
True
Let s(a) be the first derivative of -6*a - 10 + 1/2*a**2. Let h be s(-3). Which is bigger: 0.1 or h?
0.1
Let z = -1577 - -1581. Is 35 < z?
False
Let w = -57 + 2. Which is smaller: -54 or w?
w
Let x = -1 + -59. Let h = -60.5 - x. Is h < 1/10?
True
Let s be (-2)/(-3) - 1 - (-756)/324. Let l = 0 - -3. Is s at least l?
False
Let q(i) = -i**2 - 3*i - 1. Let y be q(-3). Is -23/14 < y?
True
Let f(b) = -b**3 - 8*b**2 - 7*b + 8. Let i be f(-7). Suppose 4*k = i*k. Is 0 > k?
False
Let i = -21 + 6. Let y = i + 22. Let s = y - 14. Is s at least -2?
False
Suppose 4*f - 12 = -964. Is f greater than -234?
False
Let s = 4 + -7. Let q = 3 - -2. Suppose -5*j = -4*i + 45, 4*j + 2*i = j - q. Is j at most as big as s?
True
Let w(m) = -m**2 + m - 1. Let o(z) = -2*z**2 + 16*z - 21. Let u(h) = -o(h) + w(h). Let i be u(14). Let s be (-2)/4 - i/(-4). Which is greater: s or 2?
2
Let c(u) = 15*u + 1008. Let b(w) = -w - 63. Let j(k) = 33*b(k) + 2*c(k). Let z be j(-20). Let q be ((-2)/4)/(1 + 1). Is z > q?
False
Let l(h) = -3*h - 3. Let z be l(-4). Let m(w) = -2*w**2 + 5*w + 3. Let b be m(4). Let a = z + b. Which is smaller: a or 1/5?
a
Let a be (-3)/(-6 - 50/(-8)). Is -25 > a?
False
Let f = 567 - 2269/4. Is f equal to -148?
False
Let j be -4 + (-4)/(2/(-2)). Is -148 equal to j?
False
Let n be 3/12 + 321/(-1272). Let w be 5 + (20663/(-2968) - -2). Let z = n + w. Is 0.1 bigger than z?
True
L