) = g**2 - 8*g + 7. Let m be p(6). Let a = m + s. Is a < -5?
False
Suppose z = 2*p - 10, 2*z - 16 = -2*p - 3*p. Let s be z/((-2)/1)*(12 + -13). Do s and -15/19 have the same value?
False
Let v = 0.56 - 0.74. Which is smaller: v or 2/3?
v
Let n(h) = -h**2 - 6*h - 4. Let u be n(-4). Let g = u - 5. Let f(r) = -r**2 + 3*r - 2. Let p be f(2). Is p greater than g?
True
Suppose -4*h + 323 = 299. Is 50/11 at least h?
False
Let d = -397/18 + 368867/16722. Is d less than 0?
False
Let c = -422 + 423. Is 22/17 < c?
False
Suppose 0 = 24*j - 33 + 9. Is -12.9 at least j?
False
Let x be (-826)/(-10) + 6/15. Let c = x + -59. Let u = 20 - c. Is -1 at least as big as u?
True
Suppose 229 - 109 = -10*d. Which is bigger: 1/3 or d?
1/3
Let a be (-6)/(-70 + (0 - 1)). Suppose 7 = 24*m + 16*m + 47. Which is smaller: a or m?
m
Let b be (1/(-3))/(-4 + 1240/312). Suppose -14 = -i - 2. Let l = i - b. Which is greater: l or -3/5?
-3/5
Suppose 0 = 5*d - 2*b - 10, 5*d + 4*b = b - 15. Let m = 20382096/19 + -1073063. Let r = m + 321. Is r at least d?
False
Let w = 4.11 - 4.01. Is w < 6?
True
Let a be -2 - 2 - 10*(-3 + 47). Which is bigger: a or -443?
-443
Let n be -2*(-4 + 6 + 3254/(-1628)). Is -1 <= n?
True
Let h be (-46)/161 - (-10)/(-28)*86. Does h = -29?
False
Let u(j) = -j**2 + 22*j - 84. Let o be u(5). Is o equal to 1?
True
Let i = -28 + -28. Let s = 53 + i. Which is greater: s or -4?
s
Let y be (1 + -3)*(-1)/(-2). Let v = 103 + -153. Let j be (5/v)/((-2)/(-28)). Which is smaller: y or j?
j
Let b = -32 + 32. Let q = 9.66 + -10. Let w = 0.56 - q. Is w equal to b?
False
Let p = 4.693 + 0.007. Is 0 > p?
False
Let s = 45 + -44.75. Let f = -0.05 + s. Let n = 43 - 171/4. Which is greater: n or f?
n
Let c = -880 + 878. Is c at least as big as 84?
False
Let f be 7 - 4 - 468/15. Let d = f - -353/15. Do d and -6 have the same value?
False
Let k = 14 - 14. Suppose -h + 6*h + 110 = k. Let y be (-4)/h + (-2)/11. Is y at least as big as 0?
True
Let z be (1/(-2))/(1/(-2)). Suppose d - 27 = 3*w - 20, 2*d = 4*w + 12. Is z greater than w?
True
Suppose -5*h + 23 = -w, -3*w + 267 - 261 = 0. Is h at least -156?
True
Let y = 557 - 1003. Is y != -445?
True
Suppose 0*y = 3*y - 5*o - 16, -2*o = -2*y + 8. Suppose -2*g = -h + 15, 1 - 10 = y*g + 5*h. Which is smaller: g or -9?
-9
Let a = 7.1 - -4.9. Let u = 12.05 - a. Which is smaller: u or 1?
u
Suppose 0 = -2*h + 5*v + 26, -8 = 4*h + 5*v - 0. Let a be (2/(-3))/(-1 + h). Which is greater: a or 6?
6
Let a(t) = t**2 - 50*t + 54. Let l be a(51). Which is greater: l or 99?
l
Let d = -3 + 2.9. Let h = 0.355 + 0.025. Let v = -1.62 - h. Which is greater: d or v?
d
Suppose -4*m - i + 6 = 2*i, -m = -5*i - 13. Suppose -4*h - h = -w + 230, m*h + 5*w = -166. Is h less than -46?
True
Suppose 12*r - 15*r - 756 = 0. Let g be (6/(-14) - (-676)/r) + 3. Is g > 3?
False
Let s(q) = -q. Let h(f) = 4*f**3 - 4*f**2 - 4*f + 2. Let a(j) = h(j) - 5*s(j). Let r be a(3). Let y = 540/7 - r. Is y less than -1?
False
Let x be (-4 - -2)*-9*(-6)/72. Let q = -613/6 - -100. Let k = x - q. Which is greater: -3/10 or k?
k
Let q = 2.77 + -2.77. Is q < -229?
False
Suppose 5 + 169 = 4*c + 2*z, -c = 5*z - 66. Let f = 41 - c. Is 1/14 less than f?
False
Let b = -1341 - -1325.4. Is b greater than 2/5?
False
Let n = 0.2243 + -0.0243. Is n <= -49?
False
Let i = -17 - -41. Let u = i + 4. Let y = 27 - u. Are 0.1 and y equal?
False
Suppose -4*y + 203 = -5*c - 333, -4*y + 328 = -3*c. Which is smaller: c or -103?
c
Let h = -178 + 147. Let o = 32 + h. Is o != -5?
True
Let f = 29.4 - 33. Let a = -2.6 - f. Let q = -0.2 - -0.3. Which is bigger: a or q?
a
Let q = 14 + -19. Let m(o) = -8*o - 26. Let g be m(q). Is 13 smaller than g?
True
Let v be (2 + -4)/(3/9*-2). Let t(m) = m**2 + 2*m - 1. Let g be t(1). Which is greater: v or g?
v
Suppose 0 = -11*q - 31 - 2. Which is greater: q or 3?
3
Suppose -5932 = -14*v + 32. Is -2/3 at least as big as v?
False
Let i = 29 + -24. Suppose p - 5*g - 16 = 0, -2*g = -i*p + 8 + 3. Are -2/203 and p nonequal?
True
Suppose -z + 3*k - 99 = 0, -8*k + 242 = -2*z - 13*k. Which is bigger: z or -108?
-108
Let r = 301.8 - 302. Is r < -84?
False
Let p = 520 - 519. Do -5/21 and p have the same value?
False
Let x = -1 - -3. Let p be (-107762)/(-12792) - x/(-8). Let c = 4/533 - p. Is c at least as big as -8?
False
Suppose -1 = 3*r - 10. Suppose -r*y - 12 = -7*y, -3*h = 4*y + 69. Let z be (-2 - h - 4)*1. Which is smaller: z or 20?
20
Let d(l) be the first derivative of -l**4/4 + 2*l**3 + l**2/2 - 6*l + 32. Let k be d(6). Let u be 6/(-10) - (3 - 4). Which is smaller: k or u?
k
Let y be 0*(3 - 20/8). Let h = -1.4 + 1.33. Is y smaller than h?
False
Let p be 501 - (-3*(-8)/6 - 4). Suppose 16*x = -283 - p. Which is smaller: x or -48?
x
Suppose -419 + 1877 = -6*v. Is -242 > v?
True
Let c = -28 + 33. Suppose -8 = -3*t - 0*r - r, -c*r = -2*t - 6. Let v be ((-4)/20)/(t/(-18)). Which is smaller: 2 or v?
v
Let d(a) = -2*a**2 + 36*a - 41. Let f be d(22). Which is smaller: f or -219?
-219
Let p be (-926)/14 - ((-330)/(-42) + -8). Is p bigger than -63?
False
Let a be 6/(-15) + 85/25. Let m be 171320/78575 + 4/10. Let u = -4/449 + m. Is a < u?
False
Let n(t) = -t**3 - 3*t**2 + 2*t - 5. Let m be n(-4). Suppose -m*y = 2*v + 2*y + 12, 0 = -4*y - 8. Which is smaller: v or 0?
v
Let r(h) = -h**2 - 8*h - 2. Let u be r(-6). Let w be 2/((u/(-50))/(8/(-110))). Do w and 1 have different values?
True
Let i = -71 - -102. Let o = i + 14. Let z be (-10)/o + 91/(-36). Are z and -4 equal?
False
Let f(l) = -l**2 - 7*l + 33. Let o be f(17). Is o < -375?
False
Let j(d) = 5*d + 18. Let u be j(11). Which is greater: u or 74?
74
Suppose -26*w = -27*w - 4*z - 4, -3 = 3*w + 3*z. Is 1/22 at least as big as w?
True
Let j be 2/8 - 10254/24 - 5. Is -432 less than j?
False
Let b = 91.92 + -92. Is -1.6 less than b?
True
Suppose 5*b = -2*q + 5, -7*q - 3*b = -2*q - 22. Suppose 6 = -w - 6*f + 3*f, -q*w + 2*f = -21. Suppose -18 + 0 = w*s. Is s bigger than -0.2?
False
Let b = 3 - 4. Let a(m) = m**2 - 5*m - 1. Let r be a(11). Let c be (4/18)/(r/(-30) + 3). Which is greater: b or c?
c
Suppose 0 = -8*a + 27 + 5. Suppose -j + 6*x + 36 = a*x, -2*j + 2*x = -72. Let b = j + -29. Which is greater: b or 4?
b
Let r be (-2 + 0)*206/(-4). Let x = -114 + r. Which is smaller: 4/3 or x?
x
Let q = 1979/1132 - -1/566. Is q >= -2?
True
Let m(f) = 31*f + 450. Let x be m(-16). Is 6 greater than or equal to x?
True
Suppose -6*u = 3*u - 27. Let z be 2 + (-4 + u)*0. Let x(h) = -h**2 + h + 3. Let g be x(-3). Is g less than z?
True
Let s = 0.7519 - -0.0481. Does 0 = s?
False
Let c(w) = -4*w**2 - 55*w + 19. Let r be c(-14). Suppose p = 6*p + r*p. Which is greater: p or 3?
3
Let x = -0.237 - -0.037. Which is smaller: -2/17 or x?
x
Let a be 3 + ((-22476)/11250)/(6/9). Which is bigger: 0 or a?
a
Let y = -5083 + 5084. Let p = -1146 - -10330/9. Is y smaller than p?
True
Let r = 12 - 11. Let m = r + -1.18. Let v = 0.28 + m. Is v not equal to -0.06?
True
Let d = 4/81 + 110/1053. Let h = 254/105 - 16/7. Which is greater: h or d?
d
Let n = 130 + -134. Is 0.278 greater than n?
True
Let l = -24 - -28. Let k = 4 - l. Which is smaller: k or 0.9?
k
Suppose -3*g + 4*y = -2*g - 9, -3*y = -g + 7. Let s = g + 4. Let i = -2 - s. Is i != -7?
False
Let i = 68 - 48. Suppose 0 = -6*h - 28 - i. Is -7 < h?
False
Let u = 38 + -64. Let k = u + 32. Is k > -0.2?
True
Let o = 17942 + -25890305/1443. Which is smaller: o or -1?
-1
Let d = -5/3 - 1. Does d = -0.2?
False
Suppose m - 5*m = -56. Let w = -24 + 26. Suppose -w*r - 39 = -5*r. Which is smaller: r or m?
r
Let x = -66 + 65. Which is greater: x or 2/37?
2/37
Let d be 28/(-200)*2*(-10)/(-44). Let o = -6731/330 - d. Is o greater than or equal to -21?
True
Let o = -0.3 + -0.5. Let i = 143 - 713/5. Is i less than o?
False
Let o = -4/60837 - 3867443/790881. Let n = -2/6493 + -201269/45451. Let i = n - o. Which is smaller: 0 or i?
0
Let i be (-20)/16 - (-69)/12. Which is bigger: 6 or i?
6
Let y = -201101/9 + 22316. Is -28 greater than y?
True
Let b = -1.3 + 0.3. Let i = b - 0. Let z = -43.16 + 47.16. Are i and z equal?
False
Let t be 2 + (-6)/(-7)*-43*1. Let o = t - -1304/35. Which is smaller: o or 1?
1
Suppose 4*o = -3*v - 52, 9*v - 4*v + 60 = -5*o. Let b be 4/(-10) + 37/5. Let j = o + b. Are j and -10 equal?
False
Let a = 208.84 + -27.84