= 9*r**2. Let i be z(-1). Let k be ((-315)/(-10))/1 + -5*9/(-90). Is i < k?
True
Let n = -6873 + 7619. Which is smaller: n or 1/4?
1/4
Let j be (3 - 175/55) + 5316/(-44) + -6. Is -118 less than or equal to j?
False
Suppose -p + 2*j - 46 = -49, -3 = -p + j. Is p greater than or equal to 758?
False
Let w(v) = -42 + 0*v + 11*v - 14*v + 4*v. Let d be w(17). Which is smaller: d or -22?
d
Let x(c) = 4700*c + 117475. Let m be x(-25). Let y = 0.75 - -0.05. Let b = y + 0.2. Which is bigger: m or b?
b
Let g be (-139930)/(-57) + (-35)/105. Let n = g + -2453. Is 1 equal to n?
False
Suppose 0 = 2*a + 5*a. Suppose -4*m = -a*m - 8. Suppose -3*n + 3*q + 15 = 0, -m*n - 2*n + q = -5. Is -3/7 >= n?
False
Let a = 0.1824 - -21.8176. Let f = 446.7 - 425. Let i = a - f. Is i > -2?
True
Let x = 3773.8 + -3774. Let s be (-132)/16*(-94 + -2)/4. Which is greater: x or s?
s
Let z = 9871/6 + -1641. Let b = z + -613/150. Which is greater: b or 1?
1
Let w(x) = x**3 + 14*x**2 - 2*x - 11. Let b be w(-14). Let p be 6*(0 + 140/24). Suppose 7*t - 168 = -p. Is t less than b?
False
Let i(b) = 13*b + 93. Let w be i(-4). Suppose 9*y = 4*x + 6*y - 166, 0 = -5*x + 4*y + 207. Is w at most x?
True
Suppose 5 = 5*w, 0 = -u + w - 21 + 20. Which is bigger: u or 2/3427?
2/3427
Let u = -220 + 407. Let x = u - 186. Is 37 less than or equal to x?
False
Suppose -12*y + 25 = 37. Suppose -3*a = x - 2, 4*a + 3*x = -x. Let r be (-9)/81 + -1 + a. Are r and y equal?
False
Suppose 5 + 13 = 6*j. Suppose -7 = -j*l + r, -2*l + 3*r = -4 - 3. Suppose 30 = -l*f + 28. Which is greater: f or 4/61?
4/61
Let s(j) = -j**2 - 39*j + 892. Let i be s(-50). Which is smaller: -4 or i?
-4
Suppose 36 = -3*h + 21. Let o be 109/(-15) + 42/h + 8. Which is bigger: -9 or o?
o
Let c be 7216/(-12) - (-12)/9. Let u = 314 + c. Is u equal to -286?
True
Let w be -1*(275/(-99) + 3)*3249. Which is greater: -716 or w?
-716
Suppose 5*c - 131 = 8*n + 11983, 0 = 5*c + 5*n - 12075. Which is smaller: c or 2420?
c
Let k = -547/8 - -4061/56. Which is smaller: k or 3?
3
Suppose -58*t + 8078 = 104678 + 91204. Is -1 less than t?
False
Let j = -143 + 116. Suppose 19 = -5*y - r - 0*r, -3*y = 5*r + 29. Let q(b) = -b**3 - 2*b**2 + 3*b - 1. Let n be q(y). Which is smaller: n or j?
j
Let q = 265 + -134. Suppose 0 = -3*o - q - 94. Let u = 116 + o. Which is smaller: u or 42?
u
Let s(r) = -r**2 + 242*r + 2259. Let y be s(-9). Do y and 9/1025 have the same value?
False
Let k be 80/(-16)*(-2 + 1). Suppose 3*a + 19 = -b, 0 = k*b + 4*a + 58 + 15. Which is smaller: -22 or b?
-22
Let n be 1/((-14)/6) - 1. Let o(w) = 7*w**2 - 32*w + 3. Let l be o(5). Let b be (-3)/(-2) - l/12. Which is greater: b or n?
b
Suppose 44*s + 4433 = -99*s. Is -595/19 at most as big as s?
True
Let h be 6/14*1/(4/28). Let l be h/15 + 9/30. Which is smaller: -18/5 or l?
-18/5
Let p(y) = -8 + 5*y + 2*y - 3*y**2 + 9 + 2*y**2. Let h be p(7). Is -4/25 at least as big as h?
False
Let h be (-1)/8*(4 - 14). Let u(p) = 5*p + 54. Let k be u(-11). Let b(z) = z**3 + z**2. Let j be b(k). Is j less than h?
True
Let l = -431449/105 - -4109. Is l bigger than 9?
False
Let q = 24190 + -96763/4. Is -1884 bigger than q?
False
Suppose -18 = -8*b - 626. Let n = -109 - b. Let v = n - -36. Which is bigger: v or 19/5?
19/5
Let a = 291 - 146. Suppose -a = -6*o - 127. Suppose 11 - 7 = -p - 5*y, -4*p = o*y - 1. Is p equal to 4?
False
Suppose k = 3*p - 14, 2*k - 12 + 0 = -2*p. Suppose -w = -6*g + 3*g - 76, p*w + 76 = -4*g. Which is greater: g or -28?
g
Let u = -156863/6 + 26257. Which is bigger: u or 112?
u
Let z = -284 - -255. Let w = 28.9 + z. Is w > 2/193?
False
Suppose 23*f = -14760 - 2306. Let h be f/14 + (-3)/((-6)/8). Which is greater: -50 or h?
h
Let l = -36 + 57. Let a be (-640)/7 - (7 - 135/l). Let i = 81 + a. Which is smaller: 0.2 or i?
i
Let q = -0.056 + -0.029. Let t = 1.015 - q. Let b = 2.9 + -3. Which is bigger: b or t?
t
Suppose 14*o + 480731 + 68051 = -12*o. Is o bigger than -21106?
False
Let s(x) = -11*x - 31. Suppose -5*v + 17 = -158. Let w(q) = 65*q + 185. Let a(j) = v*s(j) + 6*w(j). Let k be a(-11). Which is smaller: -29 or k?
k
Suppose -d - 171 = 2*v - 12, -5*v - 399 = 4*d. Which is smaller: -1/5 or v?
v
Let l be 4/(8/9) - 1/(-2). Suppose -l*x + 105 = -45. Suppose 0 = 3*a - a + x. Which is smaller: a or -17?
-17
Let j = 453 - 519. Let s be (1*(8 - 10))/((-4)/j). Is s greater than -35?
True
Suppose 5*x + 2*v - 14 = 0, -4*v + 19 = 4*x - 5*v. Let o(i) = i**2 + 5*i + x*i**2 + 3 + 3 - 4*i**2. Let k be o(-7). Which is greater: k or 19?
k
Let l = -135 - -241. Let y = -34.6049 - -31.6049. Which is greater: y or l?
l
Let r = -0.0947 + -56.3053. Let b = r + 58. Which is greater: 2 or b?
2
Let t = -1770.991 + 1769. Let s = t - -1.93. Does -0.4 = s?
False
Suppose 81 - 27 = 18*v. Suppose 6*k - k = 5*z, 0 = 4*z - v*k - 3. Which is bigger: z or 17/10?
z
Let g(r) = -3*r**2 - 6*r - r**2 - r**3 + 5 - 7. Let o be g(-4). Suppose -w + o = 20. Which is smaller: 1 or w?
1
Let v = -42.999 + 42.929. Is -3/329 at least v?
True
Let b be 10/1 + (-5759)/(-65). Which is greater: b or 0.5?
b
Let x be (290/(-198) - -2)*-15. Let a = x - -26/3. Which is greater: 1 or a?
1
Let v(h) = -h**3 + 20*h**2 - 21*h + 42. Let w be v(19). Suppose -3*z - 2*z + 97 = -2*x, -4*z = -w. Let y = -104 + 59. Which is smaller: x or y?
x
Let m = 183 + -193. Let c be (m/25 + 0)/(-2). Let x = -3 + 4. Which is smaller: c or x?
c
Suppose -3*q + 4744 = -n, 3*n - 6308 = 292*q - 296*q. Which is greater: 7897/5 or q?
q
Let n = -10 - -23. Let q(l) = 13*l**2 + 6*l + 4. Let i(x) = -x**3 - 20*x**2 + 6*x + 119. Let j be i(-20). Let w be q(j). Which is greater: n or w?
n
Let f = -277 + 277.2. Let a = 243 + -248.91. Let y = 0.09 - a. Which is bigger: f or y?
y
Let i = -24.3 + 8.8. Let w = i - -14.5. Is w < -102?
False
Let k = 12.5 + -12.5022. Is -0.2 at least k?
False
Let m = 0.28766 - 0.42766. Suppose -3*r = 2*r - 35. Let x = r + -9. Which is bigger: m or x?
m
Let p be 2 - (29 - 11) - -16. Which is smaller: p or 30/589?
p
Let i = -1490664672 - -3045447843/2. Let d = i - 1959140733523/61110. Let u = d - -1/873. Are 0 and u non-equal?
True
Let x be ((-4)/10)/((-97)/(-592670)). Is -2444 less than or equal to x?
True
Let d = 52 - 58. Let v be 3/9 - (-1 - (-28)/d). Let h be 3*21/9 + -2. Is v at least as big as h?
True
Let s be (-2)/9 - 8/(-36). Let u be -8*(2 - 1)/(s - 1). Let b = u + -8. Is -2/17 at least as big as b?
False
Let c = -4.741 - 0.949. Let q = -2.31 + c. Which is bigger: q or -0.2?
-0.2
Let x = 42155 - 59933. Is -17779 at least as big as x?
False
Let w be 39/546*(-1 - 52/(-8)). Is w < 1/6?
False
Let i(c) = -c**2 - 112*c - 2367. Let m be i(-35). Which is smaller: m or 316?
316
Let c be -319 - 5/(-4)*(-63 - -59). Is -315 > c?
True
Let s = -8930.13 - -8940. Does -2/7 = s?
False
Let s(v) = v**2 - 5*v + 5. Let o be s(5). Suppose -31*m = -k - 29*m - 5, 0 = k - m + o. Let j = 489 - 1480/3. Is j smaller than k?
False
Let f(v) = -41*v**2 + 13*v + 39*v**2 - 453 + 451. Let h be (-26)/(-4) + (-1)/2. Let y be f(h). Which is bigger: 6 or y?
6
Let t = -26010 - -26005. Let f(i) = -213*i - 1. Let u be f(-1). Let c = u + -435/2. Is t >= c?
True
Let d = -654229/7 + 93039. Let p = 422 + d. Which is smaller: p or -50?
-50
Let t = -9.599 - 0.311. Which is smaller: t or 0.02?
t
Suppose 0 = 2462*q - 2467*q + c - 64, -3*q + 5*c - 56 = 0. Which is greater: 29 or q?
29
Let w = -16 - -277. Let l be w/18 + (-6)/(-4). Let d(q) = -7*q - 52. Let k be d(-10). Is k <= l?
False
Suppose t - 4*n + 143 = 0, -4*t = 2*n + 2*n + 612. Let g be 2*(-35)/(-14) - t. Is g != 155?
True
Let q(x) = -5*x - 24. Let t be q(-19). Let a = -113 + t. Let r be (a/4)/((-11)/44). Which is greater: r or 43?
43
Let p(w) = -w**2 - w + 6. Let h be p(2). Suppose 30 = t - a, h = 32*t - 36*t + a + 117. Do t and 41 have different values?
True
Let p = 16 - 14.2. Let v = 2 - p. Let d = -4596 - -4595. Is v at least as big as d?
True
Let x = 292 + -276. Suppose x*z = 11*z + h - 1, 15 = z - 4*h. Is z bigger than 4?
False
Let l(u) be the second derivative of u**4/12 + u**3 + u**2/2 - 32*u. Let q be l(-6). Which is bigger: q or -5/36?
q
Let o = 8692/9 + -968. Suppose -3*i + 2172 = -0*i + 2175. Is i < o?
False
Let w = 13 - 12. Let l be ((-10)/6)/(4 + (-26)/6). Suppose -2*h + 5*r = 39, l*h - 5*r = 7*h + 9. Is h > w?
False
Le