ich is smaller: n or s?
n
Let n be (20 - -1338)/(-7) - -3. Which is greater: n or -2490/13?
n
Let i = 356/5 - 71. Let y = 64.01 + -41.01. Is i >= y?
False
Let r(l) = l. Let d be r(11). Let v be 2/572*(1 + (6 - d)). Let f be (-12)/8*2/3. Are f and v unequal?
True
Suppose n - 212 = -7*s + 3*s, s + 584 = 3*n. Suppose -o - 6*o - n = 0. Is -30 less than o?
True
Let o = -2907269/91905 + 949/30. Which is smaller: o or -1?
-1
Let r = 3.64 - -14.66. Let s = r + -18.3. Let n = -2 + 8. Is s equal to n?
False
Let q = 681 + -414. Let d = 63 + q. Let l be (1/5)/(d/525). Is l at most 0?
False
Let r(f) = -11*f**2 + 66*f + 422. Let m be r(-7). Is m less than or equal to -583?
False
Let m = 123.2 + -121.3. Is -261 smaller than m?
True
Suppose -668*k + 688*k = -20. Which is smaller: k or -11/234?
k
Let h = -874 - -873.962. Which is bigger: -16 or h?
h
Let u = 373 - 376. Let s = -2.1 + 3.4. Let p = 11.3 - s. Do u and p have the same value?
False
Let j = -116 - -162. Let i = -46 + j. Let o = 13166/935 - 240/17. Is i greater than or equal to o?
True
Let l be 0 + 1 - (-65 - -2). Suppose -420*j = -8677 - 18623. Which is bigger: j or l?
j
Let u(m) = m**3 - 8*m**2 + 5*m - 21. Let j be u(8). Let b(i) = i + 2. Let z be b(-3). Let x be 2/z + 40/j. Is 3/10 at most as big as x?
False
Let m = -599 + 617. Suppose m + 14 = -2*i + r, -2*r = -4. Let v(p) = -p - 1. Let q be v(3). Is q > i?
True
Let v be (48/5)/(326/(-815)). Is v <= 25?
True
Let c(i) = 2*i + 12. Let g be c(-4). Let q be (289/g - (-1)/(-4)) + -4. Is 67 greater than or equal to q?
False
Let m = -66.8 + 23.5. Let d = m + 51.3. Is d bigger than -0.1?
True
Let h be 11/((-44)/12) + 166/44. Suppose -4*f = -2*j - 18, -3*f - 4 + 15 = -4*j. Is j equal to h?
False
Let h be (11408/(-138))/(-62) + (-18670)/14004. Is h != 1?
True
Let w = 34/7 + -1076/161. Let v = 91/138 + w. Which is smaller: -2 or v?
-2
Let c = -5.851 + 6.515. Which is greater: -1 or c?
c
Let x(f) = 2*f - 4. Let o(t) = -t**2 + 7*t - 10. Let s be o(4). Let v be x(s). Let h be ((-3)/(-2))/((-5)/170 - v). Which is bigger: h or -50?
-50
Let r = 4.997 + -18.997. Is r smaller than -29?
False
Let i = -53/22 + 48517/20130. Is 0 < i?
True
Suppose 5*z + 3*t - 140 + 117 = 0, -35 = -5*z - 5*t. Is z at most 2/703?
False
Let y = -831 + 866. Let l(j) = -j**3 + 35*j**2 + j - 96. Let c be l(y). Which is smaller: -422/7 or c?
c
Let y(w) = 13*w**2 - 3*w - 4. Let k be y(-5). Suppose 14*x - 378 = k. Suppose 18*h - 19*h + x = 0. Which is smaller: 52 or h?
h
Let r be (0 + 2/10)*-94. Let l = 123117/10 + -12331. Let t = r - l. Which is greater: 0 or t?
t
Let r = -5.861 + -16.139. Which is bigger: r or -1/42?
-1/42
Let a = -77 + 35. Let r = a - -34. Let h(k) = k + 64. Let b be h(r). Is 55 >= b?
False
Let f be (-20)/(-45) - (-310)/558. Is -26/1059 bigger than f?
False
Let z(w) = 73*w**3 + 2*w**2 + 2*w + 1. Let s be z(-1). Let y = -750 - -677. Do s and y have different values?
True
Let v be (-45)/75 + (-14)/10. Let a = -64 - -30. Let w = a - -34.2. Which is greater: v or w?
w
Suppose -85*n + 88*n = 165. Suppose 0 = 3*u + 8*v - 6*v - n, -4*u + 45 = -3*v. Let j = 2 + -2.1. Is u != j?
True
Let y = -3877/2 - -13582/7. Suppose -4*c = 3*l + 3, 2*c + 2*l = -2 - 2. Which is smaller: c or y?
y
Let s = -70 + 182. Suppose j - s + 45 = -2*z, -73 = -3*z + 4*j. Let l be z/28 - (-1)/(-4). Which is smaller: l or 1?
l
Let l = -210 + 213. Suppose 0 = -4*q + 2*f + 54, -l*q + 2*f = -4*q + 11. Is 13 not equal to q?
False
Let h(q) = 92*q - 5126. Let r be h(49). Which is smaller: -617 or r?
r
Let g = -1929.5 - -1930. Let s = 1048775 + -395387909/377. Let z = s + -16/29. Which is bigger: g or z?
g
Let u(n) be the second derivative of -11*n**3/2 + 249*n**2/2 - 58*n. Let k be u(8). Do -2 and k have the same value?
False
Suppose -10 = -v - v, -98 = j - 4*v. Let n = j - 39. Is 1 greater than n?
True
Suppose 4*w - 2*y + 18 = 0, 0*y - 6 = 2*w + 2*y. Let o be 5/(-2)*(2 + w). Suppose -9*j + o*f = -6*j + 15, -2*j = -4*f + 12. Is j equal to 1?
False
Let y be ((-145)/(-667)*14/40)/(58/8). Which is smaller: y or 0?
0
Let s = -1533 - -1687. Suppose 151 + 311 = 3*a. Is s greater than a?
False
Let c be (-142)/(40 - 48 - (-191)/24). Which is greater: c or 3409?
3409
Suppose -5*t + z = -510, 0*t + 5*t - 495 = -2*z. Is 103 equal to t?
False
Let u = -3209/2114 + 240/151. Which is bigger: 389 or u?
389
Suppose -19 = 30*o - 379. Which is greater: 4 or o?
o
Let b = 2094 + -29301/14. Let t(d) = -d**3 + 8*d**2 + 104*d - 7. Let i be t(-7). Which is smaller: b or i?
i
Let n be 120850/90630 + (1/(-7) - (-450)/(-378)). Which is smaller: n or 1?
n
Let k be (-6 - (-1268)/18)*9. Let i = -127 - -126. Which is bigger: i or k?
k
Let v = 0.45 + 7.35. Let s = v - 5.8. Let o = s + 57. Which is bigger: o or 1/2?
o
Let k(x) = -2*x**3 - 20*x**2 + 209*x - 29. Let p be k(7). Which is smaller: -2539/11 or p?
p
Let i(k) = k**3 - 10*k**2 - 13*k + 75. Let z be i(10). Is z <= -58?
False
Suppose -a - 2*a = -54. Let v be 3 + -5 + 4 - -15. Suppose v*o = a*o. Which is smaller: o or 1/33?
o
Let z = 10 - 14. Let w be (0/z)/(-2 - -1). Suppose g = -2*o - 11, w*g - 44 = 4*g + o. Is -12 >= g?
False
Let r = 479 + -472. Let i be 1 + 16 - (-1 - -3). Let p be i/(r + -2) - 1*-1. Which is smaller: 7 or p?
p
Let s = -2092/165 - -138/11. Let f(z) = -2*z**2 - 8*z + 95. Let w be f(5). Suppose -m - 3 = -3*x - 0*m, w*x + 2*m = -6. Do x and s have different values?
True
Let m be (-110)/(-350)*(-4730)/16. Let t = m + 813/8. Is 9 < t?
False
Let q = -0.24 - -0.2. Let j = q - 0.06. Let h = 3851 + -3855.2. Are h and j nonequal?
True
Let k(j) = 10*j + 323. Let m be k(-16). Is 27 less than m?
True
Let i = -62199 + 62139. Suppose -t - t = 2*m + 116, -m + 4*t = 48. Is m < i?
False
Let v = 1.94 - 2. Let y = 131 - 211. Let j = 80 + y. Is v less than j?
True
Let n(s) = -28*s + 5 + 24*s + 14*s. Let u be n(8). Let f = u + -73. Is 8 greater than f?
False
Suppose 4*n = 3*r, 5*r - 16*n = -20*n + 32. Suppose -r*j + 0*y = 3*y + 684, 0 = -j - y - 172. Is -169 smaller than j?
True
Let t be 9/(-45) + 4/(-5). Let r be 5 - (2 + t + 3). Let g = -88390/87 - -1016. Which is smaller: g or r?
g
Let i = -4341.26 - -3993.2. Let n = i + 348. Which is smaller: -0.5 or n?
-0.5
Let r(m) = -m**3 - 2*m**2 + 3*m + 7. Suppose 3*l - 4*j = -11, 7*j - 2*j = -5*l + 40. Let y be r(l). Let c = y + 32. Is c greater than or equal to 11?
False
Suppose 4 = -4*x + 3*x. Let d be -2 - (-4 - x - -3). Let o be 14*(1 - 2)/d. Which is smaller: o or 4?
o
Let s = 337810/9 + -37535. Let n = -1 + 4. Let g be 0*(0 - n)/(-3). Which is greater: s or g?
g
Let q = -46 - -49. Let t = q + -9. Let m be 4/6*9/t. Which is bigger: m or -1/29?
-1/29
Let a = -60 - -62. Suppose -122 = -4*z - 5*v, z - 25 = -a*v + 4. Suppose 0 = 4*u + 5 - 137. Is z greater than u?
False
Let c be (-8)/6*(-143430)/(-280). Is -685 greater than c?
False
Let k = -2.6 + 0.1. Let j = 0.123 + 2.217. Let x = j + k. Is x at least 2/7?
False
Let i = 14312 - 14304. Is 437/63 <= i?
True
Let w(f) = f**3 + 46*f**2 + 150*f - 60. Let d be w(-45). Does -4787 = d?
False
Suppose 2*p - 321*x = -325*x - 2108, 2101 = -2*p + 3*x. Does p = -1049?
False
Let o = -1818 - -1813. Let v = -363 + 320. Which is bigger: o or v?
o
Let l(w) be the second derivative of 49*w**3/6 - 27*w**2 - 21*w - 2. Let b be l(1). Do -5 and b have different values?
False
Let t(r) = r**3 - 3*r**2 - 6*r - 2. Let u be t(6). Suppose -9*o + u = -4*o. Let h = 15 - o. Is h at least as big as 14/11?
False
Let g(j) = -j**3 - 27*j**2 + 34*j + 33. Let z = 359 - 387. Let o be g(z). Which is bigger: o or -136?
o
Let u(k) = k**3 + 15*k**2 + 44*k - 33. Let t be u(-9). Suppose 0 = -50*m + t*m + 2800. Is -401 bigger than m?
False
Let g(r) = 2*r**3 - 6*r**2 + 2*r + 3. Let h be g(4). Suppose -62*j = -70*j + 432. Let s = h - j. Is -12 < s?
True
Let b(h) = 383278*h**3 + 2*h**2 - 1. Let o be b(-1). Let x = o - -24886681/65. Let d = x + 405. Which is bigger: d or 1?
1
Let w be (14/2)/(147/180 + (-9)/12). Which is smaller: -2/7 or w?
-2/7
Let l be -27*8/252 - (-144)/21. Is -22/25 greater than or equal to l?
False
Let s = 14 - 14.16. Let g = 0.11 + s. Let b(k) = 9*k - 152. Let l be b(17). Are g and l equal?
False
Suppose -5*i = 5, f = 4*f + 5*i + 5. Suppose -1 = -14*l + 55. Suppose 0 = -5*o - w + 20, -3*o + l = -f*w - w. Is o bigger than 3?
F