
Let w(h) = 9*h + 4. Let j be w(3). Let m(u) = -2*u**3 + 374*u**2 + 378*u - 343. Let y be m(188). Is y < j?
False
Let p be (-25)/(-75) - (-25)/24. Which is smaller: 0 or p?
0
Let g(f) = f**2 + 12*f + 16. Let w be g(-11). Let a(x) = -x**3 - 19*x**2 - x - 14. Let b be a(-19). Is b less than w?
False
Let b = -34.44 + 35. Let n = 3.26 - b. Let g = n + -3. Which is greater: 2/7 or g?
2/7
Let z(g) = -g + 7. Let t be z(-10). Suppose 3*w = -4 - t. Suppose h - 2 = -l - 10, -2*h - 16 = -l. Is w greater than h?
True
Let k = 1.56 - 1.47. Let a = 0.01 + k. Which is smaller: -62 or a?
-62
Let y = -51851/14 + 3701. Let o = -397/262 - -2/131. Let n = y - o. Is -2 < n?
True
Let d = 814 + -814. Let y be (-42)/68 - (-1)/2. Is y at most d?
True
Suppose 7*j - 4*j - 24 = 0. Suppose x - 26 = -4*d, 6*x + 5*d - 50 = 3*x. Suppose -1 + x = r. Are r and j unequal?
True
Let n = -749 + 686. Is -3/5 less than n?
False
Let l(o) = 2*o**2 - 3*o - 2. Let r be l(6). Suppose -3*c - 13 = -r. Suppose 4*x - c = 7*x + 4*d, 4*x + 4*d + 16 = 0. Is -2 less than x?
False
Suppose 0 - 3 = -3*v, 0 = -5*r + 5*v + 250. Suppose 2*y + 5 = r. Which is bigger: y or 21?
y
Let f = 0.026 - 0.086. Let r = 0.17 + 0.13. Which is greater: f or r?
r
Let w be 90/4 + (-2)/4. Suppose 0 = -4*v + 5*l - 45, 3*v + 5*l + 1 = -24. Let r = 13 - v. Which is greater: w or r?
r
Let v = -221 + 109. Which is smaller: -111 or v?
v
Let d be (-5)/2*(-8)/(-10). Let u be 3 + (d - 28/38). Is 0 not equal to u?
True
Let a = 167/65 + -231/13. Let b = -637 + 623. Is b greater than or equal to a?
True
Let l(y) = -27*y**2 + 3*y - 3. Let c(m) = m**2. Let z(b) = -12*c(b) - l(b). Let g be z(1). Which is greater: 14 or g?
g
Let q be (18/10)/((-3)/5) - 204. Which is bigger: q or 4?
4
Let w = 137 - 136.9. Does -0.037 = w?
False
Let v be 5*4/(-400)*-8. Let x = -56/13 + 1331/312. Which is smaller: x or v?
x
Let n = 1 + 27. Let v = n + -34. Is -7 <= v?
True
Let w = 45/2 + -22. Let k = -87 + 185/2. Which is smaller: w or k?
w
Suppose -2*s = -4*s - 2*t + 852, 5*s - 2128 = -3*t. Is s > 425?
False
Let d = -8.17 - -8.0831. Is 1 < d?
False
Let m = 5.567 - 5.6. Which is bigger: -4 or m?
m
Suppose 2*y + 15 - 1 = -w, -4*w - 17 = -5*y. Let n be 7/(1/(1 - 0)). Suppose -2*b + 1 - n = 0. Is b equal to w?
False
Suppose 0 = p - 3*z - 12 - 1, 5*z = -2*p - 29. Which is smaller: -19/14 or p?
p
Let i = -39 + 22. Let l be 12/(-102) - (-304)/i. Is l at most as big as -2?
True
Suppose 2*g - 4*z - 31 = -5, 6 = 2*g + z. Suppose 7 = -3*x - g*f + 1, -3*f = 5*x - 6. Suppose 5*m - x*s - 43 = 0, -s - 11 = -2*m + 6. Is m at least as big as 8?
True
Let l = -0.15 + -4.85. Let g = l + 5. Let r = -13 + 67/5. Is r < g?
False
Suppose -495 = -4*a - z + 170, -3*a - z + 498 = 0. Do a and 167 have the same value?
True
Let r be ((14 + -5)/(-3))/17. Is 0 > r?
True
Let t(r) = -3*r**2 - 42*r + 98. Let y be t(-20). Are 2/3 and y equal?
False
Let i be -10*(-3)/(-12) - -3. Let z(r) = -68 + 71 + r - 2*r. Let s be z(3). Is s greater than or equal to i?
False
Suppose 0 = -0*a + 2*a + 24. Let b be 9/a + 3/(-12). Let p = 1590/77 - 142/7. Which is bigger: p or b?
p
Let b = 0.069 + 0.106. Let h = -0.035 + b. Is h != -0.1?
True
Let r = -26960/23 + 1172. Is r at most 1/4?
True
Let z be 1/(2/(-3)) - (-154)/28. Suppose 2*h = -z*l + 124, 2*h - 119 = -11*l + 6*l. Is 73 less than or equal to h?
False
Let g(h) be the third derivative of h**5/60 + h**4/24 + 6*h**2. Let w be g(0). Let m be (-7)/28 - 7/4. Which is smaller: m or w?
m
Let j = -5626061768888753/1947187229578227 + -1/47456489717. Let w = 2/4559 + j. Which is smaller: -4 or w?
-4
Let j(y) = 41*y - 240. Let q be j(17). Is 457 at most q?
True
Let t = -1 + 2. Let x = 133/8 - 129/8. Is x != t?
True
Let x = -14.065 - -0.065. Let m(r) = 2*r + 17. Let g be m(-10). Let q(u) = u**3 + 4*u**2 + 4*u + 3. Let o be q(g). Which is smaller: o or x?
x
Let t be (-117)/36 - -4 - 3/(-12). Let w be (1*3)/(6/4). Let u be -2 + 3 + w*1. Which is smaller: t or u?
t
Suppose 118 = -13*u + 1. Is u at most -87/11?
True
Let q be (-66)/(-21) + -1*(4 - 6). Which is bigger: q or 4?
q
Let l = 0.52 - 0.12. Let o = -0.358 - -0.318. Is o >= l?
False
Let l = 6194 + -6244. Let o be (-2)/(12/291) - 0. Which is greater: o or l?
o
Let t = 185/63 + -47/9. Let v = -101/35 - t. Which is smaller: v or 0?
v
Let l = 33147/19 - 1745. Let n = -38 - -38. Which is smaller: l or n?
l
Let q = -3/635 + -856/6985. Is q < -1?
False
Suppose 5*i + 2*s - 74 = 0, 3*i + s = -4*s + 52. Which is smaller: 13 or i?
13
Let s(t) = 2 + 3*t - 3 + t**2 + 4 + 8*t. Let d be s(-8). Let p be 7/d + 17/33. Which is greater: -2/9 or p?
p
Let c = -1541/3 + 511. Is c <= 9?
True
Let f = -35.52 - -36. Are -3 and f equal?
False
Suppose -3*f = 16 + 14. Are -21/2 and f unequal?
True
Suppose -o = f - 13 - 83, -2*o + 185 = -5*f. Let q = o + -140. Is q != -46?
True
Let m = 27 - 12. Suppose -4*s + 1 = -5*s. Let l be ((-2)/4 + s)/m. Which is greater: l or 2/5?
2/5
Let l = 370 - 373. Are l and 3 equal?
False
Suppose 1 + 0 = -q. Let t = -138.03 + 135. Let x = 3 + t. Do x and q have different values?
True
Suppose 3*q + q = 36. Let n = -1642 + 1651. Are q and n nonequal?
False
Let w(s) = -6*s - 30. Let v be w(6). Let d = v + 69. Is d smaller than 6?
True
Let c(l) = -l**3 + 9*l**2 + 11*l - 10. Let z be c(10). Let k = 0.65 - 0.74. Which is bigger: k or z?
z
Let v(s) = s**3 + 2*s**2 - 1. Let u be v(-2). Let g = -16 - -20. Let q be g/6 - 32/12. Is u != q?
True
Suppose 6*t = 170 - 728. Let c = -420 + 327. Is t greater than or equal to c?
True
Let k = -1553 - -1553.17. Is -0.24 smaller than k?
True
Let o = 22 - -8. Let s = 35 - o. Which is smaller: 0 or s?
0
Suppose h + 6 = 3*s + 3*h, -5*h - 2 = -s. Let n be (-4 + 3 + s)/(-1). Is n at least as big as -1/22?
False
Let p = 8 - 4. Suppose -r = -2*b + 27, 6*r - 2*r = p*b - 48. Suppose f - 4*y = -b + 6, -5*f - 1 = 2*y. Are 1 and f nonequal?
True
Let w(g) = -g**3 + g**2 - 3*g + 2. Let t be w(1). Do t and -1/88 have the same value?
False
Suppose -4*x + x + 9 = -j, 5*x + 2 = -4*j. Suppose 7 = -5*a + 27. Let o be a - (272/(-20))/(-4). Does o = x?
False
Let v = 15 - 1. Suppose -v*w = -6*w. Is 3/23 < w?
False
Let p = -57.5 - -56.55. Which is smaller: p or -0.4?
p
Let x be -5 - -2 - (-62)/22. Which is smaller: x or 33?
x
Let d = 19 - 16. Suppose d*y + 14 = -28. Are -14 and y equal?
True
Let r = 1 - 1.1. Let t = -20960/2859 + -2/953. Let i = -223/30 - t. Are r and i non-equal?
False
Let n be (10/(-4))/(80/(-128)). Let w(g) = 2*g + 2. Let t be w(-4). Let d = t + 11. Which is smaller: n or d?
n
Suppose 2*z + 1 - 7 = 0. Suppose -4*x = -v + 18, -z*v + 5*x = 2*v - 15. Suppose -19 = 4*g + 3*m, 4*g + 5*m + 29 = -0*m. Does v = g?
False
Let z be (16/40 - (-2090)/25) + -2. Which is bigger: 329/4 or z?
329/4
Let b = 164111/5 - 32691. Is b greater than 131?
True
Let y be (-13 + 65276/5020)/(2/(-5)). Is y equal to 1?
False
Suppose 0 = 20*v - 16*v - 408. Let p be -3*v/10 - (-2)/(-5). Which is bigger: p or -32?
p
Let s be -238 - -12*(-2)/(-4). Which is smaller: s or -230?
s
Let m be (2/7)/(14 - 4249/(-49)). Are 0 and m equal?
False
Let b = 307 + 274. Is 581 less than b?
False
Let v(p) = 3*p + 7. Let j be v(0). Let a be j - 3 - 3/1. Let z be (-60)/36 - a/3. Which is smaller: z or -1?
z
Let w = -14 + 11.6. Let a = w - -2.2. Is a less than or equal to -0.01?
True
Suppose 0 = -4*w + 31 - 7. Suppose -24 = w*b + 30. Which is smaller: -26/3 or b?
b
Let x = -396 - -396. Do x and 0.098 have the same value?
False
Let k(o) = 6*o - 1. Let r = 43 + -42. Let q be k(r). Is 25/6 <= q?
True
Let k be -3 - (3 + 1 - 0/(-2)). Suppose 3*r + 16 = 5*t, 2*t = 4*r + 14 - 2. Let f(j) = -3*j - 1. Let i be f(t). Is i < k?
False
Let c = 151 + -84. Let h = 66 - c. Is -0.06 less than h?
False
Let j = 37 - 37.044. Let i = j - -0.014. Are i and 0 unequal?
True
Let b = -42 - -41. Let x = 4.97 + -0.99. Let r = x - 0.38. Is r > b?
True
Let r = 448 + -14333/32. Which is bigger: -1 or r?
r
Let l = 111 + -121. Is -26/3 bigger than l?
True
Let d = 1.2 + 0.6. Let y = 2.5 - d. Let n = -0.5 + y. Is n at most -6?
False
Suppose -b - 318 = -4*d, 14*d - 13*d = 4*b + 87. Which is smaller: d or 6?
6
Let x be 7 - ((-1980)/(-494) + 3). Which is smaller: 1 or x?
x
Let q be 1/(-2)*(2 + -2). Let c(b) = -b**2 + 8*b + 19. Let v be c(10). Let i(g) = -4*g**2 - 4*g - 2. 