*3. Is u less than 6?
True
Let d(u) = -u**2 + 6*u + 10. Let r be d(7). Let q = 8 - 4. Suppose r*c + 1 - q = 0. Which is greater: -2/9 or c?
c
Let x = 7 - 9. Let l be 10/(-8) - x/8. Which is bigger: 1 or l?
1
Let y = -0.085 + -1.915. Is y > 0.3?
False
Let v = -0.1 - -0.2. Let w = -0.7 + 4.7. Is v at most as big as w?
True
Suppose 0 = 4*j - 23 + 7. Suppose -7*n = -j*n. Is -1/9 at least n?
False
Let f = 24 + -12. Let k = -17 + f. Let z = k - -4.9. Which is bigger: z or 6?
6
Let d = -5.64 - 0.36. Which is bigger: -5 or d?
-5
Let c(t) = -7*t**3 - 5*t**2 + 4*t + 4. Let r be c(2). Which is smaller: r or -65?
-65
Let p = 0.1 + 0.1. Let c = 1.2 - 1.5. Let j = p + c. Is 1 < j?
False
Let w be 14/(-49) - 38/14. Let a be 1/2*w*-2. Is a greater than or equal to 2?
True
Let t = -6215/24 - -259. Is -1 bigger than t?
False
Let u be (-4)/18*(0 - -6). Let t = 40 - 40. Which is smaller: u or t?
u
Let c(d) = d - 1. Let k be c(3). Let n = 185 - 184. Which is greater: k or n?
k
Let s(p) be the first derivative of p**3/3 - 7*p**2/2 + 7*p - 3. Let i be s(7). Which is bigger: i or 8?
8
Let t = -3.5 + 1.7. Let k = t + 0.8. Let n = 1 - k. Are -2/7 and n nonequal?
True
Let n(p) = p**3 - 3*p**2 + 4*p - 3. Let k be n(2). Let z be (-6)/((-3)/1) - -2. Suppose -5*c + z = -6. Is c bigger than k?
True
Let a = -0.3 + 1.3. Let z = a + 1. Which is smaller: 1/3 or z?
1/3
Let v be 2/(-8) - (-35090)/(-280). Let b be 5/2*(2 - -48). Let i = v + b. Which is smaller: i or -1?
-1
Let p be 7 + ((-1)/1 - 1). Let u be (4/(-6))/(p/6). Is -2 <= u?
True
Suppose -3*i + 17 = -k, -i - 1 + 2 = -5*k. Is i < 5?
False
Let c = 2 - 1. Which is smaller: c or -2/33?
-2/33
Let i = -3 + -3. Let t = -15 - i. Let y be (1 + 5/(-2))/t. Which is smaller: y or 0?
0
Suppose 15 = 4*b + 3. Suppose -13 = -2*j + 5. Suppose -2*r + 5*z = r - 34, 2*r + b*z = -j. Which is greater: r or 2?
r
Let d be 1 + (-18)/20 + (-3)/6. Which is smaller: d or 60?
d
Let i(x) = -x - 7. Let u be i(-9). Do 0.06 and u have the same value?
False
Suppose -2*h = 3*h + 105. Let g be (-80)/(-42) + 28/h. Is 1 bigger than g?
True
Suppose -72 + 20 = -2*t. Suppose -5*m = 4*v + t, m = -0*v + 2*v - 8. Let u be (-1)/(-2) + 27/m. Which is bigger: -3 or u?
-3
Let a = 11.02 - 11. Let x = -1 + 0. Which is smaller: x or a?
x
Let i(w) = -w**2 + 11*w + 6. Let n be i(12). Let f = n - 2. Which is smaller: -7 or f?
f
Let m be (-1 + -1)/((-27)/2031). Let r = 150 - m. Which is smaller: r or 0?
r
Suppose -2*o + 3*p - 1 - 6 = 0, o = -3*p + 10. Let m be (((-1)/(-1))/(-1))/o. Is -2 smaller than m?
True
Let q be (-7)/14*(-2)/(-4)*8. Let j be (6/(-20))/((-4)/(-10)). Is j at most as big as q?
False
Let i be 25/(-14) - (-4)/14. Let q(r) = 8*r**2 - r. Let s be q(-1). Let p be -5 + s + (-38)/8. Which is bigger: i or p?
p
Let k(h) = 7*h**3 + h**2 + h - 1. Let j be k(1). Let x = j - 8. Let v = 18/13 - 224/143. Is x greater than or equal to v?
True
Suppose y - 5*l + 25 = 0, 0 = 3*l - 0*l + 9. Let d be 4/14 + y/238. Which is greater: 0 or d?
d
Let h = -55/2 + 28. Suppose -3*a - 3*x - 3 = 0, a = -5*x + x - 10. Suppose -a*j = -7 + 3. Is h less than or equal to j?
True
Let d(s) = -s + 12. Let f be d(11). Let o be (45/(-20))/(f/(-4)). Suppose 2*c + o = -c. Which is bigger: -4 or c?
c
Let q be (-1273)/(-3) + 5/(-15). Let o = 7210/17 - q. Which is bigger: o or 1?
1
Let n be 1*-3*(-16)/12. Suppose 3*x - n*x + 2 = 3*d, x = -4. Is d bigger than 0?
True
Let u = 5 + -6. Which is greater: u or -1/29?
-1/29
Let n(l) = l - 12. Let q be n(7). Is -6 equal to q?
False
Let x(u) = -u - 10. Let p be x(-9). Let c = 2 + -1. Is c at most p?
False
Let c = -3 - -3. Let i = 0 - -2. Suppose -3 = -3*l + h, 0 = 4*l - 2*l - i*h - 6. Is c < l?
False
Suppose -10*g + 11*g = -87. Do -88 and g have the same value?
False
Suppose 0 = -0*f + f - 1. Is f at least as big as 0?
True
Suppose k = -2, z + 2*k = -0*k - 2. Let v be 1/(-4) + 132/656. Let x = 236/205 - v. Do x and z have the same value?
False
Let s = -8 - -11. Let x(a) = a**2 - s*a**2 - 5*a + a**2 - 4. Let p be x(-4). Which is greater: 3/7 or p?
3/7
Let y(p) = p + 8. Let o be y(-8). Suppose -3*t - 15 = o, -2*t - t - 16 = g. Which is bigger: 1/3 or g?
1/3
Let x = -116 - -118. Is 29 < x?
False
Let q be (-10)/15 - (-2)/12. Let p = -6.9 - -0.9. Let b = -8 - p. Which is greater: b or q?
q
Let k be 8/48 - 2/3. Let t be 7/(-5) - 4/(-10). Which is smaller: k or t?
t
Suppose -4*p = -2*p - 6, -9 = -3*l - 4*p. Let v = 2 + l. Is v less than 1/31?
False
Let n(y) be the first derivative of -y**4/4 - 10*y**3/3 - 2*y**2 + 7*y - 2. Let c be n(-6). Let f = 1019/9 + c. Which is bigger: -1/2 or f?
f
Let b be 1/3 + 21/(-9). Let a(u) = -u**3 + 10*u**2 + u - 10. Let r be a(10). Which is bigger: b or r?
r
Let s = 166 + -162. Let g = 0.1 - 0. Is g at most as big as s?
True
Suppose 10 = -3*w - 2. Which is smaller: w or -35/8?
-35/8
Suppose 3*g + 37 = -4*c, 56 = 2*g - 6*g - 4*c. Do -16 and g have the same value?
False
Let z(x) = 0*x - 2 - x**2 + 6*x - 2*x. Let t be z(4). Is t less than 0?
True
Let p = 12 + -2. Let a = p + -14. Is -3 less than a?
False
Suppose 6*z - 45 = z. Suppose 4*t = 2*g - 2, -4*t = -z*t - 5. Let d = g - -1. Which is greater: d or 1?
1
Let s = -12 - -13. Are s and 3/79 nonequal?
True
Suppose 2*t = z - 0*t + 5, 2*z - 5*t + 15 = 0. Suppose 0 = -z*b - 5*r - 30, -7*b + 2*b - 14 = -3*r. Does -3 = b?
False
Let m be 2/(-4)*2*1. Let i = 1/6 - 2/3. Are i and m non-equal?
True
Let b = 1510 - 13604/9. Which is smaller: b or -3?
-3
Let q be (2/(-5))/(12/(-15)). Suppose 2*k = -w - 11, -2*w - 2*k - 17 = k. Let a = w + -1. Is a at most as big as q?
True
Let f = -11 - -19. Let v(a) = a - 2. Let h be v(f). Let g be (-8)/12 + 2/h. Which is smaller: -1 or g?
-1
Let s = -13 - -16. Which is greater: s or 2?
s
Suppose 0 = -4*w - 0*w + 12. Suppose 0 = -0*t - t + 4. Which is smaller: w or t?
w
Suppose -4*d = -6 - 2. Suppose -d*y = -4*z + 6, 0*y - 2*y = z - 14. Suppose 0 + z = 2*a. Which is smaller: 1 or a?
1
Suppose 0 = r - 1, 4*k + 0*k - 4*r = -28. Let c be (-2)/(k/(-9)) - -3. Is c != -5/3?
True
Let s be 1 - (7236/16)/(-3). Let o = s + -151. Do o and 1 have the same value?
False
Let q(r) = r**2 + 7*r + 7. Let f be q(-8). Let v be (-36)/f - (-2)/5. Which is smaller: v or -4/7?
v
Suppose -4*l - u = -21, 5*l = -0*l - u + 25. Is l < 5/2?
False
Let s = 8.3 - 8. Let g = s - -0.7. Let m = g + -0.9. Is 0.1 at most m?
True
Let p = 25 + -24. Is -2/17 less than p?
True
Let t = 2 - 4. Let b(i) = -i + 1 - 11 + 6. Let m be b(t). Is -3 >= m?
False
Let y be -3 + 2/(4/14). Suppose -2*t + 2 = 5*f - t, f - y = -2*t. Which is smaller: -12/11 or f?
-12/11
Let g(i) = 2*i + 11. Let t be g(-5). Suppose 4*s = -p + 5*s + 3, p + 4*s = -2. Which is smaller: t or p?
t
Let c = -0.03 + 1.33. Let z = 0.3 - c. Is z < 0.1?
True
Suppose 2*n + 14 = 16*n. Does n = 3/4?
False
Let m be -2*((-5)/(-2) - 2). Which is smaller: m or -2/3?
m
Let l(q) = -q**2 - 3*q + 4. Let n be l(-4). Let d be (0 + (-2 - n))/(-9). Is -1 less than d?
True
Let j = 17029/21 + -811. Let i be 0 + 0 + -1 + 0. Which is smaller: j or i?
i
Let g = 12 - 12. Suppose -2 + 3 = -i + 2*n, g = -5*i - n + 28. Is -1 greater than i?
False
Let j = 45 + -27. Let x = j + -3. Which is bigger: 1 or x?
x
Let r(a) = -a - 3. Let n be r(-8). Suppose 4*q - 19 = -3*i, 4*q - n*q + 4*i = 19. Which is smaller: q or 0?
0
Let x(v) = v + 1. Let k be x(-4). Let q be 1/k*4/(-10). Let l = q - 23/60. Which is greater: -1 or l?
l
Suppose -5*s + 2 = 22. Let b = s + 5. Suppose -2*k + 0*k = -4. Which is smaller: k or b?
b
Suppose -7*s + 8*s + 5 = 0. Which is bigger: 0.4 or s?
0.4
Let t be 2/(-5) - (-2)/5. Let d(k) = -k**2 + 2*k + 5. Let b be d(4). Which is smaller: t or b?
b
Suppose f = -5*q + 10, 3*f = -3*q - 0*q - 6. Suppose -3*z + 0*z = 30. Let d = 12 + z. Which is bigger: d or q?
q
Suppose 2*a + 26 = 2. Let w be ((-9)/28)/(a/(-48)). Are -2 and w nonequal?
True
Let q(u) = -u**3 + 4*u**2 + u - 1. Let l be q(4). Suppose 4*s - 2 = -4*w + 6*s, -2 = l*w - 5*s. Which is smaller: -2 or w?
-2
Suppose 0 = -c - 1 - 0. Let v be (c - -3)*1/28. Which is smaller: v or 0?
0
Let m be 2/8 - (-2)/(-8). Let o = -4 - m. Let g be (-9)/(-4) + o/16. Is 0 greater than or equal to g?
False
Let i = -12 - -20. Let p = i - 11. Let y = 2.7 + p. Is y at most 1?
True
Suppose 2*h - 1 + 9 = -3*z, 9 = -5*h - 2*z. Let o