4, -4*c - 49 = 6*y - 69. Which is greater: y or 71?
71
Let b be ((-1840)/(-3225) - (126/35)/9)*-27. Is -6 <= b?
True
Let d be 4/5*5/(-130). Let i be (-6)/14 - (-248)/56. Suppose i*o + 2 = -2. Is d bigger than o?
True
Suppose -16*v + 2928 = -4*v. Suppose 0 = m + 4*y + 47, -4*m - v = 5*y - 45. Is -99/2 <= m?
False
Suppose -4*c - 79 = -n, -394*n = -392*n + 4*c - 110. Let y be ((-244)/(-2))/(1 + 1). Which is smaller: n or y?
y
Suppose -5*t - 6*c - 1102 - 34 = -t, 0 = -3*c. Which is smaller: t or -281?
t
Suppose 128*a = 87*a - 23206. Which is smaller: a or -568?
-568
Let w be (2/6)/((-42)/(-168) - (-2282)/(-9096)). Is -375 >= w?
True
Let w = 9319 + -3240. Which is smaller: w or 6078?
6078
Let o = -38249/74 + 506111/555. Let p = o - 395. Suppose 0 = -2*x + 4*f + 34, 3*f + 38 = -2*x - 2*f. Is x smaller than p?
False
Suppose 0 = 3*k + 3*b - 1 + 7, -10 = -5*k - b. Suppose 4 - 2 = -p, k*o + p = -176. Let u be (-3 - 2484/45) + 1/5. Is o at most as big as u?
True
Suppose -m + 22 - 21 = 0. Let a = 19.59 + -2.4. Let u = -17 + a. Which is bigger: u or m?
m
Let j be (-60)/45 - (-332)/(-165). Let s = 16/11 - j. Is -2/3 at least as big as s?
False
Suppose 0 = 5*b - 3*u + 19, -139*b - 5*u + 45 = -134*b. Which is greater: b or -85/341?
b
Suppose 14*m - 1208 = 1606. Let p = 200 - m. Which is smaller: p or 2/359?
p
Let t(m) = -2*m**3 - 2*m**2 + 50*m + 37. Let q be t(8). Are -715 and q unequal?
False
Suppose 9*v - 3804 = -870. Suppose 3*u - 3*a + a = -11, 2*u = a - 7. Let j be (u/v)/((-65)/(-20) - 4). Which is smaller: 1 or j?
j
Suppose 0 = 37*x - 34*x - 3*h, -4*h = 0. Which is smaller: -651 or x?
-651
Let q = 21 - 17. Let k = -210 + 211. Suppose q*y + k = -3. Do -4/29 and y have the same value?
False
Let x = 11/2529 - 10699/134037. Let a = -5 + 6. Is x at least as big as a?
False
Let p(l) = l**2 + 66*l + 517. Let j be p(-9). Suppose -j*t = 2*q - 14, 5*q - 2*q = -t + 1. Suppose 2*o + 2*o = 56. Is t >= o?
False
Let l = -1621 - -2639. Which is smaller: 1019 or l?
l
Let z be 5 - 5 - (-9 - -1)*-1. Let q be -52 + 2 - (10 + z). Suppose 49*i + 204 = 45*i. Which is smaller: i or q?
q
Let k = -0.0393 + -123.2807. Let r = k - -125. Let l = 0.32 + r. Which is smaller: 0 or l?
0
Suppose 25*r - 12*r - 455 = 0. Let g = 14 - 23. Let c be 15/(-135) + r/g. Which is bigger: -7/2 or c?
-7/2
Let j = -64399078/349615 - 1/69923. Which is smaller: 2 or j?
j
Let f = 32 + -30. Suppose -13 = 3*v - f*v - 2*t, 0 = 4*v - 3*t + 42. Is v != -13?
True
Let s = 2680/3 - 894. Which is bigger: s or -53/62?
s
Suppose 6*s + 560 = 8*s. Suppose 95*b = 91*b - s. Let x be b/(-15)*6/4. Which is smaller: x or 12?
x
Let g be (-2)/(44/(-12) - -3). Suppose 0*n = g*n. Let o = -301 + 30403/101. Is n less than o?
True
Let l(c) = 3*c - 105. Let j be l(37). Suppose -342*f + j = -344*f. Is f < -96/23?
False
Let s = -432.423 - -433. Let x = -116.323 - s. Let m = 117 + x. Is 18 at least as big as m?
True
Let o = 5032 + -10914406/2169. Is o bigger than 1?
False
Let v = 9547 + -7908. Is -1/5 > v?
False
Let b = 52 - 40. Suppose -13*v + 9*v = -b. Suppose -1 - v = r, -4*z + 3*r = -16. Do z and -3/31 have different values?
True
Let f = 27508.51 + -27509. Is f at least as big as 97?
False
Suppose m + 5*u = -8, -2*u + 0*u + 4 = 4*m. Let g = m + 16. Suppose -4*s + 98 = -g. Which is smaller: s or 30?
s
Let d be 38/(-96083)*3/(-6). Let q = d - -38899/5057. Which is smaller: q or 1/3?
1/3
Let a = -27 + 26.88. Let n = a + -44.88. Let k = 46 + n. Are -1.8 and k equal?
False
Let t = -410 + 319.7. Let y = t + 9.3. Let n = 63 + y. Which is bigger: n or 0.1?
0.1
Let o = -395 - -409. Which is greater: o or -33?
o
Let v = -0.6 + 0.2. Let j = -235 + 110. Let u = 125 + j. Is v less than or equal to u?
True
Suppose 4*r + 25 - 2 = a, -r = -a + 11. Suppose 2*w + 14 = 4*f, -23 + a = -5*f + 3*w. Suppose f*x + x = -x. Which is greater: 46 or x?
46
Let q = -0.2 - -0.2. Let n = 9.4805 - -0.5195. Which is smaller: q or n?
q
Let m = 10854 - 8936. Is 1920 greater than m?
True
Suppose 0 = -36*p + 31*p - 360. Let h be (p/10)/(40/200). Do -26 and h have different values?
True
Let h be (-4 + (-84)/(-18))/(38/(-6213)). Suppose 0 = -5*z + 3*z - 218. Does h = z?
True
Let i = 0.65 + -44.65. Let l = 26 + i. Let c = 28 + l. Is -5 at most as big as c?
True
Suppose -810 = 7*m + 555. Let a = 180 + m. Is -156/11 less than or equal to a?
False
Let m = 6026 - 6444. Which is smaller: -2924/7 or m?
m
Suppose 44*i = 39*i + 410. Suppose -i*n + 89*n - 182 = 0. Which is smaller: 0 or n?
0
Let y = 3997 - 19993/5. Is -17.4 less than or equal to y?
True
Let j(u) = 10*u - 108. Let c be j(13). Suppose 96 = 3*o + 6. Let m = c - o. Is -8 bigger than m?
False
Let u(l) = -2224 - l**3 - 6*l + l**2 + 1106 + 1044. Let i be u(-6). Does 213 = i?
False
Suppose 59*d - 66*d = -469. Suppose -609 = -d*b + 74*b. Is -89 less than or equal to b?
True
Let q = -562 + 636. Let o(f) = -14*f + 5. Let l be o(-5). Let w = q - l. Which is smaller: w or 1/16?
w
Suppose 5*h + 2*n - 42 = 0, 5*n = 7 - 2. Suppose -4*w = -4*b - 44, -b + 2*w + h = -2*b. Which is bigger: b or 10?
10
Let t = -11009 + 8258. Are -2750 and t nonequal?
True
Let x(z) = 164*z - 38. Let m = -594 + 595. Let i be x(m). Which is greater: 0.1 or i?
i
Let c(z) = 3*z**2 + 7*z + 4. Let w be c(-2). Suppose -w*v - 22 = 4*l + 78, -4*v + 5*l - 200 = 0. Let i = -50 - v. Which is smaller: i or -1/21?
-1/21
Let a = -221.3026 - 1.6974. Which is smaller: a or -8?
a
Let q(b) be the first derivative of -17*b**2/2 - 152*b + 21. Let u be q(-9). Is -1/9 greater than or equal to u?
False
Suppose 0 = 182*u - 209*u. Suppose -p = -0*p - 5. Let s be -5 - (1 + u - p). Is 2/131 > s?
True
Let w = -63 - -103. Suppose -5*x - 24 = -u, -28*x + 123 = 3*u - 26*x. Is w at least as big as u?
True
Let l = 2 + -1.9. Let m = -0.29668 + 0.41268. Does l = m?
False
Let j be (-2)/(-30)*(-144)/(-60). Which is smaller: -31 or j?
-31
Suppose -2*r = 4*f + 5938, 0 = -22*r + 20*r - 5*f - 5939. Is -2967 > r?
False
Let n be 9/(-6) - 12/99. Let j = -16/11 - n. Is 0 less than or equal to j?
True
Let f = -8.373 - -7.84. Let o = f + -0.007. Let c = 0.24 + o. Is -2/7 at least c?
True
Suppose 0 = 2*z - 4*z - 4*p + 26, 4*z = -3*p + 27. Let m be (-2 - z/9)/((-2)/6). Suppose 0 = 4*g + r - 25 - 5, 3*r = 2*g - 8. Are g and m equal?
True
Let i(a) = 13*a**2 - 28*a - 12. Let q be i(-8). Suppose -98*v + 102*v = -q. Which is greater: -262 or v?
v
Let x(q) = -31*q**3 + q**2 + 32*q**3 - 8*q**2 + 6*q. Let p be x(6). Suppose 0*n - 4*n = p. Is n greater than -4/23?
True
Suppose 0 = 4*b + o + 4*o - 95877, -4*b - 2*o + 95874 = 0. Let g be 1/(-14)*-4 + (-8640)/b. Which is greater: g or 1?
1
Let p = -0.07 - -0.1354. Let m = 0.4654 - p. Suppose 2*h + 55 = 19. Which is bigger: h or m?
m
Suppose -2*v = 2*l + 57 - 113, -2*l = 4*v - 110. Which is smaller: v or 4?
4
Let k = -119 + 143.5. Let p = k + -27. Let x = -1.5 - p. Is 51 bigger than x?
True
Let k(m) = 11*m + 1. Let u be k(2). Suppose 118 - 1039 = -3*o. Let z = 332 - o. Is u greater than z?
False
Let l = -104 - -108. Suppose -8*k + l*k + 12 = 0. Let x = 67 + -131/2. Is k at least x?
True
Let m = -475904/5 - -94841. Let u = -15191/45 - m. Is 1 less than or equal to u?
True
Let t = 27 - 43. Let k = t + 35. Suppose -k + 139 = 4*o. Is 31 greater than o?
True
Suppose 0 = 2*a - 1 - 3. Suppose -4*w = -4*m - 224, 3*w - 3*m - 164 = -a*m. Suppose -3*u = -4*l + w, 4*l + l - 52 = -4*u. Which is smaller: l or 11?
11
Let z(l) = -9*l - 49. Let v be z(-21). Suppose -3*p = 0, 5*k - k - 4*p - v = 0. Let j be (1/7)/(5/k). Is j smaller than 2/21?
False
Suppose 3*z - 1 = 5. Let w be (4 + -4)*(-3)/(z - -1). Suppose 8*m - 12*m + 28 = 0. Which is smaller: w or m?
w
Let k = -3578 - -25048/7. Is k >= -210?
True
Let h be 1*(2 - (-9)/(-3)). Let n = 4031 + -3951. Is h at most as big as n?
True
Let n(j) be the third derivative of -2*j**5/15 - j**4/24 - j**3/3 - 19*j**2. Let a be n(-1). Let r(t) = t**3 + 8*t**2 - 7*t + 15. Let y be r(a). Is -3 != y?
False
Let k be (0 + (-2 - 4))/((-114)/29 + 4). Is -964/11 greater than k?
False
Let f = 44.42 - 62.62. Which is smaller: -31 or f?
-31
Let b = 209 + -122. Let u = b - 86. Suppose 0 = 4*x - 3*z + 2 - 3, 3*z = 2*x + u. Which is smaller: x or 2/9?
2/9
Let u(v) = -44*v - 68. Let n be u(0). Which is greater: n or -63?
-63
Suppose 7*l - l - 18 = 0