onequal?
True
Let a be 57/693 - (1 + 30/(-35)). Which is smaller: a or 1?
a
Let m = -4 - -5. Is -3/4 at most m?
True
Let v be (-2)/3 - 2/(-3). Let n be 8/28 + 38/14. Let r be n/(-3) - 13/(-11). Which is greater: v or r?
r
Let q = -0.66 - 19.34. Which is smaller: q or 5?
q
Suppose 3*c = -4*j - 23, -19 - 2 = 5*c - 2*j. Let v be (-12)/(-8)*-2 - -2. Is v < c?
False
Let j = 6 + -14. Let b be j/(-9)*(-6)/8. Which is bigger: 0 or b?
0
Let z(y) = -y**3 - 8*y**2 - 6*y + 5. Let j be z(-7). Let q be (1/j)/(6/12). Is q bigger than -1?
False
Let f = -4 - -11. Suppose f + 2 = -3*o. Let m(z) = z. Let a be m(-2). Which is greater: o or a?
a
Suppose 5*q = -4*v + 53, 6*q - q = 3*v + 39. Let a = q + -10. Which is smaller: a or -2/23?
a
Let b = -4/229 - 14411/916. Is -17 greater than or equal to b?
False
Let l be (2 + -5)*(-20)/72. Let p = 23/24 - l. Is p at most as big as 0?
False
Let j = 2/401 + 391/2005. Let t = 26/17 + -91/204. Let l = -3/4 + t. Which is smaller: j or l?
j
Let o = -4 + -2. Let z = 0 - o. Suppose -4*h + z = -2*h. Is h smaller than 3?
False
Let w(o) = -o**2 + o + 2. Let d be w(2). Let f = d + 0. Suppose k + 5 = -4*s + 1, 20 = -5*k. Is f >= s?
True
Let t(c) be the second derivative of c**5/20 - c**4/3 + 2*c**2 + 5*c. Let m be t(3). Which is smaller: -4 or m?
m
Let a = 442 - 425. Suppose -19 - 61 = -5*c. Is c greater than or equal to a?
False
Let w = 2 + -2. Suppose 0*y + 5*y + 35 = w. Let i(t) = -t**2 - 8*t - 4. Let c be i(y). Is c equal to 1?
False
Let a = -5 - 2. Let d = a - -8. Is 1 != d?
False
Let m = 40 - 26. Which is smaller: -1 or m?
-1
Let f be 1/(-4) - 2/40. Let v be (26/42 - (-10)/(-35))*0. Is v at least as big as f?
True
Let m be (-2)/(-12) - (-47)/6. Suppose 3*g - 41 = r, -19 - m = -g + 3*r. Is g > 12?
False
Suppose -75 = -5*b - 2*z, -5*z + 0 = 3*b - 45. Is 14 less than or equal to b?
True
Let m = 2 + -6. Let g = m - -2. Are g and -0.3 nonequal?
True
Let t(h) = 2*h. Let p be t(-1). Let u(w) be the second derivative of w**4/12 - w**2/2 - w. Let b be u(0). Which is smaller: p or b?
p
Let u(q) = -2*q + 1. Let h be u(5). Let w = h + 7. Which is smaller: -3 or w?
-3
Let a = -247 - -1246/5. Which is bigger: a or 0.01?
a
Let s = -3 + -2. Let b = s - -4. Which is smaller: b or -2?
-2
Let s = 1 - 0. Is 1 less than or equal to s?
True
Let s(d) = d**2 + 2*d - 4. Suppose -19 = 5*q + 2*h - 0*h, -3*q - 13 = 2*h. Let p be s(q). Let x be (6/8 + -1)*-1. Which is greater: x or p?
x
Suppose 7 = -5*l - 8. Let d be 7/3*l/2. Is -5 smaller than d?
True
Let n be (-2)/3 + (-20)/(-3). Let s(i) = -i**3 - 7*i**2 - 10*i + 5. Let q be s(-5). Which is bigger: n or q?
n
Let c(g) = -g**2 - g + 4. Let b be c(0). Suppose 5*y = -b*i + 13, 5*i + y + 4*y - 15 = 0. Which is smaller: 1 or i?
1
Let h = 41 - 67. Let t be (-12)/14*(h - 2). Let y be t/35 + 2/(-5). Is -2 smaller than y?
True
Let c be ((-3)/(-9))/(2/(-6)). Is 9 greater than or equal to c?
True
Let k(a) = 2*a - 1. Let q(x) = 3*x - 2. Let b(n) = 7*k(n) - 5*q(n). Let j be b(4). Let f(p) = p**2 - p - 1. Let t be f(j). Is t not equal to -1/6?
True
Suppose -2*n = 3*f - 11, -2*n + 10 = 3*f - f. Suppose -o = -5*o + 4, -o = 2*l - 1. Suppose l = n*a + 2 - 6. Is a at least as big as 1?
True
Let y(q) = -4*q**2 - 1. Let b be y(-1). Let h be (-11)/b - (-2)/(-10). Is 5/4 equal to h?
False
Let r(x) be the second derivative of x**5/12 + x**4/24 + x**3/6 - x**2/2 - x. Let t(i) be the first derivative of r(i). Let z be t(-1). Which is bigger: 4 or z?
z
Let y(r) = r**3 + 5*r**2 + 5*r - 3. Let i be y(-4). Let w be (-2)/i - (-8)/(-28). Let c be ((-2 - w) + 6)*-1. Which is greater: c or -5?
c
Let g be (3/4)/(2/(-8)). Let k(i) = -i**3 + i**2 + i + 1. Let n be k(-1). Suppose 2*c + 3*c + 5*m - 15 = 0, -16 = -n*c - 4*m. Which is greater: c or g?
c
Let l = -146 - -138. Which is greater: 6 or l?
6
Let h be ((-18)/(-15))/(8/(-20)). Is h smaller than 0?
True
Suppose 2*z - 7*z + 15 = 0. Let h be -1 + z - (20 - 12). Suppose -n + 2*b - 14 = -2*b, -n - 10 = -2*b. Is h at most n?
True
Let s(x) = x**3 + 16*x**2 - x - 19. Let c be s(-16). Let f = -1016/45 - -178/9. Is f != c?
True
Let s = -2.33 + 0.03. Let m = -0.3 - s. Is -2/7 greater than m?
False
Suppose -5*s + 3*u - 8 = 464, s = -2*u - 97. Let t = -57 - s. Let b be t/88 - 5/20. Do b and 1 have different values?
True
Suppose -4*y + 5 = -9*y. Let j(t) = -2*t**3 - 2*t**2 + 1. Let r be j(y). Are 0 and r non-equal?
True
Let u = 498/55 + 176603/1045. Let x = -178 + u. Which is greater: x or 0?
x
Let l be (3/(-2))/((-12)/1760). Let t be 252/l + (-9)/15. Which is bigger: 0 or t?
t
Suppose -5*w - 47 - 65 = -3*l, -2*w - 45 = -l. Is 0.3 greater than w?
True
Let y(o) = -7*o - 15. Let l(d) = -11*d - 23. Let v(j) = 5*l(j) - 8*y(j). Let z be v(-5). Which is bigger: z or -1?
z
Suppose 0 = 4*d - 7*d + 9. Suppose 5*s - 2*q = 2 - 15, -s + 11 = d*q. Let c be (-1)/4 + 0 + 0. Which is smaller: c or s?
s
Let v = -24 - -13. Which is smaller: -2 or v?
v
Let j = 3.07 + -0.07. Let v = 8 - j. Let q = 5.1 - v. Which is smaller: 1/2 or q?
q
Let m = 5 + -9. Let a = m + -3. Let s = 5 + a. Which is greater: s or 3?
3
Suppose -2*i + 26 = 4*g - 0*g, -i - 3*g + 11 = 0. Let k be 4/6 + (-130)/(-39). Suppose -2*m - 12 = -3*z, -k*m + 9*m = z - i. Is z <= 3?
True
Let i(t) = t - 1. Let g be i(5). Let w be -1*5/((-5)/g). Suppose 3*m + 4*j = -m - 12, w*j + 8 = 0. Which is smaller: m or -2/7?
m
Let n = 23/10 + -14/5. Which is bigger: -1 or n?
n
Suppose 5*u + 14 = -11. Let p be (u - (-1 - 2)) + 7. Let q = p - 4. Is q at least as big as 1/11?
True
Let s be 10*-2*2/8. Let u = s - -5. Which is smaller: u or 1/13?
u
Let m be (-2 + (-3)/(-3))*-2. Suppose 0 = 6*j - 4*j - m. Which is smaller: j or -1?
-1
Let o = 1693/6 - 281. Suppose -6 - 2 = -4*x. Which is smaller: x or o?
o
Let u = -116/3 + 38. Which is greater: 19 or u?
19
Let q(t) = t - 16. Let w be q(14). Suppose 18 = 4*i + 6. Let f be (-1)/i - (-5)/(-3). Are f and w equal?
True
Suppose 2*a + 2 = -0. Let q(c) = -c**2 + 5*c. Let f be q(5). Is a equal to f?
False
Suppose 2*i = -3*i. Let d be (-20)/12*2/(-4). Which is bigger: d or i?
d
Suppose 145 = 4*u - 127. Which is smaller: u or 69?
u
Let g(x) = x**2 - 2*x + 1. Let y be g(2). Let d = y + -1. Suppose 3*i + i = d. Is -1/2 bigger than i?
False
Let w = -4 + 5. Let h be (1/(-2))/(w/(-24)). Suppose -3*p = d + d + 6, -p - h = 4*d. Is 2/9 >= p?
True
Let r be (2/(-24))/(1/(-2)). Let i(f) = f**2 + 11*f + 17. Let c be i(-9). Which is greater: c or r?
r
Let z = -18.5 - -9.2. Are z and -2/5 nonequal?
True
Let v(l) = l**2 - l. Let k be v(-1). Let a be (6/5)/(20/25). Let h = a + -1. Which is greater: h or k?
k
Let m(r) = -r**2 - 2*r - 1. Let a = 8 - 10. Let j be m(a). Which is smaller: 2/7 or j?
j
Suppose -6 = -3*u, 3*z - 2 = 7*z - 3*u. Let i be -4*z*(-3)/6. Is i at most 3?
True
Suppose 1 + 0 = -v + 5*c, -v + 2*c + 2 = 0. Suppose -x - 132 = -v*x. Let t = 223/5 - x. Is t equal to 1?
False
Suppose g = 4*t - 23, 38 = 4*t + 5*g - 3*g. Suppose 2*o - 150 = t*o. Let y be 8/o + (-6)/(-9). Which is smaller: y or -1?
-1
Let y be 1 + 20/(-21) - (-78)/273. Let o = -255/4 - -64. Which is smaller: y or o?
o
Suppose -h = h - 10, -4*j + 25 = h. Let r = 24 - j. Is r bigger than 20?
False
Let z = 3 - 5. Let o(a) = -a**2 - 11*a - 10. Let b be o(-11). Let n = b - -8. Is z != n?
False
Let v = -310870 - -4659902/15. Suppose -4*z = n + 483 + 362, -3*z = -3*n + 615. Let k = v - z. Do k and 1 have the same value?
False
Let n be (4 - (-234)/(-58))*1. Which is smaller: n or 1?
n
Suppose -3*k + 8*k = 20. Suppose -4*h = 4*f - k, -3*f + 2*h + 4 = 4*h. Is 2 > f?
False
Let o = -0.5 + 1. Let u = o - -0.5. Let x = 3210/11 - 292. Which is bigger: x or u?
u
Suppose n = 1 - 0. Let z = 1 - n. Suppose -3*v - 34 + 31 = 0. Is v equal to z?
False
Let r = -3/28 - -17/28. Is 27/2 >= r?
True
Suppose -9 = -5*i + 11. Suppose 3*g - 9 = -3*h, 0*h - i*h + 8 = 3*g. Let p be (-13)/8 - (-2 + 0). Which is smaller: h or p?
h
Suppose 7 = -2*j + 43. Which is smaller: 0.1 or j?
0.1
Let j(y) = -y**2 + 2*y + 6. Let w be j(-4). Let q = 28 + w. Are 9 and q equal?
False
Let d(u) = -u**2 + 5*u - 3. Let q be d(4). Let v be (-1 - (-2 + q))/1. Suppose -i - 3 = -1. Which is bigger: i or v?
v
Let m = -122/225 + 8/25. Which is smaller: 0.2 or m?
m
Let b = -149 - -125. Are -26 and b equal?
False
Let j be (2 - (-2 - -3)) 