21 + 0*w**3. Let j be -1 + (420/(-50))/(2/(-5)). Let u be z(j). Which is smaller: -10/11 or u?
u
Let j(t) = 27*t**2 - 8*t + 1. Let k be j(1). Is 132 greater than k?
True
Let j = -9441 + 9547. Is -0.14 >= j?
False
Let f = -134.7 + 134.7. Are f and -2303 nonequal?
True
Let h = -12 + 30. Suppose h*s - 68 = 22*s. Let f(m) = -3*m**2 - 4*m + 13. Let k be f(-4). Which is smaller: k or s?
k
Let c(b) = 5*b**2 - 5*b + 8. Suppose 0 = 8*v - 9*v + 2. Let i be c(v). Which is smaller: i or 16?
16
Suppose -s - 6 = -h, -8*s + 2*h = -5*s + 16. Which is bigger: s or -119/25?
s
Let f = -533/3 + 49039/276. Suppose -5*a = 5, 3 = r + 39*a - 41*a. Is r at least as big as f?
True
Suppose -17*u + 21*u = -7*p + 31, -23 = -5*p - 3*u. Which is bigger: p or 2/919?
p
Suppose -3*x = -4*n + 12, 4*x = 3*n + 3 - 5. Is 259 equal to n?
False
Suppose 20163 - 65000 = 13*n. Is -3450 >= n?
False
Suppose y + 2 = -y. Let o be (-114796)/528*(-4)/(-234). Let m = o + 100/27. Is y not equal to m?
True
Suppose 4*v - 5*j = -442, -3*v + 4*j = -19 + 350. Let m = -107 - v. Let a be ((-8)/(-198))/(m + 34/(-6)). Which is greater: a or 1/2?
1/2
Let x = 100.035 + -100. Let i = -0.065 - x. Which is greater: i or 2.7?
2.7
Suppose -5*s - 3 = -8. Let g = 39 + 16. Let n = g - 76. Which is greater: s or n?
s
Let q = 2/1625 - -1363/212875. Suppose 0 = -13*r - 9*r + 22. Which is greater: r or q?
r
Let b = -130 - 35. Let v be 2/11 - (-30060)/b. Let a be 4/30*(-13)/(v/12). Is 1 at most a?
False
Let q be 13/(-2)*(-8 + 6). Let g = -17 - 95. Let r be (-32)/g - 178/(-14). Do q and r have the same value?
True
Let n = 419.3 + -343.3. Which is bigger: -0.3 or n?
n
Let j = 114 + 42. Suppose 12*b - 312 = j. Suppose b = -3*c - 84. Is c less than -40?
True
Let s be (-176)/6 + 0 + 1/3. Let l = s - -39. Let m = 26 + -15. Which is smaller: m or l?
l
Let i = 1352.838 - 1354. Which is bigger: i or -0.04?
-0.04
Suppose -3*d = 9, k - 2*d = -3*d - 29. Let g be ((-16)/7)/((-16)/224). Suppose 0 = 3*t + 2*n + 76, -4*t - 69 = 3*n + g. Is t bigger than k?
False
Suppose 2*l = -s - 297, 3*l - 32 = 3*s - 455. Let x = -147 - l. Is x less than or equal to 2/213?
True
Let l be 5*8/260 + (-112)/(-117). Do 0 and l have the same value?
False
Let z be (-4)/6 + 17/3. Let r be 2/((-10)/z) - 32. Let y = -47 - -15. Is y <= r?
False
Let c = 60185/36 + -1672. Is c bigger than 0?
False
Let p = -17 - 3. Let a(m) = -m**2 - 13*m - 11. Let g be a(-10). Let b = g + p. Is 1/28 < b?
False
Let a = -219/5 - -44. Let f be 118/(-6) + (-1880)/(-84 + -10). Are a and f nonequal?
True
Let t = -1/134770 - -676017/292046590. Which is bigger: -1 or t?
t
Let u be 2048/(-20) - 2 - 12/20. Let n be 489/u - 1/7. Which is smaller: -5 or n?
-5
Let g(p) = 7*p**3 + 1. Let i be g(-1). Let o be ((-18)/12)/(8 + 4979/(-338) - -7). Is i greater than o?
False
Let f(l) = l**3 + 5*l**2 + 3. Let t be f(-4). Let q(k) = -256*k - 212*k - 21*k**2 + 27 + 429*k + 23*k**2. Let p be q(t). Which is smaller: -1 or p?
-1
Let f be ((-4094)/69)/89*((-34)/4 - 0). Let u(n) = n**3 + 8*n**2 + 5*n - 8. Let q be u(-7). Are q and f equal?
False
Let x = -17620 + 17662. Which is bigger: x or 26?
x
Let c(k) = -24*k + 46. Let z be c(-6). Let v = z + -189. Is 3/232 < v?
True
Let h be 8 - (264/22 - 4). Which is smaller: 2/4649 or h?
h
Let p(d) = 40*d + 2157. Let q be p(6). Is 2397 bigger than q?
False
Suppose -76 = -19*v - 38. Let n be (240/(-136))/(6/(-4)). Which is greater: v or n?
v
Let y = -25 - -4. Let g = y - -28. Suppose -a - g = -5. Is -2 at least as big as a?
True
Suppose 7*m + 221 = l + 9*m, -3*m = -l + 246. Let q be l/165*5/(-8). Is -4 >= q?
False
Let m be (-1)/(-2)*(-11 + 11). Let x be (0 + 0)/(3 - m/1). Suppose c - 1 = x, 4*u + 49 = 3*c - 2*c. Is u at least as big as -13?
True
Let k be (-70)/48 - 4/(-12). Let o be ((-2)/3)/(4/12*-2). Let j be 4 - o/(2/8). Which is greater: j or k?
j
Let g = -6.188 - -6.388. Which is smaller: 3/2365 or g?
3/2365
Let c = 9 - 60. Suppose 53*i - 8 = 5*h + 51*i, 4 = -4*h + 2*i. Which is bigger: c or h?
h
Suppose -2*t - 10698 = -2*v, -4*v - 2*t - 972 = -22386. Let z = 176602/33 - v. Which is greater: z or -1/4?
-1/4
Let d = 112070 + -1456907/13. Let h(j) be the second derivative of -j**4/12 + j**3/6 - j. Let w be h(1). Which is bigger: w or d?
d
Let f = 0.151 - 2.091. Let s = f - -2. Which is bigger: s or 0.3?
0.3
Let i = 18.46 - 0.68. Let a = i - -0.22. Let c = -1819/5466 + -1/1822. Is c > a?
False
Let j = 6170 + -24681/4. Is j bigger than 619?
False
Let t = -100971131911/82292 - -1226986. Is -1 at most as big as t?
True
Let x = 73 - 74. Let u be (-2*7)/(-2)*-1. Let y be u/28 - (-9)/132. Which is greater: y or x?
y
Let a(i) = 5*i - 12. Let u be a(3). Let k = -5.7 + -25.3. Let d = 31 + k. Which is smaller: d or u?
d
Suppose 4*x + x = 10. Let n = -3.5533 - -3.6133. Which is bigger: x or n?
x
Let c = 3364037773/85 + -39576202. Let b = 713 - c. Suppose x = -2*i - x + 6, 2*x - 11 = 3*i. Do i and b have the same value?
False
Let p = 2/21857 + 43708/65571. Which is smaller: p or 4464?
p
Let c(f) = -13*f - 76. Let n be c(-6). Let u(m) = m**2 - 3*m + 3. Let g be u(n). Which is greater: -2/251 or g?
g
Let l = -6738 + 5879. Is l < 5/2?
True
Let v(t) = -4*t - 2. Let f be v(-1). Let m be -49*(-3 + 4) - f - -3. Is -50 >= m?
False
Let z = -3330.17 + 3330. Does z = -128?
False
Suppose -1289*m = -1264*m + 7500. Which is smaller: 0 or m?
m
Suppose -3*g + 3*m + 150 = 0, 92 = -4*g + m + 286. Let j be 4*(7 - 294/g). Which is smaller: -20 or j?
-20
Let f = 2335.1 + -2244. Let w = f + -197.9. Let v = 102 + w. Is v less than or equal to 2?
True
Let i = 38587/2823 - 2/941. Suppose -t = -3*j + 4, 15 = 3*j + 2*j. Suppose -t*u - 41 + 1 = -d, 5 = 2*d + 5*u. Which is smaller: i or d?
i
Let h = 133 + -133.362. Let l = h + 0.241. Is -2/9 greater than l?
False
Suppose 18 = 3*h - 3*v, -5*h - 1 = 2*v - 3. Suppose -h*o + 123 = 2*y - 143, -5 = -5*o. Suppose 3*b + y = -4*n - 14, -4*n - 4*b = 148. Which is bigger: n or 2?
2
Let u = -25 + 29. Suppose -3*i + u*i + 2*h = 55, i - 46 = h. Suppose -2*f - 3*n - i = 44, 3*n = -3. Is f > -44?
False
Let q = -2218 + 2280. Are q and -19 equal?
False
Let s = 1055 - 1054. Which is smaller: 1/5510 or s?
1/5510
Suppose -3*o - 70 + 70 = 0. Suppose o = -4*t + 10*t + 24. Let s be (-5)/((-100)/24)*t/40. Which is smaller: s or 0?
s
Suppose 4*y - 67 = -5*g, 2*g + 0 = -2. Let n(k) = 5*k + 32. Let c be n(y). Is c smaller than 2/7?
False
Let l be (-1)/(8 - (-155)/(-20)). Let n be (400/24)/(((-8)/(-57))/l). Are 1 and n nonequal?
True
Let u(x) = -x**3 + 18*x**2 - 2*x + 37. Let s be u(18). Let o = -27 - -27. Suppose 2*a = -2 - o. Which is greater: a or s?
s
Let n be (-82)/205 + 4/10. Let i be (-2 - -1)/((16/(-30))/8). Let z be (45/(-330))/(i/1). Is z less than or equal to n?
True
Let v(p) = p**2 + 3*p + 24. Let m be v(0). Let y be ((-5)/3)/((-20)/m + 0). Let n be y/4 - (178/36 - 5). Is 2/3 at most as big as n?
False
Let w(v) = 18*v + 130. Let g be w(-7). Suppose -2*s = 18 - g. Is -5 > s?
True
Suppose 10 = -5*v, -3*k - 5*v = -15 - 20. Suppose -2*x - 2*x + 3*o + 8 = 0, -5*x + 5*o = -k. Is -1 at least x?
True
Let p = 59.75 + 0.25. Suppose 6*q - 15 = -21. Which is smaller: p or q?
q
Suppose -4*f - 14 = -r, -42*f - 5*r + 6 = -46*f. Is -12 > f?
False
Let j be ((-376)/3)/(((-4)/15)/(524/1310)). Is j less than 187?
False
Let u be (15 + 1872437/(-124815))*((-9)/(-2) - 2). Let y be 0/((-1)/1*2). Is u greater than y?
False
Let c = -2084 - 545. Which is smaller: c or -2628?
c
Let a = 0.6 + 0.4. Let s = -0.09257 - 11.90743. Which is smaller: a or s?
s
Let k = -195 + 296. Let b = 100.755 - -1.245. Let a = b - k. Is a greater than 36?
False
Let n(s) = s**3 + 4*s**2 + 7*s + 6. Let y be n(-4). Let t be 2/8 + 5/y. Suppose -1751*o + 3294*o = 1747*o. Is t equal to o?
False
Suppose -t = n - 9, -3 = n - 0*n + 5*t. Let b be ((n + 0)/(-3))/((-4)/(-4)). Let i = -98 - -97. Does b = i?
False
Let k = 330 - 126. Let v = 407/2 - k. Which is bigger: v or -1?
v
Let f(x) = -174*x + 10869. Let j be f(94). Which is smaller: -5489 or j?
-5489
Let q = -51 - -51. Suppose 3*j - 5*t + 386 = q, -j - 3*t = -2*t + 118. Let w = j + 127. Is w > 1/2?
True
Suppose 31 = 2*a + 2*g - 7, 4*g = 5*a - 86. Let c = a + -15. Is c smaller than 19/7?
False
Let s = -29036243923/46029 - -630825. Which is smaller: s or -1?
-1
Let b be (-2