 p(b) = -b - 7. Let i be p(-7). Let z = -64963 + 2013851/31. Do i and z have the same value?
False
Suppose 3*t + 3*t = 108. Suppose -6*w = -5*w - 10. Suppose j - w*j = -t. Is -1/4 at least j?
False
Suppose -2*q + 3 = -3*n - 3, 5*q = 3*n + 6. Which is smaller: 31/215 or q?
q
Let g be 4490/312*(-3)/((-120)/82). Let i = g - 1/624. Let s = -12 + 41. Which is greater: i or s?
i
Let a = -232 + 436. Suppose -5*l + l + 3*b = a, 0 = 3*l - 2*b + 153. Is -51 bigger than l?
False
Let u(m) = 26*m + 1428. Let t be u(-29). Which is bigger: t or -2?
t
Let l be ((-60)/700)/((-88)/14). Suppose 13 - 1 = 12*v. Which is smaller: l or v?
l
Let b = -4210 + 4190. Which is greater: b or -526/27?
-526/27
Let u be ((-18)/8)/(8/1184). Which is smaller: u or -334?
-334
Let l = -1.1901 - 0.0099. Is -2 <= l?
True
Let d be (-29 + (14 - -15))/(-3). Let l be -1 + 144/62 - 1. Are d and l non-equal?
True
Let p = -294.46 - -5.46. Let z = p - -288.857. Let f = z + 0.043. Which is bigger: -4/25 or f?
f
Let f(h) = -h**3 - h**2 - 6*h - 5. Suppose -5*g + 4*s = -0*s + 5, 1 = -g + s. Let c be f(g). Let y be (c/(-24))/((-14)/63). Is y < -1?
False
Let k(b) = b**3 - 6*b**2 + 8*b - 4. Let h be 1*(-5)/2*-2. Let o be k(h). Let c = 50 + -52. Is c less than o?
True
Let g be (-68)/(-12)*3 - -3. Let y = g - 48. Let x = -4373 - -4344. Which is smaller: x or y?
x
Let w be 14/12 - 1 - 244001/(-186). Suppose -25*o - 888 - w = 0. Does o = -88?
True
Let c(t) = -29*t - 40. Let w be c(-3). Suppose -w + 211 = d - 2*a, -2*d - a = -353. Is d at least 174?
True
Let n(b) = -36*b + 1777. Let l be n(41). Is l greater than or equal to 298?
True
Let o(t) = 31*t - 1338. Let h be o(-41). Is h at least as big as -2609?
True
Let w = -4110/5321 - 16/313. Which is smaller: 14 or w?
w
Suppose -3*d - 7 = 2*i, -3*d = i - 1236 + 1238. Which is bigger: 30/41 or d?
d
Let s = -293 - -148. Let j = -97 - s. Let h be 2/8 - (-60)/j. Is 2 < h?
False
Let w = -15/298 + 70969/894. Let h = w - 79. Is -2/31 >= h?
False
Let b be 10/15 - (-7613)/(-129). Let r = b - -175/3. Let d = 1639.9 + -1640. Does d = r?
False
Suppose 29*i + 4545 = -5*q + 24*i, 4*i + 921 = -q. Which is bigger: -0.1 or q?
-0.1
Let a = 1559.22 + -1529. Let g = -30 + a. Let u = g - 6.22. Which is smaller: -2/11 or u?
u
Let y be ((-6)/8)/((-1)/(-4)). Let i = 11015 + -10999. Which is smaller: y or i?
y
Let i = 8176 - 8271. Is i greater than 0.09?
False
Suppose -2*p + 5*p - 4*l - 557 = 0, -p + 164 = 3*l. Suppose 0 = 3*j + j - 12, -4*c - 5*j = -p. Let x = c + -40. Which is smaller: 10 or x?
x
Let o = -1906.8 + 1904.3. Let k = 5 + -5.08. Is k greater than or equal to o?
True
Let n = 215 + -214. Suppose 4*w + 4*k + n - 9 = 0, -5 = -3*w - 2*k. Which is greater: w or -2/213?
w
Let p be -1 + 5 + (-4)/(-4). Let l be (12 - 7) + (1 - 1381/5). Let d = l - -9607/35. Is p not equal to d?
True
Let r(h) = 23*h - 29. Let a be r(2). Let y(l) = 17*l**2 + 2 - 2 - l**3. Let t be y(a). Which is bigger: -2/3 or t?
t
Let x(g) = g**3 + 7*g**2 + 13*g + 4. Let w be x(-7). Let s = 133 + w. Which is smaller: 47 or s?
s
Let j = -2389 - -2391. Which is smaller: j or 58/27?
j
Suppose -20*q + 0*q + 2240 = 0. Suppose l = -3*l + 444. Is l greater than q?
False
Let r(w) be the third derivative of w**5/30 - w**4/12 + 19*w**3/6 + 126*w**2. Let c be r(6). Which is greater: c or 76?
c
Suppose -w + 5 = -p - 1, 5*p + 5 = 0. Suppose -5*c - 16 + 3 = -4*n, c + w = 2*n. Let r(v) = v**2 - 8*v + 11. Let z be r(6). Is c smaller than z?
False
Suppose o = 2*o - 3. Suppose 3*l = 2 + 7. Suppose -22 = -l*q - 4. Which is smaller: q or o?
o
Suppose -2*t - 2*d + 14 = 0, 0 = 2*d + d + 3. Let b be (t/(-1340))/(6/(-10)). Let w = b + 392/1005. Which is greater: 3/7 or w?
3/7
Let y = 85 - 80. Let n(j) = j + 7. Let b be n(9). Suppose 3*l = d - 6*d - b, d + y = 0. Is 11/3 greater than or equal to l?
True
Let g = 48 - 42. Suppose g*b - 325 - 143 = 0. Suppose -2 = 2*n, 5*w + 6*n - b = 4*n. Is w > 16?
False
Let p(x) = x**2 + 3*x. Let s = 0 + -2. Let c be p(s). Let t be 1 + c/4*2. Which is smaller: t or -8?
-8
Let a = -17883 - -17885. Which is smaller: a or -1211.9?
-1211.9
Let h be 4/(((-1)/(-6))/((-17)/68)) + 5. Let v be ((-2)/22)/(28/(-16)). Which is bigger: v or h?
v
Let d = -49260/1781 - -164/137. Which is smaller: d or -27?
-27
Let m = -1744 + 1879. Is 134 not equal to m?
True
Suppose 0 = -102*c - 96*c + 198. Is c > 15/298?
True
Let d = -2.094 - -2.2. Let k = d - 0.006. Let m be (-1)/(23/(-25)) + -1. Are m and k equal?
False
Let v be 28/4 + -3 - 22*28. Let k be v/1243 + 78/143. Is -1 bigger than k?
False
Let n(z) = 3*z**2 - 1. Let p be n(1). Suppose -p*d = -d - 5. Let w = 620939/5 - 124184. Is d >= w?
True
Suppose 7*r = 9*r - 10. Suppose 2*c + 3 = r*w, -3*c = 5*w + 5 + 12. Let q be -1*(10/(-2) - (c + 2)). Are q and 1/3 unequal?
True
Let q = -32 - -34. Suppose -q*d - 4*m = 3*d, 5*m = 0. Let o be 27/(-84) - ((-1)/4)/1. Do o and d have different values?
True
Let c = -0.04 - -34.04. Let i = c + -39. Let j = -5.2 - i. Which is bigger: j or -2/5?
j
Let o(q) = 129*q**2 + 386*q - 1. Let v be o(-3). Which is bigger: v or -353/6?
v
Let g be 5827*(0 - (-1)/(-25)). Suppose 124*r - 204*r = 18640. Let t = r - g. Which is greater: t or 0?
t
Let p = -2/24469 + 8368408/122345. Let m = p - 88. Which is smaller: m or -19?
m
Let a be (1/20)/(33/(-44)). Let o(f) = f**2 - 8*f - 19. Let r be (0 + -3)*-1*(-150)/(-45). Let i be o(r). Which is smaller: i or a?
a
Suppose 217*o - 114*o = 121*o - 198. Which is greater: o or -8/27?
o
Let j = 604 + -603.9629. Let f = 0.0629 + j. Is f <= -1/56?
False
Let f be ((-8)/56*-108)/((-2)/(-7)). Let d = -52 + f. Which is smaller: d or 7/5?
7/5
Let x = 324 - 534. Let h = -122 - x. Is 88 > h?
False
Let r(o) = -14*o + 420. Let k be r(34). Which is greater: -62 or k?
k
Suppose 3*h - x = -2*h - 362, -64 = h + 4*x. Let t(z) = 17*z - 3050. Let y be t(175). Which is bigger: y or h?
h
Let z(q) = -q**3 + 6*q**2 - 6*q. Let n be z(4). Let p be n/44 - 4/(-66). Let b = -170/429 + p. Is 1 equal to b?
False
Suppose 1171 = -2*x + 7*x - 2*w - 109, 0 = w. Which is smaller: x or 21?
21
Let g be 684/90 + 3/10*-2. Let a(c) = -5*c**2 + 19*c - 19. Let t(w) = -6*w**2 + 19*w - 19. Let d(q) = g*a(q) - 6*t(q). Let o be d(-21). Is 24 equal to o?
False
Let m = 0.062 - 0.384. Is m smaller than 1/2?
True
Let u be (27/(-378))/((-7)/(-14)). Is u at most as big as -8?
False
Let n(q) = -17*q**3 - 18*q**2 - 2*q + 38. Let x(t) = -31*t**3 - 36*t**2 - 4*t + 76. Let g(c) = 11*n(c) - 6*x(c). Let w be g(18). Which is smaller: -25/16 or w?
w
Let o = -347 + 347.492. Let p = o + -0.392. Which is smaller: p or 4/33?
p
Let p = -2/119 - 2896/11781. Which is smaller: p or 0?
p
Let y be (81/(-87) - -2) + -1. Let g(z) = z**3 + 13*z**2 + 27*z + 18. Let d be g(-10). Suppose d*t - 2 = 46*t. Which is greater: y or t?
t
Let i = 59.18 + -59.8. Which is bigger: 0.55 or i?
0.55
Suppose 0 = -5*m - 21 - 29. Let r be (-2)/(-6) - (m + (-1580)/(-150)). Is r greater than or equal to -2/5?
True
Suppose -108*k - 24 = -112*k. Let q be ((-21)/3 + k)*-1. Is 14 greater than q?
True
Let b = -35 - -35.94. Let f = b + -0.16. Let r = 0.38 - f. Which is smaller: 0.2 or r?
r
Let r = 180384593/767 - 235182. Let w be 0 - -1 - (0 - 0). Is r > w?
False
Let i(f) = 5*f**2 - 120*f - 24. Let d be i(17). Is d less than -615?
True
Suppose -4*u - 20 = -9*u - 5*j, -5*j + 25 = 0. Let x be (-32)/224 + 6/((-4662)/(-69)). Which is greater: x or u?
x
Suppose 4*b + 4*l = 9*l + 7, 5*b + 3*l = 18. Suppose 3*t = 5*r - 22, 12 = b*r - 4*t - 10. Suppose 0 = -g + h - 3*h + r, -4*h - 32 = -4*g. Is 5 at most g?
True
Suppose -1564 + 220 = 8*r. Let c = r + 176. Does c = 2/7?
False
Let c = 2.015 - 4.015. Let o = -29 + 26.8. Let j = -4 - o. Which is greater: c or j?
j
Let l = -4113 + 4137. Does -41 = l?
False
Let d be (-6)/(5*(-8)/20). Suppose u + d*u = -h, 0 = 3*h - 3*u. Is -0.08 at most h?
True
Suppose o = 20*o - 8227. Suppose -445 = -4*y - o. Suppose -5*l - 3*n = -13, 5*l - 21 = -2*n + n. Is y equal to l?
False
Suppose 18*x + 4495 = -6377. Which is smaller: -605 or x?
-605
Suppose 5*d + 76*d = 121 + 446. Is -556 at most d?
True
Let i = 67301 - 28333755/421. Is i at least as big as -1?
True
Let q = 50 - 27. Let p(c) = -c**2 + 31*c - 36. Let g be p(q). Is g smaller than 147?
False
Let y(z) = 145*z - 20. Let m be y(19). Let