.14. Let p = b - 0.05. Which is greater: p or -0.2?
p
Let x = -1 - -1.3. Let z = 1.3 - x. Is z bigger than -1/25?
True
Let g = -24 - -37. Let d = -33.051 - -33. Let o = d + -0.949. Which is greater: g or o?
g
Let b be (4/(-15))/(2/6). Let f(l) = -2*l**2 - 2. Suppose 8*n - 5*n = 0. Let a be f(n). Is a equal to b?
False
Let q(n) = n**3 - 4*n**2 - 2*n + 8. Let t be q(4). Let p(b) = b**3 + 3*b**2 - b + 1. Let i be p(t). Which is smaller: -40 or i?
-40
Let s = -40 - -40. Suppose -t + 6 - 2 = s. Let u be ((-5)/(-7) - -1) + -2. Which is smaller: t or u?
u
Let b = -2 - 3. Let t be 25/(-7) - (20/(-35))/1. Is b equal to t?
False
Let c = -26.2 - -17.2. Let f = -39.2 + 48. Let i = f + c. Which is smaller: 8 or i?
i
Suppose q - t - 1344 = 2*t, -1332 = -q - 3*t. Let x = q + -1996. Let k = x + 7244/11. Do 1 and k have the same value?
False
Let b = 1.31 - 1.41. Let d = b - 0. Is -40 bigger than d?
False
Let u = 82.3 + -82. Is u < 4/3?
True
Let o = -8553.8 - -8553. Let k = 3 - 2. Let t = 2 - k. Is t smaller than o?
False
Let c be -38 + (-16)/(0 + -4). Let k be (-4)/c + 225/(-1479). Which is smaller: 1 or k?
k
Suppose 2*j - y - 18 = -3*j, 0 = 5*j + 5*y - 30. Let n be 7/((-16)/j + 2). Which is smaller: -5 or n?
-5
Let x = 1.166 + -1.266. Which is greater: x or -619?
x
Let h = -25/14 - -9/7. Which is bigger: h or -2/11?
-2/11
Let c(m) = m**3 - 3*m**2 + 6. Let o be c(3). Let y be (-16)/o + (-12)/(-18). Let i be (-45)/27 - y/3. Which is smaller: i or -1/12?
i
Let s(c) = c + 2. Let x be s(-7). Let m = -4 - x. Suppose 3*y - 4*y = m. Is -2/9 at least y?
True
Let w = 28.966 - 29. Let c = -0.006 + w. Does c = 0?
False
Let d = -34604/63481 - 2/5771. Let v be (-2 + 4)*3/2. Suppose -x - v*c + 6*c = -11, -4*c = 16. Which is smaller: x or d?
x
Let y be 1/((-1)/(-5) - 0). Which is greater: 6 or y?
6
Let w be (-105)/(-25) + (-4 - 0). Let t = 3 + -6. Let d = 4 + t. Which is bigger: d or w?
d
Suppose 6*q - 7 = 7*q. Let a = -5 + -1. Is q > a?
False
Suppose -l + 48 = 49. Is l at most 10?
True
Let x be (-2 - 418/6)*4/(-40). Let z be (-2 - -1) + (6 - -1). Which is smaller: x or z?
z
Let o be (22/1)/(-2 + 1). Let x be (2/4)/(o/8). Let d be (-4)/(12 + -4)*(0 + 2). Does d = x?
False
Let o be 3 + (36900/(-3357) - -8). Which is greater: o or 0?
o
Let w be ((-84)/56)/(345/(-10)). Let b = -1 + 0. Which is greater: w or b?
w
Let h = 149.83 + -150. Do 9/5 and h have the same value?
False
Let i = 19 + -20. Let k be 17 - 12 - (-2)/i. Is k > 13?
False
Let p = -820.13 - -820. Let x = 3 + -2. Let f be (x/4)/1*1. Which is bigger: p or f?
f
Let q = -98.5 - -105. Let a = 11.5 - q. Is -3 > a?
False
Let s = -3499903/107874 - 1/11986. Let k = 250/9 + s. Is k smaller than -6?
False
Let m(q) = -2*q**3 - 3*q**2 + q + 2. Let p be m(-2). Suppose p*k = -3*x - x + 24, 9 = 3*x. Suppose 5*d + 3*r = 2, 6*r - 12 = k*r. Which is bigger: d or -5/4?
-5/4
Suppose 26 = 5*y - 2*r, 3*r = -y + 5*y - 18. Let l be (-2)/3 + (-8)/y. Let p = -685/4 - -169. Which is bigger: l or p?
l
Suppose 4*x - 32 = -3*j, 5*x = 3*j + 4*x - 22. Do 24 and j have different values?
True
Suppose 6*f - 10*f = -8. Let g be (0/3 - 1)/1. Let r be (0 + g)/(3/(-2)). Which is bigger: f or r?
f
Let t be (-1)/2 + 2 + 3/(-2). Let y = 20534/19 - 1081. Is t at least y?
True
Let y(f) = -f**2 - 3*f - 4. Let d be y(-4). Let v = 11 + d. Let l be (9/30)/(v/8). Do l and 2 have the same value?
False
Let i be 315/366 + (-19)/38. Which is greater: 1 or i?
1
Suppose 2 - 14 = -2*x. Which is smaller: x or 15?
x
Suppose -3*z - 7 = 8. Let h be (15/z)/((-6)/4). Let v = -15 + 18. Is v greater than or equal to h?
True
Suppose 2 = -5*f - d + 8, 2*f - 6 = -4*d. Which is smaller: -3/61 or f?
-3/61
Let f = 8 - 4. Suppose -25 = 3*w + 5*h, -f*h = -w - 3*w + 20. Let v = 365/1106 - 7/158. Which is greater: v or w?
v
Let f = -34.25 + 18. Let b = -0.25 - f. Which is greater: b or 2?
b
Let n(g) = g**2 - 2*g + 9. Suppose h = -6*h + 14. Let a be n(h). Are a and 6 non-equal?
True
Let u = 62 - 34. Let q = u + -20. Suppose 0*b + 2*f - q = -3*b, -b + 2*f = 0. Is b less than or equal to 2?
True
Let d be -128 + (-13)/(-13)*11. Is d equal to -116?
False
Let i be (-25)/(-10)*5/(-200)*-6. Let r be 4/4 + (1 - 3). Is i equal to r?
False
Let l = -13670182/273 + 50074. Let x = l - -2/91. Let i be (-2 - 22/(-10))/(2/10). Which is greater: i or x?
i
Let n(s) = -10*s**2 + 24*s - 10. Let y be n(4). Is -75 less than y?
True
Let v = -9 + -17. Let r = 267 - 239.9. Let p = r + v. Is -1 greater than or equal to p?
False
Let x = 46.18 - 5.18. Is 5 <= x?
True
Let j = -10.04 + -6.06. Let k = 39 + -23. Let c = j + k. Which is bigger: c or -0.3?
c
Let u be (-15)/20 - 22/(-8). Let z = u - -5. Suppose -9*x + z*x - 26 = 0. Which is bigger: -12 or x?
-12
Let c be (-72)/15*230/8. Does -138 = c?
True
Let f be 12/(-102) + 4*371/187. Which is smaller: 8 or f?
f
Let y be (1547/35)/((-18)/(-5)). Let v = y - 23/2. Is 0 greater than or equal to v?
False
Let s be ((-12)/(-210))/(115/25 + -4). Is s >= 1?
False
Let a = 12/31 - 79/124. Which is bigger: a or 127?
127
Let s be 57 - 53 - 517/130. Which is greater: s or 0?
s
Let a = -27 + 12. Let l(k) = k**2 + 30*k + 218. Let v be l(-17). Is a < v?
True
Let t = 56601/10 - 5668. Which is greater: t or -0.1?
-0.1
Let o = 32457/5 - 6401. Which is smaller: 89 or o?
89
Let q = 44/39 - 6/13. Let a be (-304)/14 + (-8)/28. Let w = a - -24. Is q at most as big as w?
True
Let g be 1*-12*10/(-2). Suppose 2*b + 2*b + g = 5*y, 5*y = 3*b + 60. Suppose 3*v = -2*f - y, -v = -f - 3*f - 10. Which is bigger: v or -3?
v
Let m = -11 + 18. Suppose 3*c + 10 = m. Let h be (c/(-12))/(3/27). Which is bigger: 0.3 or h?
h
Let v be ((-40)/25)/((9/14)/(-1)). Let c = 17/9 - v. Are c and -1 unequal?
True
Let r be 40788/(-10200) - (-1 - 3). Which is greater: -1 or r?
r
Let w be 1/2*(-372)/45. Let u = -24/5 - w. Which is smaller: u or 1?
u
Let n be (7/(-35))/((-15)/25). Suppose 6*g + 5 = g. Which is smaller: g or n?
g
Suppose 12*c - 8*c = 24. Let g be (c/4)/(3/12). Let u be (2/(-6))/(1/g). Which is smaller: -5/8 or u?
u
Let j be 1*-6*((-2)/12 + 0). Is j <= 2/1947?
False
Let m be 98/42 + (-20)/6. Let c = -497/22425 + -2/575. Which is greater: c or m?
c
Let t(r) = -r**2 + 13*r + 12. Let l be t(14). Let p be (-213)/5 + (l - (-48)/30). Which is smaller: -44 or p?
-44
Let m = -286 - -296. Which is greater: 98/9 or m?
98/9
Let s be (5/((-25)/(-2)))/(182/2310). Let a be (-134)/(-26) + 10/(-65). Which is bigger: a or s?
s
Let w = -41 + 115. Let y = 77.7 - w. Which is smaller: -0.1 or y?
-0.1
Let n be (4 + (-6)/2)/1. Let u be ((-6)/9)/((-1)/9). Let c be (u/4)/(22 - -2). Is n at most c?
False
Let f be -3*(-10 - -11)/1. Which is greater: f or 3?
3
Suppose 4*k + 10 = 2*q, 0*q + 3*k = 2*q - 13. Let l be ((-8)/48)/(q/(-3)). Let u(p) = -p**2 - 7*p + 1. Let z be u(-7). Which is greater: z or l?
z
Let t = 0.5 + -0.3. Let m = 17.4 + -17.36. Is t > m?
True
Let l = 290 - 282. Suppose -3*y + 9 = -3*r, -3*r - 11 = 2*r - 4*y. Are r and l non-equal?
True
Let d = -3063/16 - -191. Do 1 and d have the same value?
False
Suppose -10 = -5*g, 5*y - g = -0*g + 143. Suppose 0 = -j + 3*w + 15, -2*j + w + y = 9. Is j not equal to 9?
False
Let p(q) = q**2 + q - 3. Let y be p(3). Let v be ((-4)/(-6))/(1/y). Let d be v/(-28) + 2/(-7). Is -3 smaller than d?
True
Let n = 56 + -58. Let m be (n/6)/(2/(-18)*3). Which is greater: -3/23 or m?
m
Let t(n) = 2*n**3 - 4*n**2 + 14*n - 32. Let f be t(3). Which is greater: 6 or f?
f
Let h = 12268 + -61552/5. Is h smaller than -43?
False
Let a be (-4)/10 - 88/(-20). Suppose 5*m - 8*m = -15. Which is bigger: m or a?
m
Suppose z - 2241 = -2*z. Let s be z/81 - 2/9. Let p = 2 - 1. Is s != p?
True
Suppose -i - 4*i + 25 = 4*w, 27 = 2*i + 5*w. Which is smaller: 1/60 or i?
1/60
Let t(u) = 13*u**2 - 4*u + 7. Let x(g) = g**2 - g + 1. Let q(i) = t(i) - 6*x(i). Let l be q(-1). Let n be (-8)/42*l/4. Which is greater: n or 7?
7
Let v = 8 - -16. Let h = v - 26. Are -2 and h non-equal?
False
Let w(c) = -20*c + 119. Let g be w(6). Are g and 358 unequal?
True
Let u = 1/12 + -3/4. Let p(m) = -m**3 + 46 - 59 + 36 + 8*m**2 - 3*m. Let n be p(8). Is u != n?
True
Let v = 6 - 2. Suppose v*c = 4*p - 12, -3*p - 1 = 5*c - 18. Let z = -27 + 26.99. Is c greater than or equal to z?
True
Suppose -3*t = -j + 14, -t + 2 = 4*j - 15. Suppose 2*i - 