. Let u(p) = p**2 - 8*p. Let f be u(z). Let i = -4/55 + 54/55. Which is smaller: f or i?
f
Let q = 8 - 4. Let k be 3 - (16 - (1 + 12)). Are q and k non-equal?
True
Let c be (-21)/6*1820/(-1050). Let p = 30/55153 - 65417308/10754835. Let r = p + c. Which is bigger: 1 or r?
1
Suppose -4*j - 248 = 2*x - 244, -4*x - 5*j = 5. Which is smaller: x or 3/3961?
x
Suppose 0 = -4*g + 4, -1 = 4*i + 2*g + 5. Let t be (-350)/(-21) - i/6. Let k be t/5 + (-26)/65. Which is smaller: 4 or k?
k
Suppose 5*r - 4*r = 0. Let o = 936 + -423. Let h be (-4)/1 + o/117. Which is smaller: r or h?
r
Let t = 2419 - -2316. Are t and 4735 nonequal?
False
Let u = -24 - -26. Suppose -u*v + f + f = 108, 3*v + 2*f = -137. Let d = v + 50. Is d smaller than 1/25?
False
Let b = 66 - 45.76. Let t = b + -20. Let i = t - 0.24. Do -3/5 and i have the same value?
False
Let z = -9010 - -2369632/263. Suppose 4*p + 2 = 6*p. Which is greater: z or p?
p
Suppose 0 = -7*o + 5*o + 20. Let g be (-1 + -19)*4/o. Let l = -2 - g. Which is smaller: 0 or l?
0
Let n(k) = -97*k**2 - 3*k - 40*k**2 + 62*k**2 + 4. Let t be n(1). Is -70 >= t?
True
Let b(u) = -u**2 - 14*u - 25. Let v be b(-11). Suppose -3*g + v*g = 45. Let q be ((-15)/9 + 1)*-9. Which is bigger: g or q?
g
Let d be 2*-1 - -2 - 9. Let x = -223 + 226. Let o = x - 13. Is d less than o?
False
Let z = 11335 + -11334.5. Is z > -217?
True
Let g be (-26)/(-8) + (-14)/56. Let c be 24 - 12/g - (-3 - -8). Does c = 16?
False
Let c = 10.2 - 10.094. Let o = c + -0.306. Is -3.6 greater than o?
False
Suppose -6*q + 11 = -5*q. Let x be q/(31779/(-5780)) + 2. Let f = -5624/222453 + x. Is 0 smaller than f?
False
Let p = 1678/9 - 1621/9. Which is bigger: 6/5 or p?
p
Let g = 0.1748 + -0.2948. Do g and 79 have the same value?
False
Let a = -251 + 137. Let p = -126 - a. Are p and -4/5 equal?
False
Let s = 161449/11 + -14677. Which is greater: s or 85?
85
Suppose 4767 = 12*v + 9*v. Let n = -217 + v. Which is bigger: 0 or n?
n
Suppose 340*d - 53331 = 97289. Are 24 and d equal?
False
Suppose 4 = i, 2*i + 177 = -0*c - 5*c. Let l = c - -37. Which is bigger: l or 0.37?
0.37
Suppose -269 = 12*j + 907. Let w = j - -112. Which is smaller: w or 15?
w
Let f(n) = 8*n**2 + 357*n - 137. Let b be f(-45). Which is smaller: -97 or b?
-97
Let c(o) = -o**2 - 5*o + 1. Let r be c(-6). Suppose -10*f - 3*f - 195 = 0. Let n be (f/18)/(0 + r/3). Do 3 and n have different values?
True
Let s = 50 - 44. Suppose -s*h - h + 469 = 0. Suppose 13 = 4*k + 2*x + h, 0 = k - 3*x + 10. Which is greater: k or -2/9?
-2/9
Let h = -399.7 - -410.7. Is h greater than 286?
False
Let t = -3111.58 + 3083. Let x = t + 28. Let b = x + 0.45. Which is smaller: 0.1 or b?
b
Let r = 633/7015 - 1/305. Suppose 3*g + 36 = -0*g - 4*o, g + o + 13 = 0. Let v(w) = -w**2 - 18*w - 35. Let u be v(g). Which is bigger: u or r?
r
Let m = -2564 - -2565. Let h = -4.13 - -5. Let y = h - m. Which is greater: y or 0.2?
0.2
Let p be 66/9*(-48)/(-1056). Does 489 = p?
False
Let u = -17661/47 - -384000/1363. Let r = u - -94. Is r at least as big as 2/9?
False
Let i be (16/((-800)/630))/((-6)/20). Is 83 > i?
True
Let b = -9189 - -9283.14. Let g = -93 + b. Let n = g + -1.1. Which is smaller: n or -5?
-5
Suppose 3*t + 9 = 33. Let j(r) = -5*r. Let d be j(-1). Let y = t - d. Is y >= 20?
False
Let p(o) = 10*o + 156. Let v be p(-15). Let f be (2/v)/(1/(-243)). Is -81 bigger than f?
False
Suppose 0*v = -v - 2*v. Suppose 4*s = -v - 4. Which is greater: 4/87 or s?
4/87
Suppose -3*m - 15 = 2*j + 10, 0 = 4*m - 2*j + 38. Suppose 0 = 8*r - 242 + 242. Suppose -5*b = u - r*u + 14, 5*b - 40 = 5*u. Is u smaller than m?
False
Suppose 6 = 6*j - 0*j. Let a be (j*2/1)/45. Suppose -216*y - 1 = -215*y. Is y greater than a?
False
Let a = 17 - 9. Let s = -342 + 479. Let t = s + -136. Is a at most t?
False
Suppose -116*o + 4 = 11*o + 131. Is o > -4/5215?
False
Let r be ((-11)/(-22))/(2/(-44)). Let s(y) = -y**3 - 10*y**2 + 10*y + 4. Let k be s(r). Suppose 17*z = k*z. Is z less than or equal to -3.7?
False
Let w = -261 - -252. Let o = -3.8 + 3.766. Let k = -0.044 - o. Which is greater: w or k?
k
Suppose 4*c = 7*j - 2*j - 138, -5*j + 141 = -3*c. Let o be (-42106)/555 + (-4)/j - -5. Which is bigger: -70 or o?
-70
Suppose -28*k - 12 = -4*y - 32*k, -3*y - 2*k + 9 = 0. Let s be 6 - (2/2)/1. Is s greater than y?
True
Let m be 118303/7887 + 5715/(-381). Which is bigger: -1 or m?
m
Let r = -63.012 - -63.1. Which is greater: r or 10?
10
Let v(x) = -11*x**2 - 178*x + 143. Let d be v(-17). Which is greater: d or -862/87?
-862/87
Let i = 2 - 5. Let t = i + 3.1. Let k = -1626457 - -1626426. Which is bigger: k or t?
t
Let v = 35163 + -34692. Does v = 457?
False
Let c be (-2 - 0)/(2/(-29)). Suppose -6*h - h - 63 = 0. Let m be ((-22)/55)/(h/(-5) - 1). Is c less than m?
False
Let b = -4237 - -4228. Let j be (8/(-10))/(99/935). Are j and b equal?
False
Suppose -z - 1303 = 83*l - 86*l, -4*z = 3*l + 5122. Which is greater: z or -0.2?
-0.2
Let n = -24 - -28. Let u be (4 - (2 + -4)) + -197. Let p = u - -569/3. Which is bigger: p or n?
n
Let j(g) = -g**2 - 29*g + 162. Let d be j(-47). Which is smaller: d or -685?
-685
Let b = -14162 - -10539. Which is bigger: -2 or b?
-2
Let y be 1 + 36/27 + (-3298)/1416. Let b = 483/2596 - y. Let k = -2 + 2. Which is greater: k or b?
b
Let q(g) = 2*g**2 + 10*g + 8. Let l(c) = -c**3 - 5*c**2 + 3*c + 11. Let w be l(-5). Let a be q(w). Which is bigger: a or 8/29?
8/29
Let r be ((-44)/165)/(8/(-10)*1). Are -0.02216 and r equal?
False
Let g = 182 + -174. Let r be (-12)/(-2)*((-40)/125)/g. Is r > -1?
True
Let d(o) = o - 11. Let g be 2*16/(-6)*(-21)/14. Let z be d(g). Let v(f) = f - 14. Let p be v(10). Is p >= z?
False
Let k(p) = -16 - 43*p**2 - 36*p**2 + 78*p**2 - 2*p + 9*p. Let c be k(7). Let n be -11 + -1 - 3/1. Is n bigger than c?
True
Let u(l) = 5*l - 8. Let d be u(2). Suppose 0 = -5*i + 3 + 7. Suppose -i*c - 5 + 21 = 0. Which is greater: c or d?
c
Suppose 8 = 4*o + 2*r, -3*o + 5*r + 16 = -3. Suppose o*c + 210 = -12*c. Let w = 27 + -30. Is w > c?
True
Let j = 2887/16434 - 15/83. Suppose 36*u = -39*u + 90*u + 15. Which is greater: u or j?
j
Let f = 7244 + -9223. Does -2/3 = f?
False
Let t be (64/(-40) + 2)/((-2)/(-3865)). Let s = -3091/4 + t. Is s at least as big as -0.89?
True
Suppose -152*n = -16908 - 25301 + 8465. Which is bigger: n or 221?
n
Let c(u) be the first derivative of -u**2/2 + 19*u + 30. Let p be c(17). Do p and -2.7 have different values?
True
Let z = 22.654 + -22.9. Let r = 59.046 - 59. Let s = z + r. Which is greater: s or 2/5?
2/5
Let h = 188 + -186. Suppose 0*r = -r - 3*q + 2, 0 = r - h*q + 3. Are 0 and r non-equal?
True
Let f be -1*(2/10 - (-642)/(-535)). Which is greater: f or 12/655?
f
Let z be (-7420)/48 - (-14)/(-21). Let y = -2659/28 - z. Is 60 greater than y?
False
Let j = 226.35 - 226.35. Which is greater: -4890 or j?
j
Let d(c) = -11*c - 319. Let t(z) = 6*z + 161. Let o(f) = -3*d(f) - 5*t(f). Let y be o(-17). Which is bigger: 100 or y?
y
Suppose 2*h - 42 + 16 = -5*c, 3*c - 3 = 3*h. Let x be h + 180*(-70)/4179. Which is smaller: 1 or x?
x
Let p = 1334.5 + -1334.4. Which is smaller: -0.7385 or p?
-0.7385
Let r = 0.24078 + 0.05922. Let s = -0.31 + 0.44. Let i = -0.05 + s. Which is greater: i or r?
r
Let h = 187558313/1894 + -198055/2. Which is bigger: h or 1?
1
Let f(d) = -3*d**2 - 120*d + 4150. Let l be f(33). Which is smaller: l or -3075?
l
Let w = -127 - 159. Let g = w - -285.98. Is -1 less than g?
True
Suppose -247*g + 245*g = -8. Suppose 6*r - r + 25 = -g*q, 3*r = -4*q - 23. Let i(s) = -6*s - 37. Let z be i(q). Are -5 and z non-equal?
True
Let m = -10.1 - 108.9. Let p = -121 - m. Which is greater: p or 0.3?
0.3
Let b = 0.027 + -6.727. Let c = b + 35.7. Let v = c - 26. Which is smaller: 0.08 or v?
0.08
Suppose 0*v + 2*r = 5*v - 141, 3*v + r - 78 = 0. Suppose 32*b - 5*b = -v. Does b = -1/4?
False
Let h be (-141)/2 + (-1)/(-2). Suppose -2 = -m, -2*m - 361 = 4*l - 1017. Let u = 94 - l. Do h and u have different values?
True
Let a(v) be the first derivative of v**2/2 + 198*v - 34. Let w be a(-34). Is w <= 164?
True
Let o be (-380)/25 + -13 + 14/(-5). Suppose -5*v = 152 + 3. Is v equal to o?
True
Let c(r) be the second derivative of r**4/6 - 5*r**3/6 - 9*r**2/2 + 7*r. Let b be c(6). Let z = 28 - b. Which is bigger: -13 or z?
z
Let k