v*u. Let i be q(25). Is i >= 0.1?
False
Let p(v) = -v**3 + 138*v**2 + 565*v + 502. Let z be p(142). Let h be 36/16 - 6/(-8). Suppose h*r - 387 = -5*l - 0*r, 4*l - 4*r = 284. Are z and l non-equal?
True
Let l = 451 + 29. Which is smaller: -3 or l?
-3
Let b = -0.00428 + -253.09572. Let s = b + 253. Is s bigger than 165?
False
Suppose 3*f + 90 = -z + 30, 0 = 2*z + 4*f + 130. Let o be (-5)/(z/(-6))*2760/(-2). Are 553 and o equal?
False
Let t = 2/28317 + 44048/9439. Is t at least as big as 11/23?
True
Suppose -62*i = -56*i - 408. Let n be 0/2 + 0/2. Suppose n = -r + i - 38. Are 30 and r non-equal?
False
Suppose 4551 - 11289 = 50*z + 6162. Which is smaller: -256 or z?
z
Suppose -j = -n - 48, n - 4*j = -2004 + 1953. Is -0.92 greater than n?
True
Let i = 19.17 - 18.741. Are i and 2/13 equal?
False
Let t = -2 - 72. Let f = t + 44. Let q = f + 21. Is q less than -1?
True
Let h(r) = 36 + 152*r + 2*r**2 + 138*r - 252*r. Let k be h(-18). Is 34/7 greater than or equal to k?
True
Let f = 0.8769 - 0.7769. Do 442 and f have the same value?
False
Let t = 18353 - 3358619/183. Is -1/3 less than or equal to t?
True
Let s = 138 + -49. Let t = s + -9. Suppose 0 = -h + 3*x + 47, 4*h = 2*x + t + 138. Which is greater: h or 55?
h
Let w be 1/(-2) - -1*1. Suppose 52*u - 50*u = i + 4, 0 = 3*u - 5*i + 1. Suppose 3*h - u*k + 2 = 5, 0 = 2*h - k - 2. Which is smaller: h or w?
w
Let x = -31 + 29. Let p = x - -2.4. Let t = 168 + -176. Is t at least p?
False
Let t = 1380 + -567175/411. Which is smaller: t or 1?
t
Suppose n = -7*y + 10*y + 5, 3*n - 5*y = 7. Let p be (-1)/2*n*1*-2. Let g be 1 + 1 + (-2)/1. Which is smaller: g or p?
p
Let g = 233904/17 + -13754. Is g equal to 5?
False
Let v be 8/28 + 32/(-14). Let l = 9776/15 - 495969/760. Let c = l + -1/57. Is v != c?
True
Let x be 150/3150 - 23/(-399). Is 17 < x?
False
Suppose -3*m + 3949 + 1486 = 5*x, 0 = -3*m + 15. Let v be x/(-1080) - 1 - 12/(-6). Is v at least 0?
False
Let t be ((-252)/6930)/((-1)/(-16345)). Is -595 at most t?
True
Let v(c) = 2*c**2 + 39*c - 244. Let r be v(44). Suppose -47*f - 11952 = r. Which is smaller: -369 or f?
-369
Let l = -3.9 - -5.3. Let q = l - 1.3. Is 9/8 bigger than q?
True
Let c = -226 - -226.66. Let n = -1.66 + c. Which is greater: 59 or n?
59
Let t = 0.5311 + -0.4166. Which is greater: -2/5 or t?
t
Let s = 138235 + -3455876/25. Let q(t) be the second derivative of t**5/20 - t**4/4 + t**3/3 + t**2/2 + t. Let w be q(2). Which is smaller: s or w?
s
Let a = -4.924 - -4.39. Let q = a - 24.466. Is q bigger than 0.7?
False
Let s = -326.798 - 0.202. Let z = 334 + s. Is -13 less than or equal to z?
True
Let v(g) = 14*g**2 - 3*g - 2. Let l be v(-3). Let c = 3.4421 + -2.4421. Is l greater than c?
True
Let b = -1 + -5. Let r = 74 + -151. Let s = 71 + r. Does b = s?
True
Let j = 172.82 - 172. Let s = j - 0.42. Is 0.02 > s?
False
Let o be 2/1 - (-30 - 62567/(-2257)). Is 4 < o?
True
Suppose -60*j = -112*j + 52. Which is bigger: -12586 or j?
j
Let g(b) = 12*b - 26 + 0*b**2 + 20*b + 7 - 3*b**2. Let o be g(10). Are -17 and o nonequal?
True
Let v = 54 + -2. Let p = 100 - v. Let f = -49 + p. Which is bigger: 0 or f?
0
Suppose 4*s = 0, -5*w + 4*s = 2*s - 80. Let v be 7064/84 + (-7)/(588/8). Suppose -5*b = d - v, -12 = -b - 3*d + 16. Is b greater than w?
False
Let h(x) be the third derivative of x**5/30 - x**4/12 - x**3/6 - 3*x**2 + 10. Let r be h(0). Is 7/44 != r?
True
Let t(i) = -i**2 + 12*i + 8. Let m be t(6). Suppose 0 = -4*v - l - 191, -3*l - m = 2*v + 39. Which is bigger: v or -48?
-48
Let x be 8690/16 - (-104)/(-832). Which is bigger: 5976/11 or x?
5976/11
Suppose 3*a = 6*a - 270. Let s be 15*((-7514)/120 - 12/a). Let k = 946 + s. Which is bigger: 5 or k?
5
Let v(p) = p**3 - 8*p**2 - 3. Let o be v(7). Let g be -2 - (1 + o/14). Let j = -5133 + 5132. Is j <= g?
True
Let r be (-13 + 7)*(2/2)/(-1). Let t be -12*r/(-36)*(-31)/2. Which is smaller: 4 or t?
t
Let p(m) = -m**3 - m**2 + 18*m - 18. Let q be -6 + 4 + 4 + -1. Let w be p(q). Suppose -10 = -3*h - u + 3*u, 0 = -5*h - 3*u - 15. Which is greater: h or w?
h
Let t = -0.3209 - -0.3209. Which is greater: t or 1.404?
1.404
Suppose 0 = 4*b - 16, 3*b = -5*i - 44 - 119. Let a be -3*(6 + 7) + -1 + 7. Is a greater than or equal to i?
True
Let v = -284 + 296.9. Let m = -0.13 + 13.13. Let b = v - m. Which is smaller: b or 4/13?
b
Let k be 1/43*1/7. Let z = k + -2413/1505. Let u = -1979 + 1976. Do z and u have different values?
True
Suppose 22*y - 22 = -0. Which is greater: 110/71 or y?
110/71
Let w(z) = -19*z - 5. Let b(m) = 5*m + 1. Let d(o) = -9*b(o) - 2*w(o). Let r be d(1). Let x be (-8)/12 - 11/(3/(-3 - -2)). Is r greater than x?
False
Let x(m) be the third derivative of 3*m**4/8 - 79*m**3/2 + m**2 + 14. Let l be x(23). Are -205/7 and l equal?
False
Suppose -8*p - 16*p = p + 11900. Are -2387/5 and p non-equal?
True
Let n = 166 + -136. Suppose 0 = 3*p - 14 - 16. Let o be ((-1)/(-1))/(p/n). Which is bigger: -0.11 or o?
o
Suppose -9*t - 4*i - 7598 = -12*t, 2*i - 12594 = -5*t. Is 2521 at most as big as t?
True
Let s = -178 - -94. Let r be (18/(-8))/(8 - (-665)/s). Is 2/3 greater than r?
True
Let i be 1/(((-48)/93)/(-2)). Let y = -27/8 + i. Is y not equal to 0.04?
True
Suppose -609 = -11*s - 13743. Is s at most -1196?
False
Let c be 6/(-33) + 1990/55. Let w = 66 - c. Let b = 17 + 12. Is b less than w?
True
Let f = -1.3566 - -0.9066. Which is smaller: -28 or f?
-28
Let j = 1407 + -1309.025. Let z = j + -98. Is 1 smaller than z?
False
Let z be 608828/(-808)*2/(-11). Which is smaller: 139 or z?
z
Suppose -32*v = -v + 589. Let k = -30 + 18. Which is smaller: v or k?
v
Suppose -u - 2*u = 0. Let k(o) = -o + 18. Let a be k(-18). Let z be ((-96)/a)/((-10)/3). Which is bigger: z or u?
z
Let l be ((-612)/119*-2)/(4/14). Is l equal to -75?
False
Let i be (-1 + 0)/((-6)/(-216)). Let w(q) = -q - 3. Let h be w(-3). Let g(k) = -k**2 - 36. Let n be g(h). Is n equal to i?
True
Let c(d) = d**3 - 7*d**2 + 5*d + 7. Let k be c(6). Suppose 4*o - k = -9. Let p = -3065/1666 + 16/2499. Which is smaller: o or p?
o
Let o be ((-24)/160)/(12/32). Let j be (-4)/3*(-15 - -12). Which is bigger: o or j?
j
Let v(a) = -a**3 - 19*a**2 - 17*a + 21. Let t be v(-18). Let q be t/((-82)/22 + 4). Suppose 14*d - q*d = 0. Is d greater than -2/31?
True
Suppose 18*z - 95 = -5. Suppose -i + 36 = -3*m, 0*i + z*i - 148 = -m. Which is smaller: 29 or i?
29
Let g be -8 + (4 + 7/7)/3 + 7. Which is smaller: g or -2/147?
-2/147
Let y = 21841/4 - 43643/8. Are 5 and y equal?
False
Let v be (-2 - -3)/(3/(-177)) - (-7 - 0). Suppose -c - 16 = 7. Let h = v - c. Is h smaller than -28?
True
Let f = 2516 + -2518. Let z = 13 - 7. Which is bigger: z or f?
z
Let n = 922 + -922. Which is smaller: n or 20/33?
n
Let v = -221/5 + 8217/185. Let f be (-13)/(-78) + (-10)/(-12). Does v = f?
False
Suppose 0 = -250*a + 269*a + 222452. Let f = a + 15442853/1319. Which is smaller: -1 or f?
-1
Let j(x) = -26*x + 169. Let g be j(6). Which is bigger: 29 or g?
29
Let z be ((-6)/(-10) + 459/(-15))/(-2). Suppose z*m - 295 = 245. Are m and 71/2 equal?
False
Suppose -4*t = 3*r + 21794, -t - 55*r = -51*r + 5468. Is t <= -5444?
True
Let f = -390.493 - -41.493. Are -63 and f equal?
False
Suppose -3*b + 1 = -41. Suppose -5*v - b = -4. Does v = -4?
False
Let w = 2009 - 2631. Are -623 and w equal?
False
Let q = -680 - -685. Suppose 41 = -2*i - q*o, -2*i - o + 28 = 65. Which is bigger: -29 or i?
i
Let n be 95/38 + -2*(-2)/8. Let h = 26 + 10. Suppose -n*z + 24 = h. Is 2 >= z?
True
Suppose h = -3*h + s - 1729, -3*h = 5*s + 1268. Let y = h - -180. Let i = y + 575/2. Which is smaller: 36 or i?
36
Suppose 32*o - 11*o + 438 = 18*o. Is -153 > o?
False
Let s(o) = o**2 - 26*o - 979. Let m be s(-40). Which is bigger: m or 1662?
1662
Let g = 0.3607 - 0.4407. Which is greater: -103 or g?
g
Let m be 4/8*(-6 - -6)*-1. Suppose 0 = 4*v + 20, -2*g + m*v - 2*v = 152. Which is smaller: g or -70?
g
Let y be (-5)/(-5)*(-36)/2286. Is 4/9 <= y?
False
Let l(i) = i**2 + i - 62. Let c be l(8). Let x be (4/c)/(35/(-14)). Which is bigger: 1 or x?
1
Suppose 3*h - 3 = 2*o - 5*o, h - 4*o - 11 = 0. Let z(y) = -y**3 + 2*y**2 + 4*y - 4. Let f be z(h). Let x = -3 + 4. Which is smaller: x or f?
f
Let x(i) = -13*i + 28. Let o(z) = 27*z - 57. Let l(u) = -3*o(u) - 7*x(u). Let a be l(-5). Let h = a 