 Let b be (-30)/27*(-1)/x. Which is greater: b or 1?
1
Let u = 13.93 + 0.07. Let i = -1/21 - -8/21. Are u and i equal?
False
Let o(z) = z**3 - 6*z**2 + 28. Let t be o(5). Suppose -5*x + i = -2*i - 14, 9 = -t*i. Which is greater: x or -2/191?
x
Let i(c) = c**3 - 8*c**2 - 4*c + 5. Let f(r) = 4*r**2 + r. Let g be f(1). Let w be i(g). Let n be 6/(-30) - 8/w. Which is smaller: -1 or n?
-1
Let n = 385.8 - 386. Which is bigger: n or -11?
n
Let c = 7/19 + -144/133. Suppose 0 = -2*f - 3*v - 4, -1 - 6 = -5*f + v. Let k be f/(-4) + (-26)/(-40). Is k less than or equal to c?
False
Let o = 1400 - 765. Let x = 4436/7 - o. Which is greater: -1 or x?
-1
Let p = 944 - 1413. Which is bigger: p or -470?
p
Suppose -11*t + 21 = -8*t. Let b = 8 - t. Let c be b*2 + (-4 - -1). Are -2 and c equal?
False
Let s be (-26 - -18) + 2 + 5. Which is greater: s or -1/139?
-1/139
Let c be 1 + -1 - (0 + -1). Let d be (-3 + 3)/(0 - 2). Suppose 6*q - q = -4*g + 15, d = 5*g - 2*q + 6. Are g and c nonequal?
True
Let r(x) = 155*x + 55. Let i be r(-2). Is i equal to -251?
False
Suppose 34*z + 4*v + 5488 = 38*z, 5*v = z - 1388. Is 1369 at least z?
True
Let m be (2/(-14))/((-160)/336). Which is greater: m or 0.2?
m
Let l = -0.02 + -2.98. Let m = -2 - l. Suppose 0 = -0*t - 3*t + k - 42, t + 3 = 4*k. Which is smaller: t or m?
t
Let b = -1221 + 1222. Are b and 466 nonequal?
True
Let a be 1*-5*(-42)/(-14). Let q be (-30)/18 + a/(-9). Which is bigger: 3/22 or q?
3/22
Suppose -7*k = 46 - 536. Is k at most as big as 68?
False
Let u = 63 + -60. Suppose 4*c - g = -45, -3*g = -c - 6*g - 21. Which is greater: u or c?
u
Let d(s) = s**2 + 51*s - 12. Let b be d(-12). Is b <= -480?
True
Let x(u) be the second derivative of u**3/6 - 8*u**2 + 4*u. Let c be x(12). Let i be c/10 + (-14)/(-10). Are 2/23 and i unequal?
True
Let a = -1460 - -1460. Let l = -1 + -2. Does a = l?
False
Suppose -3*m + 26 = -7*l + 11*l, 0 = -5*m + l + 5. Let h be ((-9)/(-4))/(-3) - -3. Which is smaller: h or m?
m
Let q(p) = -3*p - 4. Let l be q(-4). Suppose -4*d + 0*d + l = 0. Suppose -10 = 5*w + 4*v - d*v, -v = -5*w + 5. Do -7 and w have the same value?
False
Let a = -11.05 - 0.85. Let i = a - -12. Let u = -57 - -80. Which is smaller: i or u?
i
Let x(p) = -p**2 + 4*p + 52. Let q be x(-8). Is -41 >= q?
True
Let a(h) = -h**3 - 7*h**2 - 6*h + 15. Let g be a(-4). Let k = 1 + -2. Is g at most as big as k?
True
Suppose -5*f + 20 = 0, f = -5*z - 0*f - 291. Let i = z + 89. Let r be 9/i - 1/(-2). Which is smaller: r or 1/4?
1/4
Let z = -264.7 + 243. Let q = z + 22. Is -2 smaller than q?
True
Let i(x) = x**2 + 13*x + 36. Let n be i(-7). Which is smaller: n or -7?
-7
Let h = 24 - 17. Suppose -10*i + 11*i - 4 = 0. Suppose r + r = d - 11, -i*d - 2*r = -24. Are d and h unequal?
False
Let w = 34 + -29. Suppose 10 = w*n, -2*m + 0*m = 2*n - 4. Which is greater: m or -2/21?
m
Let p = 16135 + -16148. Let l(g) = -g**2 - g. Let h be l(-2). Which is greater: p or h?
h
Let t = 116 + -36. Is t less than 78?
False
Let k = -258 - -264. Which is smaller: -2 or k?
-2
Let n(j) = -j**2 + 8*j - 51. Let u be n(11). Let l = u + 48. Is l greater than -35?
False
Let u = 0.3 - -8.7. Let l = 13 - u. Let j = l + -2.3. Which is bigger: -2/3 or j?
j
Let c(k) = -k**2 + 3*k + 3. Let l be c(3). Let v be 1*-6*(2 - l)/(-10). Is v not equal to 2/13?
True
Let z = -838 + 838.2. Which is bigger: z or -45?
z
Suppose -5*k = -n - 11, 3*k + 33 = -3*n - 0*k. Which is bigger: 5 or n?
5
Suppose -3*n = -7*n + 180. Let d be (-2)/(-15)*n/(-36). Which is smaller: -3/7 or d?
-3/7
Let p = -64 + 93. Let q be 2/4 + p/2. Suppose 0 = 14*n - 12*n - 26. Which is bigger: n or q?
q
Let n(r) = r**2 + 6. Let j be n(0). Let d(k) = -k**2 + 13*k + 19. Let w be d(17). Let q = w - -56. Which is greater: q or j?
q
Let g = 4 - 6.05. Let l = 0.05 + g. Let f = l + 2.2. Which is bigger: f or 4?
4
Let l be 2/(-2)*5*-5. Is l bigger than 24?
True
Let z be 0 - (-2 + 14)/(-3). Let h = z - 8. Let a be h/(-6) - 1/(-3). Is 3 greater than a?
True
Let p = -967173/5 - -192005. Let s = 1435 + p. Let o(t) = t**2 - 18*t + 21. Let y be o(17). Is y not equal to s?
True
Let s(z) = -4*z**2 + 28*z - 8. Let k(v) = 7*v**2 - 55*v + 15. Let c(q) = -3*k(q) - 5*s(q). Let r be c(25). Which is greater: -6 or r?
r
Let k be (2/(-6))/((-1)/30). Let u(t) = 4*t - 9. Let w be u(5). Which is smaller: w or k?
k
Let p be (-84)/189 - (-670)/1467. Which is smaller: p or -3/4?
-3/4
Suppose 0 = -3*r + 1 + 14. Suppose -5 + 5 = -r*u. Let p be (3 + -2)/3*-1. Which is bigger: p or u?
u
Let b = 0.207 - 14.497. Let h = b + 0.29. Let r = 12 + h. Is 1 bigger than r?
True
Let r = 15.81 - 16. Let h = -0.09 - r. Which is bigger: h or 5/4?
5/4
Suppose 5*q = -2*p + 13, -2*p = 3*p + 5. Suppose q*z = 8*z - 40. Which is smaller: 57/8 or z?
57/8
Suppose -2*r = -3*r. Let u = -59 + 294/5. Is u >= r?
False
Let y = -88 + 56. Suppose 38*i = 54*i + 544. Is i > y?
False
Let k = 85 - -73. Let o = k - 109. Which is bigger: o or 1/2?
o
Suppose 0 = -5*s + 5*h - 10, 6*s + 13 = s + 4*h. Let b be 3/s - (-154)/(-10). Let k be b/44*2/(-8). Which is smaller: 0 or k?
0
Suppose 0*i = -3*i, -i = -n - 1. Let q be -39 + 0 + 5 + 28/(-7). Let s = q + 40. Is s <= n?
False
Let w = -1460 - -1469. Is -0.36 less than w?
True
Suppose 0 = -2*n + 3*n + 1. Let z = -6/7 + 5/7. Let t = -10/21 - z. Is n > t?
False
Let n be 5/(-80)*-4 - (-565)/(-60). Which is bigger: n or -8?
-8
Let b = -11.7 - -19.69. Let i = 0.01 + b. Let k = 19 - i. Which is smaller: k or -1?
-1
Let k = 1288 - 1017. Do k and 272 have the same value?
False
Let s(j) = -8*j**2 + 37*j + 122. Let n be s(-4). Which is smaller: 2 or n?
n
Let i(g) = -g**2 - 12*g + 24. Let v be i(-14). Let o be (0 - v/10)*-60. Are o and -24 non-equal?
False
Let z be (-1374)/(-26) - 6/(-39). Suppose 5*m - 4*o + 6*o = -z, -2*m = 5*o + 38. Let f be (1 - -2)*m/72. Is 0 bigger than f?
True
Let c(m) = 14*m - 7. Let x be c(3). Suppose -x*j - 16 = -37*j. Is 8 smaller than j?
False
Suppose -y - 27*x = -22*x + 44, -3*y + 2*x - 183 = 0. Which is greater: y or -58?
-58
Let y be 4/18*(-1 + (-33)/(-6)). Is 1/734 less than or equal to y?
True
Suppose 2*v = -0*v + 3*k + 84, 4*k + 8 = 0. Let z = -38 + v. Which is smaller: -1/24 or z?
-1/24
Let j be 46/(-3)*(-6)/(-170). Let y = 1/17 - j. Which is smaller: y or 0?
0
Let b be 4/6 + 1072/48. Which is smaller: b or 22?
22
Let t be (-111)/(-4) - -1 - (-3)/(-4). Is t less than 28?
False
Let m = 0.176 - 1.176. Which is smaller: -83 or m?
-83
Suppose 123*f - 20 = -5*w + 120*f, -5*f = 5*w - 30. Which is smaller: -2/255 or w?
-2/255
Let j = -51.69 + -1.31. Which is greater: -3 or j?
-3
Suppose -2*m = -2*l, 0*l = -3*m + 4*l - 1. Is 4/49 at most m?
True
Let l(y) be the third derivative of 7*y**5/60 - y**4/24 + y**3/6 - 9*y**2. Let m be (-8)/28 + (-9)/(-7). Let b be l(m). Which is smaller: b or -2/9?
-2/9
Let l = -108.8 - -131. Which is smaller: l or 1?
1
Let n be (-4 + 16790/2098 + -4)/3. Are n and -1 nonequal?
True
Let d = 199 + -180. Let i = -16 + 16.1. Which is smaller: i or d?
i
Let x be (-1)/(1*3/(-2842)). Let t = -956 + x. Let p = -189 + 179. Which is smaller: p or t?
p
Let b = -7 - -7.44. Let n = b - -25.56. Which is greater: -0.2 or n?
n
Let b = 0.15 + -0.102. Let n be (253/(-44))/(-23)*1. Does b = n?
False
Let x = -17/2 - -8. Let f = -33 + 36. Suppose t - w + 4 = 0, 2*t + f = -3*w + 10. Are t and x equal?
False
Let o = -7.264 - 0.736. Which is greater: o or -1/3?
-1/3
Let c(b) = -5*b - 4. Let z be c(-2). Let i be 3/z*6/5. Let u = 1 + -1. Is u not equal to i?
True
Let d be (6/(-27))/(1/3). Suppose -3*v + 20 = 2*u, v + 5 - 19 = 3*u. Let p be 0*(-4)/v - (1 - 1). Which is smaller: p or d?
d
Let h(a) = -8*a + 12. Let m be h(-8). Is 77 smaller than m?
False
Let b = 6 + 2. Is 0 greater than or equal to b?
False
Let v be 10/(5 - 111/21). Let h = v + 29. Let w(l) = -l**3 - 5*l**2 - 3*l. Let y be w(-4). Which is smaller: y or h?
h
Let z = 25 + 3. Suppose 3*o = 3*g + 30, -2*o + 0*g = -4*g - z. Suppose -3*v = -w - o*v + 20, 2*w + v - 15 = 0. Which is greater: 4 or w?
w
Let o be (-3)/(-33)*53 - (-8)/44. Suppose -3*i + 18 = o*h, -3 = -h - 0*h. Do i and 0 have different values?
True
Suppose 0 = 3*n - 1 + 4. Let r be 938/(-134) + 324/46. Is n >= r?
False
Let k(o) = 31 + 5 - 13*o - o**2 + o - 2. Let l be k(-15). Which is smaller: l or -3?
l