Let d be 75/10*q/(-3). Is -10 less than d?
False
Suppose 0 = 4*p, 0 = -2*i - i - 3*p + 6. Let a = 81 + -79. Suppose -i*q + 6*q + 4*c = 0, a*c = -2. Is 1/3 less than q?
True
Let z = 49.5 - 7. Let g = 5.5 - z. Is 0.1 greater than g?
True
Let t(g) = -g**2 - 36*g - 236. Let c be t(-28). Which is greater: -121/9 or c?
c
Let y = -9.3 - -4.3. Let i = -21 + 20.94. Is y smaller than i?
True
Suppose 0 = 29*f - 27*f - 50. Let p be ((-2)/15 + (-5)/f)*-3. Is p at most 2/15?
False
Let f(d) = d**2 + 23*d + 194. Let u be f(-18). Is 104 > u?
False
Suppose 260 = -3*s + 257. Is s less than or equal to 3/55?
True
Let n = 30.5 - 52. Is -0.7 smaller than n?
False
Let a = -1105.1 + 1105. Let m be (-286)/8 - 2/8. Which is smaller: a or m?
m
Let v = 62 + -61.73. Is v != 2/13?
True
Let t = -0.028 + -0.072. Which is smaller: t or -135?
-135
Let o(r) = r**2 - 5*r + 4. Let u be o(4). Let z(t) = t**3 - 9*t**2 + 9*t - 6. Let v be z(8). Is u < v?
True
Suppose 17 = 2*o + 7. Suppose -2*y = -5*h - 16, 0 = -o*y + h + 2*h + 2. Which is smaller: -0.2 or y?
y
Suppose -4*u = 5*j + 33, -5*u + 15 = -7*j + 2*j. Suppose z + 9 - 7 = -s, 8*s = 3*z - 27. Which is smaller: s or j?
j
Let d = -1/931 - -1054/114513. Which is greater: 1 or d?
1
Let z = 184 + -185. Which is smaller: z or 1/210?
z
Let l = -32 - -33.9. Let d = l + -6.9. Which is greater: 1 or d?
1
Let v(k) = -k + 1. Let p(u) = u**3 + 4*u + 8. Let r(y) = p(y) + 3*v(y). Let z be r(0). Let j = 7 - z. Is j at least as big as -1?
False
Let g = 423 + -424. Let j = 90 - 131. Let t = j - -119/3. Do t and g have different values?
True
Let j be 1/((-22)/4) - (-404)/44. Let y be ((-50)/(-6))/((-4)/(-12)). Let i = y - j. Which is smaller: i or 17?
i
Let g = 2.9841 + 0.0159. Which is bigger: -0.37 or g?
g
Let r = -32 + 31.98. Let n = -0.02 - r. Is n less than 16?
True
Let k be (2 - 1)*(-11 + 1269/117). Which is smaller: k or 208?
k
Let p = -88 - -127. Let f = -29 + p. Which is bigger: 1 or f?
f
Let y(j) = -2*j - 22. Let r be y(-9). Let o be 0 + r + 7 - -1. Is o at most as big as 6?
True
Let n(w) = -w**3 + 2*w**2 - 1. Let z be n(1). Let m be 4*-1 - (-902)/225. Which is bigger: z or m?
m
Let m = -0.11 + -0.19. Let z = m + 0.3. Let p = z - 0. Are p and 0.1 equal?
False
Suppose q + 7 = f + 3, 0 = -2*f + 3*q + 12. Is 12/229 > f?
True
Let c = 238 + -147. Let u = -90 + c. Do u and 0 have the same value?
False
Let g(q) = q**2 - 7*q + 3. Let s(i) = -i**3 + 17*i**2 + 18*i + 3. Let y be s(18). Let f be g(y). Is -10 <= f?
True
Let z = -10787 - -10713.33. Let j = z + 74. Let s = j - 0.03. Which is smaller: 0 or s?
0
Let y = 7 - 14. Let q = y - -17.5. Let t = q - 10. Which is smaller: t or 1?
t
Let p = -311 - -310.983. Which is smaller: 15 or p?
p
Let l(r) = 3*r + 109. Let y be l(0). Suppose -y = -5*t + 71. Is t at most 37?
True
Suppose 0 = 2*j - w - 33, -5*w = -0*j + j + 11. Let n = -134/9 + j. Which is bigger: -0.1 or n?
-0.1
Let v = -14 + 12. Let q be (165/(-25))/(2/10). Let h be (-8)/6 + (-22)/q. Is h != v?
True
Suppose 4*w - 276 = -5*i + 2*i, 0 = -2*w - 5*i + 124. Let q be ((-4)/w)/((-6)/16). Which is smaller: 0 or q?
0
Let i be -4*6/(-13818)*7. Is i less than -1?
False
Suppose -5*v + 2*f + f - 2 = 0, 0 = v + 2*f - 10. Let x be -2*v/(-8)*0. Let g = 193.9 + -194. Is g >= x?
False
Suppose -6*g + 5*g = -5*g. Let p(t) = 165*t. Let n be p(2). Let r be (-4)/6*(-18)/n. Which is bigger: r or g?
r
Let g be (-76)/114*9/2. Do 8 and g have the same value?
False
Let l = 35672/41 - 870. Let j(w) = w**2 + 49*w - 101. Let m be j(2). Which is bigger: l or m?
m
Let i = -1105 - -1106. Which is smaller: -7/62 or i?
-7/62
Suppose -3*r + 13 = 2*p, -3*p + r + 1 - 9 = 0. Which is smaller: -2/2599 or p?
p
Let j be 4/6 + (-55)/15. Let d be -1*(-12 - -4 - j). Is 0.9 greater than d?
False
Let y = -1409/22 + 64. Let t = 69 - 69. Suppose 4*x = -t*j + 4*j + 16, j = -5. Which is bigger: x or y?
y
Let y = -5805/28 - -900/7. Let p = y - -79. Is -0.5 less than p?
True
Let o(h) = h**2 + h - 3. Let b be o(2). Suppose n + 2*n = 21. Suppose -n*g + 25 = -3*g - t, 3*g - 40 = 5*t. Does b = g?
False
Let i = 24 + -21. Let a(l) be the first derivative of 4*l**3/3 - l**2 + l + 3. Let h be a(1). Are i and h equal?
True
Let d = 82 - 138. Let t be (-4)/5 - (-18)/(-90)*1. Which is bigger: t or d?
t
Let n(i) = i**3 - 2*i**2 - i. Let z be n(2). Let c be 0 - (2 - (16 + z)). Let r be -39*-1*3/((-45)/(-5)). Which is greater: r or c?
r
Suppose 1 = -21*j + 22. Let g(z) = z + 4. Let n be g(-2). Which is greater: j or n?
n
Let c be 174/(-10) - (-54)/(-90). Let j = c - -16. Let o be 31/(-35) - (-8)/28. Is o at most as big as j?
False
Let i(u) = -u**3 - 14*u**2 - 42*u - 10. Let j be i(-10). Is 11 greater than j?
True
Let p = -116 + 188. Is 72 less than p?
False
Let h = -155.5 - -140. Let t = -19.5 - h. Which is smaller: t or 0.15?
t
Suppose -4*g - 5 = 27. Let s be -18*-5*(-19)/190. Which is smaller: g or s?
s
Let i = -27 + 32. Suppose i*x + 20 = 0, 4*b - 5*x + 4*x - 4 = 0. Let w = -212 - -843/4. Is b greater than or equal to w?
True
Let j = 128 + -130. Which is smaller: -10 or j?
-10
Suppose -216 - 96 = 6*h. Let u be 1/2 + 117/h. Which is greater: -2 or u?
u
Let t = -2120094 + 82678204/39. Let y = t - -140. Let i(g) = g**3 - 5*g**2 - 5*g - 6. Let h be i(6). Which is smaller: y or h?
y
Let s(r) = 5*r - 3. Let f(a) = -21*a + 12. Let h(b) = 2*f(b) + 9*s(b). Let z be h(6). Let v = 13 - z. Which is smaller: -6/7 or v?
v
Let i = -251 - -254. Which is smaller: i or 22/7?
i
Suppose -16*a + 1 = -17*a. Let n be 7/12*50/70. Which is bigger: n or a?
n
Suppose 0 = 30*h - 13*h + 3145. Which is greater: h or 0?
0
Let o = -341.7 + 342. Is o > 34/21?
False
Let r = 54 - 49. Suppose 3*l + 18 = -2*t + r, 2*l - 2*t = 8. Let s = 3 - 2. Is s equal to l?
False
Suppose 0 = 5*m + 4*s - 121, 2*s + 25 - 123 = -4*m. Is m smaller than 28?
True
Let x(o) = -o**3 + 2*o + 1. Let s be x(-1). Let r be s + 2 - -1*1. Let i = -74 - -79. Is r <= i?
True
Let p be (298/120)/(3920/(-984)). Let k be (2/98)/((-25)/2). Let n = p + k. Is n at least -2?
True
Let y be (-2 - 111/(-58))*(-120)/(-4350). Which is smaller: 1 or y?
y
Let b be (3/(-18))/(2/3). Let n = -8328/17 - -490. Is b greater than n?
False
Suppose 6*s - 3*s = 45. Let j = -128.7 + 128.4. Which is smaller: s or j?
j
Suppose 3*k + 3*s + 18 = 0, -3*k + 12 = -5*k + 2*s. Let i(t) = t + 7. Let w be i(k). Which is smaller: 6 or w?
w
Let a = 3.62 + -3.32. Is a <= -37?
False
Let y(r) = -4*r + 11. Let n be y(-5). Suppose 2*j = 4*z - 22, -6*j + 2*z - n = -j. Which is smaller: -9 or j?
-9
Let l be (-6894)/(-20) - 54/(-180). Is 347 not equal to l?
True
Let y = 32.4 - 32. Let b = y - 0.42. Is b at least as big as 1?
False
Let d = -2 - -3. Let y = 24 - -2. Suppose -1 = -5*g - y. Which is smaller: g or d?
g
Let h = -62 - -34. Let z = h + 28. Which is smaller: -1 or z?
-1
Let i be ((63/2)/7)/(690/(-10)). Which is smaller: i or -1?
-1
Let w(p) = 2*p**3 - 4*p**2 + 10*p - 17. Let u be w(6). Is 330 at least as big as u?
False
Let f = -110821/143 + 8897/11. Which is smaller: 33 or f?
33
Let n(b) = b**3 - 8*b**2 + 7*b + 1. Let f be n(7). Suppose h = 37*h + 72. Is f <= h?
False
Let a = 0.8 + -0.9. Suppose 22*q = 383 + 387. Are q and a equal?
False
Let a be 810/85*((-40)/(-12))/(-10). Is a < -4?
False
Let j(l) = -2*l + 5. Suppose 21 = -3*q + 2*h + 1, 2*q - 8 = -4*h. Let u be j(q). Which is smaller: u or 10?
10
Let k be (-2893)/(-36) + 40/(-32). Let q = k + -79. Let s = 1 - 2. Is q bigger than s?
True
Let k(n) = -8*n + 12. Let j be k(-6). Suppose -3*v = -5*v - j. Let q be (-4)/24 + (-41)/v. Is 1 > q?
False
Let p(l) = l**2 - 4*l + 3. Let v be p(3). Suppose v*y - 176 = -4*y. Let n be 3/(-9)*12/y. Which is bigger: 0 or n?
0
Let s = -0.043 - 10.957. Let t = -29 - -15. Let p = s - t. Which is smaller: p or 6?
p
Let k = -301 - -274. Do -1 and k have the same value?
False
Suppose 5*i - 6*i + 2*h = 230, -470 = 2*i - 2*h. Is i greater than -239?
False
Let d(w) be the second derivative of -w**5/20 - w**4/2 - 5*w**3/3 - 2*w**2 - 13*w. Let b be d(-4). Let f be b/(-36)*(0 + -3). Which is bigger: f or 1?
1
Let w = -1644 - -1616. Is -23 less than or equal to w?
False
Let j = -30 + 30.13. Let x = -0.04 - j. Let r = x + -0.83. Which is bigger: 1/5 or r?
1/5
Let d = -207 + 196. Is d greater than -12?
True
Let i = 450 + -1348/3. Suppos