) - 1/2. Suppose 3*v - 5 = -17. Let u be w*(16/v)/104. Which is smaller: 1 or u?
u
Suppose 60*c = 58*c + 58. Does -5 = c?
False
Let b be (-3)/(((-3)/(36/8))/4). Let a be b/12*2/(-6). Which is greater: a or -9?
a
Let h be 21/(-165) - 6/(-15). Which is smaller: -0.5 or h?
-0.5
Let s be (-21)/(2 - (4 + -2) - -1). Let f = s - -31. Do f and -2 have the same value?
False
Let w(l) = l - 4. Let p be w(5). Let n = 508050/157 - 3236. Which is greater: p or n?
p
Let o = -108 - -24. Let h be (3/((-36)/8))/((-4)/o). Is h greater than 1?
False
Let o(m) = -3*m**2 + 21*m - 26. Let v(b) = -2*b**2 + 14*b - 17. Let t(d) = -5*o(d) + 8*v(d). Let r be t(9). Let k be (6/r)/(2/(-8)). Which is smaller: k or 0?
0
Let n be 12/10*10/3. Let d = 6071/3 + -1995. Let t = d + -311/12. Which is smaller: t or n?
t
Let n(y) = 4*y + 29. Let f be n(-6). Suppose -4*w - 17 = 2*a - 3*a, -2*w - f*a = 25. Is -5 less than or equal to w?
True
Let t be (-3)/9 - (-34)/3. Let s be 1 - (-2 - -11)/(-1). Which is smaller: t or s?
s
Let v be (14/(-4))/(9 - 438/48). Is v not equal to 53/2?
True
Let f(t) = -t - 4*t - 22 + t**2 - 6. Let m be f(0). Which is greater: -29 or m?
m
Let o(s) = -s + 2. Let t(m) = m - 14. Let g(r) = -2*o(r) - t(r). Suppose 6*c - 2*c = -20. Let l be g(c). Is l not equal to 5?
False
Suppose -2*j = -4*j - j. Let a be ((-87)/15 - -5)*(j - 40). Is 32 greater than a?
False
Let r = 110/9 + -1511/117. Is -1 less than r?
True
Suppose -2*i = 4*j - 2*j - 60, 0 = -j + 3*i + 30. Suppose j - 9 = 3*s. Suppose -4*m - 17 = 3*u - 6, u + 3*m + s = 0. Is u < -18?
False
Suppose -23 = -4*o - 3. Let b be 160/(-12)*6/o. Is -16 less than b?
False
Suppose -3*u - 343317 = 5*n, -3*u - 1 = -4. Let y = n - -1028072/15. Let z = y + 126. Is z bigger than 0?
True
Let z = 27 + -29. Let d be (26/(-65))/(z/5). Which is smaller: -1/34 or d?
-1/34
Let n be ((-68)/6)/(6/(-9)). Let q = n - 15. Let p be -2 - (-2 + (-2 - 0)). Is p at most as big as q?
True
Let w be 30/440*1/8. Let d = 10599/4576 - w. Let b = d + -28/13. Which is smaller: 2/7 or b?
b
Suppose -3*p = -6*p. Let v be (-6)/8 + p + 1. Let j = 0.3856 + 0.0144. Is j bigger than v?
True
Let r = 45/4 - 569/52. Which is bigger: r or 4?
4
Let l(s) = s**3 + 4*s**2 - s. Let f be l(-4). Let x(q) = 22*q**2 - q + 1. Let n be x(1). Let c = n - 18. Does f = c?
True
Let f(q) = 5 - q + 7 - 4 + 1. Let t be f(9). Is -24 equal to t?
False
Let k = -4196/121295 + -1/1427. Which is smaller: 2/11 or k?
k
Let z be (-2779)/(-510) - (16 - (-15 + 25)). Let f = 19141/44310 + 2/1477. Let y = z + f. Which is greater: y or 0?
0
Suppose 0 = 8*u - u - 28. Suppose u*h = 142 + 62. Which is bigger: h or 50?
h
Let w(z) = 3*z - 7. Let p be w(3). Suppose 4*f = 3*q - 70, -3*f - 17 = -q - p. Let x be 1 + 7/(35/q). Is x <= 6?
False
Let r = 44 + -48. Let d(m) = -m**3 + 6*m**2 + 6*m + 6. Let n(g) = g**2 + g + 1. Let c be n(-3). Let v be d(c). Is r > v?
False
Let k(y) = -20*y + 73. Let f be k(11). Do -145 and f have the same value?
False
Let u(o) = -o**3 + 6*o**2 + o. Let f be u(6). Suppose -3*m - 2 = -2*v - f, -4*m = -2*v - 8. Suppose 9*x = 249 - 195. Is x at least v?
True
Let w(k) = 4*k**2 - 7*k + 9. Let h(z) = 9*z**2 - 14*z + 17. Let l(b) = 3*h(b) - 7*w(b). Let g be l(8). Is g < -20?
False
Let c = 1291 + -67. Let f be 2/9 + (-119)/c. Let v = 1 + -1. Which is smaller: f or v?
v
Let i = 47 + -34. Let f = -14 + i. Let n be (-18)/70 - 2/(-5). Is n < f?
False
Let k = 280 + -281. Which is bigger: k or -83/7?
k
Let n = 14.78 + 0.22. Let y = n - 7. Let c be (-2)/((-32)/(-20)) - -1. Which is greater: y or c?
y
Let b be (3/(-2))/((-4)/(-96)). Let n be 366/b + (-2)/(-12). Let i be 44/(-33)*3/n. Is i at most 1?
True
Let z(v) = -v**3 + 2*v**2 + 3*v - 3. Let m be z(4). Suppose 500 = -33*i - 127. Is m smaller than i?
True
Let f be (-6)/(1850/(-3552) + (-2)/(-6)). Let c be 3*((-74)/(-6) + -1). Which is smaller: c or f?
f
Let s(h) = -h**2 - 10*h - 12. Let z be s(-8). Let t = z - 11. Suppose 2*b = b - 9. Is b equal to t?
False
Suppose -5 = 4*k + k. Let q = 98651/524 - 753/4. Is q greater than k?
True
Let l = -112 - -87.6. Let s = 23 + l. Let i = s + 3.4. Is i smaller than -6?
False
Let d = 8 - -7. Suppose -d = -4*p - 123. Is p >= -29?
True
Let q = -21.1 + 21. Let d = -2 - -11. Let b = 8.9 - d. Is q < b?
False
Let o = -64 + 65. Let x be 0 - (-2 - (-3 + 3)). Let y be (5 - x) + 28/(-8). Does y = o?
False
Let a = 1487 - 840. Let i = 3871/6 - a. Does -2/7 = i?
False
Suppose 0*x - 5*v + 95 = -5*x, 35 = -2*x + 5*v. Let j = -81/4 - x. Suppose 6*k - 4*k - 3*r - 7 = 0, -3*r - 10 = k. Is j at most as big as k?
False
Let d be (-3712)/(-5278) + (-6)/7. Let a be 10/78*9/(-12). Let t = d + a. Is t at least 0.1?
False
Let v = -869/28 + 123/4. Let c be (-58)/(-1) - -20*19/(-95). Which is bigger: v or c?
c
Suppose 3*r + 0 - 9 = 5*h, h - 12 = -4*r. Let b be 44/(-22) + 9/6. Is b bigger than h?
False
Let j = -545 - -673. Is j greater than 2?
True
Suppose 3*k = -5*v - 0*k - 3, 2*v + 4*k + 4 = 0. Let w = -13288/1105 + 206/17. Which is smaller: w or v?
v
Suppose 5*b + 38 - 13 = 0, 0 = 2*k - 4*b + 34. Let t = -32 - k. Let j(c) = -2*c**2 + c + 1. Let n be j(2). Is n greater than or equal to t?
True
Suppose 3*j + 18 = 5*a, -19*j - 3*a = -20*j - 10. Which is bigger: -575 or j?
j
Suppose 4*y + c + 85 - 15 = 0, 30 = -2*y - 3*c. Let h be (2/(-5))/((-1)/(-50)). Let j = h - y. Are j and -1/2 equal?
False
Let o = -49 + 46. Let b be (91/o)/13*4/6. Does b = 3?
False
Suppose 2*k + 168 = -0*k. Let w be (1*-1)/((-14)/k). Let a(p) = 2*p - 1. Let c be a(-3). Is c less than w?
True
Let g(s) = 5*s**2 + 4*s + 2. Let j be g(-1). Let n be j - (2/3 - 24/(-9)). Which is bigger: n or -2?
n
Suppose 0 = -4*p + p + 15. Let i = -9 + p. Suppose 15 = -3*o + q, -q - 2*q + 17 = -2*o. Do o and i have different values?
False
Let y(u) = -8*u**2 - 2*u - 4. Let x be y(-2). Let f = 17 + x. Let p = f - -31/2. Is p at least -0.3?
True
Let p be 10 + 13 + 49/(-7). Let v be (2/3)/(2/3). Suppose p*w = 17*w + v. Which is bigger: 0.8 or w?
0.8
Let q = 3110 - 606452/195. Which is bigger: q or 0?
0
Let x be 6 + 1*(-1 + -1). Suppose 0*i = -x*i - 16. Suppose -11 = 2*u - 28*r + 23*r, u = 2*r - 5. Which is smaller: i or u?
i
Let z be ((-36)/35)/(0 - 3/60). Is z < 21?
True
Let r = 450 - 450. Do 1/309 and r have different values?
True
Suppose -n = -22 - 26. Suppose n = 9*o + 12. Which is greater: -8 or o?
o
Let u = 13 - 12. Let q be 4 + (u - 1) - -2. Suppose -2*h - h = q. Which is smaller: h or -1?
h
Let c(m) = -m**2 + 23*m - 60. Let t be c(20). Is 2/579 greater than or equal to t?
True
Let n be (-44 + 39)*(6/3 - 1). Does -116/33 = n?
False
Let p be (-4)/(-6)*(-165)/(-22). Suppose -10 = -p*x - 15. Which is smaller: x or -2?
-2
Let h(y) be the third derivative of -y**4/24 - 2*y**3/3 - 39*y**2 - 1. Let o(u) = u**2 + 4*u - 3. Let t be o(-4). Let p be h(t). Is 0.2 bigger than p?
True
Let d(m) = -11*m**2 - 3*m + 3*m**2 + 5*m + 2 - 6*m**2. Let f be d(-1). Which is greater: -16 or f?
f
Let q(o) be the second derivative of o**5/20 - 11*o**4/12 + 11*o**3/6 - 3*o**2/2 - 5*o. Let c be q(10). Suppose -10*g = -c*g. Which is greater: g or 2/7?
2/7
Let g(m) = -12 - 4*m + m - 3*m. Let q be 1*((-21)/6 - (-9)/(-18)). Let l be g(q). Which is greater: l or 11?
l
Suppose -164*o + 159*o - 1400 = 0. Is o less than -281?
False
Suppose 2*o = d + 17 - 68, 4*o - 4*d + 92 = 0. Let t be 1/o + (-10)/40. Is t at most -0.15?
True
Let x be 2 + (-1)/(3/8). Let s = 65.92 - 66. Let z = -1.92 + s. Which is greater: z or x?
x
Suppose -2*f = -f + 2. Let w = -14 + 16. Suppose -2*t + 16 = 4*p, -w*t - 9 = -p - 0*p. Is t smaller than f?
False
Let j = -12 + 5. Let t be (-1 - (-4 - -5))/(-9). Is j >= t?
False
Let s = 4543/17 - 267. Which is bigger: -1 or s?
s
Let q = 923 - 923. Are q and 73 unequal?
True
Let z = -127 + 222. Let f = z + -857/9. Is -0.17 > f?
True
Let s = 43.6 + -159.6. Are s and 1/2 equal?
False
Let y = 37 + -55. Let m = y + 25. Is m not equal to 0.3?
True
Let x be 7/(-2) - 2/(-4). Let y be ((-1)/x)/1 - 0. Let m = 29 + -29.1. Are m and y unequal?
True
Let r = -22.1 - -23. Let v = -3/50 + 14/25. Is v at least as big as r?
False
Suppose 0 = u + 4*u. Let g be (-66)/154 + (-64)/(-182). Which is smaller: g or u?
g
Let j = 402 + -9647/24. Is j equal to -0.4?
False
Let d = -899 + 900. Which is greater: d or -2/263?
d
L