 Which is bigger: 2 or s?
s
Let q(k) = 8*k**3 + 127*k**2 - 24*k - 126. Let g be q(-16). Let v = 797 + -15089/19. Is v != g?
True
Let b = -22 - -21.66. Let s = 36.34 + b. Let n = -3970 + 3969.9. Which is smaller: s or n?
n
Suppose -4*y - 61 = 347. Let s = -158 - y. Let i = s + 64. Which is smaller: i or 9?
i
Let o(c) = c - 33. Let s be o(6). Suppose 10*y + 225 = 5*y. Let a be (-2352)/90 - 6/y. Which is smaller: a or s?
s
Let z = 63/901 - -15/53. Let r(g) = -2*g**3 + 24*g**2 - 21*g - 7. Let u be r(11). Suppose w = -4*t + u, 20 = -3*t + t + 5*w. Is z >= t?
True
Let a(i) = -32*i + 9. Let f(n) = 16*n - 3. Let q(m) = -2*a(m) - 5*f(m). Suppose 0 = -7*s + 2*s - 5. Let y be q(s). Which is bigger: 15 or y?
15
Let n = 3176 + -7361. Which is bigger: -3/2 or n?
-3/2
Suppose 8 = 27*m - 28*m. Let x(q) = -5*q - 40. Let z be x(m). Which is smaller: z or -2/19?
-2/19
Let s(k) = 6*k - 42. Let c be s(8). Suppose 9*r - c*r + 120 = -4*d, -4*d = 0. Is r <= -40?
True
Let z = 268822 - 2685761/10. Which is greater: 247 or z?
247
Let h(f) = f**3 - 4*f**2 + 2 + 5*f + 0 - 6. Let x be h(3). Let l be 6/(-21) - (-205)/(-210)*-2. Which is smaller: l or x?
l
Let n = -0.5 + 5. Let x = -67.4 - -63. Let w = x + n. Is -6/5 < w?
True
Let h = 1792 + -2109. Which is smaller: h or -315?
h
Let p be -69 + 62 - (0 - 262). Let y = -255 + p. Is 8/47 at least as big as y?
True
Let r(q) = 2*q**3 - 87*q + 97*q - 7 - 3 - 10*q**2. Let z be r(5). Is z bigger than 0.1?
True
Let m = 66.7 - 9.4. Let z = 25.5 - m. Let q = z + 32. Which is smaller: q or 1/7?
1/7
Let c(f) = -6*f - 4*f + 10*f - 11 - 2*f. Let b be c(-7). Which is greater: b or 8/3?
b
Let b = 937/2 + -468. Let j = -13/10 + b. Is -35 at least as big as j?
False
Let w be 18 - ((-18432)/(-21))/(-32). Let v(l) = -l**3 - 4*l**2 - 3*l + 6. Let y be v(-5). Which is greater: y or w?
y
Suppose -5*l - 2*o = 30, -4*o = -5*l + 56 - 116. Let k be (-42)/l + -25 + 20. Which is greater: 2/25 or k?
k
Let h = -45 + 33. Let g be 2/(-4) + (-2)/h. Let b be (0 + -3)/(-3) - 38 - 3. Which is bigger: b or g?
g
Let t = 22.2601 + 0.0399. Let z = -22.1109 - -0.1109. Let q = t + z. Is q less than or equal to 0.8?
True
Let g be 1030/(-2 - -3) - -5. Is 1035 at least as big as g?
True
Let z = -9391 - -9488. Which is bigger: 112 or z?
112
Let h = 5 - -2. Let w = 0.0408 - 15.5408. Let n = 15.4 + w. Which is greater: h or n?
h
Let b = -309 + 317.84. Let r = b - -1.16. Let w = r - 8. Are w and 0 equal?
False
Let i be (-4)/5 + ((-15)/(-10))/((-255)/204). Suppose -2*g + 48 = -3*q, 57 = -4*q - 0*q + 5*g. Let w = q - -13. Is w equal to i?
False
Let p = 58661/1219445612 + -3/30548. Is 1 >= p?
True
Let o be 429/(-468) + 5/4. Which is smaller: 1601 or o?
o
Let v = 19 + -30. Let d(i) = -i**3 - 12*i**2 - 11*i - 2. Let m be d(v). Let t be 55/(-10) + m/4. Which is smaller: t or -9/2?
t
Let n = -30 + 36. Let o be (4/n)/(4/(-6)). Let z be 4 - ((-1745)/1305)/((-1)/3). Which is smaller: o or z?
o
Let y = -52 + 48. Let a be 5*2*2/y*3. Let p be 17/a - 4/20. Which is smaller: p or -0.5?
p
Let v = 38.72 + -38.72. Which is bigger: -4.59 or v?
v
Suppose 3*w + z + 422 = 0, w - 3*z + 263 = -w. Let f = 139 + w. Which is bigger: f or -25?
f
Let i be (1 + -1)/(-40 + 38). Which is bigger: 62/103 or i?
62/103
Let w = 32.7 + -29.4. Let a = 1.8 + -5.3. Let d = w + a. Which is smaller: d or -1/4?
-1/4
Let d be 16795*(-28)/980*7/6. Which is greater: -560 or d?
d
Let v = -4996/573 - -10/191. Let z(j) = -2*j**3 + 17*j**2 + 13*j - 42. Let o be z(8). Suppose 0 = -15*k + k - o. Is k at most v?
True
Suppose 3 = 4*q - 1. Let l = 2120/229 + -2046029/220985. Which is smaller: l or q?
l
Suppose z + 284*i - 286*i = 4, 5*i = -5. Let k = 0.045 - -0.024. Does k = z?
False
Let h be (12/259)/(402/938). Which is smaller: h or 1?
h
Suppose -3*p + 10 = -5*u, 2*u + 4*p - 22 = -0. Let w be (-14)/26 + 0 + u. Let b(m) = 2*m**2 - 1187*m - 2382. Let q be b(-2). Does q = w?
False
Let o(n) = -11*n - 19. Let i be o(-2). Suppose w - i*q = -6 + 37, 3*q = -3*w + 117. Which is bigger: w or 73/2?
w
Suppose 100 = 4*p - 7*j + 2*j, -2*j + 98 = 3*p. Suppose -2*b - 5*i + 16 = 0, b + i = 4*i + p. Let a = 137 - 137.1. Which is smaller: a or b?
a
Let q = -702 + 646. Let d(t) = 3*t**2 - 6*t + 9. Let u be d(7). Suppose -u = 3*l + 51. Is q at most as big as l?
True
Let v = -3.03754 + -0.06246. Which is smaller: v or 48?
v
Let q = 32 + 48. Let o = 83 - q. Suppose -5*c = o*x + 8 + 1, 2*c = 0. Which is smaller: x or 0?
x
Let o = 34324/1773 + -27/197. Let s = -9172/477 + o. Do -1 and s have the same value?
False
Let v(z) = -z**3 - 19*z**2 + 22*z + 42. Let b be v(-20). Suppose 0 = b*g + 3*s - s + 12, -3*s + 27 = -2*g. Are g and -5 nonequal?
True
Suppose 4*p + 13 = 3*o + 30, -2*p - 3*o - 5 = 0. Is p at most as big as 0.1924?
False
Let g be 34/153 - 29560/132750. Which is smaller: g or 1?
g
Let h = -162 + 162.182. Let p = -126.43 + 128.43. Are h and p equal?
False
Let p = 32.00618 - 0.00618. Which is bigger: p or -2.07?
p
Let n = 5 + -4. Let b be (-96)/1344 + 95/1918. Which is bigger: b or n?
n
Let v = 0.3999 + -0.1999. Is v at most as big as -1786?
False
Let s be 4/(4/((-2)/1)). Let o be -5 + 1*(-2 - -4 - s). Let w be (-25)/15*o*3/(-15). Which is smaller: w or 2/51?
w
Let b = -122.47 - -122.67. Which is bigger: b or 2521?
2521
Suppose -2*v - 6 = -2*p, 4*v + 14 = -2*p + 44. Suppose p*c - 9*c = 0. Let x be (120/56)/(c + 6/(-4)). Which is greater: x or -2?
x
Suppose -9*y + 2596 - 949 = 0. Is 185 greater than or equal to y?
True
Let j(u) = -8*u**3 - 8*u**2 + 25*u + 10. Let z(f) = -6*f**3 - 5*f**2 + 17*f + 7. Let x(q) = -5*j(q) + 7*z(q). Let t be x(4). Which is bigger: -75 or t?
t
Suppose 0 = -10*h + 6*h + 32. Let c = -5 + h. Suppose -4*v - 3*r = -128, 2*v + 3*r = -c*v + 163. Which is smaller: v or 34?
34
Suppose -4*p - 5*y + 36 - 662 = 0, -5*p = -5*y + 760. Which is smaller: p or -6?
p
Let v be (4 - 6)/((-2)/(-11)). Let l be (v/16 - 3/(-6))/3. Which is smaller: l or -2?
-2
Let p(m) be the third derivative of -m**4/24 + 2*m**3/3 - 4*m**2. Let r be p(4). Let g be (-91)/(-1092)*3*(-2)/9. Do r and g have the same value?
False
Let n be (-4)/5*(-7 + -8). Suppose -3*l = -c + 8, 0 = 2*l + 9*c - 11*c + n. Is l <= 116?
True
Suppose -2*l - 2 = -0*l. Let o be ((-2)/(-105))/((-472)/11800). Which is smaller: o or l?
l
Suppose -2*r = -8 - 6. Let w(k) = k**2 - 23*k + 47. Let n be w(21). Suppose r*h - n = 2*h. Is h < -2/195?
False
Let k = -1 + -54. Let s be -4 - (k + 4)/1. Suppose -2*u = 4*y + 132, -u = y - 4*u + s. Which is bigger: 0 or y?
0
Let q(w) = w**2 - 28*w + 121. Let n be q(27). Suppose -3*l + 94 = n. Is l at most as big as 2/155?
True
Let v be -3*2/8*(-157 - -261). Is -84 >= v?
False
Let u be (-44)/(-135) - (-2)/(-5). Let r = -2865.8 - -2862.8. Which is bigger: r or u?
u
Let y = -270.18 - -0.18. Let j = -269.807 - y. Is j >= -1?
True
Suppose -34*r - 32 = -2*r. Let h = 0.41 + 0.01. Let o = h - -40.58. Which is bigger: o or r?
o
Let k(z) = 677*z + 1380. Let y be k(-2). Let f = -4 + 6. Suppose 40 = f*o - 16. Which is greater: o or y?
o
Let s(k) = -k**2 + 14*k + 378. Let q be s(-14). Is -38/3 less than or equal to q?
False
Let i be 23/3 - (-14 + 1222/78). Let r be 6/(-4) - 1/(-2). Let h be 1/r + -2 + 0. Which is greater: h or i?
i
Let l be 60*((-2 - -12) + 9/(-3)). Suppose l = 16*n - 172. Suppose -21 = -3*k + 87. Which is smaller: n or k?
k
Let p be ((-8)/(16/(-4)))/((-2)/13). Let j be 39/p + 82/12. Suppose -3*k + 28 = -4*w, 2*w - w = k - 8. Is j smaller than k?
True
Let o(v) = -17*v + 18*v + 43 + 4*v. Let c be o(-5). Suppose -6 = 3*i, -3*t + 57 = -i - 2*i. Is c smaller than t?
False
Let r = 131 - 131. Let c be (-1 - 0)/(10 - 9). Let z be 4*((-2)/(-36))/c. Is r less than or equal to z?
False
Let m be ((2 + -2)/2)/(-1). Suppose -2 = -m*g - 2*g. Let h be 1*(4 + -3) - g. Which is smaller: -5/4 or h?
-5/4
Suppose 5*c + 26 - 41 = 0. Let v be 2 + 2 + c + (4 - 8). Let o be -4 - v*(-4)/12. Which is smaller: o or 1?
o
Let g be (-8*(-17)/(-68))/(-2). Is 8/261 less than or equal to g?
True
Let h = -2.4 + -5.6. Let i = h + 8.86. Let g = 11.86 - i. Is g at most as big as 0.2?
False
Let x = 1 + 2. Let t = 1016 - 1014. Suppose w + t = 0, x*z - w = z - 2. Does -5/2 = z?
False
Let o(v) = v - 11. Let p(m) = m - 12. Let h(y) = -6*o(y) + 5*p(y). Let r be h(-3). Let k = -577.3 - -577