 p. Are l and j equal?
False
Let y be (-4)/(-10) - (-312)/(-330). Let z be 0/(-3 + 5 - 4). Which is smaller: y or z?
y
Suppose 2*z + 3*z = 0. Let s = 3 - 4. Is s less than z?
True
Let t = 4 + -11. Is -8 < t?
True
Let c be ((-24)/9)/4*-6. Suppose 0*f - 24 = c*f - 5*x, 4*x - 16 = 0. Which is bigger: f or -2/13?
-2/13
Suppose -5*d - 155 = -580. Let z be 1/(-2) + d/130. Does z = 1?
False
Suppose 10*f - 5*f = 5. Which is bigger: f or -1/4?
f
Suppose -4*t + 2*s - 7 + 1 = 0, -2*t = 3*s - 1. Which is smaller: 2/11 or t?
t
Let v = -14373/1352 + 85/8. Which is smaller: v or 0?
v
Let t = 278 - 2494/9. Which is bigger: t or 1?
1
Let f(q) = -9*q + 9. Let d be f(-4). Let v be (4/d)/(3/15). Let n be (-2)/6 + (-3)/(-9). Is n equal to v?
False
Suppose -383 + 133 = j. Let m = -3748/15 - j. Is 0 bigger than m?
False
Let o = -5 + 4. Let d = o + 0. Is d < -1?
False
Let s be 45/66*(-768)/2770. Let f = -358448/1385 - -1294/5. Let z = f - s. Which is greater: z or 0?
z
Let o = -0.13 - -2.13. Which is smaller: 0 or o?
0
Let i = 508 + -908. Let w be 15/(-2)*64/i. Are 2 and w equal?
False
Let f(v) = v**3 - 7*v**2 - 7*v - 7. Suppose 32 = 7*j - 3*j. Let r be f(j). Let u = 2 + r. Which is smaller: 2 or u?
2
Let t = -913/2 + 441. Let s = t - -15. Let n(c) = c - 6. Let w be n(6). Is s less than or equal to w?
True
Let s be ((-44)/(-24))/(-11)*102/8. Do -2 and s have different values?
True
Let s = -7 - -9. Suppose 1 = s*g + 17. Is g bigger than -8?
False
Let o = 1578/5213 + 2/401. Is 0 < o?
True
Suppose -8*x = -16*x + 296. Is x less than 39?
True
Let t = 25 - 2. Which is greater: t or 0.2?
t
Let a be (-9)/6*4/6. Let c = -1 - a. Let g(d) = 3*d**2 - 1. Let r be g(1). Do r and c have different values?
True
Let i be 2/7 + 6/126. Is i at least -0.1?
True
Suppose -69 = i - 22. Is -48 not equal to i?
True
Suppose 5*f + 8 = -n - 3*n, 5*f = -2*n - 14. Let o = -2 - f. Which is smaller: o or 6?
o
Let r be 1/(-2 + 3/1)*20. Is 20 not equal to r?
False
Let q(f) = f**2 - 6*f + 5. Suppose 3*x + 4*n - 23 = 0, x + n + 7 - 14 = 0. Let z be q(x). Which is bigger: -8 or z?
z
Let b = -1.53 + -5.52. Let h = -7 - b. Let y = -0.05 - h. Is y equal to -1?
False
Let u be -2*((-8)/2 + 2). Suppose u*m - 7 = -z - 0, 3*m = -z + 5. Let h = 5 - m. Is 3 > h?
False
Suppose 2 + 13 = 3*x - 3*m, 2*m = -3*x + 5. Suppose h - 15 = x*j + j, -3*j = -h + 11. Which is smaller: -0.2 or h?
h
Let h be (231/78 - 3)/(27/(-12)). Which is greater: h or -1?
h
Suppose 0 = -x - x + 4. Let s(k) = -k**2 - 6*k + 6. Let m be s(-6). Suppose -m*n = -x*n - 8. Is n >= 2?
True
Let o(v) = -v - 27. Let m be o(-27). Is -3/5 smaller than m?
True
Let l(f) = -157*f - 1. Let u(d) = d + 1. Let w(c) = l(c) + 3*u(c). Let t be w(-2). Let v = -4648/15 + t. Which is smaller: 1 or v?
v
Let l(x) = x**3 - 4*x**2 + 2*x + 4. Let z be l(3). Suppose 2*q + 3*q - 60 = 0. Let c be q/99*(-6)/4. Which is bigger: c or z?
z
Let b = 71 + -71. Let i = 0.1 + -0.2. Let q = i - 0. Which is smaller: q or b?
q
Let v = -29.9 - -2.9. Let x = -18 - v. Is x greater than or equal to -0.1?
True
Let l(t) = -4*t - 4. Let k be l(-5). Suppose 0*o - 4*o = k. Let r be 10/20 - 7/2. Is o greater than r?
False
Let l = 13.7 + 0.5. Let z = 13 - l. Is z < 0?
True
Let d = 0 + 3. Let f be (-10)/d - -2 - 0. Which is bigger: f or -0.1?
-0.1
Let d(v) = -7*v + 1. Let b(w) = w. Let h(g) = -6*b(g) - d(g). Let q be h(-3). Suppose 2*z + 7 - 1 = 0. Which is greater: z or q?
z
Let r be (1 + 1)*(-2)/4. Let v = -2 - -1. Is r > v?
False
Let u be (3/2)/(12/32). Suppose -z = -2*q + 3, u*z + 18 = -3*q + z. Let d be (2/(-2))/(3 + -4). Are q and d nonequal?
True
Let w be 1 - (-2)/(-6)*0. Let m be (2 + 9/(-3))/w. Is m < 1/5?
True
Let t(y) = y**2 + 11*y + 10. Let r be t(-8). Which is smaller: -13 or r?
r
Suppose -1 - 2 = -3*r. Let x be (-2)/(1 - r - 4). Suppose 6*n + 5*h = 2*n - 16, -11 = 5*n + 4*h. Which is smaller: x or n?
x
Let n(f) = 3*f**2 + 2*f - 1. Let b be n(1). Suppose -1 = -5*p + b*p. Which is smaller: p or 2?
p
Let k = 27.8 - 28. Let r be ((-4)/8)/(1/(-8)). Which is bigger: r or k?
r
Let o = 10/11 + -9/22. Is o > 1?
False
Let d be 4/(3/(-9)*-1). Suppose 3*y + 0*y = d. Let z be y/6*9/6. Do 3/4 and z have different values?
True
Let s(l) = l**3 - 6*l**2 + 2*l - 7. Let y be s(6). Suppose -2*w - y + 1 = 0. Which is smaller: w or 0?
w
Let k = 0 - -1. Is 0 != k?
True
Let p = 3 - -1. Let m = p - 4.02. Which is smaller: -1 or m?
-1
Let c(s) = s**3 + 16*s**2 + 17*s - 5. Let z be c(-15). Let a = 35 + z. Let p be 10/6 + 6/(-9). Is p < a?
False
Let n be (48/56)/((-2)/14). Which is smaller: -8 or n?
-8
Let t = 9.4 + -4.8. Let u = 0.6 - t. Which is smaller: -1 or u?
u
Let z be (-2 + 3)*-1 + 4/(-16). Which is smaller: 0 or z?
z
Let u = 9.78 - -0.22. Let r = -10 + u. Does -1/3 = r?
False
Let m = 16 + -10. Let c be 12/7 + -8 + m. Which is greater: c or 0.1?
0.1
Let c = 8 + -8. Let d = c + -3. Which is greater: -0.2 or d?
-0.2
Let q(m) = m**2 + 8. Let a be q(0). Let v be 8/(-28) + a/14. Let d = -0.7 + -0.3. Is v at most d?
False
Let c be 5/(125/15)*1. Which is greater: c or -5/2?
c
Let n = 41/10 - 9/2. Let x = 0 + -0.2. Which is smaller: n or x?
n
Let t(a) = -a**3 + a**2 + a - 1. Let h be t(-1). Suppose 3*l + l + 8 = h. Which is bigger: l or -15/8?
-15/8
Let z(t) = -t**2 + 5*t - 4. Let k be z(3). Suppose -2 = -g + k*g. Which is smaller: g or -4?
-4
Suppose 0 = 3*m - 6*m - 6. Let x = -6 + m. Is -9 at least as big as x?
False
Suppose 6*u + 32 = 2*u. Let k be 0 + (-2 - (3 + u)). Suppose -k*v - 4 = 5. Which is smaller: v or -2?
v
Let i = -5.7 + 5. Let g = i - -0.5. Is 1/4 >= g?
True
Let v be (-2)/(-4) + (-7)/2. Let n = 4 + v. Suppose -4*j - 5*t = -4*t - 5, 2*j - n = t. Are -2/5 and j equal?
False
Let j = 5 - 2. Let t = -3 - -7. Suppose -2*l = -j*d - 11, t*d = 5*d + 5. Is -1 bigger than l?
True
Suppose -3*u + 7*u - o + 5 = 0, 2*o - 10 = -3*u. Which is greater: u or -2/27?
u
Let v(q) = -q**3 + 4*q**2 - q + 5. Let o be v(4). Is o < 2/43?
False
Let g = 9 + -11. Let z be g*(-1 - 2 - -4). Let y(i) = i - 4. Let j be y(3). Which is smaller: j or z?
z
Let r(q) = -q**3 + 9*q**2 + 8*q + 14. Let k be r(10). Let y = 6 + -5. Is y <= k?
False
Let g = 2 + 13. Is g at least 16?
False
Let r be 0 - (2 - (-433)/(-216)). Let h = -17/216 + r. Let c = h + -7/27. Is 1 bigger than c?
True
Let r = -1159 - -2158. Let s = r + -2039/2. Let w = s - -20. Is w greater than -4?
True
Let v(o) = o**3 + 7*o**2 + 4*o - 7. Let d be v(-6). Suppose -5*z - d*l - 5 = 0, -l + 6 = -3*l. Suppose 3*b + 2*x - 2 = 3, 11 = 3*b - x. Which is bigger: z or b?
b
Let j = -83 - -97. Suppose 0*s - 26 = -2*s. Is s at most as big as j?
True
Let d be 0 + 1 + 0 + 2. Suppose a + 4*u = 4, 6*u - 3 = -4*a + d*u. Is -1/6 at least a?
False
Let k = -0.057 - 0.043. Is 0.2 >= k?
True
Suppose 0 = -2*x - 11 - 15. Which is bigger: x or -12?
-12
Let z = -2 - -1. Let h = -10/11 - -112/99. Is z at most h?
True
Let s be ((-1)/(-49))/((-1)/(-2)). Which is bigger: 1 or s?
1
Suppose -10*h - 60 = -6*h. Which is smaller: 0 or h?
h
Let p = 5 - 4. Which is bigger: -3/10 or p?
p
Let o = 869/1148 + -2/287. Is o greater than or equal to 0?
True
Suppose -2*p - n - 58 = 0, 14 = 4*n - 2. Is p smaller than -31?
False
Let k = 0.6 - 0.6. Let f = -0.3 + 1.3. Let o = k + f. Which is greater: -1 or o?
o
Let n be (-3)/(-8)*((-120)/18)/10. Let q = 208/3 + -70. Is n not equal to q?
True
Suppose 0 = 3*r - 0*r. Is 2 bigger than r?
True
Let m(x) = x**3 - 8*x**2 + 9*x - 6. Let g be m(7). Suppose h = -p - 3, -4*p - 2*h - 6 = -g*p. Suppose 0*f - f = p. Which is bigger: 3/7 or f?
3/7
Let l = -7 + 3. Let t be 506/l*4/6. Let w = 85 + t. Which is greater: 0.1 or w?
w
Let k = 0.072 + 0.128. Let y = 3 - 2. Which is smaller: y or k?
k
Let y = -15.6 + 17. Let w = 6.6 + y. Let d = -6 + w. Which is smaller: d or -1?
-1
Let k be -2 + -1 + 92/30. Let x = -14 - -13. Which is smaller: x or k?
x
Suppose -2*v - 22 = -v. Let z be 1*(-52)/20 + (-2)/5. Let c be v/(-26) + 2 + z. Which is greater: c or 0?
0
Let l(d) = d**2 + 12*d + 12. Let c be l(-12). Suppose 0*k = 4*y - 3*k + c, 2*y = -k - 16. Is -7 >= y?
False
Suppose -2*c - 13 = -43. Let i be 5/2*12/c. Let x be (-18)/4 + (i - -1). Which is smaller: -2 or x?
-2
Let k = 22 - 16. Let h(y) = y**3 - 6*y**2 + y - 7. Let w be h(k). Let i = -35 - -174/5. Do w and i have different values?
True
Le