 smaller than w?
False
Let i(f) = -f**2 + f. Let w be i(3). Let k be -3 - w/4*-2. Are k and -8 equal?
False
Suppose 3*t = -0 + 6. Suppose -m = 2*d + 6 - 1, 0 = -t*d - 8. Let r = m - 7. Is r < -4?
False
Suppose 0 = 4*z + 14 + 2. Suppose 2*a - 16 = 6*a. Are z and a nonequal?
False
Let z(q) = q**3 + q**2 + 3. Let f be z(0). Are f and 1 non-equal?
True
Let k = -13 + 9. Let z = k - -5. Is z at most -1?
False
Let w = 11 + -9.4. Let m = 0.6 - w. Is -3/10 greater than m?
True
Let c = -1/543 + 1117/16833. Which is smaller: 0 or c?
0
Let g = -24 - -25.1. Does 1 = g?
False
Let s = -667 + 977. Suppose s = -5*o - 300. Let h = o - -491/4. Which is smaller: 2 or h?
h
Let l = -4 - -4. Let v be 1/(-2)*2 + l. Which is smaller: 1 or v?
v
Let h be 1/2 + 3/(-6). Let n = -6 + 4. Which is bigger: h or n?
h
Let p be (24/(-5))/((-2)/5). Which is bigger: 13 or p?
13
Suppose 2*y = -2*l - 9 - 17, -11 = y - l. Let a = 7 + y. Are -3 and a equal?
False
Suppose -13 = -4*r + 3*z, -2*z = -5*z - 9. Suppose -3*w + 3*n = -w + 28, 3*w = 5*n - 44. Let f be 2/w + 9/4. Is r not equal to f?
True
Let i = -0.2 + -0.8. Let m = 6/25 - -1/100. Which is bigger: i or m?
m
Let h(a) = -2*a - 7. Let w be h(-5). Let j be (0 + 4)/((-2)/w). Let p be (2/12)/((-2)/j). Is -1/2 <= p?
True
Let p = 612/35 + -86/5. Let n be ((-4)/(-5))/((-1)/(-5)). Suppose -3*g = -n*g. Which is bigger: g or p?
p
Let f = -2 - -1.7. Let w = -2.8 + f. Let m = w + 0.1. Which is smaller: m or 0.1?
m
Let s(o) = -o**2 - 3*o + 1. Let a be s(-2). Let j(k) = 0*k**2 + k**2 + 3*k**2 + k**a. Let r be j(-4). Are 2/5 and r equal?
False
Let u be 6/9 + 26/(-30). Let b be (-8)/(-9) + 18/(-81). Which is bigger: u or b?
b
Suppose -3*a + 16 = -2. Let k be ((-46)/a + 1)/2. Which is smaller: k or -2?
k
Let d = -3.19 - -0.29. Let s = d - -3. Is s at least 0.1?
True
Let c be (-4)/(-14) - (-64)/70. Which is smaller: 0.1 or c?
0.1
Let z be 104/(-28) - (-4)/(-14). Suppose -4*h + 9*q = 4*q + 37, 2*q = 10. Which is smaller: h or z?
z
Suppose 4*d = d - 4*a - 1, -d - 4 = 5*a. Let c(w) = w + 9. Let g be c(-10). Which is smaller: d or g?
g
Suppose -7 = -5*z + 23. Suppose o = -3 + z. Suppose 2*w = 5*a - 24, o*w + 29 = 5*a + 3. Which is smaller: w or -1?
w
Suppose -9*o - 2*p + 8 = -7*o, 0 = -2*o + 2*p - 8. Which is smaller: 2/13 or o?
o
Let k be (-50)/(-12) + (-1)/6. Suppose -k = 5*n + 21, 3*l = -n + 10. Which is bigger: 4 or l?
l
Let a = -4166/858803 + 23015583654781/23880735021. Let p = a - 29882/31. Let n = p - -1/69. Is n equal to -2/3?
False
Let x be (-1133)/(-4) - (11 + -10). Let l = -284 + x. Is -1 <= l?
False
Let w = -133 + 134.9. Is w <= 0?
False
Let v be (-1 + 5)*204/24. Is 33 < v?
True
Let t(i) = i**3 + 4*i**2 - 2*i - 5. Suppose 20 = -0*f - 5*f. Let v be t(f). Suppose 5*u - 4 = 1. Are u and v unequal?
True
Let g = 59 - 85/2. Is g less than 18?
True
Let c = 4 + -3. Let w = 2.4 + -5.4. Which is bigger: c or w?
c
Let y = 14 - 10. Which is greater: y or 17/5?
y
Let r = 85 + -87. Which is greater: r or 9?
9
Let r be (-1)/(-1 + (373 - 1)). Let p = 2971/1113 + r. Is 3 < p?
False
Let z be (-6192)/3710 + 8/(-20). Let n = 93/53 + z. Let t = 2/7 - n. Are 1 and t equal?
False
Let m = 3.12 - 0.12. Are -2 and m equal?
False
Suppose 4*o = -3*m + 2 + 5, 7 = 5*m + 2*o. Which is smaller: -3/13 or m?
-3/13
Let a be (-3 - (-4)/4)/(-1 - 1). Let r be ((-4)/(-6))/(7/3). Which is smaller: a or r?
r
Suppose -3*n + t + 86 = 0, -4*n = 4*t - 39 - 49. Suppose 11 = -2*j + n. Let o be (-2)/j + 57/(-12). Do -5 and o have different values?
False
Suppose 2*c = -0*c - 6. Suppose 6 - 18 = 4*l. Are l and c unequal?
False
Let i be (-111)/(-63) - (2 + (-11)/7). Is 1 at most i?
True
Suppose 2*p + 2*k - 4*k = 10, k + 5 = -p. Suppose -w = 5*i + 4*w, -3*w - 7 = -4*i. Suppose z - i + 0 = 0. Which is smaller: z or p?
p
Let l = -6 - -2. Let s = 3 + l. Let n = -7 - -8. Is n <= s?
False
Let k = -5/11 + -1/22. Let o = -8.1 - -8.04. Which is greater: k or o?
o
Let x(k) = 2*k**2 - k + 2. Let c be x(0). Does c = 1?
False
Let u = -9 - -9. Which is smaller: 2/17 or u?
u
Suppose -j = 2*j - 3. Let s = -2 - -1. Let w be s + -1 + 1 + j. Which is bigger: w or 1?
1
Let d = -0.35 + 0.25. Are d and -0.2 equal?
False
Let f = 50441/10 - 5040. Let s = 23/5 - f. Let m = 0.1 - 0.2. Which is bigger: m or s?
s
Let q(y) = y - 5. Let o(d) = d - 6. Let j(i) = -5*o(i) + 6*q(i). Let n(c) = -5*c + 4. Let a(r) = -6*j(r) - n(r). Let m be a(-5). Which is smaller: 0 or m?
0
Let b be 479/(-18) + (-10)/45. Let x = 26 + b. Let h(i) = -i**2 + i. Let f be h(-1). Which is bigger: x or f?
x
Suppose u = -3*j - 4*u - 19, -4*j = 4*u + 12. Suppose 3*m = -j*m + 45. Suppose 5*i = 2*i - m. Is i bigger than -2?
False
Let g = 10 + -14. Suppose 12 = -5*d + 2*d. Is d < g?
False
Let s be 3 - 2 - (0 + -1). Let j be (-4 + 4)/((-4)/s). Suppose 5*z + 6 + 19 = -2*c, 0 = -4*z - 5*c - 20. Which is smaller: j or z?
z
Let s be -5 - -26*(-1)/(-4). Is s at most as big as -4?
False
Suppose 3*d - 2 = 13. Suppose 0 = -d*k + 2*k. Let g be ((-3)/2 + 1)/(-2). Is k greater than g?
False
Suppose 6*t - 30 = t - 5*l, -t - 19 = -4*l. Which is greater: t or -1/171?
t
Let p(f) = -f + 9. Let r be p(-6). Suppose -w - r = 4*w. Is -3 less than w?
False
Let j be (-50)/77 + 10/35. Is j less than or equal to 0?
True
Suppose -5*r = -10, -6*c + c + 34 = 2*r. Suppose 0 = -8*n + 3*n + y - 10, -4*y = 2*n + 4. Let b = n + c. Are b and 4 equal?
True
Let p(a) = a**3 - 8*a**2 + 7*a + 4. Let u be p(7). Which is bigger: 2 or u?
u
Let m be (-18)/81 + 20/(-18). Is 0 greater than m?
True
Let h = -0.05 - 2.95. Which is greater: 0.4 or h?
0.4
Let l be 32/(-160)*10/(-6). Does 2/15 = l?
False
Let g = 2.1 - 2. Let k = -21/2 + 59/6. Which is bigger: g or k?
g
Let r(t) = 29*t**2 + 0*t + 0*t - 5*t - 28*t**2. Let z be r(5). Which is bigger: z or -2?
z
Let h(z) be the first derivative of z**3/3 - z**2 + 4*z - 2. Let p be h(3). Let g = -3 + p. Is g > 4?
False
Let b = 78 - 80.02. Let t = -0.02 - b. Which is smaller: t or 0?
0
Let m = -2 - -4. Let j(r) = 3*r**3 - 3*r**2 + 3*r - 3. Let i be j(2). Suppose 3*v = -2*v + i. Is m bigger than v?
False
Let s = 1 - 4. Let r be 2/(-18)*4*s. Which is greater: r or 0?
r
Let g be 1*(1 - 0) + -1. Suppose -4*f + u = 18, -f - u - 2*u - 11 = g. Suppose 2*d + 4*d = -24. Is d < f?
False
Let i be (-1 - -2) + (2 - 0). Let v be 6*(i/(-2) - -2). Which is bigger: 3/2 or v?
v
Let f = -10 + 7. Is f at most -3?
True
Let z be (-3)/(-9)*1*108/(-21). Let a = -1 + 0. Does z = a?
False
Let z(v) = -59*v. Let k = 15 + -11. Let q be z(k). Let s be (-9)/(-21) + q/28. Is s at most -8?
True
Let c = -0.96 + -5.04. Which is bigger: c or 0.6?
0.6
Let y = 124/3 - 1733/42. Is 1 less than or equal to y?
False
Suppose 70*o - 66*o - 56 = 0. Which is smaller: 15 or o?
o
Let o be 8/12 - 46/6. Let v be -6*2/o + -2. Are v and -4 equal?
False
Suppose 2*n - 36 = -2*n. Let m be 15/n*4/10. Which is greater: m or 0?
m
Suppose -5*p = -13 - 2. Suppose p*u = 2*d, 6 = -2*u - 3*d - 7. Which is smaller: u or -1?
u
Let f(m) = m**3 - 9*m**2 + 6. Let b be f(9). Let u = 5 - b. Is u < 2/7?
True
Let a = -2.9 + 3. Which is bigger: a or -0.07?
a
Let a = 0.08 + -0.08. Do a and -3 have different values?
True
Let i = 1 + 2. Let g be (-8)/(-6)*i/(-2). Suppose 5*d + 2*p = -2*p + 5, -2*d = -3*p + 21. Which is greater: d or g?
g
Let i(c) = c + 1. Let v(z) = -3*z - 12. Let w(p) = 4*i(p) + v(p). Let n be w(10). Is -0.3 > n?
False
Let w be (-330)/(-332) + -1 + 0/17. Which is smaller: -1 or w?
-1
Let z be ((-2)/3)/(4/(-6)). Let o = 0 + z. Is o > -0.2?
True
Let w = 9 - 9.4. Let f = w + 3.4. Which is bigger: 0.1 or f?
f
Suppose -2*x = -4*o + 2 - 4, 5*x = 25. Let k = 1 + o. Suppose -5*n + 4*w + 26 = 0, -2*w - 2 = -0*n + k*n. Does n = 2?
True
Let u = -2 - -1.97. Let h = u + 2.03. Let y = h - 0. Which is smaller: 1/2 or y?
1/2
Let y = 857/651 + -25/93. Let u = -5/7 + y. Which is smaller: -7 or u?
-7
Suppose -3*u = -2*n + 52, 3*n = 4*u + 76 - 5. Let k be (-4)/u - 41/70. Which is bigger: 1 or k?
1
Let r = -4 - -13. Let h(y) = -y**2 + 8*y + 13. Let p be h(r). Which is greater: p or 6?
6
Suppose 0 = -3*f + f - 2. Let v be 3 - (f - -2 - 0). Are 2 and v unequal?
False
Let r be (-18)/(-4) - 1/(-2). Suppose -3*v - 2*v = -r. Is v >= 1?
True
Let v be (-2)/(0 + (-4)/10). Let u = v + -2. Suppose u*x + 1 = -5. Which is greater: x or 0?
0
L