 be m(t). Is y greater than -16?
False
Let z = -78 + 544/7. Let w(h) be the first derivative of h**3/3 - 5*h**2 - 10*h + 6. Let t be w(11). Which is smaller: t or z?
z
Let x be 3*-10*(128/(-60) - -2). Suppose -g - 3*g + x*p = 0, 1 = 3*g - 2*p. Which is smaller: -1/39 or g?
-1/39
Let y = -288 + 289. Is y smaller than 2/23?
False
Let r = -10.91 - -8.91. Which is smaller: r or 32?
r
Suppose -8*q - 212 = -212. Is -17/29 > q?
False
Suppose 4*v = 3 + 1. Let s be -1 + 0 + v + 2. Suppose -2*c + s*t + 2 = 2*c, 4*t + 4 = -2*c. Which is bigger: -2 or c?
c
Suppose 4*o + 0*o = -12. Let w = -6 + 15. Let g be (-6)/(-9)*w/(-3). Is o less than g?
True
Let m = -0.21 + 5.21. Let d = 4 + 5. Let l = d + -9.1. Which is greater: m or l?
m
Suppose 0 = 2*q + o - 146, 73 = q + 5*o - 7*o. Is q at most as big as -0.1?
False
Let h = 21 + 12. Suppose 2*c + 5*l - 15 = -3*c, h = 4*c - 3*l. Let d be 45/c*(-16)/12. Is -11 greater than d?
False
Let a be (6/(-10))/(4/20). Let k be 1*-3*16/14. Which is greater: k or a?
a
Let g be -1 - (1 + -5)/(-4). Let r be g/(-890)*50/(-20). Is r >= 0?
False
Let m = -1093 + 1088. Which is smaller: m or 134?
m
Suppose -38*a = -21 - 17. Is 7/121 greater than a?
False
Suppose 5*g - 5*c + 455 = 0, 0 = -g - 8*c + 4*c - 66. Which is greater: g or -84?
-84
Let g be ((-8)/4)/8*5/(-30). Is 4 less than g?
False
Suppose 24*r + 1650 = -54. Which is smaller: -69 or r?
r
Let y be 2*(-1)/(12/3 - 2). Let k be ((-42)/(-77))/(y/2*-8). Which is smaller: k or -1?
-1
Let f(j) = -j**3 + 9*j**2 + 7*j + 166. Let x be f(11). Which is greater: x or 451?
451
Let g(h) = -6*h**2 - 2*h - 18. Let r be g(-4). Is r at most as big as -213/2?
False
Let u be (-1 + -2)*(-12012)/(-117). Which is greater: u or -310?
u
Let z be (-156)/27 - -6 - (-1450)/(-6255). Which is smaller: z or 0?
z
Let d be (1 - -6)/(-1 - 0). Suppose 0 = x + 16 - 8. Does d = x?
False
Let h(s) = s**3 - 2*s**2 - s + 2. Let o = 2 - 0. Let x be h(o). Let n be (x - 4/(-8))*16. Is -1 not equal to n?
True
Let i be 1/(6/69)*2. Suppose 35 = -2*q + i. Which is bigger: q or -21/4?
-21/4
Let v = 617 + -617. Is 85/9 at least v?
True
Suppose -1 = 4*u + 3*l, -3*u - 3*l + 2 = 2*l. Let t = -2/6439 + 13048/547315. Which is greater: u or t?
t
Suppose -1708 = -12*q - 592. Which is smaller: 12 or q?
12
Let j = 156 + -556. Does j = -398?
False
Let d = -279 - -276. Which is greater: d or -2/55?
-2/55
Suppose -2150 = 72*u - 7838. Which is bigger: u or 80?
80
Let r be 3/(4/((-12)/3)). Let w = r + -21. Is w less than -23?
True
Let j(b) = -b - 7. Let h be j(-5). Let o be (-2)/6*-1*45. Let g = o + -97/6. Is g smaller than h?
False
Let x be (2/96)/((-56)/(-222)). Let f = x - 3/64. Suppose 9*g = 19*g - g. Which is smaller: g or f?
g
Let q = 3 + -2. Suppose 3*a = 4*a - 1. Let c(r) = -r**2 + 1. Let s be c(a). Which is smaller: q or s?
s
Suppose 86*v + 78 = 99*v. Which is bigger: v or -3/2?
v
Let g = -29 - -18. Suppose 11 + 19 = -3*p. Let h = g - p. Which is greater: h or 1/16?
1/16
Let j = 231 + -228. Which is bigger: 29/8 or j?
29/8
Let t be 28/(1 + -5) + -89. Which is smaller: t or -93?
t
Suppose -2*k = -3*k - 1. Let h = 26 + -21. Suppose h*p + 4 = p. Is p <= k?
True
Let h = -91 - -51. Let b = -90 - h. Is 1/2 at least b?
True
Let i = 80 - 76. Suppose -i*r - 227 + 63 = 0. Which is greater: r or -40?
-40
Let i(z) be the first derivative of 5*z**3/3 + 13*z**2 + 7*z + 9. Let a be i(-6). Do a and 30 have the same value?
False
Suppose 5*o + 0*j - j + 5 = 0, 5*o + 25 = 5*j. Which is smaller: -13/23 or o?
-13/23
Let f = -1 - 0. Let k = 22 + f. Let t be ((-30)/(-9))/(k/9). Is 1 at least as big as t?
False
Suppose 2*d + 5*t + 13 = 3*d, -5*d = 5*t + 25. Let h be 3/(25/d + 2). Let i = -0.09 - -0.1. Is h bigger than i?
False
Let r be 614/(-28) - 42/(-28). Which is bigger: -20 or r?
-20
Let s = 5004983886/97 + -51598631. Let r = 859 + s. Which is greater: r or -1?
r
Let r = 2 + 3. Let s = r + -9. Which is smaller: s or 7?
s
Let b = -3 - 2. Let k = 3 + b. Let d be (10/(-4))/(-1*(-60)/(-48)). Is d bigger than k?
True
Let m(s) = -s**2 - s + 2. Let u be m(-2). Let o = 8965/61 - 147. Is o not equal to u?
True
Suppose -3*s + 4 = -t, 2 = -2*t - 4*s + 4. Is t greater than -35?
True
Let b = 23 + 133. Which is smaller: b or 155?
155
Let s = 3439 - 3360.05. Let p = s + -79. Do p and -1/3 have different values?
True
Suppose 2*p + 241 = 37. Let a be (p/10)/((-1)/(-5)). Let n be (-2 + a/(-21))/(-1). Which is smaller: n or 0?
n
Let u(l) = -4*l - 6 - 3 + 4. Let x be u(4). Do -22 and x have different values?
True
Let m = -49 - -174. Suppose -32*u + m = -27*u. Which is bigger: 24 or u?
u
Let g be (1 + -2)/(2/(-56)). Is g less than or equal to 1?
False
Let d be 1 + 1 - (-28)/(-8). Let p = -0.7 + 0.76. Let m = p + 2.94. Does d = m?
False
Let u be (28/(-3))/(6/9). Let n(s) = s**3 + 16*s**2 + 26*s - 19. Let t be n(u). Which is greater: 7 or t?
t
Suppose 70 = 4*v - 3*s + s, 0 = -5*v + 4*s + 89. Suppose -4*u + v = -3. Suppose g - 7 = x, -4*g - 10 = 4*x - 30. Is u at least g?
False
Let g be ((-6)/(-7))/((-18)/5166). Is -246 >= g?
True
Suppose -9 = -4*r + 11. Let b(p) = -p**3 + 4*p**2 + 4*p + 6. Let x be b(r). Suppose -44 = -4*y - 0. Are y and x nonequal?
True
Let v = -851 - -850.659. Which is smaller: v or 1?
v
Suppose 3*k + 5*h - 12 = 10, -4*h = k + 2. Suppose -k = -3*a - 17. Is a at most as big as 2/41?
True
Let y(t) = 33*t - 98. Let x be y(3). Which is greater: -1/181 or x?
x
Let g = -2.25 - -2.33. Do 9 and g have the same value?
False
Suppose 5*m = 2 - 12. Let n be (4/(-6))/(427/(-63) - -7). Is n greater than m?
False
Let o be 3/(-5)*(-150)/(-250). Which is bigger: 0 or o?
0
Suppose 2*b - 3 = v, 3*v - 2*b + 5 = -0. Do v and -3/281 have the same value?
False
Let v = 33.49 - -32.94. Let g = v + -66. Let c = g - 0.03. Which is smaller: 0.1 or c?
0.1
Suppose -l + 25 = 5*f, 3*l - 9 = 5*f - 14. Is f at least as big as 5?
False
Let h be (-4)/(-14) + 478/42 + (-38)/57. Let x be (1 - -1) + 1 + 4. Suppose 2*t + r = 21, -t - 2*r - 2*r = x. Is t >= h?
True
Let q be (-8)/(-3) - (-6)/(-9). Let b = -8 - -10.4. Let a = 2.3 - b. Is q > a?
True
Let h(r) = -5*r**3 - 11*r**2 + 11*r - 6. Let z(w) = -w**3 + w**2 - w. Let y(l) = -h(l) + 6*z(l). Let k be y(16). Let s be k/(-8) + (-9)/9. Is s bigger than 1?
False
Suppose -43 + 49 = 2*d. Let o be 0 + d*(-1)/3. Is -1/38 smaller than o?
False
Suppose 19 = 3*j - 2*q, 5*j - 33 = 2*q - 0*q. Let l(i) = -i**2 + 8*i - 6. Let a be l(j). Let d be ((-48)/(-9))/a + -4. Is 1/2 at most as big as d?
True
Suppose 2*d = -2*d + 12. Let z(q) = -q**2 + 3*q. Let o be z(d). Let m be (-3)/9 + 300/54 + -5. Which is greater: o or m?
m
Let k = -10 - -11. Let j = -0.05 - 0. Let z = j - -6.05. Which is greater: z or k?
z
Let w = 15.4 + 142.6. Let b = -159 + w. Let y = 1.95 + 0.05. Is y < b?
False
Let l be ((-14)/(-1666))/((-1)/6). Are -1 and l nonequal?
True
Let c = 3/48578 - 89092079/437202. Which is bigger: c or -204?
c
Let u be (-3)/(((-10)/(-12))/((-210)/(-2646))). Which is bigger: 14.9 or u?
14.9
Let l be 252/(-189) - (-177)/(-9). Are -308/15 and l non-equal?
True
Let h(p) = p**3 - 5*p**2 - 4*p - 7. Let s be h(6). Let x be -10*(-2 + 8/s). Suppose 2*y = x*y + 16. Which is smaller: y or 0.2?
y
Let d be 302/1526 - 67/469. Is -1 greater than d?
False
Let n be (-8)/(-18) + (-64)/144. Which is smaller: n or 7/10?
n
Suppose 5 = b + 4*b. Let p = b + 2. Suppose 3*m - 12 = -p*z, -m + 1 = 3*z - 5. Which is smaller: 2/15 or z?
2/15
Let f be -860*52/(-1365) - 8/(-14). Which is greater: f or 33?
f
Let w(x) = -x + 8. Let y be w(8). Let r be 6*190*3/(-9). Let z be 3 - (r/24)/(-5). Which is smaller: y or z?
z
Suppose 0 = 3*f - y - 25 + 23, 5*f - 4*y + 6 = 0. Let r = -1 + 1. Is f >= r?
True
Let u(v) = 98*v + 1181. Let l be u(-12). Which is bigger: l or 208?
208
Suppose 2*p - 20 = 4*z, 4*z + 1 + 19 = -p. Let s(j) = j**3 + 15*j**2 + 25*j - 19. Let g = 18 - 31. Let y be s(g). Is z greater than y?
True
Let t be -5 + 1*(1 - -4). Let b(p) = -2*p**2 + 2*p + 9. Let q be b(t). Are q and 9 equal?
True
Let u(q) = q**3 - 37*q**2 - 167*q - 55. Let k be u(41). Which is greater: -1242/7 or k?
-1242/7
Let c(y) = -9*y - 8. Let z be c(9). Let g = z - -64. Is g less than -25?
False
Let h = -144 + 187. Are h and 3/5 unequal?
True
Let m(z) = -5*z - 30. Let c be m(-7). Suppose 2*f + 4*x - 18 = 3*f, 0 = -c*