 Let l = p - 92. Which is smaller: 1 or l?
l
Let x = -1/7 - -19/35. Suppose 3*h - 5*t = 4, 3*h - 5 - 2 = 2*t. Suppose -i + 1 + 1 = h*k, 0 = 5*k + 4*i - 8. Which is smaller: x or k?
k
Let z = -187 - -2429/13. Which is smaller: 0 or z?
z
Let s(k) = -k**3 - 4*k**2 - 3. Suppose 0 = 4*q - 0 + 16. Let d be s(q). Is -3 < d?
False
Let u(h) = h**3 - 7*h**2 + 2*h - 10. Let j be u(7). Let f be j/28 - (-16)/(-14). Which is greater: f or 2/29?
2/29
Let x(k) = -k + 4. Let d be x(0). Suppose -3*w + 2 = 4*f, d*f = 2*w - 11 + 3. Does f = -2/81?
False
Let j = 3720/203 - 129/7. Which is smaller: 0 or j?
j
Let x = -8/5 - -19/15. Let t = 5 - 4.6. Which is smaller: x or t?
x
Let q = 7213/1092 - 79/12. Which is bigger: q or 1?
1
Let l(a) = a**2 + 4*a - 1. Let d be l(-4). Let n be 6/15 + (-44)/10. Let c be (2/(-5))/(n/(-20)). Which is greater: c or d?
d
Suppose 3*a + 3 + 0 = 0. Let u(z) = -z**2 - 4*z - 1. Let d be u(-3). Suppose -d - 1 = f. Which is bigger: f or a?
a
Let l be -4 + -5 - (-3 - -5). Is -10 > l?
True
Let t be 6/29*1465/(-4250). Let w = -1/425 - t. Is w not equal to 0?
True
Suppose -19*f - 9 = -22*f. Is f != 4?
True
Let m(f) = 5*f**2 + 4*f + 2. Let b(u) = -2 - 4*u**2 - 2*u - 3*u + u. Let g(k) = 4*b(k) + 3*m(k). Let c be g(-4). Is -1 != c?
True
Let t = 0.06 - 0.16. Do t and -2/3 have the same value?
False
Let u = -7/13 - -61/65. Is -6/17 != u?
True
Let y = -10 - -7. Let z = 6 - 4. Let l = y + z. Is 2 less than or equal to l?
False
Let z = -27/2 + 13. Suppose -l - 3*l = d - 4, -5*d + 20 = 2*l. Suppose l*t = t. Are z and t equal?
False
Let h = 0 + 0.13. Let d = -0.07 - h. Which is greater: d or 0.01?
0.01
Let u = -33 + 29.7. Let k = 3 + u. Let j = -11 - -11.2. Are k and j unequal?
True
Let y = -41.9 - -42. Is -0.05 > y?
False
Let f(u) = u**2 - u + 3. Let t be f(0). Suppose 0 - t = 3*w. Is w bigger than -2?
True
Suppose 0 = 7*b - 3*b - 40. Suppose 3*v - 44 + 14 = -3*q, 2*q = 3*v - b. Is 7 >= v?
True
Let q = -48 + 43. Which is smaller: -11 or q?
-11
Suppose 2*j + j + 28 = 4*z, 5*j + 16 = -z. Suppose 76 = z*u + 4*i + 20, 0 = -i + 3. Which is bigger: u or 12?
12
Suppose 26 = -9*o - 1. Is o < -4?
False
Let s = -23.9 + 22. Let h = s + 0.9. Which is bigger: h or 2?
2
Suppose -25 = 5*y - 10*y. Let l(m) = m**2 + 17*m + 6. Let p be l(-17). Which is greater: p or y?
p
Let p = -3.5 + 3. Let k = 312/5 - 62. Which is smaller: p or k?
p
Let n = -38 - -38. Suppose -3*y = y + 8. Let c be (-4)/6 - y/12. Is n smaller than c?
False
Let q = -2 - -10. Suppose -3 = -3*r - 3*v, 4*r = r + 2*v + q. Let c be (-1)/(-3)*(-3)/r. Is c greater than or equal to -1/2?
True
Let v(p) = -p - 3. Let y be v(-7). Suppose -4*x + 0 = 5*l - 7, y*l - 22 = 5*x. Let d be (l - 0) + 11/(-3). Which is greater: d or -0.1?
-0.1
Suppose 0 = 3*d - 6*d - 9. Let n(r) = -r**3 - 3*r**2 + r - 1. Let k be n(d). Let x(g) = -g**3 - 3*g**2 + 5*g + 3. Let s be x(k). Are 0.1 and s unequal?
True
Suppose 0 = -k - 24*k + 125. Suppose 2*l - 20 = 2*f - 0, -4 = f. Which is smaller: l or k?
k
Let t = 0.18 - 0.08. Is 0.1 != t?
False
Suppose 0 = -q + 32 + 14. Let c be (-1)/(-3) - q/(-6). Suppose -3*w = w - c. Is -1 < w?
True
Let m(p) = -p**2 + 5*p + 6. Suppose -3*i - 2*i = -2*c - 24, -i - 6 = -4*c. Let g be m(i). Let q = 4/41 + 33/82. Which is smaller: q or g?
g
Suppose 0*z = -z. Suppose -3*g + g - 50 = z. Let u be 1/(-4)*40/g. Which is smaller: u or 1?
u
Let n(h) = h**2 + 5*h + 2. Let x be n(-4). Let a be 1/4 + (-30)/24. Is a smaller than x?
False
Suppose 0*u = -4*u + 1060. Let v = 100 - u. Let f = 1158/7 + v. Which is smaller: 1 or f?
f
Suppose -3*s = 5*b - 6*s - 24, -4*b + 2*s + 18 = 0. Let j(r) = -r + 16. Let o be j(13). Is o >= b?
True
Let t = -134 + 134.4. Let y = -0.02 - -2.02. Which is greater: t or y?
y
Let u be -3*1*2/(-3). Let y be (0 - -4)*u/4. Let l = 440 + -438. Is y > l?
False
Let k = -40 + 121/3. Which is bigger: 5 or k?
5
Let m(h) = h**2 - 6*h + 1. Let c be m(6). Let x = 25 + -25. Which is smaller: x or c?
x
Let r = -4 + 4. Suppose 5*f - 5*y - 5 = 0, -4*f - 5*y + r = -4. Let o be f*(3/(-3) - -2). Which is smaller: o or 2/7?
2/7
Suppose -3*g + 2 = u, g + 3*g - 4*u = 8. Let o = -1 - -0.5. Let d = o - -0.5. Which is smaller: d or g?
d
Let q = -11 - -14. Which is greater: 2 or q?
q
Let s be 1/((-1)/(-4)*4). Is -1/4 at least as big as s?
False
Suppose 2*g + 3*g = -5. Does g = 1/3?
False
Let a(m) = 6*m + 5. Let d be a(5). Let b be 4/14 + (-10)/d. Which is smaller: b or 1/11?
b
Let r(z) = -z**2 + 12*z - 5. Let p be r(12). Let n(c) = c + 7. Let u be n(-7). Suppose -15 = 5*j - u. Does p = j?
False
Let d be (-4 - -6)/(-4 + 2). Are d and -2/7 nonequal?
True
Suppose -4*d + 20 = -4*g, 5*g - d + 5*d = 20. Are g and -4/21 nonequal?
True
Suppose 3*p + 2 = p. Let o = -8 + 11. Let q be (o - 6) + 5 + -1. Is q greater than p?
True
Let j = 0.1 - 0.1. Let i be -48 + (2/(-1) - -2). Let u be 20/i + 4/6. Which is smaller: j or u?
j
Let x be (-2 + 3)/((-1)/(3 - 2)). Let a = 37/56 + -2/7. Are a and x equal?
False
Let n = 49.01 + -49. Are -1 and n equal?
False
Let a(s) be the third derivative of s**5/60 + s**4/4 + s**3/3 + 2*s**2. Let d be a(-6). Let m be -1*2*d/24. Which is smaller: 1 or m?
m
Let j = 36 - 37. Is 14 <= j?
False
Let q(i) = -i - 2. Let w be q(-5). Let s(j) = w*j**2 + 3 - j**2 - 9 - j - j**2. Let c be s(0). Which is smaller: -5 or c?
c
Let x be (-5)/(27 - 2)*2. Let w(b) = b**3 + 6*b**2 + 6*b + 4. Let q be w(-5). Are x and q nonequal?
True
Let v = -34 - -103/3. Let k = -3.99 - -4. Let i = k - 0.11. Is v < i?
False
Let m = -0.9 + -0.5. Is 1 >= m?
True
Let h(u) = 35*u**3 - u**2 + 2*u - 1. Let b be h(1). Let i = 141/4 - b. Is i less than 1?
True
Let s = -1 - -3. Let r = 7 - 7. Let x = 0 - r. Is s > x?
True
Let m be ((-2)/(-24))/(4/(-12)). Which is greater: m or -0.9?
m
Let u = 0.18 + 0.32. Which is smaller: u or 1/3?
1/3
Let z = 2.1 + -2. Let r be -3*(-3 - 0/2). Let b be 6/(-4)*(-4)/r. Which is bigger: z or b?
b
Let m be 3796/117 + 2/9. Let n = m - 32. Let b = 3 - 2. Which is smaller: b or n?
n
Suppose 5*h - v - 47 = -5*v, 0 = -3*h + 3*v + 12. Let b = -7 + h. Is 2/5 less than or equal to b?
False
Let h = -1 - -1.2. Let l = h - 0.3. Let n = 0 - l. Is 3 at least n?
True
Suppose 4 - 18 = 2*o - 5*b, -3*b - 2 = 4*o. Is -2 <= o?
True
Suppose 4*t - 45 = t. Let y be 5/t - (-22)/6. Let a be 4/(-50)*-5*10. Are y and a unequal?
False
Let v(l) = l**3 + 4*l**2 - 4*l - 1. Let p be v(-5). Is p at most -6?
True
Let i(k) = k + 7. Let h be i(-8). Which is smaller: -3 or h?
-3
Let f be (-2)/(-4) - (-2)/(-4). Suppose f = -q - 3*q. Which is smaller: -1 or q?
-1
Let i be 8/(-20) + (-34)/(-10). Let x be (i/30)/(2/5). Is -2 >= x?
False
Let d be -2*(-59)/(-2) - (-3)/1. Is d equal to -2?
False
Suppose 5*b + 20 = -5*q, -5*b + 7 = -5*q - 3. Let g(i) = -2*i + 3. Let v be g(4). Does v = q?
False
Let q(r) = -1 + 3 - 3 + r - 4. Let n be q(6). Is n equal to 1?
True
Let v be 15/10*(3 + -1). Suppose l = -2*l - v. Do l and 1 have different values?
True
Let x = 10 + -1. Let b(p) = -3*p + 1. Let a be b(1). Is x greater than a?
True
Let o = 68/7 + -10. Which is smaller: o or -1?
-1
Let w = 1 + -3. Let t = w + 1.6. Are t and 0 unequal?
True
Let b(n) = -5*n + 8 + 11*n - 7*n. Let u be b(9). Is u equal to 1/16?
False
Let g(o) = -o - 1. Suppose 5*r + 6 = 16. Suppose -3*w = 2*j + r, -3*w + 2 = -4*w - j. Let i be g(w). Is -3 > i?
False
Let u(i) = i + 12. Let f be u(-10). Let p be f/8 - 50/136. Is 1 less than p?
False
Let i be 84/18 + 4/(-6). Let w = 6 - i. Suppose 4*x - 8*a = -4*a + 8, 4*x - w*a = 10. Is 4 less than or equal to x?
False
Let h be 2/(-1) - (-83 - 0). Let f = h + -403/5. Which is smaller: 2/7 or f?
2/7
Suppose -3*s + 6*i + 4 = 2*i, 2*i = s - 2. Is s greater than or equal to 3/10?
False
Let o(q) = -3*q**2 + 2*q + 1. Let u be o(-1). Let y be 2 + u + 86/(-10). Let g = -52/5 - y. Which is bigger: 1 or g?
1
Let g be (2 + -1)/(0 - 1). Which is smaller: g or 2/35?
g
Suppose 3*f - 6 = 0, 0*w + 40 = -w - 2*f. Which is bigger: w or -45?
w
Let t = 0.3 - -1.7. Let v = -13.7 - -13.5. Which is smaller: v or t?
v
Let j be (-1 + (-6)/(-4))*9/27. Let r(l) = -l**2 - 8*l - 5. Let i be r(-7). Let w = i - 2. Is w at most as big as j?
True
Suppose -a + 3*l = 7*l - 6, -l + 6 = -2*a. Is a at least as big as -5?
True
Suppose 0 = j - 6 + 5. Which is smaller: j or -1/15?
-1/15
Let a 