 + 11. Let p be d(23). Which is greater: -53/5 or p?
-53/5
Let b be 2/6 + (-280)/(-42). Suppose 0 = b*u - 2*u. Which is greater: u or -3/10?
u
Let h = -6.6 - -6. Let i = -4.4 + h. Let q = i + 7. Do -1/3 and q have the same value?
False
Let m = -16 + 18. Suppose -h = m*h + 15. Is -4 greater than or equal to h?
True
Let d = -35 + 34. Is 5/14 greater than d?
True
Let l = 31 - 8. Suppose f + 0*f = 0, o = 2*f + 4. Suppose 0 = -o*k + b + 4*b - l, -3*b + 19 = -5*k. Is -6/11 at least k?
True
Let x(g) = -2*g - 1. Let z(l) = 3*l + 2. Let i(q) = 8*x(q) + 5*z(q). Suppose 0 = 3*j + 15 - 6. Let t be i(j). Are 5 and t equal?
True
Let h = 1.3 - 4.3. Let b = 4 + h. Which is bigger: -3 or b?
b
Let p = 14 + -14. Let c = -1.4 - 8.6. Let n = -5 - c. Which is smaller: p or n?
p
Let h = -7.64 - -0.64. Is 1 less than h?
False
Suppose y - 6*y - 5 = 0. Let c = y + 1. Which is greater: 1 or c?
1
Let u(d) = -2*d - 3. Suppose o = 3*v - 8, -3*o + 5 - 3 = 4*v. Let x be u(o). Let y be (-88)/(-234) + 8/(-52). Is y bigger than x?
False
Suppose 3*k + 6 = k. Let h be (2/1)/(k - -1). Is h <= 1/16?
True
Let g be -1 - (-5)/(5/2). Let o be -2 + (g - (-10)/18). Let k = 9 + -10. Is k at most as big as o?
True
Let p be (-17)/4 + 5/20. Let t(j) = -j**2 - 4*j + 1. Let r be t(p). Is -2/7 less than or equal to r?
True
Let p = -10 + 9.7. Is p less than -1?
False
Suppose 2 - 5 = -l. Suppose -2*o = -o - l. Which is smaller: 5/2 or o?
5/2
Suppose -17 - 71 = c. Is -88 equal to c?
True
Let g be ((-2)/3*1)/((-3)/27). Which is smaller: g or 5?
5
Let z = -10 - 1. Let d = z + 11. Is -2/15 less than or equal to d?
True
Let b(z) = -8*z + 21. Let f be b(6). Which is smaller: -28 or f?
-28
Let r be 10/(-35) + (-8696)/(-154). Let h = -56 + r. Which is smaller: 0.2 or h?
h
Suppose 14*z + 303 = 13*z. Let f = 3208449/11 - 291980. Let n = f - z. Is 0 <= n?
True
Let r be 15/50 - (-2)/(-4). Let m be (-4)/(-5) - (-2)/10. Do r and m have the same value?
False
Let z = -29 - -36. Suppose -4*v + 20 = 4*q, 0 = -q - 5*v + 3 - 2. Which is bigger: q or z?
z
Let v = -2.2 - -2. Let r = 2 + -1.7. Let m = r - 0.2. Is v at least as big as m?
False
Let n be -1 + -1 - 8/(-2). Suppose -n*r + 4*r = 0. Suppose 4*v + 0*v = 5*u - 3, r = -4*v - 4*u - 12. Is -5 < v?
True
Let f(u) = -u**3 - 1. Let v be f(-1). Let m(k) = -k**2 - 5*k - 4. Let y be m(-4). Let q = v + y. Is 1 <= q?
False
Let j = -149/190 + -3/190. Suppose 4 = 3*o + 10. Let b be (-3)/6 + 3/o. Are j and b nonequal?
True
Suppose 0 = 5*v - 2*y + 4, -5*v + 0*v + 4*y + 2 = 0. Let h be 10/(-1) + 5 + 4. Which is greater: h or v?
h
Let c be 2/1 + (-36)/21. Which is smaller: c or -7?
-7
Suppose -5*p = -5 - 0. Suppose 3*a + 42 = 2*t - 14, -4*a - 5*t = 44. Let i be (-2)/(-7) + a/(-140). Which is greater: i or p?
p
Suppose 0 = -2*o - 2*x - 2*x - 16, 5*x = 2*o - 20. Let u = 19/3 + -6. Which is smaller: o or u?
o
Let x = -110 + 111. Is 1/10 greater than or equal to x?
False
Let c be ((-1)/6)/(122/8). Which is greater: c or 0?
0
Suppose 2*i + 3*i = -5. Let m be ((-1 - -1) + i)/3. Let n be (0 - 0 - -1)*-1. Which is smaller: n or m?
n
Let b be (3/(-9)*-9 - 2)*-1. Is b less than or equal to -3/80?
True
Let q be (-30)/16*24/(-18). Is 3 < q?
False
Let o(m) = -4*m + 15. Let r be o(4). Does r = -10/11?
False
Suppose 32 = -l + 4*l + 4*o, 5*l - 40 = -4*o. Suppose -l*d - 2 = -2*j + 12, -4*d = -3*j + 13. Let n = -1 - -1. Is n > j?
True
Let u = -104 + 417/4. Is u equal to 1?
False
Let p(z) = -z**3 - 13*z**2 - 13*z - 7. Let q be p(-12). Suppose q*m - 9 = 4*t + 32, 3*m - 7 = -2*t. Let r(a) = a**2 - 4*a. Let w be r(2). Is t != w?
False
Let l = -3.7 - -1.7. Let a = 4.9 - 3.2. Let f = l + a. Which is smaller: f or 0.1?
f
Let y(q) = 3*q - 1. Let f be y(3). Suppose 0 = 7*x - 18 - 31. Which is greater: f or x?
f
Let r = 20 + -21. Which is smaller: -6/11 or r?
r
Suppose -2*z + 10 = 3*z. Suppose z*n - 10 = -3*n. Suppose 4*c - n - 2 = 0. Which is smaller: 1/3 or c?
1/3
Let j = 0.5 + -0.37. Which is greater: j or -1?
j
Suppose k - 2*k - 3*t + 23 = 0, -103 = -4*k - t. Which is smaller: k or 53/2?
k
Let y be (-4)/2 + -1 + 3. Let f(v) = -v**3 + 24*v**2 - 23*v + 1. Let g be f(23). Which is greater: g or y?
g
Let o = 56 - 113/2. Which is smaller: o or -0.07?
o
Suppose 2*o - 1 = o. Let c be ((-2)/(-2)*(-1 + 1))/(-1). Which is smaller: c or o?
c
Let n be -9 + 14 - (8 - 2). Let z(p) = p**2 - 3*p - 5. Let i be z(4). Are i and n equal?
True
Let l be 39/(-52)*(-16)/14. Does 1 = l?
False
Suppose 4*q = 2*a - 6, -3*q + 4*q + 1 = a. Let g be a/(-2)*8 - 3. Is 4/7 greater than g?
False
Suppose 1 = 2*g - g. Is g >= 1/7?
True
Let s(p) = 3*p + 10. Let r be s(-4). Let v be 3/r*3/(-12). Is 1 < v?
False
Suppose 4 = 4*x - 5*x. Are x and -4 equal?
True
Let d = 13 - 2. Let j = -11.29 + d. Let k = j - -0.09. Which is greater: k or 2?
2
Let z = -1/23 - -26/69. Let t = -3 - -1. Let u be -2*t*(-4)/16. Are u and z nonequal?
True
Let a = -1/5 - -7/10. Let u = 49 + -197/4. Let y = u - a. Which is smaller: -2 or y?
-2
Let w = -6348/11 + 576. Let l = 22 + -23. Do l and w have the same value?
False
Let j = -0.1 - -0.4. Let i be (-76)/(-111)*3/12. Let m = -6/37 - i. Does j = m?
False
Let h = 3 + -2. Let q be h + -2 + (-10)/(-6). Suppose -3*c - 3*b = -9, -6*c + 3 = -4*c + b. Is q less than or equal to c?
False
Let f(o) = o**3 - o**2 - 2*o + 4. Let m be f(2). Let v be m/10 + 69/15. Is v less than 3?
False
Let n = 15731/17 - 925. Suppose q + 4 = 3. Is n not equal to q?
True
Suppose 13*l - 9*l = -16. Let h be (2 - 1)/((-1)/5). Let z(i) = i + 2. Let s be z(h). Which is smaller: s or l?
l
Let l = 3 + -3.2. Let h(w) = w**2 + 10*w + 8. Let j be h(-8). Let p be (-4)/j*2/(-4). Which is smaller: p or l?
p
Let u(p) = -p**3 + 5*p**2 + 3*p + 6. Let h be u(5). Let m be h/28 - 3/4. Suppose -5*w = c, w + 5*c = -m*c. Is -1 at least w?
False
Suppose 8*x - 3*x + 20 = 0. Is x at least as big as -6?
True
Let t(a) = 3*a + 2. Let z be t(-2). Let f(n) = 4*n + 11. Let h be f(-5). Let w = h + 4. Is z equal to w?
False
Let j be 2 + 24/(-10)*1. Let x(b) = b**2 - 5*b - 7. Let u = 12 - 6. Let k be x(u). Which is smaller: k or j?
k
Let f be 2/3 - 16/(-3). Suppose 0 = 3*u - 5*h - 29, -3*h + 0*h - 12 = 0. Which is smaller: u or f?
u
Let r = -70 + 69.9. Which is greater: 0 or r?
0
Let z be 14/2*(3 + -5). Which is smaller: 2 or z?
z
Let b be 0*(3 - 7/2). Suppose 2*x = 5*x. Let c be 12/(-5) + x + 2. Which is greater: c or b?
b
Suppose 3*q = -3*w + 15, w + w + 3*q = 12. Is w greater than 7/4?
True
Let c = -0.15 - 3.85. Do c and 2/3 have different values?
True
Suppose 0 = r + 8*r - 14*r. Which is smaller: r or -2/11?
-2/11
Let v = -44 - -17. Let b be v/(-18)*(1 - 3). Is b smaller than 0.1?
True
Let a(l) = -l**3 + 5*l**2 - 4*l + 4. Let b be a(4). Suppose x - 2*k - 3 = 0, x - b*k = 6*x - 1. Let c be (-26)/30 - 4/(-6). Which is greater: x or c?
x
Let p be -2 + 7/(98/620). Let t = p + -42. Suppose 4*u = -0*u. Which is smaller: t or u?
u
Let u = -6 - -9. Suppose -i - i - u*x = -5, 0 = 4*i + x - 15. Suppose -4*r - 5*f - 1 = 12, -2*r = -4*f - 26. Is r less than or equal to i?
True
Let n be 2 - (-6)/81*-6. Which is bigger: 1 or n?
n
Suppose 0 = -6*f + 4*f + 56. Suppose 5*u = u + f. Let y = -11 + u. Which is bigger: -3 or y?
-3
Let x be (18/45)/((-22)/(-10)). Which is bigger: -13 or x?
x
Let n be 0/(0 + -2) + -1. Is -2 at least n?
False
Suppose 0 = 2*h + 4*h. Which is greater: h or -1/23?
h
Let h = 36 + -30.6. Let m = 5 - h. Is 0 less than or equal to m?
False
Let f(n) = -n**2 - 11*n + 8. Let r be f(-9). Are r and 26 non-equal?
False
Let v(f) = 2*f**2 - 2*f + 1. Let t be v(1). Let p(l) = l + 8. Let o be p(-6). Let j = -3 + o. Is j < t?
True
Suppose -3*u = 2*x - 9, -2*x = x - u + 3. Suppose v = 5*a + 30, x = 2*a + v + 6 - 1. Is a != -6?
True
Let l(q) = q**3 + 7*q**2 - 2*q - 8. Let k be l(-7). Let a be 92/k + 6/(-18). Which is smaller: 17 or a?
a
Let p be (-6)/4 - 10/(-4). Is p at least -1?
True
Let g = 2 + -4. Suppose 80*n = 82*n. Which is smaller: n or g?
g
Let k(g) = g**3 - 9*g**2 - g + 9. Let v be k(9). Which is smaller: v or 16/17?
v
Let f(z) = -3*z**3 + 2*z + 1. Let c be f(-1). Let n = c - 0. Let q be -1 - (n/6 + -2). Which is smaller: q or 0?
0
Let f be (-12)/(1/((-6)/(-9))). Let n = f + 8. Which is smaller: n or 1/2?
n
Let i = -381/6160 - -11/112. Is i at most 1?
True
Suppose 0 = 2*