 Is -0.3 at least as big as p?
True
Let v(t) = 3*t**2. Let j be v(-1). Suppose 6*p + 3*p - 3*p = 0. Let o(h) = -25*h + 2. Let g be o(p). Are j and g non-equal?
True
Let c = 1.3491 - 1.4491. Is c equal to 2144?
False
Let u be (32/12 - -4)/(1/3). Suppose -p + u = -11*p. Let h be (0 - p)*(-22)/(-12) + -4. Which is bigger: 9 or h?
9
Let h(b) = -5*b + 2*b - 39 + 46. Let n be h(2). Which is greater: 49 or n?
49
Let t(f) = -f**2 - 8*f - 10. Let g be t(-10). Let o(k) = k**2 - 21*k - 55. Let d be o(24). Let q be g/(-20) - d/14. Which is smaller: q or -0.3?
-0.3
Let i = -430986 + 430952. Let m be 212/(-6) + (-1)/(-3). Which is smaller: m or i?
m
Suppose -4*h - 68776 = -11*l, 0 = -2*h - 19 + 17. Is -0.2 < l?
True
Suppose 0 = 14*o - 3289 + 657. Suppose -12 = -5*i + 2*i, -2*x - 3*i = o. Which is smaller: -99 or x?
x
Let i = -0.1765 + -0.0425. Which is bigger: -1 or i?
i
Let x = -10321 - -9558. Which is bigger: 2 or x?
2
Let l be (-231)/14*(-14)/3. Suppose 0 = i + 4 - 1, -2*g - l = -5*i. Let b = -38 - g. Which is smaller: 5 or b?
5
Let d be (-2)/(-2) - 406/81242*203. Which is bigger: 1 or d?
1
Let w be (18 - 9) + -626 + (-20)/(-2). Which is greater: -6668/11 or w?
-6668/11
Suppose -568 - 5921 = -9*b. Which is smaller: b or 724?
b
Let x(p) = -p**3 - 29*p**2 - p - 24. Let z be x(-29). Suppose 3*w + 34 = -z*k, -2*k + 3*k = -4*w. Is 17 >= k?
True
Let l(c) be the first derivative of -c**3/3 - 19*c**2/2 + 42*c + 148. Let n be l(-21). Is 4/73 at least as big as n?
True
Let y = 38.956 - -0.044. Let m = 59 - y. Let i = -11/12 - -5/4. Are i and m non-equal?
True
Let q = 44454 - 44450. Is 1302 equal to q?
False
Let p = -21 + 20.6. Let a = p - 0.1. Which is bigger: 2/7 or a?
2/7
Suppose -3*f + 138*j - 134*j = 6319, -2*j = -2*f - 4216. Which is smaller: f or -2116?
-2116
Let t = 75.9 - -23.1. Let m = 102 - t. Let w = 22.74 - 0.74. Is w >= m?
True
Let s = 3 - 2.983. Let p = 1.017 - s. Let l = 0 + -18. Which is smaller: l or p?
l
Let x = 767 + -482. Which is bigger: x or 1709/6?
x
Let x be (-6)/(-9) - (9/(-12) - (-1250260)/240). Is x less than -5211?
False
Let k be (-5 + 7)*1/(-153). Is -1 < k?
True
Let q = -5092 - -4345. Which is smaller: 1 or q?
q
Let i be 2/(-13) - (-135)/117. Let a(x) = -4*x - 14. Let y be a(-7). Let b be 2 - -2 - (y - 10). Is i > b?
True
Suppose 18*m + 7*m + 36 = -11*m. Is 5/136 not equal to m?
True
Let i = 19352 - 19364. Is 655 equal to i?
False
Let q(l) be the first derivative of l**2 - 22*l - 5. Let s = -90 + 98. Let x be q(s). Which is smaller: x or -5?
x
Let q = 177 - -80. Let y = q - 257.63. Which is bigger: y or 9?
9
Let r be 9*(-17)/1275*(-8)/84. Do 1 and r have different values?
True
Let d(b) = -b**3 + 30*b**2 + b - 1054. Let a be d(0). Which is smaller: -1055 or a?
-1055
Let g = 645.4 + -645.1. Which is smaller: g or 133.8?
g
Let l = -424 - -468. Let j be (l + -5)*5/(-3). Which is greater: -60 or j?
-60
Let u(b) = 7*b + 295. Let p be u(-42). Let g = 6685 + -1637829/245. Is g less than p?
True
Let o be (-6836)/(-16) + 63/84. Which is greater: o or 12?
o
Suppose 6 = -3*u - 3. Let q = -762 + 1327. Let z = q + -564.96. Does u = z?
False
Let o = 216.3 + -211.3. Which is bigger: 16.1 or o?
16.1
Let x(v) = -5*v**2 + 14*v + 440. Let f be x(-14). Which is smaller: f or 10?
f
Suppose -4*z = -z - 195. Let f(n) = -6*n**2 + 42*n + 206. Let o be f(20). Let q = o - -1418. Which is bigger: z or q?
z
Let z(d) = d**3 - 3*d**2 - 29*d - 4. Let y be z(-4). Suppose y*o + 2*o = 6*o. Let x = -48/11 + 3301/759. Which is smaller: x or o?
x
Suppose -8*b + 7*b = 0. Let o(p) = 2*p - 4. Let m be o(b). Let d be 1/m - 10/(-25). Which is smaller: 1 or d?
d
Let j(u) = -2*u + 2375. Let b be j(0). Is 2375 <= b?
True
Let f = 813 - 812. Which is greater: -2/5563 or f?
f
Suppose 0 = 3*g + 5*y + 31, 2*g + 41*y = 57*y + 18. Let x = 18 - 27. Is g at least x?
True
Suppose -3*o + 4 = 4*j + o, 5*j - 4*o + 4 = 0. Let b(u) be the second derivative of u**5/20 + u**3/2 - 43*u**2/2 - 2*u + 22. Let x be b(j). Is x >= -43?
True
Let b = -56 + -63. Let v = b + 114. Let m be (-1)/36 + (-2)/9. Which is smaller: v or m?
v
Let k be (15/15)/(0 + 3)*63/6. Which is smaller: k or -2?
-2
Let t = 41576 - 41575. Is -24/79 > t?
False
Let p = 76 + -66. Suppose 3*u + 5 = -5*a - 2, 4*a + p = 2*u. Are 5/4 and u equal?
False
Let b = 107331 - 32950825/307. Which is greater: 0 or b?
0
Let o be (-172)/(-5) - 15/(-100)*4. Let p(k) = k - 2. Let z be p(2). Suppose -4*y = 3*g - 86 - 45, z = y + 2*g - 29. Is y <= o?
True
Let m(b) = 3*b - 20. Let z be m(7). Let y(r) = 2*r**2 - 4*r + 3. Let c be y(z). Is c bigger than -27?
True
Let o = 9625 + -9052. Is 574 smaller than o?
False
Let i = 229 - 5266/23. Let h = -2 - -13. Let a = -12 + h. Which is smaller: i or a?
a
Suppose -35*o = -38*o + 4*f - 5987, 0 = -6*o - f - 11929. Is o >= -1?
False
Let w be ((-3060)/(-20145))/(0 - -2). Is w greater than 1?
False
Let n(j) = 2*j - 15. Let p be n(7). Let z(c) = -6*c**2. Let s be z(p). Let t be 2/s + 28/(-60). Which is greater: -2 or t?
t
Let i(g) = -10*g + 199. Let v be i(20). Which is bigger: 147 or v?
147
Let t(r) = -r**3 + 8*r**2 + r - 4. Let s be t(8). Suppose 2*k - 6*k - q + 52 = 0, -3*k - s*q + 26 = 0. Let n(a) = 15*a - 2. Let x be n(1). Is k at most x?
False
Let m be (4/8)/(3/(-54)). Let n(d) = -d**2 + 3*d + 22. Let t be n(m). Which is smaller: t or -87?
-87
Let n = -23109/7793344 + -6/9367. Is -1 greater than or equal to n?
False
Let d be (-1 - (-147)/12) + (-7)/28. Suppose t - 3 = -d. Let s be (-5)/(-2)*11/((-3630)/t). Is 1 not equal to s?
True
Suppose -25 = 7*l + 45. Let h be 105/(-25)*(7 + l). Which is smaller: h or 12?
12
Suppose -862 = -t - 3*l, -2*t - 3*l = -l - 1716. Is 857 greater than t?
True
Let q = 81 + -39. Let o = q + -41.942. Let v = -0.042 - o. Are -1 and v nonequal?
True
Let g be (-4 - -4 - 0)/(-1). Let u = 79/49 - 13847/8771. Which is greater: u or g?
u
Let r = -21 - -20.974. Let z = -3.474 + r. Let h = 3.7 + z. Which is bigger: -1.2 or h?
h
Let u = 2045 - 2045.07. Which is bigger: 163 or u?
163
Let q(u) = 3*u**2 - 6*u + 15. Let d be q(5). Let b be ((d/3)/1)/((-6)/54). Is -179 smaller than b?
False
Let f = 15 + -11. Let q = 113 - 102. Suppose 0 = f*k - q*k + 7. Is -3/17 equal to k?
False
Suppose -4*o = -h - 10 + 3, -h + 7 = 3*o. Let n(x) = x**3 + 10*x**2 + 17*x + 12. Let q be n(-8). Let d be q - ((-568)/(-140))/h. Which is bigger: 1 or d?
1
Let c be 469/(-154) + 25/10. Is c greater than 2?
False
Let s = 6040 - 5383. Which is bigger: 4600/7 or s?
4600/7
Suppose -q + 5*k + 751 = 0, 1344 + 172 = 2*q - 3*k. Which is greater: 758 or q?
q
Let x = 4.7 - 5.5. Let u = 0.9 - x. Let t = -1.9 + u. Is t at most -1/5?
True
Let b = 59 - 56. Suppose 4*h = -b*v - 226, -2*v + 56 = -h - 3*v. Let y = h - -67. Is 9 at least as big as y?
True
Suppose -154*v + 10440 = -160*v. Are -1741 and v non-equal?
True
Let o = -12718 - -12639. Which is greater: o or -40?
-40
Let u = 30128 - 212606/7. Which is smaller: u or 2?
u
Let b(f) = f**2 + 37*f + 96. Let w be b(-31). Let h be (((-256)/(-15))/4)/(36/w). Suppose 3*l - 36 = 6*l. Is l equal to h?
False
Let t = 2330 - 2329.961. Is t at least -6.4?
True
Let i = -23116/5 - -4692658/1015. Is -1 at most i?
True
Let r(t) be the second derivative of t**5/20 + 7*t**4/12 - 11*t**3/6 - 18*t. Let m be r(-8). Let q = -24 + m. Which is smaller: 0.46 or q?
q
Suppose 5*p + 3*c - 31 = 0, -2*p = 8*c - 6*c - 10. Suppose 2*i - p = 6*i. Is 26 >= i?
True
Let f = -3887.53 - -3869. Let o = -6.53 - f. Is -0.4 > o?
False
Let n(d) be the first derivative of d**3/3 - 11*d**2/2 + 12*d + 18. Let r be n(10). Suppose -213 = -s - r*s. Is s at most as big as 71?
True
Let z be 4 - (83 + -3)/(-5). Suppose 5*m + 5 = -2*j - 2, -4*m + 4 = 0. Let w be z/3*j/(-4). Which is smaller: 12 or w?
w
Let v be 7 + (91 - 91 - (-31445)/(-4492)). Which is smaller: v or -1?
-1
Let j be (-22)/(-8)*(-118 - -114). Is -49/5 > j?
True
Let d = 23291 + -1374167/59. Which is bigger: -2/365 or d?
d
Suppose -522765 = 62*z + 20479. Which is smaller: z or -8763?
-8763
Let d = -160975/1359 - -1066/9. Let a = d - 1651/1510. Suppose 0 = m - 0*m + 2. Is a at most m?
False
Let l(n) = -5*n - 77. Let w(c) = c + 19. Let j(y) = -2*l(y) - 9*w(y). Let u be j(11). Let f be 160/24 - (-4)/u. Which is bigger: 5 or f?
f
Suppose 0 = -3*z + 3*p - 195, -p = 2*z - 4*p + 