06. Let x = -4 + a. Is x >= l?
False
Let r = 2 + -3. Let m = 28 - 27.69. Let j = m - 0.39. Is j not equal to r?
True
Let d = -100 + 153. Suppose -2*s - 3*c = 3*s + d, -2*s + c = 19. Let g(z) = -z - 9. Let x be g(s). Is 1 smaller than x?
False
Let m = 88 + -88. Let r be (-3*(m - -1))/(6/(-20)). Is 9 at least r?
False
Let g(w) = 2*w**2 + 10*w + 5. Let j be g(-4). Which is smaller: j or -0.6?
j
Let n(p) = 9*p - 17*p + 7*p. Let j be n(-2). Suppose -k - 2 = -4*h - 0, 0 = -j*k + h + 3. Which is greater: 14/11 or k?
k
Let f(v) = 2*v**2 + 4*v - 9. Let c be f(3). Let d be (-10)/25*c/(-6). Which is smaller: 0 or d?
0
Let w be (8*(24/6)/9992)/4. Which is smaller: -1 or w?
-1
Let g = -57 + 38. Let h = g + 21. Let p = h + -1. Which is bigger: p or -1?
p
Let b(i) = -i**3 + i + 14. Let q be b(0). Suppose 0 = 4*r + 38 + q. Let g(x) = -x**2 - 14*x - 11. Let m be g(r). Is 6/5 smaller than m?
True
Suppose -5*b - 62 = -3*t + 28, -3*b - 54 = -2*t. Which is greater: b or -9?
-9
Let h be (16/24)/(4/(-18)). Suppose 24 = 4*i + i - r, -4*i - r + 21 = 0. Let s = -5 + i. Is h less than s?
True
Let u = 1.95 - 1.95. Do u and 13.95 have the same value?
False
Let g = 174 - 4004/23. Let h = 11 - 11. Which is greater: h or g?
h
Suppose 80*b - 76*b + 4*x - 3836 = 0, 4*b = 2*x + 3806. Which is greater: b or 953?
b
Let f be (335/3)/((24/(-9))/8). Is -334 at most f?
False
Let m = -1043/1656 + 1/207. Is -2 less than or equal to m?
True
Suppose 6*a - 3*a + 21 = 0. Let f be -3 + (1477/104)/a. Let j = f + 39/8. Which is greater: -1 or j?
j
Let q = -10 - 0. Let l be 2/10 - q/(-25). Is l != -5/3?
True
Let r(p) = -p**3 + 9*p**2 - 15*p + 6. Let b be r(7). Let d = 221 + -18783/85. Which is smaller: d or b?
b
Let l be (-4 + -2)*6/(-9) - 1. Which is bigger: l or 46?
46
Let l = -738/203 + 6/29. Suppose -2*k = g - 6*k - 6, 3*g - 3*k = 0. Is g less than or equal to l?
False
Let q = 1446 - 862. Let v = q - 6428/11. Let o = -3 - -4. Which is smaller: v or o?
v
Let t = 18 - 18. Suppose 0 = -2*n - 4*a + 3*a + 32, 4*a = 5*n - 67. Let o be (-20)/72*(-12)/n. Which is smaller: o or t?
t
Suppose -2*i - 148 = -388. Are i and 121 equal?
False
Let z = 67 + -111. Which is bigger: z or 2?
2
Suppose -3*l - 4*u = -8*l + 53, -2*u = -2*l + 20. Suppose -3*r + 14 = -l. Which is greater: r or -2?
r
Let k be 3 + -4 + (-357)/6734. Let h = 21/74 + k. Let c = 1 - 3. Is c smaller than h?
True
Suppose -37*m = -35*m + 2. Let t(u) = 6*u + 9. Let b be t(-6). Let p be 15/b*(-6)/(-4). Which is greater: m or p?
p
Let n be -241*(1 + (-16)/8). Is n less than 961/4?
False
Suppose 2*j = 4*v - 16, 0*v - 22 = -v - 4*j. Suppose -2*q + 20 - v = 0. Which is smaller: q or 6?
6
Let g = -174968245 - -148548087256/849. Let t = g + 10/849. Let p = -55 + t. Which is greater: p or -0.18?
p
Suppose 0 = -4*u - 738 + 754. Which is greater: -7 or u?
u
Let k be (-5)/(-1) - (-18)/6. Suppose k*t = t. Which is smaller: t or -3/8?
-3/8
Let l(w) = w**3 + 18*w**2 - 19*w + 3. Let f be l(-19). Suppose 9 = 3*c + f*b, 2*c = -0*b + b + 15. Is 6 <= c?
True
Let w = -62 - -349. Let z = -868/3 + w. Which is bigger: z or -1?
-1
Suppose -5*x + 2*x = -66. Let m = -1876 + 1897. Which is bigger: m or x?
x
Suppose 0 = -8*g - 0*g + 112. Let u be 0*(-4 - g/(-4)). Which is bigger: -1 or u?
u
Let i = 6 + 20. Suppose -u = 2*u + 81. Let p = u + i. Which is bigger: p or -2?
p
Suppose -4*r + 4*h - 6 = -2*r, h = -2*r + 19. Let i = -1 + 2. Let w be (-21*i)/(-3)*1. Is w greater than r?
False
Suppose -13*j - 3 = -42. Is -143 at least as big as j?
False
Let z = 24 - 23. Let t = -28 + z. Let v = -3 - t. Which is smaller: 0.1 or v?
0.1
Let w = -9 + 2. Let n = -9 - w. Let x be (-16)/18 - (-8)/36. Is n >= x?
False
Let g = -0.69 + -0.81. Let r = 4.5 + g. Let s = -2/67 - 59/268. Which is smaller: s or r?
s
Let l = 475 - 454. Which is smaller: 1/3 or l?
1/3
Let o = 39 + -40. Let x = 4 + 0. Suppose 0 = -2*y + 3*g + 1, 2*g = -3*y + x*y - 1. Is y greater than or equal to o?
True
Let z = 0 + 0. Suppose m + 6 = -z. Which is greater: -5 or m?
-5
Let v = -32 + 34. Suppose 0 = -r - 3*q + 2, v*q = 2. Is 5 <= r?
False
Let r = -40761 - -408013/10. Which is bigger: r or 39?
r
Let j be 5 + -11 + -26 + 4. Which is smaller: j or -31?
-31
Let y = -15034/57 - -769/3. Are y and -6 non-equal?
True
Let j = 27 - 23. Suppose 5*n - 42 = -3*u, 3*u - j = 5*n - 22. Let x be n/(-3)*(-2)/8. Which is bigger: x or 0?
x
Let h be (3/1 + -2)*-12. Let j(i) = -i**2 - 12*i + 1. Let m be j(h). Which is bigger: 0 or m?
m
Suppose -3*b + 437 = 66*f - 67*f, -b + 131 = -4*f. Are b and 147 equal?
True
Let a = -0.894 - 39.206. Let p = -12.1 - a. Suppose 0 = 5*g - g. Which is smaller: p or g?
g
Let k = -6 + -2. Let a be 2/24 - 6903/(-108). Let x be ((-6)/k)/((-168)/a). Which is bigger: -2 or x?
x
Let v = -1805 + 1806. Which is bigger: v or 3/545?
v
Suppose z = -5*g + 35, 10*g + 4 = 8*g - 4*z. Let y be (-5)/2*(-16)/20. Suppose -2*o - g = 2*r, y*o + 2*o - r + 1 = 0. Which is bigger: 2/53 or o?
2/53
Let y(m) = -13*m**2 + 9*m + 10. Let v be y(-1). Let u(j) = -j**3 - 6*j**2 + j + 3. Let c be u(-6). Let z be (v/(-92))/c*2. Which is bigger: z or 0?
0
Suppose 2*y - 12 = -3*l - y, -4*y + 16 = 2*l. Let k = -4 - -4. Let o be k - (0 + (-2)/15). Is o <= l?
False
Let a(j) be the first derivative of 3*j**2/2 + 4. Let s be a(6). Let g be 6/9*s/(-4). Is -5 less than g?
True
Let a = 0.24 - -0.11. Let u = a - 2.35. Is u > 8?
False
Suppose 6*y - 85 = 17. Let u be -38 - -33 - (1 - y). Are 10 and u nonequal?
True
Let x be 3/1 - (-26960)/(-8925). Let v = 2/255 - x. Does v = 0?
False
Let d(w) = w**2 + 14*w + 48. Let l be d(-8). Is 3/587 greater than l?
True
Let z be ((-6)/6)/(-1) + 4. Let b = -3 + 8. Suppose 6 = -z*g + 2*n - n, b*g + n = -14. Is g != -4?
True
Let w be 18/12*16/2868. Which is greater: w or -1?
w
Let j = 16673/29 - 575. Let y(h) be the first derivative of h**2 - h - 5. Let u be y(0). Is j smaller than u?
False
Suppose g = -g - 8. Let c(h) = -h**2 - 4*h + 5. Let q be c(g). Let m be (2/(-3))/(8/12)*-5. Is q < m?
False
Let f(t) be the second derivative of t**5/20 + 5*t**4/12 - t**3 - 2*t**2 - 2*t. Let h be f(-6). Let i(u) = u**3 - 11*u**2 - 12*u - 2. Let s be i(12). Is s >= h?
True
Let k = -30 + 25. Let b(z) = -z - 1. Let q be b(k). Which is smaller: 13/3 or q?
q
Let i(a) = -a**3 - 34*a**2 + 33*a - 57. Let z be i(-35). Which is bigger: z or 25/2?
z
Let z(f) = 21*f**3 + 4*f**2 - 2*f - 3. Let d be z(1). Is d greater than 20?
False
Let y(a) = 14*a**2 + 5. Let z be y(2). Suppose z = -4*u - 19. Are u and -21 unequal?
True
Let j = 106 + -107.2. Let s = -1.071 + -0.119. Let i = s - j. Is -0.1 not equal to i?
True
Let b = 533 + -495. Are b and -0.14 non-equal?
True
Let d be (-165)/1188*(-1)/5. Is 0 greater than d?
False
Let b be (1/(-2))/(1/(-2)). Let z = b - -7. Suppose -z = -2*l + 6. Do 8 and l have different values?
True
Let d be 2/7 - (-12)/7. Let p be (1/d)/(2/(-44)). Suppose -12 = -17*f + 18*f. Is p not equal to f?
True
Let q = -17 + 11. Let m = -0.067 - 45.933. Let g = m - -46.2. Is q >= g?
False
Let q(y) = y**3 + y - 2. Let n be q(2). Suppose -2*g = -6*g + n. Suppose -s = -g + 11. Which is smaller: -10 or s?
-10
Let i be (-16)/(-6 - -5) - -2. Is 0 at most as big as i?
True
Let g be 20/3 - (-9)/27. Suppose 0 = -g*f + 2*f - 35. Let q be ((-2)/f)/((-9)/(-21)). Which is smaller: q or -1/3?
-1/3
Suppose 33*p - 32*p = 8. Suppose q + 3*u + p - 2 = 0, -3*u = 6. Is q less than 2/79?
True
Let j = 3167/3 + -1056. Which is smaller: j or 13/10?
j
Let q = 8 - 5. Suppose -5*z + 30 = -c, 2*z - 34 = q*c - 7*c. Let o = z + -10. Which is smaller: -1 or o?
o
Let i = 20.13 - 20. Let p = i - -1.87. Which is greater: p or 1/4?
p
Let v be (-4)/(-6) - 17/3. Suppose -5*l + 7*l - 5 = -3*q, 0 = 3*l - 3*q. Let r = -2 - l. Which is greater: r or v?
r
Let s = 44 - 41. Suppose 2*a - 4*z + 21 = s*a, -72 = -4*a - 4*z. Is a at least as big as 1?
True
Suppose -z - 13 + 53 = 0. Suppose -125 - 226 = -9*n. Is n >= z?
False
Suppose -5*p + 5*n = -9*p + 24, -4*n + 21 = 5*p. Let u be (-4)/(-14) - 115/(-161). Let h be ((-9)/(-3) + -4)/(u - 2). Does p = h?
True
Suppose 0 = -26*q + 19*q + 497. Are q and 76 non-equal?
True
Suppose -24*u - 130 = -89*u. Is u equal to 7/9?
False
Let p = 5509 + -16684/3. Which is greater: -52 or p?
-52
Let p = -8 - -2. Which is greater: 9 or p?
9
Let r be