
Let v = -2893 - -2891. Which is smaller: v or 18.75?
v
Let f = -214.07 + 216. Let o = -0.13 + f. Let u = 1.9 - o. Which is smaller: u or -2/9?
-2/9
Suppose -x + 3367 = 5*p, 53*p - 47*p = -3*x + 4017. Let i(l) = -l + 677. Let j be i(0). Is p at most j?
True
Let z be (-159)/(-583) + 366/(-11). Suppose -2*o = -42 - 70. Let q = 24 - o. Which is greater: q or z?
q
Let q = -9.05 + -1228.45. Are q and -2 non-equal?
True
Suppose 0 = -5*g - 4*n + 25, 4*n - 21 = -3*g + 2. Which is greater: g or 26/45?
g
Let i be (-17522)/(-6) + (-9)/(-3). Let q = i + -2998. Which is greater: q or -75?
q
Let x(r) = 5*r - 3. Let o be x(-3). Suppose -31 = 3*l + 17. Let f = -15 - l. Which is smaller: o or f?
o
Let r = 8232 + -8232.1. Let j(h) = 35*h - 3. Let g be j(2). Is g < r?
False
Let w = 24 - -12. Let y = 427 - 390. Which is bigger: y or w?
y
Let o = 13399.1 - 13399. Is 793 equal to o?
False
Let r be (44/40)/11 - 17/510. Let h = 2 + -4. Let f be (-6)/4*h/(-3). Which is greater: r or f?
r
Let v = -11.1 - -11.1. Let m = -372 + 371.88. Are m and v equal?
False
Let j(d) = -4*d**2 + 62*d - 500. Let l be j(8). Which is smaller: -259 or l?
l
Let s = -2 - -2.05. Let h = -41089 - -41074. Which is smaller: s or h?
h
Let d = -8 + 8. Let x = -27564.059 + 27584. Let l = x + 0.059. Which is smaller: l or d?
d
Let n be 21/(-27) - (0 + -1). Let f = -112 - -112. Suppose f = 16*v + 56 + 24. Which is bigger: n or v?
n
Suppose 0 = -8*a - 1 + 25. Suppose 4*s + 13 = m, -5*s - 37 = -a*m + 37. Which is greater: 28 or m?
m
Suppose -4 = -3*r + b, 2*r - 318*b = -319*b - 4. Is -37/53 less than or equal to r?
True
Suppose 0 = 59*f + 45 + 132. Which is smaller: -29/16 or f?
f
Let z(n) = 4*n + 113. Let t be z(-28). Let a be 3 + -6 + -30 - t. Which is smaller: a or -3?
a
Let j = -146 - -114. Which is bigger: j or 3/22?
3/22
Let a(r) = -r**3 - 9*r**2 - r - 2. Let n be a(-9). Suppose 7*s = -7 + n. Let m = 16721/25 + -669. Is s at least m?
True
Suppose -3*b + 5*b = 4. Suppose -z - 62 = -5*w - 16, 2*w + b*z = 16. Suppose -m + y - w = 0, 5*m = -y - 3*y - 81. Is m bigger than -12?
False
Let s = 107 - 399. Let f = s - -103. Is 0.1 less than or equal to f?
False
Let o(d) = -d**3 + 21*d**2 - 19*d - 19. Suppose 2*s - 90 = -5*t, 2*t - 23 + 8 = -5*s. Let x be o(t). Let f be (1 - 14)/(x*(1 + -2)). Which is greater: 15 or f?
15
Let o be (-8)/((24 - 8)/8) - 22836/(-5790). Does o = 0?
False
Suppose -570 = 6*q + 186. Let y be (-2 - -3)*(-27)/q*-2. Is y at least as big as -0.03?
False
Let n be 3 + (-97)/33 + 2015812/1518. Which is bigger: n or 1329?
1329
Let j = 96.9 + -97. Let t = -0.27 + 0.26. Let c = t + -3.29. Is j greater than or equal to c?
True
Suppose 5*r = r + 16. Suppose 3*o = o + r. Suppose 5*g - o*n + 15 = 0, 5*g + n + n - 5 = 0. Is 1/10 less than or equal to g?
False
Let l be (-14)/(-10) + (-840)/40*4/35. Let r = 412 + -30075/73. Which is smaller: l or r?
l
Let v = 34673/6 - 5762. Suppose 4*c - 26 = a + 41, a = -2*c + 29. Which is greater: c or v?
v
Let b = 8372 + -8665. Which is bigger: b or -0.48?
-0.48
Let p(q) be the third derivative of -q**4/8 - 7*q**3/2 + q**2 - 12*q. Let a be p(-8). Are a and -0.5 nonequal?
True
Let r = 0.03 + -0.063. Let z = r - -0.141. Let m = z - 0.008. Is 19 at least m?
True
Let r = -8 - -42. Let k(d) = 12*d - 149. Let v(t) = 3*t - 37. Let q(y) = 2*k(y) - 9*v(y). Let x be q(0). Is x smaller than r?
False
Suppose -t + 4183 = -3*q, 3*t = 25*q - 29*q - 5599. Which is greater: q or -5579/4?
-5579/4
Let y = 22 - -22. Let o = 49.9 - y. Let b = -1.9 + o. Which is greater: b or -2?
b
Let w be 2/(16/9822) - 1 - (-198)/(-264). Which is bigger: 1224 or w?
w
Let w(f) = -f**3 - f**2 + 2*f + 4. Suppose -4 = -30*s + 32*s. Let m be w(s). Suppose -n - 34 = 3*v, 0*v - m*n = -5*v - 85. Which is bigger: -14 or v?
v
Let n be (150/(-210)*7)/(2033/2). Which is bigger: -1 or n?
n
Suppose 3*t + 1037 = 4*j - 498, -2*j - t + 755 = 0. Is j less than 376?
False
Let v(j) = -j**2 + 2*j + 1. Let t be v(2). Let k = 53971/2070 - 469/18. Which is smaller: t or k?
k
Let t(s) = -s**2 - 49*s + 1753. Let h be t(-73). Which is greater: h or -2/4247?
h
Let z = 20666/581 - 250/7. Which is smaller: 0 or z?
z
Let b = 28919 - 4019780/139. Are b and -1 non-equal?
True
Let a(x) = -2*x**3 + 73*x**2 + 71*x + 207. Let b be a(38). Is -1427 at least as big as b?
True
Suppose -3*l + 8 = -5*v, -3*l - 48*v = -54*v - 9. Is 1/166 < l?
True
Let s(q) = 7*q - 3. Let c be s(-13). Let l(k) = 25*k**2 - k - 10. Let w be l(-2). Let h = w + c. Which is smaller: h or 3/4?
h
Let v = 764.7 - 771.7. Suppose -194 = -5*u - 4*h, -4*h + 23 = 3*u - 87. Which is greater: v or u?
u
Let c = -0.1083 + 0.0083. Which is smaller: c or -8.64?
-8.64
Let m be 168/12*(30/(-35) - 2). Is m greater than -26/9?
False
Let k = 135.6 - 135. Let v = 0.12 + -2.22. Is k less than v?
False
Let y = 352107.1 + -352107. Let m = -56.385 + -0.415. Let s = -51 - m. Which is bigger: s or y?
s
Let h be (-14 + 13)/((-3)/318). Is 110 equal to h?
False
Let s = 10338 + -10368. Let y = -2627222/84447 + -2/9383. Which is greater: s or y?
s
Let i = -1389 + 1388. Which is smaller: i or -10.06?
-10.06
Suppose 11*q = 8*q + 3*l + 102, 0 = -3*l + 3. Is 168/5 bigger than q?
False
Let x(k) = -19*k**3 + 8*k**2 + 33*k - 45. Let a(u) = 10*u**3 - 4*u**2 - 18*u + 22. Let w(y) = -7*a(y) - 4*x(y). Let o be w(3). Do o and 137 have the same value?
False
Let v(l) = 70*l - 32. Let o be v(1). Suppose 5*y = 272 + o. Is y smaller than 62?
False
Let n = -2698.1 - -2698. Which is bigger: n or -955?
n
Let t = -746 - -679. Which is greater: -51 or t?
-51
Suppose 4*s - 3*z = z + 12, 2*s + 3*z - 6 = 0. Suppose 12 = -4*k - s*u, -k - 4*u = u + 20. Suppose 9*o - 13*o = k. Is 2 less than o?
False
Let d = -32.021 + 0.021. Let l = -7.7 + -11.3. Let z = l - d. Which is smaller: z or -1?
-1
Let k be (-11)/4 - 813*20/(-18480). Which is bigger: k or -2?
k
Let p be -818 + 0 + -1 + 3. Let j be (-364)/455*8214/(-8). Let t = p + j. Is 4 >= t?
False
Let c = -19303 + 19302. Which is smaller: -174/23 or c?
-174/23
Let a = 473843 + -210859977/445. Let t = a + 4/89. Is t less than 0.09?
False
Let c(v) = 3*v**2 + 14*v - 92. Let j(q) = -q**2 + 1. Let g(r) = c(r) + 4*j(r). Let p be g(6). Do p and -40 have the same value?
True
Suppose 9792 = -52*y + 32*y - 14*y. Is y smaller than -290?
False
Let m be 14/(-6) + 3 + -17*11/(-561). Which is smaller: -0.03257 or m?
-0.03257
Let p be (-11480)/192 - 32/24. Which is bigger: p or -62?
p
Let i be 504/(-84) + (-1758)/(-292). Which is greater: i or -1.2?
i
Let w = 540.3 + -541.3. Which is smaller: w or -218?
-218
Suppose 5*a - 131 = 4*n, 0 = -2*n - 2*n + 3*a - 125. Let r = n - -26. Let v be r*(4 - (-20)/(-27)). Is -9 at most as big as v?
False
Let b be (-48)/(-20) - 1115452/463980. Does b = -1?
False
Let x = -245505 + 1715185/7. Let c be -25 - -26 - (-1*1 + -478). Let m = c + x. Is 1 greater than m?
False
Let w = -17086 - -68343/4. Is -0.035 not equal to w?
True
Let j(b) = -337*b - 9774. Let i be j(-29). Which is smaller: i or 712?
i
Let l be (-1)/16*6 - (-2322)/48. Is 142/3 not equal to l?
True
Let y = -59.43 - -59.653. Suppose 0 = 5*c - 4*c. Is c != y?
True
Suppose -5*h + 56 = -4*h. Suppose -7*y + h = -21. Is 12 <= y?
False
Let g be (-1)/(21/2) + (-156)/(-1638). Which is bigger: g or -1/25?
g
Let d be 24/16 + 33418/16. Let h = d - 2093. Is -4 at most h?
True
Let c be ((-39)/26)/(87/(-4)). Let y = -167 + 76. Let j = y + 88. Is j < c?
True
Let s(b) = 13*b**3 - 9*b**2 + 25*b + 21. Let v(d) = -7*d**3 + 5*d**2 - 13*d - 11. Let o(f) = 6*s(f) + 11*v(f). Let q be o(-1). Which is smaller: -5/3 or q?
q
Let y = -31412 - -31412. Which is bigger: y or -1/17911?
y
Let q = 0.058 + -60.058. Let f = q + 39. Let i = f + 26. Are i and 0.08 equal?
False
Let h be 1*-1 - 4*426/120. Let p(w) = -4*w + 16. Let l(n) = -n**3 - 9*n**2 + 9*n - 2. Let c be l(-10). Let o be p(c). Are o and h nonequal?
True
Suppose -9 = 2*n - 3. Let c be 3056/(-24)*(n - (-3)/2). Is 1/3 smaller than c?
True
Let j be (2380/(-26418))/((-15)/63). Let h = 2 + -2. Is h less than j?
True
Suppose 390*p - 6090 = 404*p. Let u = 883 - 1318. Is p > u?
False
Let d(u) = 12*u**3 + 45*u**2 - 163*u + 14. Let l be d(4). Is 856 != l?
True
Let t = 1/126768 - -757001/457252176. Is t greater than or equal to 0?
True
Suppose 5*f + 4*k = -3351, -6*f + 5*f = 3*k