/2 = z?
False
Suppose -5*q - 41 = -3*c, 5*c = 10 - 0. Let t(v) = -v**2 - 9*v - 6. Let f be t(q). Let p be 2/(-8) + (-6)/f. Is -2/3 bigger than p?
True
Let h(j) = j - 3. Let q be h(4). Let a(x) = -x**3 + 4*x**2 + 5. Let k be a(4). Let f be (9/10)/(6/k). Is f < q?
True
Let n(u) = u - 46. Let q be n(0). Let b = q - -139/3. Let f = 22 + -22. Which is smaller: f or b?
f
Let j = 136/3 + -45. Let v(a) = -a - 4. Let c be v(-7). Let x = c + -4. Is x at most as big as j?
True
Let i be 60/(-10)*(-3)/(-30). Is i at least -2?
True
Let u = -11 + 7. Is 4 < u?
False
Let l be 4/(-15)*9015/(-18). Let k = l - 398/3. Let r = -14/9 + k. Is -1 at most as big as r?
True
Suppose 3*f - 1 = 5*n - 3, 5*f + 4*n - 9 = 0. Let a be ((-8)/(-6))/(-1 + 2). Which is greater: f or a?
a
Let v = 616/25 - 82619/3350. Is v at most 1?
True
Let s = 26/45 + -7/9. Let g = 69/4 - 17. Which is greater: g or s?
g
Let q(w) be the second derivative of w**5/20 + 5*w**4/12 - 7*w**3/6 - 5*w**2/2 - 2*w. Let s be q(-6). Let x = -940/7 - -134. Which is greater: x or s?
s
Let u = 8991133/286 + -62873/2. Let m be ((-11)/4)/(26/8). Let i = u + m. Which is bigger: i or 0?
i
Let z(u) = 2*u - 4*u + 4*u - 4*u. Let l be z(2). Is -5 > l?
False
Let l be ((-3)/12 - 0)*-20. Let x(a) = -a**3 - 4*a**2 + 4*a - 2. Let y be x(-5). Which is smaller: y or l?
y
Let j = 0.53 - 0.03. Suppose 4 - 3 = c. Is c > j?
True
Suppose 5 = 5*c - 20. Let m = 0.07 - -0.03. Is c at most as big as m?
False
Suppose 5 = -m, -831 - 444 = -4*o + 3*m. Let r be 2/(-5) + 171/o. Is r less than 1?
True
Let d be ((-16)/(-10))/((-2)/(-35)). Suppose 2*k + 2*k = d. Do k and 8 have different values?
True
Let v = 0 + 2. Suppose 0*t - v*t + 4 = 0. Suppose 0 = -2*p - t*p. Which is greater: -3 or p?
p
Let w = 49/16 + -3. Which is smaller: -4/7 or w?
-4/7
Let g = 13.1 - 12. Let o = 3 - g. Let f = -2 + o. Is f less than or equal to 1?
True
Let i = 13.1 + -14.52. Let q = i - -1.5. Which is smaller: -2 or q?
-2
Let m = 19.1 - 18. Let z = 5.1 - m. Let k = -4 + z. Which is smaller: 2/5 or k?
k
Let c = 3/5 + 0. Let m(f) = -f**3 - 6*f**2 - 5*f + 1. Let w be m(-5). Is c greater than or equal to w?
False
Suppose 5*h = 3*l + 2*h + 33, 2*l + 27 = -3*h. Is 0.1 bigger than l?
True
Let j = -13000/7 - -1854. Is -1 equal to j?
False
Suppose -s = s. Suppose -3*v + v - 2 = s. Is v at least as big as 3?
False
Let p = 10.8 + -11.8. Which is smaller: 4/23 or p?
p
Suppose 6*w = 5*w - 1, w = 3*c - 10. Suppose c*m + 2*m - 3*q = -109, -2*m = -3*q + 49. Is m less than -19?
True
Let v be (-4)/((-8)/(-6)) + 1. Let p be (-2)/(v + 5 + -7). Which is smaller: p or 1?
p
Suppose -2*p - 4*k - 16 = 0, -2*p - 2*k - 8 = -4*p. Let m = 132 + -392/3. Which is greater: m or p?
m
Let k be 44/12 + (-1)/(-3). Let t = k - -3. Suppose -2*j = -t*j. Is -2/9 at least as big as j?
False
Let v = 262/15 + -53/3. Which is greater: v or 3?
3
Let q = 17 + -15. Is q at least as big as 8?
False
Let k be 2*-1*2 - 80/(-16). Which is greater: 5/31 or k?
k
Let d = 0.17 - -0.03. Let s = 0.2 - d. Which is greater: 2/7 or s?
2/7
Let f = 3 - 2. Let w = -0.6 + f. Let h = w - 0.4. Does -2/5 = h?
False
Let m = -6 + 3. Is 0.1 less than or equal to m?
False
Let k = -26/9 + 4975/1719. Let u = 389/1337 - k. Suppose 3*z = z. Which is smaller: u or z?
z
Let c = -56 - -57. Which is greater: 5/17 or c?
c
Let a = -125.25 + 125. Is 3 bigger than a?
True
Suppose -5*a + 3 + 7 = 0. Suppose 2*o + 6 = 0, 0 = q - 0*q + 3*o + 7. Is q > a?
False
Let w = 33.7 + -33. Is w <= -2/7?
False
Let v be 1 - 1 - (-1)/(-18). Let l be ((-2)/2)/((-5)/(-5)). Which is bigger: l or v?
v
Let f = -56 + 56.29. Is f at least -1/2?
True
Let x = -13/5 - -11/5. Let d be (-2)/3 - (-3)/(-9). Which is bigger: d or x?
x
Let g be (5 - (-188)/(-36)) + 16/(-9). Is 2 at most as big as g?
False
Let k(j) = -j**2 + 7*j + 9. Let y be k(9). Let b = y - -8. Is b at most as big as -3?
False
Let r be ((-10)/75)/(39/9). Which is bigger: r or 0?
0
Suppose 2*g = -3*g + 15. Suppose g*n - 2*n - 7 = 0. Are n and 7 equal?
True
Let l = -199 + 287. Let k = 790/9 - l. Let a be (-4)/(-2)*(-2)/(-14). Which is greater: k or a?
a
Let w be 2/(-12) - (-22)/(-33). Do w and -1 have different values?
True
Let k = -14 - -49. Which is greater: 34 or k?
k
Suppose -2*f - 4*s = -2*s - 18, -2*s + 12 = f. Suppose 0 = 5*r - 165 + 20. Suppose -26*u + r*u - 15 = 0. Is f greater than or equal to u?
True
Let b(i) = i**2 - 2*i - 4. Let h be b(2). Let z be 5/(1/1*-1). Is z less than h?
True
Let k be 1/(-7) - (-5 - 2850/(-42)). Is -65 bigger than k?
False
Let k = -1 + 1.9. Let y = k - -0.1. Which is greater: y or -0.3?
y
Let t be (-1 + (-24)/(-20))/(43/2). Is 0 < t?
True
Let z be 4 - (78/21 + 0). Let u be -2*(0 + 1/2). Is z greater than or equal to u?
True
Let j = 8 - 13. Let k(s) = -s**2 - 6*s - 6. Let m be k(j). Let y be (-1)/(-6) + (-93)/342. Are m and y unequal?
True
Let q = -69 - -68.6. Let l = -4 + 7. Let a be (-2)/(-3)*l/4. Is q < a?
True
Let g(l) = l**2 - 6 - 4 + 4 + 1. Let a be g(-3). Which is smaller: a or 6?
a
Suppose -13 = -5*l - s, 0 = 5*l - 3*s - 1. Suppose 0*m = -m + 1. Suppose -o + 2 = 2*x, -l*o - 9 = -2*x - m. Which is bigger: 3 or x?
3
Let h = -6 + 3. Let m be h/((-99)/(-6) + 0). Which is greater: m or 0?
0
Let u = -2.46 - 0.04. Let z = u - -1.2. Let w = z - -8.3. Which is smaller: 1 or w?
1
Let t = 1 + -5. Which is greater: -2 or t?
-2
Let o be -1 - (-1 - (-2 + 8)). Suppose -4*k + 22 = t, -2*k - 12 = -o*k + 4*t. Suppose -5*r + k = -0*r. Which is smaller: 1/4 or r?
1/4
Let c(o) = -o**3 + o**2 + o - 8. Let y be c(0). Let d(u) = u**2 + 8*u + 2. Let i be d(y). Suppose -i*s + 7*s = 0. Which is smaller: s or -2/7?
-2/7
Suppose -25 = z + 1. Let a be 8/(-12) - (-298)/(-12). Let u = z - a. Which is greater: 0 or u?
0
Suppose -6*d - 56 = -2*d. Suppose -3*c + r + 55 = 0, -4*c + 2*r = 49 - 123. Let u be 5/5 + c/d. Which is bigger: 1 or u?
1
Let f be ((-3)/2)/3*4. Suppose n = 5*x - 3, 2*n + 2 = 5*x + 1. Let l = f + x. Which is smaller: l or -1/2?
l
Suppose 3*k + 22 = i + i, -2*k - 22 = -2*i. Which is greater: i or 10?
i
Let v = 18 - 17. Which is smaller: 0 or v?
0
Let b = -21 - -20.8. Which is smaller: b or -13?
-13
Let u = 1 + 6. Do u and 7 have the same value?
True
Suppose -3*c + 4*z + 23 = 0, -3*c - 2*z - z = -9. Suppose -4 - 11 = -c*r. Is 4 at most r?
False
Let t = 127 + -134. Is -5 < t?
False
Let l be 2/(-5) + (-10)/(-25). Let z be l/(1*(0 + -2)). Which is smaller: 2 or z?
z
Let f be (6*-3)/(6/4). Let l be (-9)/f - 6/8. Does l = 4/7?
False
Suppose -y + 21 = 3*s - 3, -3*y + 4*s = -46. Suppose -3*o = 6 - y. Suppose -c - 20 = o*c. Do 2/5 and c have the same value?
False
Let b = -441/5 - -23383/265. Which is smaller: b or 1/2?
b
Let r = 5 + 4. Let v = -9 + r. Do v and -0.2 have the same value?
False
Let h = -2319/11 + 211. Is h less than -1?
False
Suppose -115 = z + 3*i, -5*z - 5*i + 344 = 899. Are z and -108 nonequal?
True
Let q be (-18)/(-54)*9/(-4). Let t(u) = u**2 + 6*u + 5. Let d be t(-5). Is q at least as big as d?
False
Let y = -308/1467 + -2/163. Let a be (-2)/(3/(3/2)). Is a < y?
True
Let o be (20/6 - 0)*-3. Let v = o - -6. Do v and -5 have the same value?
False
Suppose 2 = -l + 4. Is 1 greater than l?
False
Let x(a) = -a**2 - 6*a + 7. Let c be x(-6). Let u(d) = d**2 - 8*d + 10. Let v be u(c). Which is greater: 2 or v?
v
Let i be 3/2 + 10/(-4). Is i less than 3/17?
True
Let o be 2 - ((-182)/(-12))/7. Let u(s) = s**2. Let t be u(0). Which is smaller: t or o?
o
Let w = 3.3 + 0.7. Let t = w + -4. Which is smaller: 1/2 or t?
t
Let x be (6*4/1116)/((-2)/(-6)). Does x = 1?
False
Suppose -5*b + 5*k = -15 + 5, 8 = -4*k. Let z = 18 + -89/5. Which is smaller: b or z?
b
Let r(b) = -b**3 - 7*b**2 - 5*b. Let x be r(-6). Which is smaller: -5 or x?
x
Let f = 27 + -24. Do 3 and f have the same value?
True
Suppose 0*r - 3*r = 0. Suppose r = -2*y + y + 2. Let a be y + (3/(-2) - 1). Which is smaller: -2/7 or a?
a
Let b be (-4)/(-22) - 3420/176. Let k = b + 19. Is k less than or equal to 0.4?
True
Let k(q) = 60*q + 3. Let u be k(-2). Let p be (-3 - -1) + (-240)/u. Let i = p + 68/195. Is 0.3 greater than or equal to i?
False
Let r = -8 + 3. Let j be (6/(-15))/(22/r). Which is smaller: j or -1?
-1
Let f = -1 + 0. Let x(m) = -4*m**2 - m. Let g be x(f). Suppose 0 = r, 2*r = 2*v - 2*r + 6. Do v and g have the same