. Is -240 equal to y?
False
Let b be (-6 - 1970/(-330))/((-6)/(-9)). Which is smaller: -18 or b?
-18
Let b be -9 - 138/(-9) - (-2)/(-6). Which is smaller: -5 or b?
-5
Let l = -651 - -758. Is l >= 106?
True
Let u be ((-2)/(-12))/(23856/74720). Let f = 32/63 - u. Let s = f - -157/1065. Is 0 less than s?
True
Let c = -3764 - -7703/2. Let u = c - 88. Is u greater than 5?
False
Let o = -90 + 75. Let q be (o/13 - -1)*15/(-30). Let b = -0.2 - 0.8. Which is smaller: b or q?
b
Let g be 309/1281 + (-3 - 80/(-28)). Which is smaller: g or 0?
0
Let w be -11 - (-2 - 131285/14588). Which is greater: -1 or w?
w
Suppose -2*l + 9 = f + 2*f, 0 = -3*l + 9. Let x be (f + -3)*(-2)/1. Let z = -122 - -124. Which is smaller: z or x?
z
Suppose -13*k + 111 = 449. Which is smaller: -0.3 or k?
k
Let p = -159.4 - -159.5. Which is smaller: -617 or p?
-617
Let z = 422 + 112. Which is greater: -1 or z?
z
Let l = 7309/66815 + -18/161. Which is greater: 0 or l?
0
Let h = 319 + -384. Are h and -65 non-equal?
False
Let q = 21 - 63. Let k = q - -27. Let j = k - -13. Which is greater: -0.3 or j?
-0.3
Let h = 4 - 28. Which is bigger: -27 or h?
h
Let m = 65.131 - 65. Let q = 0.091 - m. Which is smaller: q or 0.1?
q
Let m = 0.4746 + 0.0254. Which is greater: m or 0?
m
Suppose 4*g = -4*g - 240. Which is smaller: -94/3 or g?
-94/3
Let y = 0.0635 - -54.9365. Which is smaller: 1/14 or y?
1/14
Let u(v) = 3*v**3 + 15*v - 18. Let i be u(0). Which is smaller: -33 or i?
-33
Let j be (-16)/6*18876/(-520). Is j != 98?
True
Let x = -0.904 - 0.096. Is x < 51.1?
True
Let n = 0 + 12. Let z be (12/n)/(2/102). Let x = 151/3 - z. Is -1 at most as big as x?
True
Let q = -1441 + 1441. Which is greater: 6/55 or q?
6/55
Let y be 270/(-4) - (-1)/2. Which is smaller: y or -66?
y
Let z = 386 - 386. Which is smaller: z or 41?
z
Let y be 4/(-18) - 190/(-45). Suppose y = -2*j + 8. Suppose 4*i - 6 = 2*i. Which is greater: j or i?
i
Let m be ((-15)/8 - -2)/(4/(-312)). Which is greater: m or -3?
-3
Suppose 2*s = 3*s. Let c = 104/5 - 22. Which is greater: s or c?
s
Let r(x) be the second derivative of x**3/3 - 9*x**2/2 + 2*x. Let s be r(7). Suppose y + 18 = 2*u, -28 = -4*u - y + s*y. Which is bigger: u or 12?
12
Let j be ((-16)/(-56)*7)/(47/(-8)). Is -1 < j?
True
Let o = 3.722 + -0.022. Let r = o - -0.3. Which is greater: -0.1 or r?
r
Suppose -6 = 4*h + u - 22, 4*h - 16 = -3*u. Suppose h*c - 28 = -32. Suppose -3*q = -5*j + 19, -3*j + 0*j = 4*q + 6. Is q less than c?
True
Let v be 0 + -1 - (-2)/(1 - -1). Let o = 7 + -5. Suppose o*x - 7 + 5 = 0. Which is bigger: x or v?
x
Let r = -1337/2 + 660. Are r and 1/3 equal?
False
Let a(g) be the third derivative of g**4/6 - 14*g**3/3 + 20*g**2. Let x be a(8). Is x <= 3?
False
Suppose c = 5*v + 5*c - 27, v = -3*c + 12. Let r be (-102)/v*((-30)/28 - -1). Is r at most as big as 3?
True
Let w = 2372912/1311 - 1810. Let i = w - -7840/17043. Which is bigger: i or -1?
i
Let m be (3 - (-10 + 19))*2/63. Is m greater than or equal to 0?
False
Let j = 119.4 + -119.6. Let y be (-1 + -1)*(-21)/154. Do j and y have different values?
True
Let y = -13/15 - 109/30. Let c(p) = 8*p - 3. Let v be c(2). Let l = -18 + v. Which is smaller: y or l?
l
Suppose 9*n + 21*n + 180 = 0. Let w(m) = m**2 - 7*m - 3. Let c be w(6). Which is smaller: c or n?
c
Let a = -2 + -1. Let c = 8 - a. Let z = 9 - c. Is z >= -9/4?
True
Let w = 33 + -25.4. Let m = w - 7.5. Which is smaller: -1/16 or m?
-1/16
Let f be (4 - 2) + 1 - (-3)/(-1). Which is bigger: -3/500 or f?
f
Let k be ((-60)/8)/((-3)/10). Suppose h = -l - 6, -3*l = h + k - 9. Let w = -163/6 - -2095/78. Which is bigger: h or w?
w
Suppose -3 + 8 = -5*t. Let j(l) = -l + 19. Let q be j(6). Suppose -2*z + q*z = z. Is z at most as big as t?
False
Suppose -10*r - 3694 = 1236. Which is smaller: -490 or r?
r
Suppose 0 = 2*s - 4, -2*r - s + 6*s - 34 = 0. Let l be ((-28)/r)/(5/(-15)). Is l at least as big as -7?
True
Suppose 3 = 5*u - 7, p - u = -2. Let y = -283/406 + 14/29. Which is smaller: y or p?
y
Let k be 120/66 - (-4)/22. Suppose -10 = -3*j + k. Let c be j - 0 - (-12)/(-3). Is -3 bigger than c?
False
Let g(n) = -6*n + 2 - 6*n + 6*n. Let o(y) = 5*y - 2. Let m(f) = 6*g(f) + 7*o(f). Let l be m(-4). Is l at least as big as 2?
True
Suppose -i - 14 = 20. Let t be (12/i)/(6/(-4)). Which is bigger: t or -1?
t
Let l = -0.01 + 0. Let i = l + 9.01. Let f = 8.7 - i. Which is smaller: f or -3?
-3
Let r = 32 + -31.6. Let q = -0.3 + r. Is 5 not equal to q?
True
Let n = -114 - -64. Suppose 0*v - 4 = -v + 2*k, 3*k = 2*v - 7. Let j be (n/(-22) - v)*4. Which is bigger: 1 or j?
j
Suppose -4*c = 5*k - 1 + 18, -c - 2 = -k. Let x = 1997/798 + -1/399. Let b = x + c. Which is bigger: -2 or b?
b
Let c = 7/19 + -86/285. Let s be (-9)/(-1) - (-237)/(-27). Is s != c?
True
Let o be (-1)/((315/(-6))/(-3)). Suppose 32*f = 28*f - 5*n + 4, 2*f = 5*n + 2. Is f <= o?
False
Let o(y) = 2*y**2 + y. Let r(a) = -a**2 + a. Let g(b) = -o(b) - r(b). Let h be g(-2). Let l = 1/58 - -53/290. Is h at most l?
True
Suppose 4*f + 48 = -4*z, -4*f = -2*z - 3*z - 42. Suppose 5*s = 19 - 34. Let x be 5/s - 66/9. Which is smaller: z or x?
z
Suppose -8*s = -s - 42. Let m be -4 + s + 22/(-12). Is 0 bigger than m?
False
Let x = 0.08 + 0. Let y = -0.07 + x. Let q be 3/(-6)*2/3. Which is bigger: y or q?
y
Suppose -1760 = -36*j + 4*j. Is 225/4 greater than j?
True
Let d = -1 + -11. Let u = d - -3. Let r = u + 8. Which is smaller: -2/15 or r?
r
Let z = 114 + -199. Let m = z + 84.28. Are -1 and m non-equal?
True
Let p = 11691 - 11674. Let s be (-237)/(-15) + (-1 - -1). Which is bigger: s or p?
p
Let y = -115 + 126. Suppose -10*i - 19 = -y*i. Is 21 bigger than i?
True
Let t = 0.14 - -0.86. Let q = -11 - t. Let r = q - -12.02. Is r less than -0.1?
False
Let v = -227711/4 - -57203. Which is bigger: 275 or v?
v
Suppose -1 = g - 8. Suppose -2*p = -p + g. Let d(v) = -v**3 - 9*v**2 - 8*v - 7. Let t be d(-8). Is t bigger than p?
False
Let u be (0 - -42)*7*99/154. Is u > 189?
False
Let l = 528 + -627. Is l < 1?
True
Suppose 8*x + 54 + 10 = 0. Let k(h) = h**2 + 8*h + 5. Let u be k(x). Suppose 0 = 2*j - u*q + 38, -98 = 2*j + 2*q - 32. Which is smaller: j or -0.1?
j
Let j(w) = -6*w**3 + w**2 - 1. Let z be j(-1). Let o = z + -1. Suppose -3*u = o - 2. Do -4/11 and u have different values?
True
Suppose -4*j + 6*a - 16 = 2*a, 5*j + 16 = 4*a. Let z be (13 + -3)*(-6)/(-780). Which is greater: z or j?
z
Let n(i) = 2*i**2 + 5*i - 7. Let s be n(-5). Let r(v) be the first derivative of -v**4/4 + 19*v + 26. Let j be r(0). Which is greater: j or s?
j
Let c(x) = x**2 + 8*x + 12. Let s be c(6). Is s greater than 0.03?
True
Let q be (12422/8 + -1)/(255/(-170)). Is q >= -1034?
False
Let o = 29 + -28. Let z be (0 - o)*2/(-1). Suppose -z*f - 3*v - 4 = 9, 2*v + 9 = -f. Which is smaller: 2/13 or f?
2/13
Suppose -5*g - 2*t = -2 - 8, 5*g - 3*t = -15. Which is bigger: g or 1?
1
Let c = -204/427 - -3/61. Which is smaller: c or 6/55?
c
Let r be 6/60*6 - (-102)/(-70). Which is greater: r or 0?
0
Let n = -1622 - -1622.029. Is n greater than or equal to 5?
False
Let l be (-38)/(-10) + (-3)/(-15). Suppose -3 = -3*b, 2*n + 3*b = l*n + 33. Let t be (-20)/n + 2/3. Which is smaller: 4 or t?
t
Let q(j) = -j**3 + 11*j**2 - 11*j + 9. Let p be q(8). Which is bigger: 455/4 or p?
455/4
Suppose 128 = 6*i + 10*i. Is i smaller than 0?
False
Let b be -13 - (-2 + 0/(-2)). Suppose -2*t = 3*w - 6, 4*w - 4 = -3*t + 6. Suppose 2*l - l = -3*q - 17, t = -3*q. Are l and b equal?
True
Let w be (-1)/(-3) - (-4 - (-20)/6). Let r be 2/(-10) + w/((-10)/158). Which is bigger: r or -18?
r
Suppose -1415 + 1430 = 15*n. Which is bigger: -6/13 or n?
n
Let l = -0.32 + 14.32. Let q = l + -13.81. Let j = 0.29 - q. Are 2/5 and j unequal?
True
Let g be 1/3 + (-34844)/(-108). Let x(l) = 95*l - 152. Let m be x(5). Let j = m - g. Which is greater: 2 or j?
2
Let n = -698/445 + -4167879/3115. Let b = n + 1337. Does b = -4?
False
Suppose 80 = -104*f + 99*f. Which is smaller: -8 or f?
f
Let f = 15.023 - 0.023. Let l = f - 19. Which is bigger: 0 or l?
0
Let s be (-8)/(-2) + (-50)/(-2). Let l = s - 37. Suppose -2*b - 7 - 7 = 0. Is l greater than b?
False
Let n be (10 - 1)/(24/400). Which is smaller: 147 or n?
147
Suppose -10*v = 460 - 330. Suppose -4*w = 40 + 20. Is v equal to w?
False
Let z be (-6)/7*28/(-16