onequal?
True
Let s be 24/(-20) + 2/(-1)*-1. Which is smaller: s or 0.5?
0.5
Suppose -2*u - 4*x + 34 = 0, u + 0*x - 2*x = -3. Is 6 greater than u?
False
Let k(n) = -n**2 + 2*n + 1. Let i be k(2). Suppose -z - i = -2*z. Are z and -1/3 non-equal?
True
Let y = 10 + -16. Let w = y + 6. Let z = -3 + 1. Which is bigger: w or z?
w
Let g = 0 + -3. Which is greater: -4 or g?
g
Let y = -1/9 - -4/9. Let h = 2.58 + -0.08. Let t = h + 0.5. Which is smaller: y or t?
y
Let p(j) = j**2 - 11*j + 11. Let l be p(9). Let f = l + 8. Let i be (-28)/12*4/(-14). Is i at most f?
True
Suppose -4*n - 2 = 6. Are n and -11/5 unequal?
True
Let r(a) = -a**3 + 6*a**2 - 7*a + 7. Let p be r(5). Let h be 2/16 + p/6. Let d = -7/40 - h. Is d greater than 1?
False
Let z = -295/28 - -41/4. Are z and -1/4 nonequal?
True
Let y = -6 + 8. Let b = y + -2.04. Which is smaller: b or 0?
b
Suppose 0 = -0*v + 5*v - 5. Let m be (v + 0)/((-4)/8). Let h(d) = -d**2 - 2*d - 3. Let y be h(m). Which is greater: y or 2?
2
Suppose 3*n = -45 + 6. Are -13 and n non-equal?
False
Let l = 7.8 - 7. Let o = 0.2 + l. Are 0.1 and o equal?
False
Let q = -18 - -15. Which is smaller: q or -2?
q
Let i = -5 - 39. Which is bigger: i or -45?
i
Let u(q) = -q + 1. Let o(h) = h**2 - 7*h + 5. Let j be o(6). Let a be u(j). Let y(i) = 2*i**2 - i + 1. Let g be y(1). Is g at most a?
True
Suppose 2*i - 15 = -3. Let u(n) = n**3 - n**2 - n + 10. Let y be u(0). Let o = 15 - y. Is i less than o?
False
Let a(j) = -2*j**3 + 0*j**2 - 17*j**3 - j**2. Let w be a(1). Let y be (-4)/(-3)*6/w. Is y <= 1?
True
Let d = 4.95 - 7. Let l = -0.05 - d. Which is bigger: l or -2/5?
l
Suppose y = 3*h + 2, 3*y + 6 = -0*h - 3*h. Suppose -11 = -j + 3*z, -4*z = -0*z + 20. Which is greater: j or h?
h
Let z be 2 + -2 - 3 - -2. Let o = 1725/12851 + -9/181. Let h = o - 184/497. Is z smaller than h?
True
Let h = -0.92 + 0.92. Is h smaller than -27?
False
Suppose 3 = -m + 5*l + 16, 0 = 2*m - l - 8. Let j be 3 + ((-12)/3)/4. Which is greater: m or j?
m
Suppose -6*m + 8*m = 18. Suppose -c = -7 + m. Is c greater than -6?
True
Let j be 39/(-4) + (-3)/12. Let x be -2 + 1 + j/(-8). Which is smaller: x or -1?
-1
Let j(s) = 2*s**3 - 10*s**2 + 5*s + 8. Let g be j(6). Suppose 4*t + 46 = g. Do 15 and t have different values?
True
Let m(i) = -i**3 - 1 + i + 0*i**3 + 3*i - 3*i**2. Let o be (4/(-8) - -1)*-8. Let k be m(o). Which is bigger: k or -2?
k
Let y be (-4)/(-18) + (-7570)/(-109305). Let b = y + -2/347. Is b greater than 4?
False
Suppose 3*q - 20 = 4*r, 2*q - 8 = r - 3. Which is smaller: -10/41 or q?
-10/41
Suppose 14 = 5*u - 3*r, -5*r - 14 = 3*u - 2. Let j be 12/(-30)*(-10)/(-54). Is u at least as big as j?
True
Let b be ((-21)/(-14))/(14/(-36)). Which is smaller: b or -4?
-4
Let o(p) = -p - 5. Let z be o(-7). Suppose -4*n - 2 = -2*x, z*n - 3*n + 5*x - 23 = 0. Which is smaller: n or 3?
n
Let u = -2/7 + 20/21. Which is bigger: u or 1?
1
Let n = -21 - -18. Which is bigger: -0.4 or n?
-0.4
Let c be 117/13 + 2/2. Are 11 and c nonequal?
True
Suppose -4*t + 20 = 0, -5*z + t = 2*t - 15. Let c = 7052 + -34739/5. Let j = c + -103. Which is bigger: j or z?
z
Let i = -0.01 - -2.01. Let k = -29.2 + 33.31. Let p = k - 0.11. Which is smaller: p or i?
i
Suppose -13 = -4*b - 45. Let s = 227 - 227. Which is smaller: s or b?
b
Let c be 2/(6 + 0/(-4)). Which is bigger: c or 5?
5
Let j = 31.4 + -5.4. Let p = j - 36. Which is smaller: 1/2 or p?
p
Let x = -7/10 + 1/5. Is x greater than or equal to -1.24?
True
Let y(z) be the third derivative of z**5/60 + z**4/6 - 5*z**3/3 + 5*z**2. Let x be y(-7). Is 10 at most x?
True
Let l be 1/(-4) + (-3)/(-6). Suppose 2*i = 5*i. Suppose z + 2*z = i. Which is greater: z or l?
l
Suppose -14 = -3*a - 104. Let f = -61/2 - a. Suppose -2 = -0*s + 2*s. Which is smaller: s or f?
s
Let v = 7.8 + -7.6. Which is greater: 35 or v?
35
Let q be 4*-6 - (-8 - 33/(-3)). Which is smaller: -26 or q?
q
Let y(x) = -x**3 - 9*x**2 - 9*x - 6. Let n be y(-8). Let k be -1 - n - 56/(-16). Is k not equal to 4?
True
Let w(u) = -u**3 - 10*u**2 - 16*u + 9. Let s be w(-8). Do 9 and s have the same value?
True
Let z be (-6)/18 - 2/(-3). Let w = 0.3 + -0.4. Let d = 0.2 + w. Is z greater than or equal to d?
True
Let i(t) = -6*t + 2. Let p be i(2). Are p and -9 non-equal?
True
Let f = 1.02 - 0.02. Is -0.01 at least as big as f?
False
Let a = -52 - -49. Is a greater than 4/3?
False
Let y be (-3)/(-5) + 1185/25. Let x be (-1)/(-4) + 4/y. Which is smaller: x or -1?
-1
Let m = 0.34 - 2.24. Let z = m + 2. Suppose -7 = -3*c + 4*f, -6*c = -2*c - 3*f - 7. Which is smaller: c or z?
z
Let j(s) be the second derivative of -s**5/20 - s**4/2 + 4*s**3/3 + 3*s**2 - s. Let d be j(-7). Is -1 > d?
False
Let q be 3 - (-3 + 3 + 2). Let l = 779/72 + -76145/6552. Let r = l + 16/13. Is r at most as big as q?
True
Let s be (-2)/13 + (-8)/(-52). Suppose s = -4*q - 11 - 25. Let g be (q/(-6))/((-6)/16). Which is greater: g or -3?
-3
Suppose j + 6 - 7 = 0. Let n be (-1*(-2)/(-6))/1. Is j > n?
True
Let w be (1*-1)/((-2)/8). Suppose -4*r = -0*r - 5*y + 60, 60 = -w*r - 4*y. Let v be (-5)/r*(-3)/2. Which is smaller: 1 or v?
v
Let c be (-1)/(-2) + (-3)/2. Is c less than -3?
False
Suppose -5 + 2 = 2*d + 3*f, 2*f + 21 = 5*d. Let u = -2 - 0. Let g(c) = -c. Let n be g(u). Which is greater: n or d?
d
Suppose -3*c + 4*c + 9 = 3*b, -2*c = 0. Let w = 18378 - 92198/5. Let i = w - -62. Which is greater: i or b?
b
Suppose -10 = 6*v - 4. Is -2/7 at least as big as v?
True
Let n = 31091/156 - 797/4. Which is greater: n or -1?
n
Let l = -0.4 - -1.4. Let h = -4 + l. Is 1 equal to h?
False
Let x(d) = -d + 5. Let m be x(0). Suppose 5 = -m*n - 5*h, 4*h - 41 = 4*n - 5. Let o = -3 + -2. Is o != n?
False
Let a be (-72)/(-28)*1/4. Is 0 greater than a?
False
Let t(g) = 4*g - 28. Let o be t(7). Do o and 2 have the same value?
False
Let x = -2/5 + 3/20. Let y(b) = b**2 - 2*b - 5. Let f be y(4). Suppose 0 = f*g - g. Do g and x have the same value?
False
Suppose 5*f = -15 - 10. Which is bigger: -1 or f?
-1
Let t = -5 - -11. Suppose 6*u = 2*u - 3*g + 87, 0 = 2*u - 5*g - 37. Suppose -2*i = 4*o + 20 - t, 5*i - 4*o - u = 0. Which is smaller: i or -4?
-4
Suppose -3*t = -3*m - 27, -3*t - m + 7 = -0*m. Is -6/7 != t?
True
Let v be (92/(-18))/(-2) + -3. Which is smaller: v or 0?
v
Let y(t) = -t + 2. Let c be y(-2). Let a be ((-7)/c)/((-1)/10). Let g = 18 - a. Which is smaller: 2 or g?
g
Suppose 6*x - x + v = 7, 4*x - 12 = -4*v. Which is bigger: x or -2/19?
x
Let n = 0.5 + -1.2. Which is bigger: -2/5 or n?
-2/5
Suppose 4*j - 5*y = -j - 10, 13 = j + 2*y. Suppose 0 = -2*k + 2 - 4. Is j equal to k?
False
Suppose 0 = -5*o - 2*q - 13, 2*o - 14 = -0*o + 4*q. Let g be (o - 2) + -2 + 4. Is g greater than or equal to 0?
False
Suppose -5*r = -2*i - 4, -4*i + 2*r = -3*i + 1. Suppose i*s - 27 + 9 = 0. Which is bigger: s or -1?
s
Let o = 2722739 - 204208541/75. Let j = -101/75 - o. Let s = j - 40. Are -1 and s unequal?
True
Let z = -21 - -23. Is -1 at least z?
False
Suppose 4*h + 3*s = -6, 2*h + 1 = -s - 1. Which is greater: 1/18 or h?
1/18
Let o = 15.16 + -15. Let u = -0.15 + o. Are -0.2 and u nonequal?
True
Let k = -261/119 + 30/17. Suppose 4*w = -0*w + 12. Suppose 3*l = 2*h + 11, -l - 3*l - w*h = 8. Is k smaller than l?
True
Let k be ((2 - 2) + 2)/((-10)/(-65)). Is 13 at least as big as k?
True
Let l(d) = 2*d + 1. Let w be l(1). Which is smaller: 13/7 or w?
13/7
Let y(u) = u**3 - 6*u**2 - 7*u + 1. Let c be y(7). Are 4/7 and c equal?
False
Suppose 5*o - 11 = 4*g - 8*g, g + 6 = -3*o. Suppose 5*i - 5*d - 60 = -d, -i = -4*d - 28. Is g at most i?
False
Suppose 35 = 14*n - 7. Is 3 smaller than n?
False
Let r = 1 - 1. Let g(d) = -3*d + 4. Let v be g(3). Let a be ((-8)/20)/(8/v). Which is bigger: r or a?
a
Suppose 0 = 18*c - 13*c + 15. Suppose 5*f + 7*z = 2*z - 30, 3*z = -2*f - 16. Which is smaller: f or c?
c
Let n(k) = -k**2 - 4*k + 4. Let l be n(-5). Let i(g) = 5*g**3 + g**2. Let p be i(l). Are p and -5 nonequal?
True
Suppose 0 = 2*z + x, -2*z - 3*x + 11 = 3. Let g be (3/(-63))/(z/(-6)). Which is smaller: g or 1?
g
Suppose 4 + 10 = -5*h - 4*j, 0 = -3*h - 2*j - 8. Suppose 4*t - 4 = 3*r - 0, 4*t + 2*r = -16. Is t < h?
False
Suppose 0 = 5*a + 55 + 115. Let p = a + 237/7. Is 0.1 less than p?
False
Let m be (1 - 8)/(1/(-1)). Suppose 2*l - 9 = 4*g - 1, -l + m = -3*g. 