 0.9 or w?
w
Let z = -83 + 122. Let n = -14 + z. Let w = -9 - n. Is w less than or equal to -0.1?
True
Let c be (96034/(-20) - (-8)/40)/((-387)/516). Is 6400 less than or equal to c?
True
Let c(p) = 3*p + 18. Let d be c(-7). Let y be (20/(4/(-1)))/(1/d). Let r be ((-9)/(-159))/(y/(-10)). Is 0 less than r?
False
Let l be (-4)/(-52)*(-2032 - -2). Let h = 156 + l. Let d(y) = -y**3 - 5*y**2 - 4*y + 1. Let p be d(-4). Is h bigger than p?
False
Let m(g) = 8*g - 78. Let r be m(12). Suppose 3*d - r*d = 1005. Is -66 greater than d?
True
Let u be ((-9)/(-4))/(11/396). Let t = u + -21. Which is greater: 63 or t?
63
Let q = 0.222964 + 980.287036. Let d = q + -974. Let l = -0.51 + d. Is l less than or equal to -0.02?
False
Suppose -124*h + 245*h = 134*h - 195. Suppose 5*v = -20, 45 = 5*o + 3*v + 2*v. Suppose -o*j = h - 2. Is j at most -5/14?
True
Suppose -42 - 120 = 3*u. Let m = 43 + u. Is m at least 2/9?
False
Let g be (-25)/4*(24/70)/(-6). Let x(s) = s**2 - s - 10. Let i be x(-3). Suppose b - 4*b - 3*p - 6 = 0, -i = -b + 3*p. Is g at most as big as b?
False
Suppose -93*r + 3 = -88*r - o, -4*r + 29 = 3*o. Which is smaller: r or 460.4?
r
Suppose -4*o = -3*w + 38414470, 38414466 = 3*w - 3*o - 0*o. Let n = 62039342926/4845 - w. Let p = n - -2/85. Which is bigger: -1 or p?
p
Let j be 1/((1/(-4))/(-1)) + 8/(-1). Which is bigger: 26/5 or j?
26/5
Let t(z) = -3*z**2 + 28*z + 58. Let x be t(11). Suppose -3*p + 9 = -3. Suppose h = x - p. Which is smaller: h or -2/113?
h
Let a(q) = -7*q**2 + 31*q + 51. Let h be a(-27). Let s = h + 2891497/491. Is 1 greater than or equal to s?
True
Let c(x) = 89*x - 624. Let q be c(7). Is q bigger than 2/2039?
False
Let g(m) = -37*m**2 - 1998*m + 26. Let w be g(-54). Do w and 113 have the same value?
False
Let o(u) = -19*u - 878. Let w be o(26). Is w greater than or equal to -1371?
False
Let u be -6 - -4*(-33365)/(-22240). Do -1 and u have the same value?
False
Suppose -4*g - 4*y + 21444 = 0, -3 = -48*y + 49*y. Which is greater: g or 5365?
5365
Let o(q) = -q**2 + 33*q - 273. Let w be o(17). Which is bigger: -18/31 or w?
-18/31
Let a be 5/3*(-33)/800294*-22. Is a at most -1?
False
Let q(r) = 22*r**2 - 39*r + 369. Let p be q(0). Which is smaller: 372 or p?
p
Let p be 38/88 - (-46)/(-184). Suppose -4*r + 24 = 4*n, -n + 2*r - 19 = -4*n. Which is greater: n or p?
n
Let b be (-372)/(-18) - 3/(-9). Suppose b = -y + 8*y. Which is bigger: y or 16/5?
16/5
Suppose -6*m = -23*m - 11*m - 7*m. Which is smaller: 996 or m?
m
Suppose -43*a = -64*a - 68*a. Which is smaller: a or 4/637?
a
Let t = 2350/128649 - 9/703. Is -0.01 bigger than t?
False
Suppose 31773*c + 6 = 31776*c. Which is smaller: 1309/4 or c?
c
Let b = -4697 - -4494. Which is bigger: b or 2/11?
2/11
Let s = -44 + 52. Suppose -s*g + 53 = 13. Let h(n) = -3*n + 11. Let r be h(g). Which is greater: -25/6 or r?
r
Suppose 44*o = 50*o - 36. Suppose -o*n - b = -4*n - 123, 3*n + b = 184. Suppose 5*s - 4*a = 0, 7*s = 3*s - 2*a. Which is greater: n or s?
n
Let q(l) = -l**3 - 9*l**2 + 34*l - 23. Let v be q(-12). Let b be (-12)/(-4)*v*-3. Is 3 <= b?
False
Suppose -11*m - 5964 = 22999. Is m > -2634?
True
Let c(l) = l**3 - 21*l**2 - 37*l + 108. Suppose -17*m + 29*m = 264. Let f be c(m). Is f > -221?
False
Suppose 4 = 4*d + g, 12 = -3*d - 25*g + 28*g. Suppose d = 7*k + k + k. Is k equal to 2?
False
Suppose 3*p + 2 = -1. Let c be p/3 - 7/(-9). Let k = -7.8051 + 1.8051. Is k at most as big as c?
True
Let b = 6 + -268. Let z = 261.97 + b. Which is smaller: -44 or z?
-44
Suppose -4*n = -6*u - 31034, 0 = 5*u - 2*u + 2*n + 15521. Is u >= -5170?
False
Suppose -4*q + s + 54 = 3*s, 4*q - 4*s = 72. Suppose -3*x + 4*c = -43 - q, -2*x - 3*c + 50 = 0. Let r = 43 - 19. Which is smaller: x or r?
x
Suppose 8*j - 130 = -2*j. Let m be (-2)/(-12) + (-38155)/(-2730). Is j smaller than m?
True
Suppose 176*o - 172*o + 3*u = 5893, -o + 1467 = 2*u. Which is smaller: 1480 or o?
o
Suppose -173 = -4*j - 133. Suppose -j*v + 38 = 48. Is -2/21 <= v?
False
Let l be 384/194 + 0 + -2. Suppose 0 = -3*g + 2*d - 2, -6*g = -7*g - 4*d + 4. Suppose g = -153*a + 150*a. Which is smaller: a or l?
l
Let w be (-6)/8 - ((-75)/(-12) - 4). Let q be (-89)/w - (-4)/12. Let s = q - 37. Which is smaller: 0 or s?
s
Let x = 171 + -166. Suppose 4*u = -3*t - 13, -3*t = 2*t + x*u + 20. Is t greater than -8/3?
False
Let i be (365/(-1825))/((-333)/20). Which is smaller: 1 or i?
i
Let b = -9 - 2. Let x(n) = 13 - 29 + 4*n**2 - 2*n**2 + 22*n + 19. Let y be x(b). Which is greater: y or 1?
y
Let j be 27 - (-4)/8*8. Suppose 4*n - j = 1. Suppose 26 = -n*c - 14. Is c equal to -7?
False
Let h = -201 + 200. Let b(z) = -2*z**2 + 4*z + 4. Let l be b(h). Which is bigger: l or -9/16?
-9/16
Let v(d) = -10*d - 5 - 20 - 30*d**2 - 11*d**2 + 0*d**3 + 16*d + d**3. Let b be v(41). Which is smaller: b or 220?
220
Let v = -5826 + 11663/2. Let t = 2 - -5. Which is smaller: t or v?
v
Suppose -6*u + 3*u - 4*k - 1 = 0, 0 = -k - 1. Suppose -4*s + 3*x - 7 = -0*x, -5*s - 3*x + 25 = 0. Let a be 92/(-47) - (4/s)/(-1). Which is greater: u or a?
u
Let g = -38/37 - -541/851. Let z(q) = -2*q**2 - 20*q + 22. Let h be z(-11). Which is greater: g or h?
h
Suppose 3035 = 54*q + 227. Which is bigger: q or -3?
q
Let u(k) = -2*k**2 - 129*k - 175. Let t be u(-63). Let r(h) = 3*h**2 - 4*h. Let c = 13 + -10. Let v be r(c). Which is smaller: v or t?
t
Suppose 229 = -9*q - 500. Let a = q - -51. Suppose 4*l = -c + 9*l - 26, 2*c = -4*l - 66. Which is smaller: a or c?
c
Let n be (6/(-8))/((-33)/22). Let r = 64/5 - 11. Which is greater: r or n?
r
Let c = -555.558 + 557. Which is bigger: 0 or c?
c
Suppose 0 = -x - l + 36, -2*l + 0 = -2. Let r be 3*x/765*15. Let h = r - 2573/1258. Which is smaller: 0 or h?
0
Let c be (-80)/(-12)*((-126)/(-24) + 0). Suppose c*w - 32*w = 4*h + 430, 3*w = -h + 440. Is w bigger than 146?
False
Let y = -772 + 801.4. Which is greater: y or -0.5?
y
Let h = -16 - -17.6. Let f be (-11)/(-616)*32*12/(-16). Is f at most h?
True
Let c = 70/57 + -2459/285. Let o(f) = f**3 + 18*f**2 - 26*f - 140. Let x be o(-19). Is x != c?
True
Let l(u) = -u**3 + 10*u**2 + 2*u + 10. Let v be l(10). Let x be v/(-50) + (-9)/(-5). Is x at most as big as 18?
True
Suppose 54428 = -159*v + 9103 - 6827. Which is smaller: -330 or v?
-330
Let u(p) be the third derivative of 17*p**6/120 - p**4/4 + 2*p**3/3 + 5*p**2. Let m be u(3). Let y be 3 + 269*(-5)/m. Is 1 at least y?
True
Let o be (-186)/504 - ((-6)/(-28))/((-18)/7). Is o > -2420?
True
Let t = -630 + 632. Suppose f + 26 + 15 = -4*q, t*q - 200 = 4*f. Is f equal to -42?
False
Let x be (52724/(-490))/((-3)/48). Which is smaller: x or 1721?
1721
Let c = -628.4 + 628.2482. Which is smaller: -2 or c?
-2
Suppose 53 - 5678 = 9*i. Let f = i + 623. Is -1.47 bigger than f?
True
Let u = 705 + -705.0384. Let c = 0.0014 + u. Which is greater: c or -1?
c
Suppose -321*h + 1034 = -299*h. Let a be 1449/(-42)*4/(-3). Is a bigger than h?
False
Let r(q) = 2*q - 20. Let b be r(11). Suppose b*v - 165 = -1059. Let f = -18328/41 - v. Is 0 > f?
True
Let x(b) = -99*b + 1485. Let d be x(15). Is d > -13/424?
True
Let b be 2 - ((-133)/(-72) - 2/9). Suppose 21 - 13 = 8*g. Which is smaller: b or g?
b
Let k = 206 - 174.4. Let i = k - 12.6. Let d = -19/33 - 1/11. Does d = i?
False
Suppose 0 = 6*v - 2 - 10. Suppose 2*h - 4 = -m, -2*h - 3*m + 2 = -v. Suppose 0*j + j = -c - 1, -h*c = -j + 5. Do 2 and c have the same value?
False
Let z(y) = -y**3 + 55*y**2 + 49*y + 269. Let s be z(56). Is s at most as big as -123?
True
Let v = 2027.8 + -2027.7242. Which is greater: -1 or v?
v
Let p(h) = 3*h - 24. Let s be p(8). Suppose 2*z = 4*z + 3*g - 35, -15 = -4*z + 5*g. Suppose -z + 11 = -k. Which is smaller: k or s?
k
Let q = -43419 + 43418. Which is greater: q or 142/535?
142/535
Let v be ((-254)/(-4))/((-15)/30). Let b = -151 - v. Let m be b/(-54) - 94/198. Is m less than -1?
False
Let r(z) = -3*z - 30. Let b be r(-12). Let s be (1 - 0)*(b + -7)*-3. Let h be (9700/(-644))/5 + s. Do h and 0 have the same value?
False
Let f = -30 - -21. Let w be f - (-3 - 12/(-3)). Let v(x) = x + 19. Let g be v(w). Is g less than -1?
False
Let q(r) = -66*r**2 + 1789*r - 18. Let s be q(28). Is s equal to -3339/2?
False
Let k = 890/47 + -30595/1504. Which is smaller: k or 0?
k
Let j(z) = z**2 - 9*z - 9. Let f be j(10). Let s b