 Is g at least w?
False
Suppose 0 = -i - 2*l + 1, -3*i + 2*l = -l - 12. Let c(u) = -3 - 6*u**2 + i*u**2 + 5*u**2. Let d be c(-2). Which is smaller: d or 4?
4
Let u = -0.119 - -61.119. Let h = u + -57. Which is smaller: 0 or h?
0
Let z(g) = -g**3 + g**2 - g - 1. Let h be z(-1). Let q be (h/(-36))/(9/36). Do q and 5 have the same value?
False
Let v = -67.87 + 0.87. Let b = v + 69. Is b at most -0.01?
False
Let z be (4/(-10))/((-12)/(-435)). Let k = 15 + z. Let j = 4.33 - 4.34. Is k at most j?
False
Let u = 317 + -254. Which is bigger: -2 or u?
u
Let p = -0.0557 - 0.1443. Is -192 greater than or equal to p?
False
Let z be 2/(-4) + (-110)/20. Let f be (-4)/(-6) - z/(-9). Suppose 4*t - 16 = -4*r - f, -3*t - 2*r = -10. Is 3 > t?
True
Let a be (16/(-20))/(4/(-50)). Let s be ((-16)/12)/((-4)/(-6)). Let f be ((-1)/s)/(9/162). Is a greater than or equal to f?
True
Let g = 0.021 + 27.979. Let w = 27 - g. Let d = w + 1.1. Is d at most 1?
True
Let v(j) = -j - 3. Let x be v(0). Let s = 11 - 12. Let u be (2 + s/1)/(0 - 1). Is x less than u?
True
Suppose q = -3*q - 160. Let n be 68/q*-2 - 4. Is 0 at most n?
False
Suppose 341*c - 492 = 382*c. Let u = 0.08 + -0.38. Which is smaller: c or u?
c
Let t = -2.8 + 0.8. Let o = 2 + t. Which is bigger: -3 or o?
o
Let z = 5.9 - -1.5. Let y = -7.2 + z. Let q = 1.2 + -2.1. Which is greater: y or q?
y
Let u = -73687/9 - -76238/9. Let f = u - 283. Let i = -2 + 2. Which is greater: f or i?
f
Let i = -1 - -5. Suppose -10 + i = -2*w. Let s be -7 - -4 - -6 - 1. Which is smaller: w or s?
s
Suppose -4*m = -2*z + 202, m + 13*z + 43 = 12*z. Which is bigger: -47 or m?
-47
Suppose -16 = 5*h + 2*g, -3*h + 3*g + 1 = h. Suppose 0 = -12*b + 17*b + 5*y, 5*b = 5*y - 30. Is h equal to b?
False
Suppose -4*p = -62 - 74. Suppose 5*x = 7*x - p. Is x not equal to 16?
True
Let w = 103.4 + -96.4. Is -38 < w?
True
Let x = 251 + -252. Is x greater than or equal to -1/5?
False
Let o = -12 - -12. Suppose o = 3*k - 30 - 6. Let h = 5 - k. Is h less than or equal to -7?
True
Let t be (-4)/22 + (-432)/(-198). Let m be 3 + (t - -1) + 30. Are 36 and m nonequal?
False
Let r = -532 + 652766/1227. Which is bigger: r or 1?
1
Suppose -20 + 34 = -7*t. Let q(a) = -6*a - 1. Let c be q(t). Which is bigger: c or 9?
c
Let w be 6 + (-17625)/3420 - (-5)/(-6). Which is smaller: w or -1?
-1
Let q = 89 - 79. Suppose q = 11*b - 12. Is 7 smaller than b?
False
Suppose t = -4*t - r - 77, 2*t - 3*r + 24 = 0. Let i be 87/t - (-1)/(-5). Is -6 greater than i?
False
Let u(q) = -7*q - 5 - q**2 - 11 + 0*q**2 + 6. Let i be u(-4). Which is bigger: i or 0.1?
i
Let g(a) = -a**3 + 9*a**2 - 10*a + 32. Let l be g(8). Which is smaller: l or 11?
11
Suppose 4*s - 2 = 50. Suppose -11*o + 2 = s. Let g = -7/3 - -11/6. Is o less than g?
True
Suppose -y + m + 1 = -6, -5*m + 5 = 0. Let r = y + -9. Which is smaller: -3/5 or r?
r
Let z(o) = -18*o - 197. Let d be z(-11). Let k(j) = j - 3. Let q be k(5). Let r be q/(-9)*(-2 - 1). Is r greater than or equal to d?
False
Suppose 26*r = -18*r + 176. Let q = 613/12 + -51. Which is smaller: r or q?
q
Suppose -11 = c - 12. Let l be c - (-438)/(-585) - (-2)/(-10). Let z be (-8)/3 + (-2)/(-3). Is l equal to z?
False
Let f(c) = c**2 + 13*c + 17. Let g be f(-12). Suppose 23 = 6*u - u - 2*i, 0 = u - g*i. Is u at least as big as 5?
True
Let t(b) be the second derivative of b**5/20 + b**4/4 - 5*b**3/6 - b**2/2 - 2*b. Let w be t(-4). Suppose w*i = -0*i - 6. Which is smaller: i or -2/3?
i
Let a = 506 - 512. Is a bigger than 0.77?
False
Let y = -24 - -6. Let g be (0 + 2)/((8 - -2)/(-78 - 15)). Is y bigger than g?
True
Let t = -2007/7 - -287. Which is smaller: t or -0.89?
-0.89
Let q = -51 - -73. Let u = 45.4 + -23.1. Let j = u - q. Is 2 at least j?
True
Suppose 4*s - 24 = 424. Let n be s/(-390) + (-14)/(-91). Which is smaller: -2/5 or n?
-2/5
Let w be -3*((-50)/6)/5. Suppose -3*m - w*c - 10 = 0, 8*m + 2*c = 3*m - 4. Let k = m + 2. Which is bigger: -2 or k?
k
Let h = 4143 - 3467693/837. Does h = 1?
False
Let q = 5 + -3. Suppose q*p + 3 + 1 = 0. Let h be 1 + p + -2 + 9. Which is smaller: h or 5?
5
Suppose -40 = u - 12. Let c be (21/2)/(3 + u/8). Which is bigger: c or -2?
-2
Let q(b) be the first derivative of 37*b**3 - b**2 - b - 7. Let v be q(-1). Suppose -i - 113 = 4*l - 4*i, -v = 4*l - 4*i. Is l bigger than -29?
False
Let i = 70 + -105. Let g = i + 25. Which is bigger: g or -12?
g
Let i be (48 - 49)/((0 + 1)*1). Is i > 4/109?
False
Let c be (-3)/(-1)*(-35)/(-7875). Which is greater: 0 or c?
c
Let k(t) = -31*t - 328. Let u be k(-11). Which is greater: 9 or u?
u
Let a(b) = b**2 - 3*b - 128. Let c be a(11). Is -42 less than or equal to c?
True
Suppose -4*s - 3*r = -7*r - 20, -5*r - 25 = s. Is 1/17 at most as big as s?
False
Let w = 150738 - 7838021/52. Let u = w + -66/13. Which is bigger: u or 3?
3
Let v = 0.07 - -0.13. Let h(a) be the first derivative of a**4/4 - 10*a**3/3 - 11*a**2/2 + 2*a - 3. Let m be h(11). Is v <= m?
True
Let f = -25 + 123/5. Let k = -0.6 - 0.1. Which is smaller: k or f?
k
Suppose 87 = 13*t - 147. Let l be 30*6/t*(-2)/5. Is 1/5 equal to l?
False
Let o be 3/((-2)/4*(-24)/372). Which is smaller: o or 95?
o
Let s = 0.0447 - 25.9547. Let g = -1.69 + s. Let m = g - -28. Is m at most as big as 0?
False
Let k(u) = u + 20. Let j be k(-17). Suppose g = 5*h, -4*h + 2*h = j*g. Is h smaller than 1/8?
True
Let w = 3.79 - 1.79. Let i = -0.07 + 4.07. Let t = -2 + i. Is t at most w?
True
Let a = 0.157 + 0.343. Are a and -1 nonequal?
True
Suppose -3*q = -8*q + 2*a, 5*a = -3*q. Which is bigger: q or 6/19?
6/19
Suppose 5*i - 20 = 0, 3*i - 1 = -3*d + 8. Let b = -0.01417 - -7.01417. Which is smaller: d or b?
d
Let q = 289 - 539/2. Let z be ((-63)/135)/(-7) - (-314)/15. Is z less than or equal to q?
False
Let p = -1.7 - 31.5. Which is smaller: -0.1 or p?
p
Suppose -q = -3*r - 3, 58*r - 5 = 53*r. Suppose -4*u - x + 3*x = -26, -3*x + 31 = 4*u. Which is bigger: q or u?
u
Suppose 0 = -v + 2*v + 10. Suppose -h + 73 - 61 = 0. Suppose 4*a + h = -5*d - 19, 3*a + 2*d + 25 = 0. Which is bigger: v or a?
a
Let d be 2/(-4)*1*-26. Let h = 29 - d. Let a be (h/12 - 1)*12. Are 1 and a equal?
False
Let c = -397898/4173 + 24/1391. Are -95 and c equal?
False
Let o be 10*(-1375)/33 - 10. Which is bigger: -426 or o?
-426
Let r be -4*(115 - 2) - -1. Let w = 13982/31 + r. Is -1 smaller than w?
True
Let c(q) = -q + 10. Let o be c(10). Suppose -5*a - r = -14, o = 3*r - 12 - 0. Is 3 at least a?
True
Let t = -22/45 - -943/180. Which is bigger: t or -0.2?
t
Suppose -5*c - 41 = -51. Suppose -c*i - 2*p + 3*p = -26, -6 = -3*p. Are 14 and i equal?
True
Let b(n) = -n**3 - 23*n**2 + 25*n + 9. Let m be b(-24). Is -8 greater than m?
True
Suppose -2*i = -4*m - 244, 0 = -5*i + 5*m + 936 - 346. Let y be 3*(-1)/(-18) - (-41)/i. Is 0 != y?
True
Let y = -283/210 - -17/14. Suppose -5*w + 3*h + 7 = -0*w, 5*w + 1 = h. Which is bigger: y or w?
y
Suppose -23 = -4*l + 81. Let f be 13/l - (-6)/(-8). Is f not equal to -8?
True
Suppose y = 4*i - 17, 0 = 3*i - 0*y - 5*y - 34. Suppose -2*l - u + 7 = 0, -i*l - 4*u + 22 = -l. Which is bigger: l or -2/25?
l
Let y = 59/144 + -3/16. Do -1 and y have the same value?
False
Let g = -1.6 - -4.5. Let x = -3.8 + g. Does -3 = x?
False
Suppose o - 144 = -2*o. Suppose -4*i + 8 = -o. Are 14 and i unequal?
False
Let q = -950 + 1029. Does 79 = q?
True
Suppose -35*z = -37*z - 118. Let t = z + 63. Which is bigger: 15 or t?
15
Let w be (7 + -4)*(-8)/(-32). Is 29/5 equal to w?
False
Let w be (-265)/(-10) - 2/4. Suppose 30*p - 4 = w*p. Which is smaller: -2/67 or p?
-2/67
Let p(m) = -m**3 + 8*m**2 - 6*m - 7. Let k = 12 + -5. Let j be p(k). Let n be -7 - (0 + 3 - j). Which is bigger: -9 or n?
-9
Suppose 0 = -6*l + 12 - 0. Suppose -2*p = -l*v + 4, p - v + 2*v = -2. Let z(w) = 2*w + 2. Let t be z(-1). Does t = p?
False
Suppose 0 = -2*m + 5*p + 27, 0 = -5*m + 3*p + 96. Which is smaller: 28 or m?
m
Suppose 6*y - 3*f - 13 = 4*y, 4*f - 62 = -3*y. Let h = -13 + y. Does 7/3 = h?
False
Suppose -t - 10 = 2*i, -2*t - 12 = -6*i + 2*i. Let y = -1 - t. Let j = -2 + y. Which is bigger: j or 4?
j
Let y = 502 + -614. Which is smaller: y or -109?
y
Suppose -2*p + 163 = -5*k, p + 49 = -4*k + 124. Which is smaller: p or 76?
76
Suppose -3*q + 4*q = 0. Suppose -m + 76 + 36 = q. Let o be m/228 - (-3)/(-9). Which is 