ppose 0 = -2558*o + 2570*o - 29724. Which is smaller: 2478 or o?
o
Let w be (21 + 1166/(-66))/(1/90). Which is smaller: w or 312?
w
Let v(p) = p - 7. Let s be v(4). Let r = 140 + -140.48. Let f = 0.54 + r. Which is bigger: f or s?
f
Let s = 36/1513 + -451484/152813. Which is smaller: -3 or s?
-3
Let n(q) = q - 2. Let y be n(0). Let x be (3 - -1) + (-872)/(-4). Let c be x/(-185) - (-4)/(-30). Which is smaller: y or c?
y
Let y be 13203/2925 - 3 - 4 - 8/52. Suppose 0 = 2*p - 5*q + 26, -3*p - 5*q - 21 = -8*q. Which is smaller: y or p?
p
Suppose -114*j - 45*j + 110187 = 0. Is -10 <= j?
True
Let s = 433.62 - 8.62. Let c = s - 426. Is c at least -0.065?
False
Suppose -3*n + 4*p - 12 = p, -16 = 3*n - 5*p. Let l be (-58)/4*n - (-2 - -3). Which is greater: 31 or l?
31
Suppose 4*i - 39 = 2*w + i, 2*i = 4*w + 82. Suppose -270 = u - 249. Is u at least w?
True
Suppose -31*w + 220 = 5*y - 26*w, -172 = -4*y - 2*w. Is 49 at least y?
True
Let q be (-11)/(-33)*(4/(-2) - 10). Let n be (-329)/63 - q/18. Which is smaller: 9 or n?
n
Let b = -7.4 + 499.4. Let n = 71 + b. Which is smaller: 1 or n?
1
Let k be (-20)/(-15) + 4658/3. Let a be 2/18*k/(-14). Is -13 greater than a?
False
Suppose 0 = 4*n + k + 228, k + 9 = 1. Which is smaller: n or -3/5?
n
Let f = 10 + -2. Suppose f*x = x + 539. Let w be 9/x - (-6)/14. Is 0 less than w?
True
Let l be ((-12)/(3/(-1)))/(-5) + 1. Let q be 3 + (-129)/27 - 2/9. Let k be (q + 4)/(4/(-4) + -1). Which is smaller: l or k?
k
Let n = 3380 + -3382.3. Is -234 bigger than n?
False
Suppose 0 = 10*u - 12*u + 76. Let i = 33 + 5. Suppose 3*s - i = 73. Is u equal to s?
False
Suppose 4*l + 32 = 16*b - 12*b, -4*b = 4*l + 8. Suppose -16*m + 20 = -12*m, 5*o - 50 = -b*m. Is o less than 7?
False
Let q(f) = f**3 + 1. Let b be q(0). Let k be b/1 - (-55)/(-75). Let t = 96 - 95.7. Which is bigger: t or k?
t
Suppose -3*m + 7411 = -4*i, -m - 620*i + 624*i + 2465 = 0. Is m less than or equal to 2473?
True
Let p = 416 - 410. Let g be 0 + 4/(4/(-3)). Let i be -15*(g/5 + 0). Which is greater: i or p?
i
Suppose 2*b - 1851*j = -1848*j - 108, -3*b + 2*j - 182 = 0. Suppose w = -w - 130. Which is greater: w or b?
w
Let p(x) = -18*x**2 - x + 1. Let y = -34 + 35. Let d be p(y). Let h be -1 - (-5)/7*d/(-15). Which is smaller: h or 1?
h
Suppose -3*k = -y + 267, -192 = -5*k + 3*y - 641. Is -3 != k?
True
Let a be (-18)/(-24)*3*4. Suppose a*j = 4*j + 65. Suppose j*c + 75 = 8*c. Which is smaller: c or -17?
-17
Let u = 444.4358 - 0.4358. Which is greater: -0.2 or u?
u
Let n = -133.17 + -0.83. Let i = 133 + n. Which is smaller: 8/17 or i?
i
Suppose 0 = -20*c + 21*c - 3*r + 8, -5*c + 5*r = 10. Let a = 916/9 - 101. Which is smaller: c or a?
a
Let z = 2 + 2. Let b = 2561/555 - 52/185. Are z and b nonequal?
True
Let p = 509 + -513. Let l be (-1*(-8)/(-104))/(1/43). Is p less than l?
True
Let z be (-1778)/(-220) + (-9)/(-11 - 79) - 8. Is z <= 960/17?
True
Let q(k) = -11*k + 7. Let w be q(-5). Suppose -5*v + 303 = -3*y, -v + 15*y + 93 = 18*y. Which is bigger: w or v?
v
Suppose -5*v - 184 = x, -3860*v + 4*x = -3862*v - 34. Let j be 965/(-30) + 2/12. Do j and v have different values?
True
Let g(d) = 4*d + 108. Let n be g(-21). Is n at most 36?
True
Let d = -180 + 319. Let h = d + -141. Is 8/5 at most h?
False
Let t be 21/27 + 2 - (-4 + 7). Let o = 26.86 + -0.86. Let u = o - 28. Is t < u?
False
Let z = 1521.2 - 1471.2. Are z and -234 non-equal?
True
Suppose -5*r + 4*r = 2. Let z be (-10)/20*6/9*-109. Let f = -35 + z. Is f greater than or equal to r?
True
Let j = -0.0615 - -37.7615. Which is greater: j or -22/9?
j
Let u = -19.8 + 40.9. Let g = u - 2.1. Let p = g + -10. Which is smaller: p or 1?
1
Let u(k) = k - 5. Let v be u(9). Let z be 0 + v - (-7)/(-3). Let a = -740 + 741. Does a = z?
False
Let g be 2/2 + (-321)/327. Let d be (6/4)/(447/1490). Let l be 10/(-8) - ((-95)/76)/d. Is g < l?
False
Suppose 67 = 3*i - 461. Let y be ((-4)/(-13))/(8/4628). Which is smaller: i or y?
i
Let r = 139.9 - 157. Let h = r + 17.1. Is -38 not equal to h?
True
Suppose 3*z - 2*y = 239, -3*y + 91 = 2*z - 51. Let a = z + -74. Suppose -n + 30 = 2*g, -3*g = a*n + 14 - 59. Which is smaller: g or 17?
g
Let i be ((-8)/(-6))/((-4)/(-18)). Let r(z) = z**2 - 14*z + 2. Let d be r(i). Let f = 24984 + -25031. Which is smaller: d or f?
f
Let b be (-1240)/1449 + 2154/2513. Which is smaller: b or -1?
-1
Let b = 2128 + -2201. Is -52 <= b?
False
Let h = -17.82 + 17.72. Are h and 2378 unequal?
True
Let x be ((-198)/(-8))/(792/(-32) + 1). Which is smaller: -2 or x?
-2
Suppose 4*a = 2*o + 40, -2*a = 4*o - 7*o - 76. Let z be 2*21/o*2. Which is smaller: z or 2/3?
z
Suppose -o - 18 = 8*o. Let r = -960/7 - -15059/112. Which is smaller: o or r?
r
Let d(x) = -4*x + 1. Let c be d(0). Let a = 10080 + -9300. Which is smaller: a or c?
c
Suppose 3*n - 6*m = 1368, 0 = -4*n + 78*m - 79*m + 1833. Is n at least as big as 456?
True
Suppose -65*o = -62*o - 5*k - 1, -2*o + 5 = k. Which is smaller: o or 25/48?
25/48
Let j = 829 - 830. Which is greater: j or 2/607?
2/607
Suppose x + 2*x = 5*x. Let g = -0.001 + 92.001. Let j = g + -72. Is x <= j?
True
Let o(w) = w - 1. Let a(q) = 2*q + 9. Suppose 2 - 11 = 3*n. Let l(c) = n*o(c) + a(c). Let z be l(12). Is 0 smaller than z?
False
Suppose -147*c + 20 - 7 = 13. Is 6/331 less than c?
False
Let h be (52/65)/(2/5) - -1. Suppose 0*c - 5*v - 112 = -4*c, 4*v = h*c - 84. Let z = -11/5 - -9/5. Which is greater: z or c?
c
Let z = 15 - 39. Let u = -2 - z. Let y = 384 - 383.9. Do u and y have different values?
True
Let x(q) = q + 29. Let a be x(-20). Suppose -5*t + 24 = -2*y, y - 3*t = -a - 5. Let j be (1*2)/y*(-216)/1548. Is j < -1/4?
False
Let u be 133/38*255/(-42)*-2. Are 3 and u equal?
False
Let n = 113.5 - 118. Let w = 4.29 + n. Which is bigger: -5 or w?
w
Let h(y) be the second derivative of y**5/20 - 7*y**4/4 + 11*y**3/3 - 14*y**2 + 37*y. Let d be h(20). Which is smaller: 18 or d?
d
Suppose 45*m - 9 + 3 + 6 = 0. Which is smaller: -1/2693 or m?
-1/2693
Suppose 96 = 3*x + 93. Let k be (-6)/9 + (-120)/(-369). Is k less than or equal to x?
True
Let d be -2 - (158 - (-2 - -1)). Let r = 180 + d. Which is bigger: 20 or r?
20
Let t = 61955/14 + -4424. Which is smaller: -0.2 or t?
-0.2
Suppose -18*a = 1199 - 83. Suppose 3*d + 2*l + 211 = 7*l, 5*l = -5*d - 285. Is d at most as big as a?
True
Let y(n) = -n**3 - 4*n**2 + 3*n + 1. Let q be y(-4). Suppose 0*p - 276 = -2*p. Suppose -p = 11*z - 28. Is z at most as big as q?
False
Let q = -5033 + 5407. Is q <= 4?
False
Let v = -1260 + 1331.9. Let j = 72 - v. Which is greater: j or 4/27?
4/27
Suppose -5*w + 62*v - 262 = 63*v, 0 = -6*w + 3*v - 306. Let s be (-2)/(-6) - (-1401)/(-27). Which is smaller: w or s?
w
Let n = 265 - 264. Let m = 4/549 + 4829/15372. Which is smaller: m or n?
m
Let n be 6*69/24*4. Which is greater: 744/11 or n?
n
Let j = -4492 + 4497. Let k = -1.6 - -7.6. Let q = j - k. Which is smaller: -1/25 or q?
q
Let d = 2/1145 - 2316/14885. Is -119 bigger than d?
False
Let s be 420/(-560)*6*8/18. Which is greater: -522/179 or s?
s
Let c be (8/2 + -4)/(-3). Suppose -4*x + 5*x - 83 = c. Let f = x + -247/3. Is f less than -0.03?
False
Let c = -457/7675 + 6/307. Let j = -25478 - -2547771/100. Let d = c - j. Is 0.1 greater than or equal to d?
False
Let k = 1447543364/5855 - 247232. Is k at most as big as -1?
False
Let d be (48/27)/8 - 94/45. Let o = 38/15 + d. Let x = -3 - -6. Which is greater: x or o?
x
Let a = 2 + -11. Suppose 2*v - 163 = -2*c - 209, 0 = 4*c + 2*v + 78. Does a = c?
False
Let l(w) = -w + 3. Let j be l(4). Let g be 1932/(-11856) - (-2)/19. Let n = 1/884 - g. Are n and j unequal?
True
Let w(b) = 3*b**2. Let v be w(1). Suppose -v*g + 24 = -0*g. Let p be 0/(g + -4 - 3). Is -9/10 less than p?
True
Let r = -6.19 - -139.19. Is r smaller than -6?
False
Let u = 1028 + -706. Let m = u - 323.2. Let f = 0.2 - 0.1. Which is greater: m or f?
f
Let h = 106 - 102. Suppose 0 = 2*f + f + h*j - 7, j + 4 = 5*f. Let b be (10/15)/(f/3) + -18. Which is smaller: b or -83/5?
-83/5
Let c be -10 - -14 - (-586 + 2). Suppose 5*r = -9*r + c. Is 207/5 <= r?
True
Let d be -4 - (-85)/20 - (-6258)/24. Suppose 5*p - 266 + d = 0. Which is greater: 9/11 or p?
p
Let k be 1 - -4 - 15/4845*1691. Is 0.36 <= k?
False
Let v be 9/12*368/(-1518). Do 94 and v have the same value?
False