ich is bigger: f or 0?
f
Let b = 2.7 - 3. Let j be 12 + (3/10)/((-6)/(-15)). Let x = j + -149/12. Which is smaller: x or b?
b
Let w(x) be the first derivative of 3*x**2/2 - 9*x + 10. Let j be w(4). Let q be (j*(-2)/(-12))/((-5)/4). Which is smaller: q or -30?
-30
Suppose -21*s - 87 + 66 = 0. Are 6/2183 and s non-equal?
True
Let j be ((428/(-6))/(-2))/(6615/90 + -74). Which is smaller: j or -70?
j
Let j be 2/(-76)*(-4 + 846/213). Let v = 2437/352089 + j. Let r = v + 779/522. Are r and -3/5 non-equal?
True
Let v = -1913 - -1879. Suppose 4*g + 3*t = 15223, -t + 5*t = -2*g + 7614. Let k = -11521/3 + g. Is v less than k?
False
Let v = 2342 + -2343. Which is smaller: v or -5/29?
v
Let b = -33.1 - -31.1. Let y = -1190/6351 - -12/73. Is b bigger than y?
False
Let h = -34 - -41. Suppose h*a - 23 = -254. Is a > -33?
False
Suppose 0*b - 140 = -5*b. Suppose 4*n + 2*x + 80 = 0, x = 3*n + 88 - b. Let c = -34 - n. Is c >= 2?
False
Let f = 430 - 348. Let l be 5/15 - f/12. Let q = 3 + -11. Are l and q nonequal?
True
Let s(w) = 5*w**2 + 11*w + 28. Let j(a) = -5*a**3 + 6*a - 5. Let b be j(1). Let m be s(b). Which is smaller: m or 63?
63
Let o = -222 + 182. Suppose -5*g + 3 = 2*y - 5, -y + 9 = 5*g. Let m be 9/g*o/(-30). Is -2 at most as big as m?
True
Suppose 2*r = 5*r + 105. Let h = 3 + r. Let i(l) = -2*l**2 + 3*l - 4. Let g be i(-3). Which is smaller: h or g?
h
Suppose 0 = -4*x - 12, 0 = 5*p + x - 70 - 82. Let k(g) = g**3 + 6*g**2 - 7*g + 2. Let b be k(-7). Suppose -b*v + p = 7. Is v >= 12?
True
Let t = 105 - 417/4. Let s(i) = i**3 - i**2 + i - 1. Let d be s(1). Suppose 0*b + b = d. Is b at least t?
False
Let q = -1084 + 828. Let z = -256.11 - q. Let a = -2 - -2.3. Is z > a?
False
Let b be (1/(-3))/(437/(-57))*216. Is 10 greater than b?
True
Let n be 2/(-6)*-21*41/(287/2040). Is n at least 0?
True
Suppose 0 = 15*i - 13 - 11789 - 12153. Is -1 >= i?
False
Let p be (-2)/3 - (-22)/6. Suppose 93*f + 12698 = 17162. Which is smaller: p or f?
p
Let c = -12 + 16. Let j be 20/5 - ((-80)/(-12) - c). Do 22 and j have the same value?
False
Let f be ((-3115)/(-175) - 13)*1/(-2)*-5. Do f and -159 have the same value?
False
Let o(y) = -56*y + 1709. Let g be o(33). Is -4 equal to g?
False
Let y = -19931 - -18791. Which is bigger: -1144 or y?
y
Suppose -4*c + 16 = 4*r, 4*c = -4*r + 2*c + 24. Suppose 21*y + r - 29 = 0. Is 24 smaller than y?
False
Suppose -12 - 3 = -5*b. Suppose b*q + 180 + 93 = 0. Let p = -121 - q. Is -29 < p?
False
Let g = 0.22614 - 12299.22614. Let x = -12310.931 - g. Let u = x - 0.069. Which is greater: -0.2 or u?
-0.2
Let w(q) = 3*q**3 - 7*q**2 + 2*q + 49. Let u(f) = 4*f**3 - 6*f**2 + 2*f + 48. Let o(b) = -2*u(b) + 3*w(b). Let c be o(7). Do -33 and c have different values?
False
Let v be (-3 + -139)*1/(-2). Let y = 70 - v. Let o be -4*y/58*1/2. Which is smaller: o or 1?
o
Suppose -4*q + 9 = -b, -4*q + 0 = 4*b + 16. Let m = 834 + -827. Which is greater: q or m?
m
Suppose -6 + 30 = 8*y. Suppose 2*g - y*g - 5 = 3*r, 5*g = -10. Which is bigger: -47 or r?
r
Let u be ((0 - 1)/((-12)/36))/((-6)/74). Let r be (-4 - -8) + 201/(-5). Is u greater than or equal to r?
False
Let y be (-144)/(-15) + (-4)/(-10). Let f be (-14)/(4/80*y). Which is smaller: f or -27?
f
Suppose 3*i - 2 = -2*i + p, 0 = 3*i - 5*p - 10. Suppose 0 = -4*c, -2 = 2*w - i*c - 4*c. Let j be -3*(22/6 + w). Which is smaller: j or -6?
j
Let x be (-14 - 30)*5/(-23900). Which is bigger: x or 1?
1
Let g be (416/(-10) - 0)/(46/(-345)). Let w = g + -446. Are -134 and w unequal?
False
Suppose 510*q - 513*q = -3*w - 18, -4*q = 3*w + 4. Which is smaller: 240 or w?
w
Let d be 2000/350*7/(-2). Is d >= 5?
False
Let q be -7 + ((-4993)/644)/((-775)/100) + 6. Which is smaller: q or 0?
0
Let g(c) = -2*c**2 + 19*c + 5. Let h = 86 - 58. Let b = h - 20. Let o be g(b). Is 28 smaller than o?
True
Let z(c) = c - 2. Let h be z(-1). Let q be (-2)/5 - ((-324)/(-140) + h). Let i = -105 - -105. Is i greater than q?
False
Let k = -119697/70 + 1710. Suppose 7*m - 8 = 13. Let z be 1/(5/(-8 + m)). Which is bigger: z or k?
k
Suppose -86*a + 56 = -58*a. Suppose 8 = a*y, 3*n = 12*y - 16*y - 2. Suppose x = -14 + 4. Which is greater: x or n?
n
Let i = -17 - -19. Suppose -3*k = 2*t + 4, -2*t + 8 = -4*k - i. Let w = 1463/4810 - 2/481. Which is bigger: w or t?
t
Let g = -36.186 + 3.186. Is 34 smaller than g?
False
Suppose 116 = -2*v - 0*v. Suppose 6*q = -251 - 85. Is q at most v?
False
Let b(m) = -1923*m - 319219. Let c be b(-166). Let h = -203 + 135. Is h less than or equal to c?
True
Let k be 2*(-1)/(-144)*-1. Let y = 0.0283 - -0.0717. Which is smaller: k or y?
k
Let y(h) = h**3 + 13*h**2 - 5. Let p be y(-13). Let a be ((-1)/2)/((-7)/(-154)). Let m = p + a. Is -16 > m?
False
Let q be 2 - -14*9/(-42). Is q less than -12/1069?
True
Let a be (24 - 615636/25650)/(10 - -2). Are a and 1 nonequal?
True
Suppose -5*p - 7*z = -4*z + 20, -4 = p + 2*z. Let s be 1*p/268*-2. Suppose 4*j = -5*m - 3 - 8, -4*j + 13 = -3*m. Which is bigger: j or s?
j
Let p = -6845.9 + 6844. Which is smaller: p or 4/27?
p
Let u(n) = -22*n - 299. Let p be u(-15). Is 1 >= p?
False
Let d = 115.006 + -0.006. Let z = d + -115.08. Let f = -0.2 - -0.1. Which is bigger: f or z?
z
Let x(h) = 3*h**2 - 5*h + 2. Let d be x(3). Let u = 2326 + -2312. Is d at least as big as u?
True
Let s = -0.1 - -0.1. Let u = 194.7 + 45.3. Let q = u - 239.7. Are q and s nonequal?
True
Let d(i) = 483*i**2 + 12*i + 12. Let q be d(-1). Suppose q = 10*o + 2123. Which is greater: -1/2 or o?
-1/2
Suppose -46 = -3*c - 37. Suppose -4*a - 2*g = 80, 2*a - 3*a - 34 = -c*g. Let p be 4/(3/(-15) - 0). Is p bigger than a?
True
Suppose -11*i = -108*i + 422823. Do 4360 and i have the same value?
False
Let v(a) = a**2 - 3*a + 4. Let f be v(6). Let r be 2*f/8 - (-21)/(-42). Let s be 12/30 - (-93)/r. Which is smaller: s or 20?
s
Let w = -982/5 - -30492/155. Let v = 142 - 141. Which is greater: w or v?
v
Let j be -27 + 0 + (32 - 37). Let a be 144/j*12/(-2043). Is 1 <= a?
False
Let b = 38869 + -1671447/43. Is b > -3?
True
Let w be -15*(50/(-75) + (9 - 1)). Is w less than or equal to -132?
False
Suppose -2*h = -0*h + 2. Suppose -4*q - 20 = 0, 2*q = 2*o + 5*q - 205. Let g = -109 + o. Which is smaller: h or g?
h
Suppose -d + 5*s - 990 = 0, s - 1525 - 2321 = 4*d. Which is greater: -961 or d?
d
Let w = 60 - 58. Let l(h) = -h**3 + 20*h**2 + 20*h - 28. Let y be l(21). Let j = y - -50. Is w less than j?
False
Suppose -4*s - 11608 = -11628. Which is smaller: 11 or s?
s
Suppose -36*n - 65 = 43. Is 36 > n?
True
Let v be (4 - (-99)/(-24))*6/63*-9. Let y = 9 + -8. Which is greater: y or v?
y
Suppose -r = -4*b + 14, 5*r - 22 = -2*b - 4. Let h = -3/7124 + 3839/7124. Which is bigger: h or r?
r
Let c(t) = -2*t - 2 + t**2 - 6*t**3 + 0*t**2 - 14*t**3. Suppose -15*g = 3*g + 30 - 12. Let z be c(g). Which is smaller: 18 or z?
18
Suppose -32*j - 39 + 391 = 0. Suppose j*r - 15*r = -8. Is 88 != r?
True
Let m = -207 + 207. Suppose 0 = -4*x - 4*w - 261 - 347, -3*x + 2*w - 476 = m. Which is smaller: -155 or x?
x
Let t = -75 - -75. Let s = -75.49 - -5.49. Which is smaller: s or t?
s
Let o be 6/6 + 214/(-190). Let j = o + -233/3420. Is j at least 1?
False
Let t = -108 - -112. Suppose t*b - 8*b - 12 = 0. Is b >= -75?
True
Suppose 46*c = 48*c. Suppose 3*r - 1212 = -3*b - 0*r, 4*b + r - 1625 = c. Let m = -1641/4 + b. Which is bigger: -2 or m?
-2
Suppose 4*n + 182 = p + 776, -629 = p + n. Is p bigger than -630?
True
Let u = -2897/30 + 49691/30. Is 1559 != u?
True
Suppose -3*w + 21 = 6. Let y = 26 + -1. Let p be y/15*3 - 0. Is p greater than w?
False
Let v(k) = 2*k - 2. Let f(i) = -i**2 + i - 16. Let s(h) = -f(h) + 4*v(h). Let z be s(-6). Is z > 17/28?
True
Let p be (15 - 2 - 1/(-2))*392/42. Which is smaller: p or 137?
p
Let n(h) = h**3 + 90*h**2 - 6*h - 98*h**2 + 2 + 11. Let t be n(9). Let u be t/(-3) + (-13)/((-156)/(-8)). Is u at most as big as -14?
True
Let b = 5.564 - -1282.436. Which is greater: 3/5 or b?
b
Let p = -4149.1 + 4150. Is 0.2204 less than p?
True
Let z = 69.2 + -68.09. Let o = z + -1.01. Is o at least as big as -20?
True
Let p(z) = -6*z - 17. Let r(l) = l**2 + 13*l + 40. Let q be r(-9). Let i be p(q). Which is smaller: i or -43?
-43
Let b = 9/520 - -7/65. Let d = -29/40 + b. Which is greater: -1/35 or d?
-1/35
Let d = 14035 - 13063. Which i