e (3/(-6))/(3/o). Which is smaller: 0.1 or i?
0.1
Let t(f) = -f - 27. Let x be t(-9). Let p = -16 - x. Let r be (-2 - -4) + (-4)/2. Which is greater: r or p?
p
Suppose t = 3*t + t. Are 0 and t non-equal?
False
Suppose -5*g = -4*f + 90, 0*f - g = 2*f - 38. Let h be (24/f)/((-3)/(-40)). Let s be 2/h*(-4)/3. Which is smaller: 1 or s?
s
Let p(c) = -c**3 + 3*c**2 + 7*c - 6. Let l be p(5). Let g = l - -45/2. Let q = 2 - 1. Is q less than g?
True
Suppose 0 = 5*f + 15, 3*i + 5*f - 3 = -0*f. Suppose 0 = -4*r - 10 - i. Suppose 4*n - 6 = -22. Does r = n?
True
Suppose 9 + 3 = -4*t. Is -2 at least as big as t?
True
Let n(y) = 3*y. Let d be n(2). Let k be ((-1)/5)/(d/(-12)). Let i = 2 - 1. Is i <= k?
False
Suppose 4*x - 2*g + 4 = 0, 5*x = -4*g - 13 - 5. Let z = 2 - 7. Is x at least as big as z?
True
Let b be (-5)/(-30) - (-5)/24. Let l be -3 - (-3 + (-1 - -2)). Which is smaller: l or b?
l
Suppose 0*f = 3*f. Suppose 0 + 10 = 5*r + 3*g, 3*g + 30 = 3*r. Suppose w + 9 = 5*z, -r*z + 4*w = -14 - 7. Is z at most as big as f?
False
Suppose 5*m - 4*m = 13. Suppose -m - 15 = -b. Let u = 113/4 - b. Is u equal to 7?
False
Let z be 25/9 + 4/18. Let b = z + 0. Suppose 41*t - 31 - 133 = 0. Which is smaller: b or t?
b
Let z = 47 - 33. Which is smaller: 12 or z?
12
Let h = 0.2 + -1.2. Suppose 0*z - 5*z = 0. Suppose 4*y = -z*y. Is h at most as big as y?
True
Let s(w) be the first derivative of w**3/3 - 9*w**2/2 + 6*w + 1. Suppose -5*x + 48 = -4*k, -3*k = 5*x - x - 26. Let d be s(x). Is -3 bigger than d?
False
Suppose -8*a + 7*a = 0. Let b = 1 - -2. Let d = b - 1. Is d > a?
True
Let w be 30/(-20)*(-4)/(-2). Is w at most as big as -8/3?
True
Let j(f) = f**2 + 7*f + 2. Let h be j(-7). Suppose -h*m + 6*m + c - 1 = 0, -3*m - 3*c = -3. Let s be (-3)/(-12) + 15/(-28). Which is smaller: s or m?
s
Suppose 2*r - 129 = -r. Let t = 61 - r. Suppose 4*b = o - 20, 2*o + 3*b - 3 = -t. Which is smaller: -1/4 or o?
-1/4
Suppose 12 + 2 = -2*l. Which is bigger: l or -6?
-6
Suppose -4*n + 0*n - 3*t + 31 = 0, -15 = 5*t. Let o be -2 + -1 - (-29)/n. Which is smaller: -1 or o?
-1
Let y be 6/(-2)*(-14)/(-42). Is y bigger than -6?
True
Let c be (-16)/9 - ((-7)/9 + 1). Is c bigger than -14?
True
Let l be 10*(-3)/(-6)*3. Let d = -16 + l. Which is smaller: d or 2/15?
d
Suppose -16*a + 15 = -13*a. Is a > 5?
False
Let c(i) = -i**3 - 3*i**2 + i + 3. Let s be c(-3). Let z = 11 - 13. Is s < z?
False
Let x be ((-5)/2)/(2/(-4)). Let a be x - 2 - (-2)/2. Suppose -3*n = -o + 2, -n + a*o = 2*n - 1. Which is bigger: 1 or n?
1
Let u(w) = -w**2 + 10*w + 2. Let s be u(10). Let n be (-9)/(-12) + s/8. Let b be (-4)/(-10)*(2 - 1). Which is greater: n or b?
n
Let j be (5544/(-16))/11*(-24)/(-14). Do j and -54 have different values?
False
Let s = 2 - -3. Suppose s*c - 5*b - 20 = -0*b, -3*c - 3*b - 18 = 0. Let l be c/(-3*2/(-6)). Which is greater: 1 or l?
1
Let r = -24.6 + 26. Let w = r + 0.6. Which is bigger: -2 or w?
w
Suppose 0 = 3*g + 2*v - 11, -10 = -g - 3*g + 2*v. Which is greater: g or -1/2?
g
Let g be 3/(-4)*-4 + -13. Let u = 21 + g. Is u bigger than 12?
False
Let i = 28.3 + -27. Let r = i + -2.3. Which is bigger: 0.1 or r?
0.1
Let m = 2 - 0.6. Let o = -0.4 + m. Let g = 0 + 0. Are g and o unequal?
True
Let n = -29 + 44. Let l(w) = -5*w + 90. Let c be l(15). Is n not equal to c?
False
Suppose -4*p + 2 = -5*p. Which is smaller: 30 or p?
p
Let g = -30 - -19. Which is bigger: g or -1?
-1
Let x = 0 - -4. Suppose 0 = -x*z + 4*j - 5*j - 7, -3*z - 12 = 3*j. Let w be 2/8 + z/(-2). Is w smaller than -0.2?
False
Let i(n) = 3*n**2 - 1. Let r be i(1). Suppose -3*d = -6 - 9. Let q = 5 - d. Is r less than q?
False
Let a = -42 - -42. Which is greater: a or -2/139?
a
Suppose 3*r - 15 = 6*r. Let d = -56 - -80. Suppose -2*a + 28 = -5*p, 5*p - a = -0*a - d. Which is greater: r or p?
p
Let z = -9 + 17. Suppose -5*l = 4*v + 5, -3*v = z*l - 3*l + 5. Let f be (0 - l)/(4/16). Is f bigger than 3?
True
Let w = 3/134 + 4547/402. Is w greater than 10?
True
Let c be 2/20 + (-1)/2. Let r be (-3)/(-12) + (-38)/(-8). Let a(p) = -p**2 + 6*p - 6. Let h be a(r). Which is smaller: h or c?
h
Suppose -10*a + 7 = 17. Is a at least 1/161?
False
Let k be 2 + -1 - (-3 + 0). Let x = 12 - 17. Let i be -5 - (2 - 6) - x. Is k != i?
False
Let q be 2/(-12) - (-1)/(-3). Is q bigger than 0.2?
False
Let v(h) = h - 1. Let k be v(5). Is k greater than 2?
True
Let z = 11 - 10. Suppose -5*k + 2*u + z = -19, 5*k = -5*u + 20. Is 2 > k?
False
Let r be 1/(-1) + 4 - -1. Let g be r/6*(-6)/(-38). Is 0 >= g?
False
Let d be ((-1)/(-2))/(11/(-36)). Which is bigger: -2 or d?
d
Let i = 92.4 + -94. Which is smaller: i or -0.1?
i
Let p(q) = -2*q**2 - 2*q + 7. Let b = -36 + 33. Let c be p(b). Suppose -3 = x + 2. Is x greater than or equal to c?
True
Let g be -1 + 8 - (11 + -13). Is g <= 10?
True
Let d(w) = -w**3 + 5*w**2 - 2*w - 6. Let o be d(4). Are o and 10/11 non-equal?
True
Let v(r) = r. Let d be v(7). Suppose 0 = a + 2*u + u + d, -4*u = 5*a + 13. Are a and 0 non-equal?
True
Let l be 1 - (-66)/(-27) - -1. Does l = 0?
False
Let u = -0.6 + 0.3. Let g = u + -0.7. Let f = 0.9 + g. Is -1 at least f?
False
Let t = 4 + -3. Let f = -2 - t. Let s = f + 3. Is s smaller than 0?
False
Let z = -0.09 + -0.91. Which is smaller: z or -10?
-10
Suppose -d + 2*p - 4*p = 0, 4*d + 5*p = 3. Which is smaller: d or 13?
d
Let g = -15 + 3. Let k be (-45)/g + (-2)/(-8). Suppose 10 = 5*q + 5*o - 0, -11 = -k*q - 5*o. Are q and 0 unequal?
True
Let l = -3/8 + 5/56. Let t be (-26)/18 - (-1)/1. Let j = t - -1/9. Is j greater than l?
False
Let a(s) = -3*s**3 - s**3 + 7*s**2 + 2*s + 8 + 3*s**3 - 3*s. Let b be a(7). Is b less than or equal to 0?
False
Let g = -119.69 - -119. Let u = g - 3.21. Let f = u - 1.1. Which is bigger: f or -0.1?
-0.1
Let g = 0.5 - 0.5. Let o = g + -0.1. Suppose 0*p - 4*p - 3*c = -8, -4*p + 8 = -4*c. Is p != o?
True
Suppose -22*g + 21*g + 3 = 0. Suppose 0 = 3*f - 0 - 6. Suppose -q - 2*q = 2*r + 17, -13 = -f*r + g*q. Which is bigger: r or -4/3?
r
Let q(w) = -w**3 - 9*w**2 + 8. Let n be q(-9). Do n and 10 have the same value?
False
Let n = -48 - -50.17. Let y = n - 0.17. Does 0 = y?
False
Let a = 14 + -6. Let p = a - 8.2. Let q = 0.3 + p. Is 0.04 bigger than q?
False
Let k(t) = 2*t + 7. Let p(o) = 3*o + 6. Let q(w) = -4*k(w) + 3*p(w). Let j be q(9). Which is smaller: j or 0?
j
Let s be ((-16)/10)/(8/(-20)). Is 23/5 at least as big as s?
True
Let m = -0.6 - -0.5. Let g = m - 0. Which is smaller: g or -4?
-4
Let v be (3/(-1680))/(1/233). Let w = v - 1/80. Which is bigger: w or 0.1?
0.1
Suppose -10 = -4*r - 6. Which is smaller: r or -21?
-21
Let f = -10 - -7. Let r = f + 8. Let x = r - 6. Which is smaller: x or 1/7?
x
Let w = -18 + 18. Is w bigger than -2?
True
Let u be (3 - 0) + 51/(-27). Let x(n) = n - 4. Let p be x(4). Which is bigger: u or p?
u
Let h = 3 + -2. Let l be (-6*3/(-42))/h. Let b(g) = -g**2 - 2*g + 4. Let k be b(-3). Do l and k have different values?
True
Let z be (-22)/8*(-11)/((-55)/20). Is z equal to -9?
False
Let c = -4 - -2. Let f be 1/c*(2 - 2). Suppose 0 = 3*g - 2 - 4. Is g at most as big as f?
False
Suppose 0 = -3*l + 3*t + 24, 0 = -5*l - t + 5*t + 36. Suppose 0 = -r - 0*q - 4*q - 8, -3*r + l*q + 8 = 0. Is r bigger than -2/9?
True
Let c = -63 - -251/4. Which is greater: -18 or c?
c
Let w = -3 - -2. Suppose -x = x - i + 77, 5*x - 5*i + 185 = 0. Let u be 4/(-22) - x/(-22). Is u <= w?
True
Let t = -5 - -4. Do t and 3/14 have different values?
True
Let u be -10 + 4 + -3 + 2. Let x = u + -4. Is x greater than -10?
False
Suppose 5*z = -5 + 15. Suppose 2*b - 24 = -2*b. Suppose z*x = b*x + 3*p + 2, -x + 7 = -3*p. Which is smaller: 0 or x?
0
Let d = -6 - -6. Is 0.1 greater than d?
True
Let l = 2 + 0. Suppose -l*i - 4*k = 32, 0*k = -i + 3*k - 1. Let f = 7 + i. Which is greater: -4 or f?
f
Let a = -14 - -14.2. Which is greater: -2/5 or a?
a
Let s be 2/3 - 14/30. Let v = 7 - 7.3. Let z = v + 0.4. Which is greater: z or s?
s
Let y be 17 + -52 - (0 - 3). Which is smaller: -31 or y?
y
Let o = -125.1 - -115. Let u = o - -10. Is u < -1?
False
Let p be 1/(-12)*3/6. Which is greater: p or -1?
p
Let v = -5 + 6. Let s be 5 + 2/(-1) + v. Suppose s = 2*b + 2*b. Is 3/7 at most b?
True
Let j be ((-1)/3)/(172/26273836). Let w = 50919 + j. Let v = w - 2/43. Which is bigger: 0 or v?
v
Let o(f) = -6