 Let q = 21460/49 + -438. Is q != h?
True
Let t = -6 - -30. Suppose 3*o - t = -o. Let l be ((-9)/30)/(o/5). Is l <= 1?
True
Let p(t) = -t. Suppose 0 = -x - 2*n - 6, 3*x - 3*n = 15 + 3. Let m be p(x). Is -5/4 at most as big as m?
False
Let v(o) = -2*o**3 + 2*o**2 - 1. Let c be v(-1). Which is smaller: c or 1?
1
Let d(c) = -7*c + 21. Let p be d(3). Is 1.04 >= p?
True
Let o = 2/65 - -317/260. Is 1 less than or equal to o?
True
Let u = 145 + -352. Let x be (111/u)/((-7)/(-9)). Let a = 6/23 + x. Is a smaller than 1?
True
Let u be 24/10*(2 - -3). Suppose u = -t + 5*t. Which is bigger: t or 1?
t
Let w = 10714/17 + -630. Which is smaller: 0 or w?
0
Suppose -2*o + 33 = -5*f, 0 = -7*o + 4*o - 2*f + 2. Let a = 1 + -2. Let z be 1 - (a - (-3)/(-6)). Which is smaller: z or o?
z
Let b = -8 - -14. Suppose -4*p = -7*p - b. Is p <= -3/2?
True
Let z be (((-9)/21)/1)/(3/2). Let r = -5 - -4.9. Let h = 6.1 + r. Which is smaller: h or z?
z
Suppose -2*r - 1 + 7 = 0. Let m = 9 - 8.8. Let y = -1.2 + m. Is y <= r?
True
Suppose 0*o - 192 = -o. Let r be (o/49)/2 - 2. Let n = -104/147 - r. Which is greater: n or 0?
0
Suppose 2*r - 16 = -q, -4*q + r = -48 + 20. Suppose 3*a = q*a. Let x be -2*3/27 + a. Is x > 0?
False
Let w be (-1)/(-3) + 4/(-3). Let h be 1*3 - (0 - 0). Let i be (9/h + -3)/2. Which is smaller: i or w?
w
Let b(f) be the second derivative of f**5/20 - f**3/6 + f**2 + 2*f. Let y be b(0). Does 4 = y?
False
Let m = -9.9 - 3.1. Let s = -15 - m. Let y = 9/2 + -5. Do y and s have different values?
True
Let q be (-1 - 1) + 2 + 0. Let y = 54 + -53.7. Which is greater: q or y?
y
Suppose 43 + 8 = 3*h. Which is smaller: h or 16?
16
Let n = -18 + 34. Suppose -4*l = s + 2*s + n, 3*l = 3*s + 9. Is -1/36 greater than l?
True
Let q be (-13)/4*((-72)/28 + 2). Is q <= 2?
True
Suppose -8*v = -25*v + 17. Let d be 3 + -2 - 12/13. Is d less than v?
True
Suppose -11 = a + f - 3*f, 3*f = -4*a - 11. Which is bigger: a or -17/4?
-17/4
Let a = 12 + -31. Let c = a + 18.9. Which is smaller: c or -1.8?
-1.8
Let k = 48 + -45. Which is bigger: -3 or k?
k
Let c = -499317/185 - -2699. Is c not equal to -1?
True
Suppose -44 = -2*i - 42. Is i > 2?
False
Let i be (-6)/8 - (-35)/20. Let y be (i/2)/((-1)/(-12)). Let m be (2/y)/((-5)/(-9)). Is 0 < m?
True
Let h = -0.83 + -0.17. Which is bigger: h or -1/2?
-1/2
Let k = 31/2 - 223/14. Let v(h) = h**2 + 5*h + 1. Let g be v(-6). Let d(m) = -m**2 + 7*m - 1. Let u be d(g). Is k smaller than u?
False
Let h = -5 + -2. Let x = h + 10. Let n = -5 + x. Do -0.2 and n have the same value?
False
Suppose 3*d - 15 = 0, 4*w + d + 75 = -20. Let s(t) = 4*t**2 + 1. Let c be s(-1). Let q be 3/c - 60/w. Is q > 3?
False
Let t = -4 - -1. Let c = 1 - 1.1. Is c <= t?
False
Let l = -2.1 + 2. Let t(v) = 4*v - 3. Let k be t(2). Is k equal to l?
False
Let g(h) = -h**2 + 2. Let x be g(2). Let c(i) = 4*i + i**2 + 4 + 5*i - i. Let m be c(-7). Is x <= m?
False
Let i be 13017/12*8/18. Let p = 483 - i. Let q = p + 4/9. Which is smaller: q or 1?
1
Let i(y) be the second derivative of -y**4/12 + y**3 - 5*y**2/2 - 2*y. Let m be i(5). Let f = -192/455 - -2/91. Is m > f?
True
Let s be (-20)/(-6)*(2 - -1). Suppose -55 = -5*p - 5*z, 2*z + 6 + 7 = 3*p. Suppose 0 = -0*g + 5*g + h + p, -4*h = g - s. Is -2 != g?
False
Suppose t + 4*h = -10, t + h - 15 = -t. Let d be (t/(-4))/(-5)*0. Is d greater than 2?
False
Suppose -2*r = 3*r + 15. Let k = 3 + r. Which is smaller: -2 or k?
-2
Let j = -3.4 - -3. Let v = -39 + 157/4. Which is smaller: v or j?
j
Suppose -3*b + 12 = 0, 2*z - 5*b + 0 = -20. Let k = 727/11 + -67. Which is smaller: z or k?
k
Let z be (-11 - -10)*(-3)/((-9)/(-6)). Are 7 and z unequal?
True
Let l = 0 + 0. Suppose q - 9 = -y, -4*y = 3*q - 7*y - 21. Let p be 1/(-2) - 12/q. Which is bigger: l or p?
l
Let o be (-62)/(-374)*4/4. Let v = -9/17 + o. Is v >= -1?
True
Suppose 0 = 4*x - 0 + 24. Let y be x/(-3)*10/(-8). Which is smaller: y or -1?
y
Suppose -5*u = -4*t - 32 - 49, -3*t - 22 = 4*u. Does t = -14?
True
Let u = 2 - 4. Let o = -2 - 2. Which is smaller: o or u?
o
Let i = 135 + -380. Let v = 1963/8 + i. Is 0 <= v?
True
Let u = -3 + -4. Let l = -6 - u. Let s = 1 - l. Which is smaller: -2/9 or s?
-2/9
Let c(z) = z**2 + 3*z - 4. Let w be c(-3). Let q be 2*-2*w/8. Which is smaller: q or 1?
1
Let j = -16 - -15. Is 1/5 less than or equal to j?
False
Suppose 0 = 12*q - 26 - 22. Is 15/4 at most q?
True
Suppose -4*b = -11*b. Is b less than or equal to -1/5?
False
Suppose -25*p + 120 = -17*p. Is p bigger than 17?
False
Let y = 0.5 - 3.5. Let h = 0 - y. Let s = 6 - h. Which is smaller: -2 or s?
-2
Let l = -22/3 + 20/3. Let z(u) = u**2 - 2*u. Suppose -o + 5*r + 2 = 0, -1 = -5*o + 4*r + 9. Let k be z(o). Which is bigger: k or l?
k
Let q = -19.61 - -18.6. Let t = 0.01 + q. Are t and 0 equal?
False
Let u be (-11 + 1)*1 - -3. Let x = -12 - u. Which is smaller: x or -4?
x
Let v(n) = n**3 - 5*n**2 - 7*n + 6. Let c = 0 - -6. Let z be v(c). Is -2/15 bigger than z?
False
Let t(i) = i**3 + i**2 - 16. Let d be t(0). Let f be (d/(-5))/((-1)/(-5)). Let v = -11 + f. Are v and 4 unequal?
True
Let w = 0.7 + -1.5. Let p = w - 0.2. Let y = -2 - -1.5. Is p at least y?
False
Let a = -101/3 - -34. Which is smaller: 0.1 or a?
0.1
Let g = 2590/3 + -854. Which is bigger: g or 9?
g
Let o(p) = p. Let b(x) = 3*x - 10. Let t(k) = -b(k) + 2*o(k). Let z be ((-6)/(-9))/(4/66). Let h be t(z). Which is bigger: h or -4?
h
Suppose -4*x + 5*h = -x - 6, -5*h = 0. Let k be -2*1*(-56)/140. Which is bigger: x or k?
x
Let k(x) = -4*x + 2. Let u be k(-1). Which is bigger: 0.4 or u?
u
Let x = -105 + 733/7. Suppose -2*u = -7*u - 155. Let g = u - -30. Which is bigger: g or x?
x
Let m = -2.2 + 3.9. Let d = 2 - m. Let n = 3.1 - 3. Which is smaller: n or d?
n
Let l = -5 - 2. Let r = l - -7.1. Which is bigger: -1/2 or r?
r
Let z(d) = d**2 + 11*d. Let f be z(-11). Is -3/7 at most f?
True
Let p = -17 + 8. Suppose -8*w + 11*w = 15. Suppose -4*t + w*u - 57 = 0, 14 + 11 = -5*t - 3*u. Which is smaller: p or t?
p
Let d be (-86)/10 + 3/5. Let w(f) = f**2 + 8*f - 3. Let g be w(d). Which is bigger: g or 0?
0
Let u(v) = v**2 + 11*v + 13. Let y be u(-9). Let r = y - -4. Is r <= -1?
True
Suppose -170 = 4*m - 2*o, -2*m + 5*m - o + 129 = 0. Let k = -131/3 - m. Let g = 0.1 - 0. Is k < g?
False
Let z be (2/(-370)*-2)/((-7)/(-35)). Which is bigger: 1 or z?
1
Let j be (6 + -4)/1 - 12. Which is smaller: j or -9?
j
Let n = -64.2 + 64. Is 0 bigger than n?
True
Suppose -o - 15 = 2*o. Suppose -n + 8 = -3*n. Which is smaller: n or o?
o
Suppose 3*l - 3 - 3 = 0. Suppose 2*m + l = 0, -2*d + 2*m - 3*m + 21 = 0. Is 11 at least d?
True
Suppose -2*l - 4*q = -14, -5*l + 9 + 2 = 4*q. Is -2/45 bigger than l?
True
Suppose 7*g = 100 - 156. Suppose 5*f = f - 32. Is f less than or equal to g?
True
Let n = -65185/46 + 1417. Which is greater: n or -1?
n
Let w(o) = -6*o**2 - 11*o + 5. Let r(k) = -5*k**2 - 10*k + 5. Let z(c) = -5*r(c) + 4*w(c). Let g be z(-6). Do g and -5 have the same value?
True
Suppose 5 = -5*t - 0. Let j(u) = -4*u + 1. Let n be j(4). Let s = n + 31/2. Is t greater than s?
False
Let m be (2/5)/((-1)/(-20)). Let o = m - 4. Let p be o/(-8) - (-2)/(-4). Is 1/3 > p?
True
Let v(i) = -i**3 + 7*i**2 + 8*i - 1. Let m be v(8). Let w be -1 + 3*10/42. Which is greater: m or w?
w
Let q(k) = -k**2 - 8*k - 7. Let b be q(-7). Suppose 5*o = 4*i + 7, 10 = 4*i + i. Let r be (o/6)/((-2)/(-4)). Which is greater: b or r?
r
Let o = -26 + 26. Suppose -4*y + y - 6 = o. Which is smaller: -1 or y?
y
Suppose -12 = -2*k + 22. Suppose -8 = 5*w + o + 2, 3*w - 4*o = k. Which is bigger: 2/37 or w?
2/37
Let i be (-6)/1 - (-5 - -1). Let r be 18/(-12) + (-22)/4. Which is smaller: r or i?
r
Let m(b) = 7*b**3 - 2*b + 1. Let h be m(1). Let o be (-4)/h - 15/(-36). Suppose -2*q = -4*q - 8. Which is smaller: o or q?
q
Let l = -204 + 1425/7. Let y be (-4 - 55/(-15))*3. Which is bigger: l or y?
l
Let v = -2 - -14. Is 10 > v?
False
Suppose -a + 3*t + 2*t - 19 = 0, -13 = -3*a + t. Let d = 7 - a. Which is smaller: d or 2?
d
Suppose 4*o = 5*o + 1. Let x(c) = c - 2. Let s be 2 + -2 + 0/(-3). Let j be x(s). Which is smaller: j or o?
j
Let w be 0/(2 - 4/4). Suppose w = 3*b + s - 3, 2*b + 0*s = -5*s + 2. Which is smaller: -1/10 or b?
-1/10
Suppose x + 24 = 5. Which is smaller: x or -18?
x
Let z be (-1)/(2 + 13/(-5))