ost as big as o?
True
Let l = 3011 - 23981/8. Which is smaller: 14 or l?
l
Let v = -31078/53277 + 74/129. Which is greater: 1 or v?
1
Let s = 3746.8 - 3708. Is 0 at least s?
False
Let f be ((-66)/15)/((14/(-15))/14). Which is bigger: f or 58?
f
Let a(x) = x**3 + 12*x**2 - 28*x + 70. Let j be a(-14). Are 22 and j nonequal?
True
Let p be 33/(-44)*8/(-33) + (-119004)/33. Are p and -3603 non-equal?
True
Let z be (14 + 18745/(-1334))*2/732. Which is greater: -1 or z?
z
Let p be ((-3)/2*(-12)/(-158))/(57/38). Which is bigger: p or -0.08?
p
Let o = 418 + -45. Let b = o - 376. Which is bigger: 55 or b?
55
Let a = -56423 - -56436. Let w(s) = 5*s - 7. Let n be w(5). Which is bigger: n or a?
n
Let b be 1/(3/3) + (-5 - -6). Suppose 5*i = -2*p + 5*p + 29, 0 = 4*p + b*i + 56. Let r(v) = -v**2 - 11*v - 9. Let d be r(p). Which is smaller: d or -2?
d
Let r = -33 - -35.6. Let w = -2.3 + r. Let t be 0/3 + 4 - 19. Which is greater: t or w?
w
Suppose -3*q = 0, 3*c - 3*q = c - 42. Let b be 192/32 - (-87)/c. Is b at most as big as 2?
True
Let x = 136 - 70. Let f = 4/2319 - 299159/4638. Let j = x + f. Do 2 and j have different values?
True
Let f = 103.2 + -31.65. Let g = f + 2.45. Let l be (12/8)/(-3) - -1. Is g >= l?
True
Suppose -8 = 4*p + 4*y, -5*y - 219 = -254. Which is smaller: 919/2 or p?
p
Suppose 62*r = 68*r + 120. Let v be (464/(-156) + 3)/(r/6). Which is bigger: 3 or v?
3
Suppose -4*b + 2*f + 177 = -135, 2*b = 5*f + 172. Which is bigger: b or 619/8?
619/8
Let z = 525 - 525. Let n = -604/9 + 105718/1575. Which is greater: z or n?
n
Let p = 76 + -76. Let v be (p - 12/(-15))/(60/50). Which is smaller: 1/130 or v?
1/130
Let t be 4810/(-90) + 2 + 8. Is t at most -42?
True
Let m be (0/67)/(20/28 + (-4)/(-14)). Which is smaller: -7583 or m?
-7583
Let j = -462.8 - -463.074. Which is greater: j or -1?
j
Let h = -0.877 + -0.123. Suppose -3*p = 4*r + 395, 4*p - r + 445 = -69. Which is bigger: p or h?
h
Suppose -29*g - 552 = -27*g. Let m = -428 - g. Which is smaller: m or -149?
m
Let m(z) be the first derivative of z**4/4 - 16*z**3/3 - z - 8. Let n be m(16). Let y be -1 + (-1 + n)/(138/(-63)). Are -1 and y non-equal?
True
Let r be ((-705)/(-1457))/((-102)/(-42)). Do r and 1 have different values?
True
Let s = -13295/34 + 391. Let u = 1330 - 1329. Suppose -2*v - 10 = -4*b, u + 3 = -2*b - 2*v. Which is greater: b or s?
b
Let l be -62 + 6 + -9 + 9. Let b be ((-4816)/21)/(l/12). Which is smaller: b or 49?
49
Let k = 127 + -128. Let y be (-4 - -7) + (-3 - k) + 1. Let v be y/5 + 4215/150. Which is bigger: v or 30?
30
Suppose 23*p - 111*p = 0. Which is smaller: 1/3583 or p?
p
Suppose 392*z - 430*z - 31008 = 0. Are 3/5 and z nonequal?
True
Suppose -v + 31 - 27 = 0. Suppose -8 = -2*k - 10. Let b be -4 - k*(-18)/(-4). Is b at most as big as v?
True
Let r(s) = s**2 + 146*s + 276. Let q be r(-144). Does -345/26 = q?
False
Suppose -3*o + 4*i = 57 + 49, 5*o = i - 154. Suppose 39*v + 33*v = -2088. Is v less than o?
False
Suppose -74*o = -71*o + m + 153, -5*m = -o - 83. Let j be 362/(-7) - (1 - -1). Is o at most as big as j?
False
Let y = 0.005 - 2.105. Let l = -135797/1015 - -669/5. Let z = l + -416/1015. Which is bigger: y or z?
z
Suppose v = 23 - 13. Let q be 3/((34 - 33)*(-6)/v). Is -39/8 at least q?
True
Suppose 2*a - 87 = 5*n + 31, -4 = 2*n. Let q(s) be the second derivative of s**4/12 - 5*s**3/6 + 41*s**2/2 + 41*s. Let r be q(7). Which is greater: r or a?
r
Suppose -1920*k + 1909*k - 11 = 0. Which is greater: -4/1685 or k?
-4/1685
Let b = 221917/69 - 3216. Which is greater: -1 or b?
b
Suppose 0 = -t + 2*t - 28. Let s(u) = -165*u - 16 - u**3 + 166*u - 15*u**2 + 58. Let v be s(-15). Is t equal to v?
False
Let s = -124571 + 124570. Let i be (48/(-10))/(142/(-10)). Is i smaller than s?
False
Let p be 42/40 - (-24)/(-480). Let g = 1/1404 + -2159/74412. Which is greater: g or p?
p
Suppose l = -l + 4. Let p be l - 4 - (-1 + 0 + 3). Let u be 4/(-56)*p - (-80)/14. Which is smaller: 0 or u?
0
Suppose -15 = -2*i - 13*i. Let w(n) = 6*n**3 + n**2 - 3*n + 1. Let a be w(i). Suppose x - 120 = -4*x + 4*b, -a = b. Is x greater than 18?
True
Suppose 0 = 13*x + 43*x - 7*x. Which is bigger: x or 3/337?
3/337
Let m be -4*(-1)/204*2. Let r be (11 + -13)/((-13)/(-5) + -3). Suppose -3*n = r*x - 4 - 5, -2*n = 2*x - 2. Is m not equal to n?
True
Let k(f) be the second derivative of 12*f + 0 + 2/3*f**3 - 13/2*f**2. Let i be k(3). Are i and 4/11 non-equal?
True
Let d = -33733/29 + 1163. Suppose 4 = 2*y - 2*j + 2, -y - 3*j = 3. Let t be ((-2)/6*y)/(-2)*-1. Is d less than or equal to t?
True
Let u be 5 + -4 - (1 + 1 + -3). Suppose -5*d = 2*q + 2, -4*q + u*d = -q - 16. Suppose -7*k = -q*k - 69. Is 24 not equal to k?
True
Let w be (6/15)/(102/(-110)) - 16/(-24). Which is bigger: w or -23/2?
w
Suppose 3*p = -9, 288*i - 293*i - 5*p = 20. Is 2/18545 less than i?
False
Let x(b) = 46*b + 3. Let p be x(4). Let d = -2804/15 + p. Let q(s) = -179*s - 9128. Let z be q(-51). Are z and d unequal?
True
Let v = 3888 - 6922. Which is greater: -3033 or v?
-3033
Let r(p) = p**3 - 12*p**2 - 5. Let v be r(12). Let z be (2*(-74)/16)/(v/(-20)). Which is bigger: z or -36?
-36
Let o be 6/(-18) + 374/6. Let k = -236 + 268. Suppose p + o = 3*b + 10, 2*b - 2*p = k. Which is bigger: 19 or b?
19
Let f(z) = z**3 - 14*z**2 + 4*z + 3. Let t be f(8). Let k = 33450 - 33799. Is k at least as big as t?
True
Suppose 0 = l, 3*t - 6 + 6 = -l. Suppose t = -6*x + 160 - 154. Which is smaller: 2/1953 or x?
2/1953
Let y = -4746/11 + 4745/11. Is y smaller than -202?
False
Suppose -6*z + 27 = -69. Suppose z*x = -583 - 1033. Is x less than -401/4?
True
Let r = 13070 - 13071. Is -4/1851 <= r?
False
Let z be -10 - ((-1679)/69 - -10). Which is bigger: z or 70?
70
Let u = -319 + 340. Let s = -158 - -160. Which is bigger: s or u?
u
Let w = -1757 - -1757. Let p be 99/21*8/(-3). Let i = p - -90/7. Is i smaller than w?
False
Let r be (-286)/429*630/(-4). Is 28 equal to r?
False
Let d be ((-230)/69)/(890/(-135)). Which is smaller: d or 0?
0
Let l(r) = -r**2 + 20*r + 41. Let f be l(13). Suppose 0 = -71*d + 67*d + f. Which is smaller: -3 or d?
-3
Suppose 0 = 5*x + 3*a + 44, 5*x + a + 41 = -a. Let q = 19 + x. Let d be (-4)/((-16)/q) + 78/(-14). Is -2 smaller than d?
False
Let o(z) = -z**3 + 10*z**2 - 3*z + 22. Let y be o(10). Let b = y + -10. Let q be 9/b - 17/(-38). Which is smaller: 0 or q?
q
Let y be ((-24)/18)/(10/15 - 0). Let a be -2 + (-5)/y + (-3952)/224. Do a and -18 have the same value?
False
Let k = 36159 + -36687. Is -6 equal to k?
False
Let z = 58.78 + -0.78. Let n = z - 48. Which is smaller: n or 0?
0
Let p = -28.7 - -28.497. Let t = 0.073 + p. Is -1/2 smaller than t?
True
Let u be 0/((1 + -16)/(-5)). Let h(i) = i**3 + 3*i**2 - 2*i. Let j be h(u). Is -3/79 bigger than j?
False
Let x(l) = -3*l + 23. Let f(a) = a - 6. Let c(i) = 9*f(i) + 2*x(i). Let u be c(4). Let w be (17 - 18) + 7/u. Which is smaller: 0 or w?
0
Let o = -0.435 + -0.27. Let m = o - 0.005. Let n = m - -0.61. Which is bigger: 33 or n?
33
Let g(c) = c**3 + 11*c**2 + 10*c + 4. Let z be g(-10). Suppose 3*f - z - 22 = 2*w, -5*f = -w - 41. Let r be 4/(-14) - 3150/(-392). Are f and r non-equal?
True
Let o(s) = s**2 - 6. Let l be o(-2). Let u be (l - (-30)/14) + 690/21. Suppose -32 = -10*z + 9*z. Does u = z?
False
Let g(o) = -1201*o + 2384. Let c be g(2). Suppose 0 = 2*k + 4*y + 8, 3*k = 7*k + 5*y + 28. Are c and k non-equal?
True
Let h be ((-140)/30)/(1 + 2/(-6)). Suppose 9*b = -16 - 2. Is b smaller than h?
False
Let x(k) = -20*k**2 + 305*k - 51. Let n be x(16). Let z = 31 - 321. Is z > n?
True
Let k be ((-3)/(-9))/(3 - (1 + (-14)/(-6))). Let l be (-10)/(-6)*(-3)/(-26). Which is greater: k or l?
l
Suppose -21*f + 4*f - 3859 = 0. Let j = -160 - f. Is 67 <= j?
True
Let j = 633.984 - 634. Is j greater than -24?
True
Let c = 1.03613 + -0.03613. Which is greater: c or 8146?
8146
Let w = -912 + 519. Are 0 and w nonequal?
True
Suppose -282*m + 360 = -278*m. Let c be (m/14 - 6)*1/(-21). Is 0 less than c?
False
Suppose 0 = 9*l - 24*l - 1260. Let s be (l/(-9))/((-110)/45) - 0. Which is smaller: s or -3?
s
Let u(h) = -h**2 + 10*h. Let n be u(10). Let f be (-6)/(-12) + 2/(8/(-14)). Let m be f/(-33)*(-3)/(-3). Which is smaller: m or n?
n
Let u(n) = -942*n**2 - 322*n - 642. Let p be u(-2). Which is smaller: