 c be (-2)/8 + (-13)/(-20). Which is greater: c or l?
c
Suppose 3*q - 8*q - 120 = 0. Let m = q + 32. Is 8 < m?
False
Let s = 1123 - 1123.2. Which is greater: s or -0.112?
-0.112
Let l be (6/27)/(10/(-4755)). Which is smaller: -106 or l?
-106
Let v be (-955)/300 - 21/(-35). Is v at most as big as -4?
False
Let a be 3/10*2 - (-7)/5. Let v(f) = f + 4. Let d be v(-3). Let i be -1 - (a + d - 1). Do -9/5 and i have the same value?
False
Let n = -48005/14 + 19764/7. Is -607 bigger than n?
False
Let r be 78/65*(5 + 0). Let j(a) = 14*a + 1. Let k be j(1). Let v be ((-18)/15)/((-4)/k). Is r greater than or equal to v?
True
Let k be (-8)/(-1230)*40/(-16). Let i(a) = a**2 - 3*a + 2. Let x be i(1). Which is bigger: k or x?
x
Let d = -160 + 161. Is d not equal to -2/1227?
True
Let d(o) = 54*o**3 + 6*o**2 + 11*o + 2. Let q be d(-2). Do q and -428 have the same value?
True
Suppose 0 = 4*h + 4*p + 12, 0 = -2*h - p + 6*p - 6. Let s = h + 3. Is s not equal to 2/5?
True
Let j = -26 + 31.4. Let l = j - 3.4. Which is smaller: 1/5 or l?
1/5
Let n be 2876/6 + 14/21. Let b be (-248)/n + 2/(-3). Let l = 14/15 + b. Which is greater: l or 1?
1
Let u = 381 - 210. Which is smaller: u or -1/4?
-1/4
Let t be (10/6)/((-12)/(-5 + 437)). Do -2/5 and t have the same value?
False
Let u = 3 + 30. Suppose -j + 2*j = -z + 30, 0 = -3*j + 4*z + 118. Is j < u?
False
Let o = -1.9 + 1.99. Let c = -18.09 + o. Let k = 18.2 + c. Which is smaller: -2/9 or k?
-2/9
Let c(p) = p**3 - 6*p**2 + 2*p - 9. Let g be c(6). Suppose 0 = -r + 2, 3*l - g*r = 1 - 19. Let y be (-80)/(-112) + l/(-14). Is y smaller than 2?
True
Let y be ((-2)/(-136)*-2)/(44/33). Is y at most as big as 0?
True
Let u = -3923/1190 - 48/119. Is u at most -4?
False
Let j(n) = n**3 - 19*n**2 - 26*n + 119. Let q be j(20). Which is smaller: q or 1/504?
q
Let r = 10/117 - 3/52. Let i = -44 + 43. Which is bigger: r or i?
r
Let d be 43/(6/54*9). Which is greater: d or 48?
48
Suppose -5*d = -p + 38, 0 = -3*d - p + 4 - 22. Let k = 39 - 4. Suppose -k = 5*m - 0*m. Are m and d equal?
True
Let a be -2 - -2 - (0 + 70381/665). Let b = a + 741/7. Which is smaller: 1 or b?
b
Let l(b) = -b**2 - 12*b - 7. Let p be l(-5). Suppose p = 4*k - 5*m, k + k - 20 = 4*m. Let d = 3/5 + -4/15. Is k < d?
False
Let y = 7 + -9. Let w = -25228/29 - -870. Is y > w?
False
Let t = -500 - 172. Is t > -672?
False
Let z = 455596203/10567 + -43115. Does z = -1?
False
Let d be ((-4)/8)/(2/(-40)). Let f be d/(-5) - 16/(-6). Let p(i) = -i**2 + 80*i - 303. Let s be p(4). Which is greater: s or f?
s
Let t be (-774)/(-8)*(-4)/6. Let p = t + 67. Let j = 544 - 540. Is p < j?
True
Let r(b) = b**2 - 14*b - 16. Let t be r(15). Let o be 39/(-6370)*4/(-3). Which is smaller: o or t?
t
Let b = 4.14 - 2.14. Which is smaller: b or 1?
1
Suppose 2*m = 7*m - 10. Let s(l) = -3*l**2 + 11*l + 9. Let t(w) = -w**2 + 5*w + 4. Let x(c) = m*s(c) - 5*t(c). Let d be x(-3). Which is smaller: d or -7/3?
-7/3
Let r = 30 - 29. Let t = -2 + -1. Let i be r/(-14)*(-2)/t. Is i smaller than 1?
True
Let w be 2565/(-450)*5/8 - -3. Is w <= -2?
False
Let i = 1978 - 2201. Which is smaller: i or -6?
i
Let x be (-8)/36 + (-345)/(-378). Let j = 5/14 - x. Which is smaller: 0 or j?
j
Let g = -37 - -39. Let z(b) = -b**3 + b**2 + b. Let y be z(g). Which is smaller: y or -4/5?
y
Let g = 2/2833 - -11254/110487. Let b = -14 + 13. Which is greater: g or b?
g
Suppose x + 2*o + 47 = 0, 5*x + 209 + 74 = 2*o. Which is smaller: -56 or x?
-56
Let y be 0 + 4/(-1) + (27 - 20). Suppose -y*v = 3*i + 15, -5*i + 4*v = 5*v + 9. Is i bigger than -8/19?
False
Let i be 1*(-3 - (-621)/198). Which is smaller: -1 or i?
-1
Let v be 16/(-91) + (33/7 - 5). Which is smaller: 0 or v?
v
Let x(y) = -y**2 + 34*y + 151. Let g be x(28). Is g bigger than 319?
False
Let p = -19.2 + 18. Let c = p + 0.97. Let u = c - -10.23. Which is bigger: u or 0?
u
Suppose -4384 = 28*s + 4*s. Is -409/3 smaller than s?
False
Let u = 40.3 - 37. Let o = 2 + -2. Is o at least as big as u?
False
Suppose 19*c + 190 = -19*c. Let x(j) be the third derivative of j**4/12 + 7*j**3/6 + 2*j**2. Let g be x(-5). Which is smaller: g or c?
c
Let m = 35548/7 - 5096. Let t = -18 - m. Let n = 0 - 3. Is t greater than n?
True
Suppose -4*f = 2*f + 102. Let n = f - -17. Is 5 at least as big as n?
True
Let s = 3 - 0. Suppose s*u - 6 = 6. Let p(c) = 5*c - 13. Let o be p(u). Is 7 at least as big as o?
True
Let c = 251 - 1758/7. Is c smaller than -1/5?
False
Let q(d) = d**2 - d + 6. Let a be q(0). Let x = -693 - -3492/5. Which is smaller: a or x?
x
Suppose -z = 3*s - 30, 0 = -4*z - s + 35 + 74. Is 29 less than z?
False
Suppose 27*v - 7*v = 28 + 12. Let s be 148/126 + (-2)/7. Is s <= v?
True
Let i = 10/43 + 81/946. Which is smaller: -1 or i?
-1
Let m = 16.986 - -0.014. Let y = -17.03 + m. Which is smaller: 0.4 or y?
y
Let i = 24/11 + -28/33. Suppose -3*r = -4*j - 11, 3*r + 2*j + 12 = -7. Let m be r - (24/(-4))/2. Which is smaller: m or i?
m
Let p(n) = n**2 + 17*n - 23. Let s be p(-18). Let j = s + 1. Are j and -6 equal?
False
Let f = -83789/2574 - -293/9. Are 1 and f unequal?
True
Let o = -309/5780 - -1/289. Suppose 4*c + c = 25. Let q = 4 - c. Which is smaller: o or q?
q
Let a = 21 + -20.94. Let v = a - 2.06. Is v at most 0.02?
True
Let k(t) = t**2 + 5*t + 1. Let s be k(-6). Let v = s + -11. Let n be ((-1)/(-6))/(1/v). Is n at most -2?
False
Let y(j) = j**3 - 6*j**2 + 9*j - 116. Let z be y(7). Suppose -3 = -v - 5. Which is smaller: v or z?
z
Suppose -10*l + 131 = 421. Which is bigger: -24 or l?
-24
Let d(m) = -7*m + 1. Let h be d(-1). Let z = h + -12. Let f be 75/140 + 1/z. Which is smaller: -0.16 or f?
-0.16
Let f(n) = n**3 - 7*n**2 - 9*n + 10. Let h be f(8). Suppose -l + 21 = 6*l. Is l greater than or equal to h?
True
Suppose -3*h + 25*c = 21*c + 34, -3*h + c = 31. Are h and 58 equal?
False
Let q = -1546 - -1545.9. Let s = -0.1 - -0.1. Is q <= s?
True
Let k be (-6)/(-9)*(-90)/26. Which is greater: -2 or k?
-2
Suppose -2*g + 120 = -7*g. Let t be 2/4 - (-18)/g. Let h be 1/((1 - -4) + -4). Is h > t?
True
Let b = -127 - -128. Let g be (1 + -1)*6/(-12). Is b less than g?
False
Let u = -208 + 30. Let q be (-2)/(-1) - (1 - u/174). Is q > -1?
True
Let u = 109378/455113 - 48/199. Is -1 equal to u?
False
Suppose 12 = 4*b, 5 = 5*l + 3*b - 24. Suppose l*n + 4 = 0, -2*n + 72 = -3*f + 8. Is -22 smaller than f?
False
Suppose -g - 20 = -73. Let j = g + -32. Let z = j - 22. Is 0.7 less than or equal to z?
False
Suppose 0*p + 4*p - 60 = 0. Suppose 9 = 6*g + p. Let b = 162 + -490/3. Is g >= b?
True
Let i(q) be the second derivative of -q**4/12 + 5*q**3/3 + 2*q**2 - 4*q. Let w be i(10). Let z be (-52)/12 + w/(-6). Is 0.3 greater than z?
True
Let n be ((2 - 1) + 0)/(-5). Let l = -17.87 - 0.13. Let j = 17.9 + l. Is n less than or equal to j?
True
Let j be 4/10 + (-490)/100. Let w be (-30)/4*10/15. Is j at least w?
True
Let l(h) = -h**3 + 2*h**2 + 2*h. Let y be l(3). Let v(m) be the first derivative of m**3/3 - 4*m**2 + 12*m + 3. Let d be v(6). Which is bigger: y or d?
d
Suppose -115*z + 112*z + 45 = 0. Suppose -z*c = -36*c - 147. Do c and -27/4 have different values?
True
Let d = -96 - -9. Let s = -88 - d. Is s < -49?
False
Let z(p) = -p + 3. Let x be z(-12). Let g be (x - -1) + 1*-4. Suppose h + 2*y = 20, -5*h - y + 40 = -2*h. Is g equal to h?
True
Let k be 2282/(-34) - (-146)/1241. Which is greater: -66 or k?
-66
Let a = -67348/17 - -3963. Is a smaller than 2?
True
Let f = 1.2 + -0.2. Let a be (4/(-72))/(2 - (-7)/(-4)). Which is smaller: a or f?
a
Let z be (-54)/(-162)*642/2. Which is smaller: -2 or z?
-2
Suppose 4*r - 42 = 66. Let y(b) = 7*b**3 - 6*b**2 - 2*b + 1. Let l be y(2). Is l bigger than r?
True
Suppose -30 + 30 = -4*y. Are 15/26 and y nonequal?
True
Let j be ((-1)/(-3))/((-3)/31497). Let p = -3448 - j. Let t = 53 - p. Are t and 2 unequal?
True
Let k(d) = d**3 - 8*d**2 - 9*d + 14. Let m be k(9). Which is greater: 15 or m?
15
Let c be 114/22 + (-6)/33. Let f = -6 + c. Let o = 3 + f. Which is smaller: 5/3 or o?
5/3
Let h(g) = -g**3 - 22*g**2 - 37*g + 36. Let i be h(-20). Which is smaller: -31 or i?
-31
Suppose 5*a - 49 = g, 5*a + g - 5*g = 61. Suppose 3*i - a = -5*m + 8, 16 = 4*m. Suppose -9*f = -8*f. Is f not equal to i?
True
Suppose 0 = -447*y + 448*y + 1. Which is greater: -8/233 or y?
-8/233
Let t(r