than p?
True
Let m be (-3 + 4)*-1*2. Let h be ((-5)/40)/(1/(-6)). Is h equal to m?
False
Suppose 0 = 5*a - g + 20, a + 4*g + 8 = -a. Let x be 3/8 - 0/a. Are 1 and x equal?
False
Let g(o) = -o**2 - 12*o - 10. Let y(i) = -3*i**2 - 36*i - 30. Let x(j) = -11*g(j) + 4*y(j). Let q be x(-11). Is 2 >= q?
True
Suppose 18*d - 14 = 4. Let a be (20/14 + -1)/(-1). Is a at most d?
True
Let i = 829 - 826. Let h be -1 + 26/10 - 0. Does h = i?
False
Let y be 58/2 - (2 - 0). Suppose 5 = 4*m + x, -7 = 5*m + 4*x - y. Is m equal to 6/11?
False
Let c(q) = q**2 + 3*q + 2. Let d be c(-4). Let g be (-8)/d*3/(-2). Is 2 < g?
False
Let y be (-16)/14 - (-4)/2. Let g = 104/105 - y. Do g and -1 have the same value?
False
Let a = 15486/79 - 196. Which is greater: -1 or a?
a
Let x(s) = -s + 8*s**2 + 2 - 8*s**2 + 0 + s**2. Let l be x(0). Suppose 0 = -h + 5 - l. Which is smaller: h or 2?
2
Let r(d) = -d**3 - 4*d**2 + 11*d - 6. Let o(t) = -t + 1. Let q(c) = 6*o(c) + r(c). Let p be q(-5). Which is smaller: -3/10 or p?
-3/10
Let r = 12 - 6. Let c be (-5 - -2)/((-9)/r). Let i be (0/(-4))/(c/(-1)). Are -1/2 and i unequal?
True
Suppose 1 = 5*h - 29. Let p be ((-4)/((-24)/9))/(3/14). Is p smaller than h?
False
Let n(y) = -2*y - 3. Let t be n(-4). Suppose -2*p - m + 9 = 0, t*m = p + 3*p + 3. Is 3 less than p?
False
Let q = 139/252 + -3/28. Do q and -1 have different values?
True
Suppose 4 = -3*g - 5. Let j(w) = w**2 - 3*w - 13. Let q be j(5). Is g <= q?
True
Suppose -10 - 10 = -5*u. Suppose 1 = 4*b - 11. Suppose u*p = -2*m + 2, b*m = p - 3 - 8. Which is bigger: -2 or m?
-2
Let u(v) = v - 5. Let d(z) = -2*z + 22. Let g be d(9). Let y be u(g). Suppose 0 = -2*k - 6 - 0. Is y != k?
True
Let k(d) = d - 2. Let m be k(2). Let f(p) = p + 4. Let o be f(m). Suppose 4*y = -2*b - 14, 0*y = o*b - 4*y - 20. Is b equal to -2?
False
Let k = -5 + 5. Let x(c) = c**3 + 8*c**2 + 7*c - 5. Let l be x(-7). Is l not equal to k?
True
Let j = -9.93 + 0.93. Is j bigger than 2?
False
Let a(r) = r + 3. Let i be a(-4). Let l = 217 + -1951/9. Which is smaller: i or l?
i
Let m be -1*2 - (-1 - 0). Let t be (5/(-1) - -2)*1. Is m at least as big as t?
True
Let p = 1 + 1. Let k(m) = 2*m + 1. Let t be k(p). Suppose -2*r + 16 = -0*r + 4*c, -4*r = -2*c - 12. Which is smaller: r or t?
r
Let n = 4 + -4.1. Let v be 1/(-3)*(-3)/(-6). Let a = 1/3 - v. Which is smaller: a or n?
n
Let l be ((-2)/3)/(4/6). Which is smaller: l or 5/13?
l
Let v(b) = b - 5. Let m be v(0). Let x be ((-6)/m)/(45/(-150)). Are x and -4 equal?
True
Let v be ((-6)/5)/((-2)/5). Let b be -6*v/3 - -2. Which is greater: -5 or b?
b
Let p be 3 - (2 - 1)*1. Let w be (-1)/(-1) + -2 + -4. Let d be ((-12)/10)/(2/w). Are d and p equal?
False
Suppose 28 = 2*s + 5*b, 2*s + 0*b = -b + 36. Let j = 4 - s. Let t be (0 - 2)/((-6)/j). Which is greater: t or -3?
-3
Let k(y) = y**2 + 7*y - 5. Let p = 5 + -13. Let a be k(p). Is a bigger than 5?
False
Let u = -0.093 - -1.163. Let m = 0.83 - 0.9. Let x = u + m. Is -1 greater than x?
False
Suppose -2*c - 14 = -2*u, 2*c = 5*u - 15 - 11. Suppose 0 = 2*w - 12 + u. Suppose 0*l - 2 = -2*h - 3*l, 4*l + w = 4*h. Is h <= 1?
True
Let m = 3 - 2.9. Let f = 7 - 5. Suppose -f*x + 5 = 3. Which is smaller: m or x?
m
Let s = -47/70 - -1/14. Which is greater: s or 0?
0
Let y = 0.09 + -0.49. Which is smaller: 1 or y?
y
Let j(t) = 2*t**3 - 9*t**2 + 6*t - 5. Let m be j(4). Is -3 <= m?
True
Let g be ((-10)/25)/(8/170). Let w = g - -9. Let p = 14 + -6. Which is bigger: w or p?
p
Suppose 0 = -6*p + 3*p + 3. Which is greater: p or 4/21?
p
Let a = 8.15 + -8. Let c = -1 - -1.05. Let r = a - c. Is r at most -0.2?
False
Let c = -118 + 143. Which is smaller: c or 23?
23
Suppose -2*q + f + 8 = 0, 0 = -4*q - f - 4*f + 2. Suppose -24 = -0*l + 2*l. Let s(x) = -x**2 - 13*x - 9. Let z be s(l). Is q equal to z?
True
Let g = 3 + -3.4. Let w = -0.4 - g. Which is smaller: w or 4/19?
w
Let l(x) = x**3 - 5*x**2 - 6*x + 4. Let c be l(6). Suppose -c*u + 8 = 5*s, 4*s = 5*u - 5 - 5. Is 2/5 at most s?
False
Let z = 16.1 + -13.08. Let w = z + -0.02. Let x = w + -3.3. Which is smaller: 0 or x?
x
Suppose -3*b + 4 = -3*p + 10, -4*b = -2*p. Let q = -13 + 15. Is q <= b?
True
Let v(j) = j**3 - 6*j**2 - 8*j - 9. Let z be v(7). Which is smaller: z or -17?
-17
Suppose -j = -q + 2, 1 = -3*q + 2*j + 5. Suppose -17 = 2*l - 3*l - 3*m, 4*l - m = 3. Suppose l*h = -q + 8. Is 3 greater than h?
False
Let f = -17 - -8. Let z(l) = 6 - l**2 - 4 - 9*l - 1. Let s be z(f). Is 1 equal to s?
True
Suppose -5*z - 6 = -x, 2*z - x - 4*x = 16. Let f be (1 + -1)*z/(-4). Is -2/7 at least f?
False
Suppose 0*b + 2*b = 2. Let u be 12/(-9)*-1*3. Suppose -u*m - 5 + 17 = 0. Is m greater than b?
True
Let u = 44.1 + -44. Is -14 greater than or equal to u?
False
Suppose 2*j + 0*g + g = -10, 5*j - 4*g - 1 = 0. Let w be (-9)/(-6) - (-7)/(-2). Is w > j?
True
Let o = 8 - 7.93. Suppose 0*u - 4*u - 2*t - 4 = 0, 4 = 5*u - 2*t. Which is greater: u or o?
o
Let u be -8*(-6)/84 + 4/7. Is 1 at most u?
True
Suppose -4*o = 119 + 133. Let k be 0 + (o/(-6))/(-7). Are k and -1 nonequal?
True
Let a be (-16)/(-6) + (-2)/(-6). Suppose 25 = 5*t - 3*b, -a*b - 23 = -6*t + 2*t. Let y(j) = -j + 7. Let h be y(5). Is t smaller than h?
False
Let j = -7412 + 64762/9. Let h = j - -216. Which is smaller: h or 1/3?
h
Suppose 4*i = 8*i + 4. Is 1 at least as big as i?
True
Let w = -1.1 - -0.1. Let r = -25951/41 - -633. Let n = 53/246 - r. Is w greater than n?
False
Let l = 101 + -709/7. Is 19 at least as big as l?
True
Let h = 164/3 + -54. Which is smaller: h or 5?
h
Let h = -2 - -2. Suppose h*m + 2 = m. Suppose 0 = -m*j - 0*j. Which is smaller: j or -1?
-1
Let d be -2 + (-50)/(-18) - 1. Let a = 0.17 - 0.17. Is d less than or equal to a?
True
Let w be (-1)/(45/(-33)) - 1/3. Let p = 0.1 - 0.09. Which is bigger: w or p?
w
Suppose 3*q = -0*q, 3*q = 3*y + 54. Let r be 158*1*(-3)/y. Let s = -26 + r. Is 2 > s?
True
Let n = 0.08 + 0.03. Which is bigger: n or 0.1?
n
Suppose -c + 3 = -4*c. Let x be (-3)/((-54)/4) + (-40)/315. Is x equal to c?
False
Let l = 4 + -3.98. Let u = l + -0.02. Which is smaller: -0.1 or u?
-0.1
Let h = 9573/5 + -1926. Let j = h - -58/5. Which is smaller: j or 2/5?
j
Let t be 1 - (-1)/(-1) - 282. Let i be t/9 - (1 + 2). Let l = i - -34. Do l and 0 have the same value?
False
Let x be 248/2288 + 2/(-13). Which is smaller: -1 or x?
-1
Let c = -8 + 15. Do 4 and c have different values?
True
Let j(s) = s**3 - 8*s**2 + s - 11. Let c be j(8). Let l = c - -3. Which is smaller: l or -2?
-2
Suppose -5*p - 3*h + 46 = 0, -4*p - h = 4*h - 42. Is p greater than 7?
True
Let p = 3 + -2.8. Suppose 3*u - 5 = -2*u. Is p at least u?
False
Let w = -0.58 + 0.04. Let v = 0.04 + w. Which is smaller: 0.2 or v?
v
Suppose i = 5*g + 4, 0*i = 4*i + g + 5. Let d = 3 + -3.5. Let o = d - -0.7. Do o and i have the same value?
False
Let j = 8 - 8. Suppose 2*k + j*k + 22 = 0. Let r be -1 - 26/k - 1. Are 1 and r non-equal?
True
Let a be (-2)/(1 + -3) + 1. Which is smaller: -1 or a?
-1
Let i(o) = -o**2 - 12*o + 8. Let v be i(-12). Let r be 5/v + (-2)/4. Are r and -1 nonequal?
True
Let r = 5 + -3. Suppose -3*u - r*k + 8 = 0, -3*u + k + 28 = -k. Let i be (1 - 1)*u/(-12). Is 2 less than i?
False
Suppose -18 = -k - 4*f, -1 + 2 = -3*k - f. Let y be k + (13 - 0/1). Which is smaller: 12 or y?
y
Let f be 16/6 + 2*1/(-3). Is f bigger than -7?
True
Let o = 2.96 + 0.04. Let m = 9 - o. Do -2/7 and m have the same value?
False
Let d = -3 + 5. Suppose d = -3*a + a. Which is greater: -2/9 or a?
-2/9
Let r(l) = l**3 - 9*l**2 + 8*l - 2. Let t = -1 - -4. Suppose 2*p - 4*y + 4 = p, p = -t*y + 17. Let a be r(p). Are -2 and a unequal?
False
Let h be ((-1)/(-3))/(1/2). Let q(d) = -d**2 + 4*d + 1. Let m be q(3). Suppose a - u = -3, -4*a + m*u - 13 = a. Is h less than or equal to a?
False
Let p = 5 + -2. Suppose n = -p*n. Suppose 4*s - 3*a + 8 = -12, 0 = -5*s + a - 14. Which is greater: s or n?
n
Suppose 8 - 40 = -2*m. Suppose -2*o + 3*p = -14, -5*p + 5 + m = 3*o. Is o not equal to 7?
False
Let x(r) = r - 2 + 3 - 2. Let z be x(0). Which is bigger: z or -3?
z
Suppose -2*f + 0 + 6 = 0. Let q be (0/(-3))/(1 - f). Is -3 greater than or equal to q?
False
Let f = 2 + 4. Suppose -2*j + 2 = -f. Suppose -6*l + 3*l = 5*d, -2*l = 5*d + 5. Which is smaller: l or j?
j
Let n = 0.9 + -1. Let l = -168 - -167