027 = -5*p. Do m and 671/2 have different values?
True
Suppose -15*g = 11*g - 47*g + 105. Suppose 0 = -4*u - 0*u + 116. Suppose -u + 11 = -3*l. Which is greater: g or l?
l
Suppose -2*d + 3*s = -s - 120, 2*d - 2*s - 112 = 0. Which is greater: d or 47?
d
Let b be (-4)/30*6 + (-112)/(-40). Suppose b*f - 5*f - 27 = 0. Which is greater: -8 or f?
-8
Suppose g - 9 = -2*y, -2*g + 5*g = 5*y - 17. Which is smaller: -12/37 or g?
-12/37
Let x = -63 - -92. Let h = -14 - -15. Is x less than h?
False
Suppose -4*x - 6 = -5*x. Let l be (4/6)/1 + 29/x. Is l >= 7?
False
Let f = 2.7 - 4. Let c = f - -1.5. Let j = -226 - -216. Which is smaller: c or j?
j
Let r = -3 - -4. Suppose 8*o = -10 - 6. Let g = r + o. Which is bigger: -2/5 or g?
-2/5
Let q(p) = 0*p**3 + p - 6*p**3 - 4*p**2 - 2 + 7*p**3 - 2*p. Let h be q(4). Let g be -2*(-15)/(-18) + 2. Which is bigger: h or g?
g
Let g = -195 - -162. Is 6 equal to g?
False
Let s = -96 - -112. Let t be (-1 - 1 - -1)*-17. Is t greater than s?
True
Let z = 71 + -68. Are 0.4 and z nonequal?
True
Let s be (-80)/(-15)*(-3)/(-4). Is s at least as big as 37/8?
False
Let m be (-4 - (-1170)/299) + 2367/(-23). Is 1/2 >= m?
True
Let s be (3/1)/6*2 - 266. Let g = 1851/7 + s. Which is greater: -2/13 or g?
-2/13
Suppose -18*n + 714 = 3*h - 15*n, 0 = 2*n + 2. Are 239 and h equal?
True
Let g(h) = -5*h + 119. Let q be g(23). Which is smaller: 30/7 or q?
q
Let k = 0.26 + -0.16. Let d = 0.3 + -1.6. Let m = d - -1.4. Is k at least as big as m?
True
Suppose -350 = 232*u - 222*u. Is -35 greater than or equal to u?
True
Let f = -41 + 40.98. Let s = -85 - -83. Which is smaller: f or s?
s
Let x(f) = -f**2 - 2*f + 8. Let t = 12 + -16. Let l be x(t). Let s = -11/7 + 37/28. Which is smaller: s or l?
s
Let a be (-2)/2*(-20)/(-4). Let v(d) = 2*d - 6 - 3*d + 0*d. Let l be v(a). Are 1/10 and l nonequal?
True
Suppose 5*p - 10 = -5*b, -5*b - 81*p - 4 = -83*p. Which is smaller: -3/158 or b?
-3/158
Let t = -4062/5 - -812. Is t <= -11?
False
Let m = -3493 - -5636. Let v = -32167/15 + m. Is v greater than -2?
True
Let l = -8/79 + 411/158. Which is bigger: l or 5?
5
Let y(q) = -q + 1. Let n(h) = h**2 + 8*h - 4. Let c(p) = -n(p) - 3*y(p). Let v be c(-4). Suppose -b - v = -4. Which is greater: b or -5/3?
b
Let r = 8/79 + -530/553. Which is smaller: r or 0?
r
Suppose 0 = 5*u + 4*k - 195, 2*k = -5*u + 3*u + 76. Suppose -l = m + 19, 2*l - 4*m = -5*m - u. Is l at most -25?
False
Let c = -530.65 - -531. Is 0 at least c?
False
Let z = -1 - -5.8. Let o = -4 + z. Let n = -0.002 + 0.002. Which is greater: n or o?
o
Suppose -3*c + 58 - 40 = 0. Let f be (1/381)/(c/36). Is 0 greater than f?
False
Suppose -5 = 5*s + 4*v - 87, -3*s = 3*v - 51. Suppose 14 = 3*x + s. Is x at most as big as -23?
False
Let c = 364 + -1759/5. Which is bigger: c or -0.1?
c
Let b = 8 - 5. Suppose -5*h + i + 5 = 0, -20 - 11 = -b*h - 5*i. Are 7 and h equal?
False
Let l = -89 - -80. Let g = 3 - 11. Let m = l - g. Is m greater than -5/4?
True
Let p = 36 - 31. Suppose 2*n = -p*m - 0*n + 4, -5*m - n = -2. Does 2/7 = m?
False
Let g(i) = 8*i + 94. Let m be g(-13). Which is smaller: m or -6?
m
Let y = -332 + 344. Suppose -p + 9 = -1. Which is smaller: p or y?
p
Suppose -8*b = -5*b - 3. Let f be (-9 + b)/((-112)/(-40)). Let z be 1 - 3 - (-2)/(-2). Do f and z have different values?
True
Let r(t) = -t + 12. Let h be r(7). Suppose 3*k + 6 = -i + 4*i, h*i - k = 14. Let c be (6 - 6)/(1 - i). Is 1 less than c?
False
Let z = 45 - 41. Suppose -5*p = -z*f - 0*p - 55, -f + 2*p - 16 = 0. Let j be ((-4)/2)/((-6)/(-33)). Is j greater than f?
False
Let h be -5 - (1 + (11 - -57)). Which is bigger: -72 or h?
-72
Let r be 187/(-22)*2/(-1). Suppose -x = 5*k - 5*x + r, 2*x - 5 = -k. Let d be 5/5 + k + -2. Which is bigger: d or 0?
0
Suppose 4*u + u + 1669 = j, 0 = 3*u + j + 995. Is -333 bigger than u?
False
Let s be 3*12 + -2 + 1. Let m(o) = 191*o - 728. Let q be m(4). Which is greater: s or q?
q
Suppose -2*n + 56 = -4*m, -2*n + 5 = -3*m - 52. Let r be 27/(-45) - (-118)/n. Suppose 12 = 3*v - 3*t + 2*t, 0 = -v - 4*t + 4. Is v bigger than r?
True
Suppose -2*l = 3*l - 20. Let y(j) = 11*j + 3. Let v be y(l). Let p be 2/(-7) + v/(-7). Is -17/3 greater than or equal to p?
True
Suppose 4*y + 0*q = 2*q + 6, -y = q. Let r = -163586/45 + 30862/9. Let n = r - -206. Is y bigger than n?
True
Let u = 11 + -16. Let p be -2 - (2 + u) - 1. Are 2 and p equal?
False
Let f = -27 - -36. Let j be ((-20)/16)/(f/(-8)). Which is smaller: 1 or j?
1
Let l(w) = w**3 - 14*w**2 + 13*w - 2. Let i be l(13). Let t be ((-20)/25)/(i/(-20)). Which is greater: t or -6?
-6
Let k(m) = -m**2 + 19*m + 251. Let o be k(-9). Is -1/315 at least o?
True
Let y(l) = -3*l**2 - 6*l - 1. Let u(s) = -s**2 - 2*s. Let c(g) = 5*u(g) - 2*y(g). Suppose -2 = 3*p + 4. Let m be c(p). Which is smaller: 6/7 or m?
6/7
Let j(d) = 4*d - 13. Let c be j(5). Suppose 0 = 10*n - c*n + 15. Is n < -1/3?
True
Suppose 3*h - 53 = -l, -3*l + 4*h + 284 = 2*l. Let g = -56 + l. Which is smaller: g or -8/7?
-8/7
Let w = 1323 - 1148. Is w at most 175?
True
Suppose p + 2*k = 7, 1 = -2*p - p + 5*k. Suppose -2*s = n + 2 - 7, -p*s - 5*n = -18. Let c = 2183 - 106968/49. Are s and c nonequal?
True
Let z = 3 - 5. Let x = z + 3. Let r = 4.269 - 4.469. Which is smaller: r or x?
r
Let b be (2 - -3)/(7/(-2)). Suppose -3*t + 4*t = 4. Suppose 14 = -4*v + 2*m, -4*v = t*m - 20 + 4. Which is smaller: b or v?
b
Suppose 157*i = 141*i - 608. Is -192/5 < i?
True
Suppose -14 = -w + 3*c, w + c + 11 = -c. Is w less than -4/115?
True
Suppose -5*u = -2*k + 5*k - 29, -u = k - 7. Suppose -u*o = o + 4*p + 96, 37 = -2*o - 3*p. Is -20 >= o?
True
Suppose -878 - 3098 = 8*w. Which is greater: w or -2?
-2
Let g(d) = d**2 - 14*d + 36. Let o be g(12). Suppose -11 = -o*z + 25. Suppose 0 = 6*c - 2*c. Is c at most z?
True
Let o = -10 + 13. Let v be (o/(-50))/(3/8). Let k = -78/175 - v. Which is smaller: k or -9?
-9
Let o = -6.16 - -10.16. Let t = 41 + -42.9. Let m = -2 - t. Is o < m?
False
Let x = 2 - 2. Let u(z) = -z**2 - 10*z - 8. Let r be u(-7). Let a be (0 + -6)*1/r. Is x smaller than a?
False
Let y be -2 + 5 - (0 + -286 + 2). Let i = 18082/63 - y. Which is bigger: 2/3 or i?
2/3
Suppose 2*s - 10*s = 24. Let n be ((-10)/s)/5*(-5 + 8). Which is bigger: n or -2?
n
Let o = -0.155 - 3.285. Let a = -24.3 + 21. Let s = a - o. Are 1/2 and s equal?
False
Let b = -11 - -8.3. Let u = -5.3 + b. Let a = u + 7.98. Is a != -2?
True
Let n(h) = h**2 + 4*h + 3. Let z be n(-3). Let c be (-12)/(-5 - 1) + (-415)/182. Let k = c - -5/14. Do k and z have different values?
True
Let d = -2.9 + 3. Let i be 11 - 1 - 16/(-2672)*-1672. Is d bigger than i?
True
Let o(n) = 2 - 2*n**2 + 9 + 3*n - 2. Let z be o(-2). Is -6 greater than z?
False
Let g = 21 - 20. Let j be 3*51/27*-1. Let c = j + 19/3. Which is greater: g or c?
g
Let g be 753/(-126) + -2 + 6 + 2. Are -7/5 and g nonequal?
True
Let g(r) = 6*r**2 - 60*r - 9. Let h be g(10). Which is bigger: -5.4 or h?
-5.4
Let h(m) = -7*m - 23. Let z be h(-3). Suppose 3*t - 2*k = -5, t = -3*t - 5*k - 22. Let r be (-2)/(t + (-18)/(-4)). Which is greater: z or r?
r
Let h be (-77739)/(-212) + (-80)/(-64). Let z = h + -368. Are z and 1 non-equal?
True
Suppose 3*l + l + 2 = g, 2*l - 80 = -4*g. Suppose 2*i - g = -4*i. Which is greater: i or 6?
6
Let j = -51 + 50. Which is bigger: -1/59 or j?
-1/59
Let w be (6/12*-23)/(2 + -3). Let v = -1 + 14. Are v and w nonequal?
True
Let h = 435 + -271. Which is smaller: h or 165?
h
Let s = 549 + -548. Which is greater: -2 or s?
s
Let q(r) = -3*r + 41. Let n = 86 + -94. Let p be q(n). Is 65 less than p?
False
Let o = -21 - -39. Let y = 14 - 14. Is o > y?
True
Let t = 1.17 + 1.73. Which is smaller: 2/13 or t?
2/13
Suppose 0 = 2*y - 2 - 2. Let z = 91 - 86. Suppose -t = -6*t - 5*m + z, 0 = m - 1. Which is greater: y or t?
y
Let i = -1949/15 - -130. Let k = 3/5 + i. Let r = -1 + 0. Is r <= k?
True
Let f = -8 + 4. Suppose -3*l = -l - 186. Let u = -96 + l. Is u not equal to f?
True
Let x = 195 + -257. Which is smaller: -34 or x?
x
Let i = -1456.22 - -1459. Is -6 at least as big as i?
False
Let g = -29 + 29. Is 3/86 <= g?
False
Let g = 2.17 + -1.17. Is 11.1 greater than or equal to g?
True
Let u(r) = r**3 + 3*r**2 - 6*r - 6. Let a be u(-4). Suppose -26*j + 24*j = 3*w - 1, j = -1. Are a and w unequal?
True
Le