Let i(s) = s**3 - 3*s**2 + 3*s - 4. Let z be i(3). Suppose -z*u + 16 = -5*j + 1, 2*u + 3*j = 6. Suppose -u*k - f = -0*f, 1 = -4*k - f. Is k smaller than 8/33?
True
Let v = -3/4030 + -1299/4030. Let o = v - -2179/5135. Which is smaller: o or 0?
0
Suppose 3*r = -2*p + 23, -p + 6*p = 4*r. Suppose 10*z - 5*z = 2*v - 107, -5*v = p*z - 317. Is 1 != v?
True
Let t(g) = 9*g**2 - 62*g + 106. Let s be t(4). Which is greater: -1/14 or s?
s
Let a = -6104 - -6104. Let x = -2382704904225/11638 + 204734912. Let b = -2/529 + x. Is b bigger than a?
True
Let u be 3846/10 - (-48)/120. Suppose -n = 6*n + u. Let s = n - -94. Which is bigger: s or 1?
s
Suppose 4*j - 3*j - 43 = 0. Let k = -101 + 143. Let s = k - j. Do s and 2/95 have different values?
True
Let b = -412 - -416. Let v(r) = r + 5. Let s be v(7). Suppose s = b*p - p. Which is greater: p or 3?
p
Suppose 2814 = 5*g - 2*k, 0 = -2*g - 0*g - 5*k + 1114. Suppose -4*o - 359 = -t + 210, 2815 = 5*t - 5*o. Which is greater: g or t?
g
Suppose 22393*y + 11 = 22411*y - 7. Which is bigger: y or 124/87?
124/87
Suppose 3*h - 35 = -4*h. Suppose -3*j + 3740 = -h*j. Let a be (-9)/(-24) + j/4560. Is a less than or equal to 0?
True
Let u = -8 + 43. Suppose 3 = -u*a + 36*a. Suppose a*f - 1 = 2. Which is greater: 2/25 or f?
f
Suppose -5*x = 17*y + 88369, -y - 5205 = 6*x - 4*x. Is y greater than -5197?
False
Let l = -257 + 258. Let j = 13 + -8. Let x be 6/j*(-40)/(-15). Is l <= x?
True
Let c = -1.3 + 1. Let y = 31064 + -31044. Which is smaller: y or c?
c
Suppose 2*q = 4*p + 187 - 191, -5*p + 65 = 5*q. Is q less than 36?
True
Let c(w) = 59 - 3*w + 3*w - 6 - 5*w. Let l be c(12). Which is smaller: l or -11?
-11
Let f be ((-351)/18)/(-13)*4/3. Suppose 2*m - 18 = -5*t - 0*t, 4*m = f*t - 12. Is -4/89 at least m?
True
Let c be (2/2)/(4/(-12)). Let k = 514 + -218. Let m = 294 - k. Is m > c?
True
Let k = -74 - -132. Let v = k + -50. Suppose r - 7 = v. Which is smaller: r or 18?
r
Let s be (-24 + 6 - -18) + -1. Which is smaller: 4/3621 or s?
s
Let a = 794/9 - 14546/171. Which is smaller: a or 2?
2
Let k(t) = 27*t**3 - 2*t**2 - 25*t - 66. Let l be k(-5). Is l != -3366?
False
Let a be 1*((-12)/(-9) - 1). Let y be (-225)/1053*(-392)/10. Let w = y - 106/13. Which is greater: a or w?
a
Let w = 0.003 + -0.003. Let c = 1/452 - -10249/66444. Let p = -2/147 + c. Which is smaller: p or w?
w
Suppose 0 = -5*g + 2041 + 1479. Suppose g = 14*u - 10. Which is greater: 49 or u?
u
Let z(c) = -8 - 315*c + 319*c - 23. Let u be z(7). Which is smaller: u or -8?
-8
Let b be 18/(-42) - -55*2/(-70). Suppose -32 = -2*g + 2*v, -72 = -4*g - g - 3*v. Which is greater: g or b?
g
Let t = 22 + -21. Let r be ((1 + -3)*t)/((-435)/1). Let n = r + -5234/3045. Is n bigger than -2?
True
Let v = -0.064 - -79.064. Let t = 78 - v. Is 2.8 at most as big as t?
False
Let r be (1 - (-1007)/(-2)) + -11*(-11)/242. Which is greater: r or 1/5?
1/5
Let d = -455487 - -455484. Let s(f) = -2*f**2 - 8*f - 7. Let v be s(-5). Which is bigger: v or d?
d
Let h = -647 - -647. Suppose -2 = -t + m, 5*m + 17 = -h*t - 2*t. Let l = 832 - 59071/71. Is l greater than or equal to t?
True
Let k(g) = -g**3 + 9*g**2 - 19*g + 7. Let i be 1470/(-196)*(4/(-5) - 0). Let z be k(i). Which is greater: -1/229 or z?
z
Let z(q) = 2*q**2 - 4. Let p be ((-20)/105 + 2/(-14))*6. Let r be z(p). Suppose -2*u + 21 = -r*n + u, -4*n - 51 = 3*u. Are -13 and n nonequal?
True
Let o = 33243 - 33243. Which is smaller: 0.07656 or o?
o
Let a be (65/(-26))/((-132)/128). Is a at least 3?
False
Let j be 3 + 85/(-25) + (3 - (-23632)/(-20)). Is -1179 less than j?
False
Suppose 5*p = -2*p + 126. Suppose 0 = 2*k + 8, 4*u = 2*k + 30 + 30. Let c = p - u. Is 14/3 at least as big as c?
False
Let i = -13273/18990 + -2/1899. Is i at least 12/13?
False
Let z(g) = g**3 + 34*g**2 - 62*g + 69. Let a be z(-36). Let j = a + 262. Which is smaller: j or -32?
-32
Let l = -80.1 - 22.9. Let d = l + 104. Which is bigger: d or 125?
125
Suppose 23*o - 12 = 25*o. Let z be (4/o)/(172/(-30)). Let n = 497 - 498. Is n at least z?
False
Let g = -829772/7 + 118970. Which is smaller: g or 431?
431
Let t = 1.15857 + -17.15857. Let h = -0.05 + 0. Is t bigger than h?
False
Let g = -1425 + 25657/18. Let n(s) = -9*s**2 - 10*s + 18. Let z be n(1). Is z equal to g?
False
Suppose 1385 = -6*d + 827. Is d smaller than -86?
True
Let l(c) = -c**2 - 16*c - 57. Let t be l(-10). Let j = 1155/92062 - 1/482. Which is greater: t or j?
t
Let j be (83/2)/(2/(-4)). Let x = j - -84. Let a = 11 + -7. Is a equal to x?
False
Let d(m) = -5*m**3 - m**2 - m + 1. Let c(g) = 7*g**3 + g - 2. Let l(w) = 2*c(w) + 3*d(w). Let r be l(-2). Is -23/6 bigger than r?
False
Let s = -8 - -9. Suppose -5264 - 30376 = 6*z. Let y be 1662/z - (-3)/10. Which is smaller: s or y?
y
Suppose -9*q = -663 + 87. Suppose 67*k = q*k. Which is greater: 3/122 or k?
3/122
Let h = -2.107 - -7.107. Let y = 1.28 - -6.82. Let f = h - y. Which is smaller: f or 1/5?
f
Suppose 0 = -3*s - 13 + 1, s - 376 = -5*u. Suppose -160 = 75*q - u*q. Is q smaller than 160?
False
Suppose -c + 8 = 2*m, 5*m + 1 = -6*c + 5*c. Suppose -3*q + 11*l - 12 = c*l, -l = 4*q + 10. Let v = 2.5 - 0.3. Are q and v nonequal?
True
Let n = -13 + 17. Let a be 4/14*(-7)/n. Which is bigger: a or -5?
a
Let v = 39287 - 39264. Let t(a) = a**3 + 8*a**2 + 3*a - 6. Let i be t(-7). Is i >= v?
False
Let a be (-47646)/210 - (-108)/(-504). Which is smaller: a or -0.1?
a
Let q = -5.7 - -7.7. Suppose -d - 12 = -3*j - 3*d, -5*d - 39 = -4*j. Is j less than q?
False
Suppose -5*q - 90 = -30. Let n be (q/8 - -2) + 0 + 1. Let j = 15 - 5. Which is smaller: n or j?
n
Let t(k) = k**3 + 6*k**2 + 4*k - 7. Let f(u) = -u**3 - 10*u**2 - 10*u - 12. Let x be f(-9). Let a be t(x). Suppose -a*d - 2 = -6*d. Is d bigger than 1?
False
Suppose 33728 = 533*x - 565*x. Is x equal to -0.01?
False
Let u(o) = -15*o + 548. Let p(i) = 5*i - 182. Let j(c) = 11*p(c) + 4*u(c). Let z be j(38). Are -6/41 and z equal?
False
Let d = 23628 - 23624. Which is smaller: 249/65 or d?
249/65
Let v = 290 + -285. Suppose 0 = -4*i + c - 108, 21*i - 18*i + 81 = -v*c. Does i = -21?
False
Let j = 185380917227/202 - 917725322. Let d = j + -1991. Do d and 1 have different values?
True
Let x(k) = -k + 2. Let f be x(3). Let v be 89/(-15)*(-49374)/(-390). Let m = v - -751. Which is greater: m or f?
m
Let z = 556 + -560. Let v be 0*((-1)/2 - 3 - z). Is v at least 10/121?
False
Let g(d) = 2*d**2 - 13*d - 28. Let i be g(19). Let r = i - 338. Which is bigger: r or 435/4?
r
Let b be -3 + -1 + 2 - -18. Let v(m) = -m**2 + 21*m - 22. Let z be v(20). Let x be (b/280)/(z/20*2). Is x at least as big as -25?
True
Suppose 2*y - 198 = -4*y. Suppose -y*p - 45 = -28*p. Is -6 equal to p?
False
Suppose 94*q = -29*q + 10947. Does q = 86?
False
Suppose -2*q - 5*f = 0, 0*q - 3*f + 0*f = 4*q. Which is smaller: q or 2/3697?
q
Let i be (590/325 - 2)*15/(-2). Suppose -4*g + 18 = 10. Is g less than i?
False
Let l(i) = -4*i + 57. Let d be l(23). Which is greater: 63 or d?
63
Let a be (-8)/6*(-22)/(2640/45). Let c = 0.66 + -26.26. Let r = 29 + c. Is a at least r?
False
Let z = -97799/861 - -795/7. Is z at most -1?
False
Let u(w) = -w**2 - 6*w - 3. Let c be u(-4). Let a = 1/43594 - 11465237/653910. Let b = a + 116/5. Which is greater: b or c?
b
Let o = -57 + -20. Let j = o + 69. Let n(q) = -3*q**2 - q + 1. Let k be n(2). Which is smaller: j or k?
k
Let b be 135/6 - (-8)/(-16). Suppose 13 = 7*p - b. Suppose -37 = 14*c - 121. Is p bigger than c?
False
Suppose 4*j + 3*z = -1054, 3*j + 5*z + 0*z + 796 = 0. Is -255 at least j?
True
Let v(a) be the first derivative of a**4/2 + 32*a**3/3 + 17*a**2 + 60*a - 215. Let h be v(-15). Is h < -24/19?
False
Let o(a) = -a**3 - 93*a**2 - 93*a + 277. Let m be o(-92). Which is smaller: -7 or m?
-7
Suppose -5*z + 81 = -34. Let r(s) = -2*s**2 + 35*s + 1463. Let g be r(37). Which is smaller: g or z?
g
Let r = -2.9 + 1. Let i = 0.19 + 3.81. Is i < r?
False
Suppose -5*g + 4*f = 1962, 5*g + 2*f = g - 1580. Let w = -423 - g. Which is greater: w or -33?
w
Suppose 28 = -3*h + 4*h. Let s be (18/h)/((-6)/7). Let n = -65 - -64. Which is bigger: s or n?
s
Suppose -2*v + 1498 = 5*q, -v - 1 = -0. Let d(f) = -298*f - q*f + f**3 - 2*f**2 - 1 + 599*f. Let a be d(2). Is -2/277 not equal to a?
True
Let l(b) be the first derivative of -b**4/4 - 