1.07 - -0.07. Let s = q - 2. Which is bigger: c or s?
c
Let p = -0.8 - -1.7. Let m = -0.2 - -0.8. Let u = m - p. Is -1 at most u?
True
Let l(h) = -h**2 - 4*h - 3. Let z be l(-3). Suppose 5 + 5 = -5*o. Is z bigger than o?
True
Let n = 5.7 - 3.7. Is n greater than or equal to 3/13?
True
Let i(x) be the third derivative of x**5/60 - 5*x**4/24 + x**3/3 - 2*x**2. Let k be i(5). Let w be (k/3)/((-8)/6). Which is smaller: -2 or w?
-2
Let s(y) = -y + 4. Let c be s(4). Which is bigger: c or 24?
24
Let h(w) = w**2 + 2*w + 2. Let z be h(-1). Which is smaller: z or -1/119?
-1/119
Let y be ((-15)/6)/((-3)/(-2)). Suppose -14 + 2 = 6*b. Are y and b non-equal?
True
Let m be 2/10 - 80/(-100). Which is greater: m or 4?
4
Let j(v) = 3*v - 1. Let y be j(1). Suppose y*p + 5 = -w, p + 3*p + 20 = -4*w. Is p > 1/3?
False
Suppose 35*j = 39*j - 4. Which is smaller: j or -9?
-9
Let l = 11 - 34. Which is smaller: l or 1/2?
l
Let o = -5.1 - -0.1. Let u = 9 + o. Let x = u + -4. Which is bigger: 0.1 or x?
0.1
Let r = -1 + 0.98. Let i = r - 0.98. Which is smaller: 0.11 or i?
i
Let n = 4.3 + -4. Let t = n - 0.1. Let y = t + -0.1. Is 0.1 greater than y?
False
Suppose -f - 9 = -4*f. Suppose 0 = -q + f*q - 2. Let u = 3 - 2.8. Which is greater: u or q?
q
Suppose 3*w + 2 = -4. Let o(p) = -p**3 - 5*p**2 - 3*p - 1. Let b be o(w). Let f = -6 - b. Is 3 greater than or equal to f?
True
Let d be ((208/(-6))/4)/((-2)/(-3)). Is d equal to -16?
False
Suppose 3*a + 0*a = 0. Is a less than or equal to -6/7?
False
Let y = 2 - 1.8. Let t = -0.2 + y. Is 0 at least as big as t?
True
Let h = 87 - 2. Which is bigger: 1 or h?
h
Let d = -13/2 + 63/10. Is -2 less than or equal to d?
True
Let h = -0.21 - 8.79. Let a = 6 + h. Let f = 3 + a. Which is bigger: f or 0.1?
0.1
Suppose 88 = 12*b - 128. Which is smaller: -3 or b?
-3
Let o(r) = 4*r**2 - 4*r + 2. Let a be o(2). Suppose -3*s + a = -5*v, -3*v + 4*v = -2*s - 2. Is 0.7 != s?
True
Let b(o) = o**3 - 4*o**2 - 4*o + 1. Let u be -1*(-2 - 6/2). Let c be b(u). Suppose 9 = -2*j + 2*f - 3, 2*j = -f - c. Is j bigger than -4?
False
Suppose -t + 14 = -2*t. Let i = -5 - t. Suppose -3*b + i = -2*a - 2*b, 5*b + 3 = -2*a. Is -2 at least as big as a?
True
Let g = 11677/86136 + -1/2328. Let b = g - 13/370. Which is greater: -1 or b?
b
Let s(c) = -c**3 + 8*c**2 + 1. Let y be s(8). Is 3/11 bigger than y?
False
Let r = -1.4 + 2. Let x = 1.4 - 4. Let o = x + r. Which is smaller: o or 0?
o
Let t = -22.6 + 23. Let w = -0.6 - -0.5. Which is greater: w or t?
t
Let n be 133/2445 + 1/3. Let u be ((-192)/(-978))/8*1/(-2). Let i = u - n. Is i > 1?
False
Let d(x) = -4*x - 9. Let k(f) = 6*f + 13. Let w(v) = 7*d(v) + 5*k(v). Let m be w(-1). Which is smaller: 2/17 or m?
m
Let o = -127 + 127.5. Is o at most 8?
True
Let l(f) be the second derivative of f**4/6 + f**3/6 - f**2/2 + 8*f. Let z be l(-1). Suppose -5*m = -1 + 11. Which is bigger: m or z?
z
Suppose 0 = 2*r + 2*r + 2*u, 0 = r + 5*u. Let g be (r*(-3)/9)/1. Is 1/10 smaller than g?
False
Let c = -6 - -6.2. Is -1/4 > c?
False
Let o(b) = -b**3 - 9*b**2 + 8*b - 6. Let i be o(-10). Which is bigger: 16 or i?
16
Let s(y) = y**2 - 6*y + 2. Let v be s(6). Suppose v*u = -3*z - u + 9, 4*u = 3*z + 19. Let a = z + 7. Is a < 6?
False
Let d = -0.8 + -1.2. Suppose 5*h + 13 = 3. Let k be (0 - h/(-4))*-2. Is d less than k?
True
Suppose -22 = -2*f - 6. Let g(o) = o**3 - 7*o**2 - 8*o + 1. Let s be g(f). Which is greater: s or -1?
s
Let r(z) = -z**2 + 5*z + 6. Let d be r(5). Suppose -5*l = -4 - d. Are 1/2 and l equal?
False
Let k = 1.13 - 3.37. Let a = k + 0.04. Let y = -0.8 + a. Is 0.2 > y?
True
Let s = 23853214 - 94196341346/3949. Let u = -2/359 + s. Is u smaller than -1?
False
Let k(p) = 5*p - 5. Let f be k(4). Let a = -9 + f. Let s be ((-2)/a*0)/1. Which is greater: s or 2?
2
Let c = -13 + 10. Let z = c - -2. Which is greater: z or 0.3?
0.3
Let i = -22/39 + 3/13. Let z(d) = -d**3 + 2*d**2 + 4*d - 4. Let q = 7 + -4. Let w be z(q). Is w at most i?
True
Suppose -2 = -y - 3*r, -r + 2 + 1 = -2*y. Let z = -2 - -2. Are y and z non-equal?
True
Let d be -1 - 0 - 9/(-3). Let s = -19 + 18. Is d at most s?
False
Let r be 1/(-4) - 20/(-16). Which is bigger: -1/16 or r?
r
Let r be ((-40)/(-14))/(4/(-14)). Which is smaller: -11 or r?
-11
Let o be 1 - 2 - 4/(-4). Suppose o*j + 3 = j + g, -4*j = g - 6. Let z be (0 + 1)*j/1. Which is bigger: 2 or z?
2
Suppose 3*b - r + 66 = -28, 4*r = -b - 14. Which is smaller: 1/2 or b?
b
Let j be (26/(-8) - -2)/(-1). Are j and 2 nonequal?
True
Let n(a) = 8*a**3 - a**2 + 1. Let s be n(-1). Suppose -7 = 2*w - 27. Let b = -17 + w. Which is smaller: b or s?
s
Let p = -6 + 5. Suppose -2*q = -2*y - 0*q + 6, 2*q = 5*y. Is y smaller than p?
True
Let r be (-5)/20 - 29/(-132). Is r less than or equal to 1?
True
Let y be (-10)/6*3/(-1). Let k be 2 - (y + (-1)/1). Is -2 greater than or equal to k?
True
Suppose -2*p - 5 = 3*p - 5*g, 0 = -2*g + 4. Let v(w) = 2*w**2 - 4*w + 2. Let m be v(2). Which is smaller: m or p?
p
Let n(m) = -m. Let p be n(-3). Suppose -p*a = 2*g + g, -2*g + 1 = a. Let i be 1/(-4) + 14/(-8). Is i less than or equal to a?
True
Let u = -30928/47 + 658. Let z = u + 55/188. Is 1 != z?
True
Suppose 81 = -4*f + 7*f. Suppose -4*a - 2*i = -a - 13, 3 = -3*i. Suppose -a*l - 4*w = -f, -3*l - 5*w + 18 = -2*l. Is 4 at most as big as l?
False
Let a = 0.6 + -0.5. Which is greater: a or 0.028?
a
Let i be (2/(-4))/((-2)/4). Let k be i*3/9*0. Let d = k - -3/7. Which is smaller: d or 0?
0
Let t = -310 - -164919/532. Let s = t + -53/1596. Let n = 53/114 - s. Is n less than or equal to 1?
True
Let o(q) = 2*q**3 + 4*q**2 + 2*q - 1. Let i be o(-2). Is -4 equal to i?
False
Let n = 143/2 + -709/10. Let j = 0 + 1. Is n <= j?
True
Suppose 0 = a - 2*b - 3, 5*a + 1 = -b + 5. Which is bigger: 2 or a?
2
Let d(t) = -t**3 + 13*t**2 + t - 10. Let k be d(12). Which is smaller: 145 or k?
145
Let f = 0.3 - -4.7. Let r = 4.96 - f. Which is smaller: -1 or r?
-1
Let y be 1/3*(-5 - -4). Is 0 != y?
True
Let n be 1/(-4) + (-1)/(-4). Suppose n - 6 = -2*o. Suppose 4*b - 24 = -p, 27 = o*p - 0*p + 3*b. Which is greater: p or 3?
p
Let l = 19 - 19. Does -3/8 = l?
False
Suppose 2*q + 3 = 11, -2*q - 1 = 3*s. Let a be s/(-126)*-122 + 3. Is 1 > a?
True
Let j(x) = -x**3 - 4*x**2 + 6*x + 6. Let i be j(-5). Is -2 greater than i?
False
Let o(s) = -3*s - 5. Let v be o(-2). Which is bigger: v or 4/11?
v
Let v = -15 - -10. Let s = 4.95 + v. Which is smaller: s or -0.1?
-0.1
Let w be 646/(-24) + (-2)/8. Let g = -27 - w. Let t = -2/41 + 47/123. Is t at least as big as g?
True
Let b = 10 + -7. Let c = b + -3.1. Let q = c + 0.2. Are 2 and q unequal?
True
Let k = -71 + 79. Which is smaller: 7 or k?
7
Suppose -2*c + 2*i = -2 + 8, 3*c - 5*i = -13. Let n = 0 + -28. Let t = -28 - n. Which is smaller: t or c?
c
Let o = -2.25 - -0.25. Let p = 37598/39 - 964. Let i = -88/195 + p. Which is smaller: i or o?
o
Let z(b) = -b**3 + 4*b**2 + 2. Let m be z(4). Let t be (1 - 1)*(-3)/6. Does t = m?
False
Let m = -10 + 2. Which is greater: m or -9?
m
Suppose -18 = -4*f + 66. Is f equal to 21?
True
Let f = -395/28 + -50/7. Let b = 79/4 + f. Do -3 and b have the same value?
False
Let h(n) be the second derivative of n**3/6 - 2*n. Let i(k) = k**2 + 9*k + 2. Let j(a) = -4*h(a) + i(a). Let f be j(-5). Are 3 and f equal?
False
Let b(t) = t**3 + 2*t**2. Let l be b(-2). Let c = 2 + -9/5. Which is greater: c or l?
c
Let o be -1 + -1*(1 - 5). Suppose -2*y = -5*g - 1 + o, 4*y - 22 = -3*g. Let n be y/(-6) + (-3)/9. Which is greater: -1/7 or n?
-1/7
Suppose -4*o - 56 - 37 = -5*k, -k + 3*o = -12. Do k and 20 have the same value?
False
Let l = -20.006 - -0.006. Let z = -19.82 - l. Let r = -0.08 + z. Which is smaller: -3 or r?
-3
Suppose 0 = -35*b + 40*b + 105. Which is greater: -19 or b?
-19
Let f(m) = -m**2 + 6*m + 4. Suppose -2*v = 8 - 0. Let y be f(v). Let b be 8/y + 38/9. Are b and 3 nonequal?
True
Let b = 3 - 4. Let a = -79/228 + 5/19. Are a and b unequal?
True
Let x(u) = u - 1. Let v be x(-5). Which is smaller: v or -7?
-7
Suppose 5*m - 2 - 10 = -2*t, -t = m - 6. Suppose 3*o + 4*c - 12 = -o, t = 2*o - 4*c. Suppose -6 = 2*x - 4*x. Does x = o?
True
Let s = 5 + -1. Let i be 0 - (-4 - (2 - s)). Suppose -i*f - 4 = 2*f. Is -1 >= f?
True
Let s = 221.06 + 2.94. Let y = 220.93 - s. Let j = y + 0.07. Is -2 at most a