f(36). Is p at least as big as g?
True
Let c = -4.1565 + 0.0265. Let s = 4.33 + c. Which is smaller: 0.52 or s?
s
Let q be (14/(-6) - 1)*127/(-1270). Is -571 <= q?
True
Let a(k) = 2*k**2 + 3*k - 7. Let o = 45 + -48. Let u be a(o). Suppose -u*l - 3 = -3*l, -q - l + 65 = 0. Which is bigger: 61 or q?
q
Let c = 1.1 + 1.95. Let n = 1.65 - c. Is -7 not equal to n?
True
Let i be (114/(-76))/(3/(-4)). Let v be (i - 32/36)*57/(-95). Is v greater than or equal to 7.5?
False
Let v = -55 - -87. Suppose -v = c + 4. Which is smaller: -39 or c?
-39
Let u be 14 + 10/(-30)*249. Which is bigger: -43 or u?
-43
Suppose 6*l - l = 25. Suppose -4*c - 173 - 27 = -3*h, l*c = -25. Suppose -10*i + h = -5*i. Which is smaller: i or 11?
11
Let z = 7904 - 7806. Which is greater: z or 119?
119
Suppose -2*j = -2*x + 1 - 11, 10 = 2*j. Suppose 2*r - 2*y = -2, -3*r - 6 = -5*r - 2*y. Let o be ((-1335)/(-265))/r + -5. Which is greater: x or o?
o
Let m = -580 - -590. Is m bigger than 263/28?
True
Let q(y) = -751*y + 20243. Let a be q(27). Let d(v) = 33*v. Let k be d(-1). Which is greater: a or k?
k
Let v = -43 - 37. Let k = -3840 - -3898. Let m = v + k. Do -0.1 and m have different values?
True
Let n(u) be the third derivative of 5*u**4/12 - 43*u**3/6 + 9*u**2. Let v be n(14). Is v > 96?
True
Let v be (142/360 + (-456)/1140)*86. Is v greater than 0?
False
Suppose -64 = 3*s - s + 3*g, 4*g + 16 = 0. Let t = -920 + 891. Which is smaller: s or t?
t
Let u = -38 + 41. Let g(j) = j**3 - 4*j**2 - 2*j + 10. Let h be g(u). Let l be (h/6)/((-2)/18) + -3. Which is smaller: l or 5?
l
Let a be 10/2 - (12/14)/(33/(-77)). Is 179/26 greater than a?
False
Let r(o) = -2*o**2 + 31*o - 44. Let f(k) = -k**2 + 21*k - 30. Let q(c) = -8*f(c) + 5*r(c). Let t be q(-8). Which is bigger: t or -11?
t
Let s = 357 - 341. Suppose 4*q = 3*b + 2*q - 51, -18 = -2*b - 4*q. Is s bigger than b?
True
Let i = -28 + 33.4. Let m = -2680 + 2685.1. Let n = i - m. Which is bigger: -2/17 or n?
n
Let y be ((-2)/4)/((-5)/3260). Let o = 308 - y. Which is bigger: -14 or o?
-14
Let x = 91349 - 91311.831. Let b = x + -0.169. Which is greater: b or 3/5?
b
Let a = -1230 - 69. Which is greater: 0.1 or a?
0.1
Suppose -57*d - 18 = -39*d. Let y be d - 10/(-8) - 28/84. Is -1 at most y?
True
Let g = -95 - -118. Suppose -g*n = -26*n + 21. Let c be (-380)/272 - (14/8)/n. Is -3 <= c?
True
Let l(q) = q**3 - q**2 + 1. Let g(m) = 7*m**3 + 4*m**2 - 11*m + 8. Let x(k) = g(k) - 6*l(k). Let o be x(-8). Let t be 5 + -9 - (-433)/o*2. Are t and 1 equal?
False
Let f = -2189 + 2305. Which is smaller: 117 or f?
f
Let o be (4/(-5))/((-12)/(-60)). Let c be 6 - (o/1 + 110). Do -0.1 and c have the same value?
False
Let n be -1*(-35)/14*(-1904)/140. Let b = -1 + 1. Is n equal to b?
False
Let o = -2916 - -2727. Which is smaller: o or -195?
-195
Suppose 4*t - 5*p - 11 = -0*t, -3*t + 13 = p. Let w(n) = 2*n**3 - 6*n**2 + 4*n - 3. Let o be w(t). Let g = 3048 + -3004. Is o smaller than g?
False
Let b = -62.04 - 230.96. Is b at most as big as -0.3?
True
Let q = -3.9 + 4. Let o = 38162 - 38351. Is q > o?
True
Let o = -3157 + 3153. Are -92/19 and o non-equal?
True
Let m = 987 + -577. Let l = 411 - m. Are -1/4 and l nonequal?
True
Suppose 8*r - 6840 = -6*r - 10*r. Which is greater: r or 1426/5?
1426/5
Let f = 2315/63 - 314/9. Suppose -32*v - 1250 = -37*v. Let n = 251 - v. Which is smaller: f or n?
n
Let w = -0.0803 - -381.0803. Let j = -379.7 + w. Is j bigger than 2.1?
False
Let h(f) = 215*f**3 - 4*f**2 - 9*f - 5. Let a be h(-1). Is -219 greater than or equal to a?
False
Suppose 6*r - 198 = 72*r. Let m = 9 - 3. Let x be 38/(-6) - (-2)/m. Which is greater: x or r?
r
Suppose 0 = c + 19 - 71. Let y = 299461/5715 + 1/1143. Which is bigger: c or y?
y
Let q = 2122/9 - 236. Let k(a) = -17*a**2 + 46*a - 10. Let v(d) = -18*d**2 + 44*d - 9. Let o(l) = 7*k(l) - 6*v(l). Let h be o(5). Is q less than or equal to h?
False
Let t = 51.3 + -34.9. Let n = t + -16.3. Which is smaller: 3 or n?
n
Let d = 28 + -3. Suppose -2*i = 27 - d. Let z be (2/6)/(5/(-15)*i). Is z < 5/17?
False
Let c(t) be the second derivative of t**4/12 + 5*t**3/6 + 27*t**2/2 + 321*t. Let x be c(-10). Which is greater: 76 or x?
x
Let b = 1438/5 + -1377589/4790. Is 0 greater than b?
False
Let n(w) = -w - 3540. Let g be n(-49). Which is smaller: -3492 or g?
-3492
Let o = -11815 + 11825. Which is bigger: o or -137?
o
Suppose -5*o = -2*j + 23 - 3, 2*j + 4 = -o. Let h be (2 - (-2 - o)) + 11. Let r = 3477 + -3471. Does r = h?
False
Let y = -17.67 + 17.77. Let i = -0.11 - 0.1. Let o = i - -0.3. Which is bigger: o or y?
y
Suppose -4*p + 979 - 387 = 0. Suppose 59 + 14 = 4*x - 159. Suppose -p + x = 15*o. Which is greater: o or -56/9?
o
Suppose -5*h + 3*i - 14 = 0, 9 = -3*h - i - 5. Let t be (-3)/42*h + 1474/(-5110). Which is smaller: -1 or t?
-1
Let s = 2 - -1. Let z be ((-4)/8 + 20/72)*-9. Suppose 0 = -s*h - z*y + 7, -2*h + 3*h + y - 4 = 0. Which is bigger: h or -24?
h
Let u = 14 + -17. Let a be -1 + (-3 - 2) + u. Let v be ((-3)/a)/((-5)/15). Which is bigger: v or -10/9?
v
Let j be (46/4)/((-2)/(-12)). Let b be 134/8*(-4 + 5 + 3). Is b at most j?
True
Let v be (-120)/(-96)*(-3)/(60/26). Let c be 32/(-14) + (1 - (-25)/(-35)). Is v less than or equal to c?
False
Let q(r) = -r**2 + 16*r - 29. Let l be q(14). Let x be (-30)/45 + l*65/(-3). Suppose 0 = -x*z + 18*z + 3. Which is smaller: z or 1/49?
1/49
Let n be (51/(-78) + (-6)/(-39))*6. Let l be (n + (-14)/(-7))*1. Which is smaller: l or -2/111?
l
Let f = 7388 - 7387.9. Is 1949/2 not equal to f?
True
Let q be 10/(-4)*30/(-25). Suppose -5 + 11 = q*j. Suppose -5*w - 1149 = -5*n - 1059, 0 = -n + 4*w + 15. Is j > n?
False
Let y be -15 - (-4 - (-315)/(-28)). Which is bigger: -36.9 or y?
y
Suppose -3*t + 1 + 2 = 0, w + 33 = t. Let j be w/12*(-2)/(-10)*5. Is j less than or equal to 3?
True
Suppose 44*g + 90 = -g. Let a be 4/((g + 1 - -5)/1). Is 522 less than or equal to a?
False
Suppose 43*u + 3152 = 35*u. Let b = -395 - u. Which is bigger: b or 2/65?
2/65
Let g = -6 - -10. Let o = 3.7 - g. Let m = 0.123208 - 0.093208. Is o at least as big as m?
False
Suppose 0 = -5*z - 143 + 148, 2*l - 4*z = 38. Suppose 4*c = -4, 2*i + 4*c - 17 = 15. Are i and l unequal?
True
Let y = 2648 + -2658. Which is smaller: y or -154/15?
-154/15
Let b = -0.2268 - -2.2268. Let g = 4.7 + 28.3. Which is greater: b or g?
g
Let t be -3 + (-10 + 11)/(2/4). Let n be (21/(-90))/1*2039/(-14). Let x = n - 203/6. Which is smaller: x or t?
t
Let v be 13/52*12*4/6. Let p be 1*1/v*102. Is -1 at most p?
True
Let s = 66 - 36. Suppose -25*q = -s*q + 20. Is 0.21 != q?
True
Let i be 12 + (36905/(-5269) - 5). Which is smaller: i or 0?
i
Suppose 14 = -3*h + 4*y + 2, -5*y = 5*h - 15. Let x(o) = h*o**2 + 30 - 30 + o**2 - 6*o. Let u be x(13). Is u greater than 91?
False
Let j be (17 - (-595)/(-5))*2. Is j at least -195?
False
Let o(i) = 7*i. Let w = 116 - 120. Let p be o(w). Which is bigger: -31 or p?
p
Let a = -350247/146 - -2399. Let m = 8650713937/1531656070 + -6/2098159. Let n = m - a. Is 5 smaller than n?
True
Suppose 0 = 2*f - 2*x + 6, 2*f + 2027*x - 2032*x + 18 = 0. Is 14/1391 <= f?
True
Let d = -2607 + 1902. Which is smaller: 0.1 or d?
d
Suppose -4 - 1 = 4*h + 5*s, -3*s - 3 = -3*h. Suppose -36 = 6*g - 66. Suppose g*m - 3*c - 142 = 0, h*m + m - 4*c - 42 = 0. Which is bigger: 25 or m?
m
Let i be (0 - -126) + (-24 - -21). Let g be 2*((-63)/(-7))/(-18). Is g < i?
True
Let y = -132/161 + 19484/1771. Let t = 95214623 - 90073023715/946. Let o = y - t. Is o smaller than 0?
True
Let a be (-2)/(-4)*1*-40. Let v = -970 - -2517. Let b = v - 1570. Which is bigger: a or b?
a
Suppose 0 = 24*a - 342 - 1030 - 4076. Is 243 at most as big as a?
False
Suppose -p = -v, -8*p = -7*p + v + 4. Let z = -0.05 + 0.37. Let w = z - -0.08. Which is smaller: w or p?
p
Let d(s) = s**2 - 27*s + 14. Let w(g) = 2*g**2 - 28*g + 10. Let f(q) = 5*d(q) - 6*w(q). Let u be f(5). Do 7/39 and u have different values?
True
Suppose -8 = 6*s - 50. Suppose s*o = -7*o - 420. Is -36 not equal to o?
True
Let v(x) be the first derivative of -5/2*x**2 - 16 + 1/3*x**3 + 5*x. Let c be v(4). Is 2/59 < c?
True
Suppose -39362 - 153893 = -30*v - 46075. Which is smaller: v or -2?
-2
Suppose 3*k - 63 + 51 = 0. Suppose 4*q - 12 = -2*f, -6*f = -5*f - k*q. Suppose -3*s - 3*h + f = 1, -4*