 7*o**2 - 70*o + 44. Let s be t(-16). Is 2953 < s?
True
Let i(x) = x**3 - 7*x**2 - 2*x + 7. Let q = -20 - -27. Let y be i(q). Let d be (-1)/y*2 + (-64)/420. Which is greater: d or 1?
1
Let f(w) = w**3 + 8*w**2 + 7*w + 2. Let h be f(-7). Suppose 6*r - h*r = 28. Suppose -2*y + 13 = -0*y + m, 2*y - 4*m - 8 = 0. Is r not equal to y?
True
Let y = -60.8 + -7. Let k = 16.8 + y. Does k = -3?
False
Suppose 3*z = -2*q - q - 93, 133 = -4*q + 5*z. Which is smaller: -30 or q?
q
Let w(h) = -4*h + 13. Let n be w(3). Let m be -31*n/7 + 3/7. Let a = m - 2. Which is bigger: 1 or a?
1
Let t = 201.9825 + -201.88. Are 0.03 and t equal?
False
Let f = -20.233 - -18.423. Is f >= -30?
True
Let k = -176029/6 + 1273315/42. Let v = -981 + k. Which is smaller: -1 or v?
v
Let z = 20.058 - 20. Let f = -3.658 + z. Which is smaller: f or -0.2?
f
Let z = 2208.811 + -2205. Let m = z - 3.62. Is m > -1/3?
True
Let q(r) = r**2 + 32*r + 183. Let n be (-1)/(-8) + 5/(200/(-365)). Let t be q(n). Which is smaller: t or -27?
-27
Let m = -4/11 - 574/55. Let r = m - -11. Is r equal to -2?
False
Let c = 8157.2 - 8108.2. Let f = -11868 + 178138/15. Let r = -36/5 + f. Which is greater: r or c?
c
Let n(r) = -9*r + 83. Suppose 50 = 175*a - 170*a. Let x be n(a). Which is smaller: -4 or x?
x
Let l be (-446)/(-4683)*35/3. Do -15 and l have the same value?
False
Let a be 10*(-1)/(25/(-15)). Let g be (5 - (-1)/1)/(a/4). Suppose -g*w + 4*i + 116 = 0, 3*w + 5*i - 67 = 3*i. Which is greater: 26 or w?
26
Let t = -79823/34400 + 3/6880. Does t = -2?
False
Let y be (-406)/(-945) + (-12)/27. Let b(u) = u**2 + u - 10. Let m be b(0). Let o(h) = -h**2 - 9*h + 10. Let i be o(m). Are i and y nonequal?
True
Let l = 4/1519 + 77449/7595. Suppose 148*a = 138 + 158. Which is smaller: l or a?
a
Let a(q) = -2*q**3 - 45*q**2 + 32*q - 503. Let x be a(-24). Which is smaller: x or 469?
x
Let d(v) = -v**2 + 3*v + 19. Let b be d(-3). Let z be b*39/(-7) - 3/7. Are z and -6 equal?
True
Let j = -0.15646 - -219.15646. Is j greater than or equal to -6?
True
Suppose 5*o = -2*a - 0*a - 20, 5*o - a = -5. Let y be (1/o)/(5/10). Let m(s) = -s**3 - 5*s**2 - 6*s - 1. Let j be m(y). Is 2 greater than j?
True
Suppose 13*l - l - 48 = 0. Suppose 0 = 5*q + 3*z - 150, l*q = q - 4*z + 79. Which is bigger: 135/4 or q?
135/4
Let k be ((-2)/2909)/(3/(-3)). Let c = 23254/26181 + k. Let z(d) = d**3 - 7*d**2 + 8*d - 11. Let h be z(6). Which is smaller: h or c?
c
Suppose -69*i = -71*i + 36780. Let u be (-2)/9 - (i/(-27))/5. Let d = u + -137. Which is bigger: 14/9 or d?
14/9
Let i be 3/((-12)/1472)*(-5)/(-5). Is i less than or equal to -365?
True
Let t be (-1)/(2/(-12)) - 3. Suppose -t*u = 2*u. Let r = -553/4 + 3883/28. Do u and r have different values?
True
Let g be 0/(-4)*3/(-6). Let f be (-2)/3 + 13720/15. Let l = -104195/114 + f. Which is smaller: l or g?
g
Let g = 75.99 - -4.91. Let c = g + -81. Let f be (8/(-94))/4*(-1 - -3). Is c greater than or equal to f?
False
Let h = -316.8 - -2.8. Let y = h + 214. Is -1/4 equal to y?
False
Let q = -20831.32 + 20833. Is q less than 0.3?
False
Let b = 11.8 + -11.5. Suppose 0 = -o - 4*l + 3*l + 40, 0 = -5*l + 25. Suppose -4*n + o = n. Is n smaller than b?
False
Let o = 774 - 773.9. Let a = -0.7 + 0.74. Which is greater: o or a?
o
Suppose -5*a + 127 = 4*h, 3*h = 5*a - 193 + 17. Suppose 2*f = 2*r - 0*f - 60, 2*f = 2. Is a smaller than r?
False
Let u be ((-23)/3)/(9/(-135)). Let a be 0 + -4 - u - 1. Let q be -1 + ((-2)/5 - a/50). Which is bigger: 5 or q?
5
Suppose 35*v - 6165 + 3505 = 0. Is v not equal to 1357/18?
True
Let h(i) = -61*i - 944. Let p be h(-16). Is p less than 257/8?
True
Let z = -1.27 - -116.27. Let y = z - 73. Which is greater: 1 or y?
y
Let d(u) = u**2 + 10*u + 19. Let c be d(-12). Let k = c + -44. Is k > 4?
False
Let t(l) = 2*l**2 - 10*l. Let d be t(3). Let x be ((-54)/d)/(-9)*4. Which is greater: -1 or x?
-1
Let n = -44067107/85708986 - -1925/30318. Let x be (545/28013)/(5 - 0). Let p = x - n. Is 1 at most as big as p?
False
Let v = 0.113 + 48.887. Let z = v + -97. Let h = -63 - z. Are h and -2/5 equal?
False
Let s be 1/1 - (-17)/(-19). Let d(o) = -o**3 + 3*o**2 - 5*o - 9. Let c be d(5). Let j be c/7 + 6 + 6. Is j at most as big as s?
True
Let t be 1/(-19269)*1619044/112 - 6/(-8). Which is bigger: t or -1?
t
Suppose 624 - 381 = -28*x + 1923. Which is bigger: x or 1007/17?
x
Let d(r) = r**3 - 13*r**2 - 26*r - 29. Let u = 233 + -218. Let c be d(u). Which is bigger: c or 28?
c
Let q = 5.88 - 8.88. Which is smaller: q or 35/11?
q
Let i = 554.9214 - 15.9754. Let a = i + -539. Is 0 bigger than a?
True
Suppose -25*p + 4354 + 2536 = p. Which is smaller: 283 or p?
p
Let z be 15/2*1/(4/16). Suppose b = 2*x - 8, -6*b + b - z = -5*x. Let g be (-600)/(-2310) + (-2)/(-14)*x. Is g less than or equal to -1?
False
Let t = 21.3 + 23.7. Let z = t - 42. Is z at least 72?
False
Let k be (15/(-6))/(30/(-2028)). Which is smaller: 165 or k?
165
Suppose 0 = -158*r - 75*r - 16776. Are r and -1137/16 unequal?
True
Let n be (-1393)/(-49) - (-20)/35. Let u = n - 20. Is -6 greater than or equal to u?
False
Let o be (461188/(-39) + -11 - 12)/(5/(-6)). Are 14218 and o equal?
True
Suppose -2*x + 16 = 0, -2*m + 4*x = 4391 + 1631. Which is smaller: -2997 or m?
-2997
Let o = -446 - -464. Let m(w) be the first derivative of w**2/2 + 39*w + 6. Let h be m(-24). Which is bigger: o or h?
o
Suppose -59*h + 21*h = 0. Which is smaller: h or 3/271?
h
Let i = -377130.883 - -377358. Let c = i + -227. Let f = c + -0.177. Which is smaller: 4 or f?
f
Let f be (-12)/90 + 124/30 + -3. Which is smaller: 1/671 or f?
1/671
Let s be 1*793 + 600/100. Which is greater: s or 800?
800
Suppose -4*z = -2*z - 6. Suppose -4*w = z*n + 1 + 16, -3*n + 1 = -5*w. Suppose -203 = -2*r - 2*p - 197, 4*p - 36 = 4*r. Is r at least as big as w?
False
Let f(j) = j**3 + 9*j**2 + 16*j + 17. Suppose -11*m + 215 = 292. Let t be f(m). Which is bigger: t or 12/5?
t
Let v = 82242546/5 + -1398005049/85. Let f = v - 1391. Which is smaller: 0 or f?
f
Let o = 28.36 + -28.26. Is o at least as big as -2661?
True
Let w = -428/23 - -649/46. Is 14 greater than or equal to w?
True
Let g = -2793253/465 - -6007. Suppose 0 = 5*y + 4*u + 12, 3 = 4*y + 6*u - 7*u. Does g = y?
False
Let p(l) = -l**3 - 58*l**2. Let x be p(-58). Is x greater than or equal to -7/312?
True
Let j(u) = u**3 + 5*u**2 + 3*u - 2. Let b be j(-4). Let i = -29.82 - 0.58. Let o = i - -31. Which is bigger: o or b?
b
Let r = 2609/2280 + -11/120. Suppose 0 = 3*v + 10*v. Is r greater than v?
True
Let y = 274/129 + 9/43. Let j = -16.745 - -16.945. Do j and y have different values?
True
Suppose 6*t - 2462 = 1192. Let b = -542 + t. Which is greater: 71 or b?
71
Suppose 0 = -2*j + 4*z + 2180, -635*j + 3282 = -632*j - 3*z. Is 1093 >= j?
False
Let c(d) = -d**3 + 1 + 0 + 222*d**2 + 1 - 2*d + 225*d**2 - 455*d**2. Let n be c(-6). Is -59 >= n?
False
Let g = 0.2632 + 0.7368. Let z = -48 + 17. Let f = -60 - z. Which is bigger: g or f?
g
Let k(p) = -3*p**2 + 45*p - 7. Let a be k(15). Let x be 95/10 + a + 148/(-8). Are x and -11 non-equal?
True
Let r be (3 - 565/130) + 1. Let s = r - 127/234. Is s at most -11?
False
Suppose -2*j - 3 - 9 = -u, 5*j = -5*u - 60. Let f be ((-186)/j)/(-3) + (-15)/60. Is -10 greater than or equal to f?
False
Let f be ((-3)/(-1))/(2/(-6)). Suppose -6 = t + 2. Let c = 1 + t. Is f at least c?
False
Let j = 18359 - 18360. Which is greater: j or 13065?
13065
Suppose -5*f = -l - 6, 3*l + 3*f = 8*l - 80. Let v(b) = -3*b + 87. Let r be v(19). Let y = l - r. Is 2/7 < y?
False
Let z be 32/(-48)*(-12)/(-8) - (497 - -4). Is -498 >= z?
True
Let k = 36 - 60. Let h = -23 - k. Let d be (500/(-4375))/(34/5). Which is smaller: d or h?
d
Suppose -4*i - 19 = 3*l, 103 = -3*l + 2*i + 108. Which is smaller: l or -1008?
-1008
Suppose 0 = 6*p - 139 + 31. Let v be ((-165)/p)/(1 + (-1616)/1612). Let m = -3686 + v. Which is smaller: 9 or m?
m
Suppose -4*l = -2*y + 18, 12 = -76*l + 73*l. Which is smaller: -21/997 or y?
-21/997
Let b(w) = 13*w - 165. Let f be b(13). Let d(k) = k**3 - 2*k**2 - 4*k + 3. Let n be d(3). Suppose 2*a - 6 + f = n. Is 1/65 less than a?
True
Let c = 578/89 + -1487016/228997. Is 1 bigger than c?
True
Let i = 18.8 - 94.8. Let q = -75.78 - i. Let k = -0.12 + q. Is 10 less than k?
False
Suppose -5 = 5*h, 6 + 0 = a 