ppose 0 = -5*u - 4*n + 68, 4*u + 2*n - 42 = 5*n. Which is smaller: 13 or u?
u
Let t be ((-43)/1290)/(24/10 - 0). Do t and -1 have the same value?
False
Let i(v) = -v**2 + 14*v - 14. Let r be i(12). Let u be (-19)/r - 27/(-18). Are -2/5 and u non-equal?
False
Let p be ((-5)/15)/(1/(-3)). Let z = 3 + p. Suppose m = z*m. Is 0 smaller than m?
False
Let l = -315/34 - -30/17. Which is smaller: l or -9?
-9
Let j = -1.5 + 1.1. Let z = j - -0.4. Let a(o) = 2*o**2 - 4*o + 2. Let d be a(2). Which is smaller: z or d?
z
Let n be (-16)/20*10/(-4). Suppose -l + n = -0. Which is greater: 3 or l?
3
Let a = 27 - 187/7. Which is bigger: a or 0?
a
Let f(r) = -r + 3. Let p be f(-4). Let i(l) = -l**2 + 8*l - 4. Let o be i(p). Let q be ((-15)/(-10))/(o*-1). Which is smaller: 3/4 or q?
q
Let g = 28/9 + -8/3. Suppose -3*r - 15 = -3*s, -2*r + 16 = 4*s - 5*r. Is g != s?
True
Let w = -7 + 7. Let f(a) = 2*a - 6. Let c be f(4). Let s be (-4)/8*c/4. Do s and w have different values?
True
Suppose -2*a + 1 = 7. Suppose 4 = 2*c - 4*c. Is c less than or equal to a?
False
Suppose 3 + 2 = m. Let u = -13 - -18. Is m greater than u?
False
Let n = 6.8 + -5.8. Which is bigger: n or 0?
n
Let y(d) = -4*d**3 - 1. Let j be y(1). Which is smaller: -1 or j?
j
Suppose -4*q - n = 171 + 49, 275 = -5*q + n. Which is smaller: -54 or q?
q
Let g = -102/259 - -4/37. Let r = 4.7 - 23.7. Let a = r + 19. Which is greater: g or a?
a
Let r be 1/(-4 + 92/20). Suppose 3*y - 5*y = -6. Is y != r?
True
Let u = 23 + 5. Are u and 30 equal?
False
Let n = -22.5 + 0.5. Which is greater: n or 1?
1
Suppose 15 = 3*d - 3. Let u = 9 - d. Let x = -2 + u. Is x at least as big as 3/8?
True
Let j be 4/(-9)*9/(-6). Which is greater: j or 3?
3
Let h = -2.3 + 2.2. Let k = 0.03 + -4.03. Which is smaller: h or k?
k
Suppose -3*v + 6*v = 0. Let b(f) = -f. Let o be b(-1). Which is smaller: o or v?
v
Suppose 0 = -2*k + 2*s - 4*s - 2, -s = 4*k + 1. Which is smaller: 1/12 or k?
k
Let f(o) = -22*o**3 + 3*o**2 - 3*o + 1. Let t be f(1). Does 0.1 = t?
False
Let z = 22 - 22. Let y = 185 - 2591/14. Which is smaller: y or z?
y
Let f = -2 - 0. Is f > -2?
False
Let f = -172 - -170. Let h(x) = -x**2 - 3*x + 7. Let y be h(-5). Is f less than y?
False
Suppose 2*p = p + 4. Suppose -30 = -2*i - 10. Let f be (i/4)/((-2)/(-4)). Is f > p?
True
Let c = -1 + 3. Suppose -3*q - 1 = -5*t - 4*q, 2*q = -t + c. Let j be (-8)/36*(2 + 1). Which is smaller: t or j?
j
Let y = 1.7 + -1.6. Let o = 2.1 + -4.9. Let g = o - -3. Which is smaller: g or y?
y
Let k = -2 + 1.5. Let n = k - -1.2. Let m = n - -0.3. Is m < -1/4?
False
Let r = 3 - 0. Suppose 2*a + 2*z - 2 = 0, 3*z - 6*z - 6 = 0. Is a at least as big as r?
True
Let d = 0.7 - 0.69. Let t = d - 0.11. Which is smaller: t or 1/6?
t
Suppose 0 = 4*y + w + 1 + 8, -25 = 5*y + 4*w. Suppose 5*u - 3*r = -9, -3 + 0 = -r. Let v be u - ((-3 - y) + 2). Is -2/13 at least v?
False
Let a be 3/((-18)/4)*-3. Let q be 2/10 - (-11)/(-55). Suppose 0 = -a*j + 2*m - q - 12, 0 = m - 5. Which is smaller: j or -2/7?
j
Let c be (-9)/(-3) - (132/27 - 2). Which is smaller: c or 4?
c
Let n(o) = -o**3 + 2*o**2 + 5*o - 4. Let y be n(3). Let s(r) = -5*r + 0*r**y - r**2 - 1 + 3 + 6. Let f be s(-7). Is -5 greater than f?
True
Suppose 4*l + 20 = -2*u, 2*u - l - 15 = 2*l. Suppose f - 2*f - 2*p + 18 = 0, 3*f - p - 19 = 0. Let q be ((-2)/68)/((-2)/f). Is q < u?
False
Let t(k) = -k**3 - 9*k**2 + 4. Let z be t(-9). Suppose 19 = z*r + 5*x, -x = -0*r - 5*r + 2. Is 1 > r?
False
Suppose 3*f = -2*f - 3*r - 16, r = -f - 4. Is f at most -1?
True
Suppose 3*m + 3*n + 8 = 8*n, -m - 4 = -2*n. Suppose -d = m*d + 5. Which is bigger: 5 or d?
5
Let o(w) = 2*w**2 - w. Let c be o(-1). Suppose -12 = -0*g - c*g. Suppose -5 = -5*z - 0*z - 2*h, -4*z = -5*h - g. Is z at least -1/5?
True
Let k(g) be the second derivative of g**3/6 + 5*g**2/2 + 2*g. Let m be k(0). Suppose -2*v - 2 = 0, -m*z + 2*v = -0*v - 2. Which is smaller: 4/3 or z?
z
Suppose -v = -x, 0*v - v = -4. Suppose -x*u - 9 = -4*z - 21, 2*u + 2*z = 6. Suppose -u*c + 4 = 1. Which is smaller: 2 or c?
c
Let c be -3 - -6 - (-5)/(-2). Let o = 3 + -2. Suppose -t - v - o = 0, 0*v = -3*v - 6. Is t equal to c?
False
Let y = 0.6 + 2.4. Let p = 3 - y. Let z = p - -3. Which is smaller: z or 1?
1
Let y = 10 - 9.8. Which is bigger: -2.5 or y?
y
Let a = -6 - -5.7. Let m = 25 + -13. Let b be (-4)/(-6)*(-18)/m. Are b and a non-equal?
True
Let u be 0*((-3)/6)/1. Is 0 >= u?
True
Let b be 4 + 0 - 54/10. Is b <= 0.1?
True
Suppose -3*c - 2*j + 98 = 0, -c + 5*c - 4*j = 104. Let d be (1/(-3))/(50/c). Which is smaller: -0.06 or d?
d
Let q be -1 - ((10 - 5) + -1). Are q and -7/2 nonequal?
True
Let r = 0.13 - 0.23. Let l = 10 - 11. Is r less than or equal to l?
False
Let g(d) = d + 2. Let i be g(4). Let k = 6 - i. Which is smaller: k or 1?
k
Let w be 3/(-30)*(-10)/(-25). Is -1 at most as big as w?
True
Let y(w) = -5*w + 12. Let o be y(-4). Which is greater: o or 30?
o
Let x = -43 + 25. Let q be (-5)/(-10) - x/(-20). Is q <= -2/5?
True
Let i = 6.2 + -6.1. Is -21 greater than i?
False
Let u = -174 + 101. Is -72 at most u?
False
Let c = -24 - -23. Is c at most -2/11?
True
Let j be ((-8)/10)/(-6 + 396/63). Suppose -3*a - 3 + 18 = 0, -3*p - 5*a + 16 = 0. Is p not equal to j?
True
Let q = 3.02 - 3. Which is smaller: 0.3 or q?
q
Let m be 0 - (2 - -5 - 1). Let z be (-3)/2*(-4)/m. Let y = 18/7 - 169/63. Is y < z?
False
Let q(k) = -2 + 6 - k + 2. Suppose x = f - 3*x - 10, 5*f = -x + 29. Let z be q(f). Is z at most -3/4?
False
Let r = -142 + 145. Which is greater: r or 6?
6
Suppose 3*i - 5*i + 10 = 0. Suppose -j + 3 = -l + 5, 0 = i*l + j - 4. Let w(c) = c**3 - c**2 - c + 1. Let n be w(l). Are 0 and n equal?
True
Let s(a) = -a**3 + 2*a**2 - 1. Let j = -2 + 4. Let x be s(j). Which is smaller: x or 1/3?
x
Let a = -87.98 - -87. Let i = a - 0.02. Let m = i - 0. Which is bigger: -1/4 or m?
-1/4
Let w be (1 - -1)/((-4)/10). Let t(l) = -l**3 - 6*l**2 + 7*l + 2. Let g be t(-7). Suppose -5*h - 3*i - 18 = -g*i, -8 = h - 2*i. Which is greater: h or w?
h
Let f(q) = 3*q**2 - 4*q + 2. Let d be f(2). Let k = d + -6. Which is smaller: k or 2?
k
Let a = 85 - 79. Which is smaller: 9 or a?
a
Let u = 136 + -133. Is 8/3 bigger than u?
False
Let o = 28 - 27.67. Which is smaller: 1 or o?
o
Let y(v) = v**2 - 5*v + 2. Let m be y(5). Suppose -2*l + 4 = m*l. Do l and -1/6 have the same value?
False
Let b = -32 - -49. Suppose 4*o = 4, -7 + b = -5*w + 5*o. Which is smaller: -4/7 or w?
w
Let s = -1 - -5. Let h be 2/s*16/(-4). Let c be -2 - 3/((-3)/(-1)). Which is bigger: h or c?
h
Let i be (1169/4263 - 2/7)*3. Is -1 > i?
False
Let w be (-2)/(-5) - (-74)/(-10). Let q(v) = v**3 + 6*v**2 - 5*v + 9. Let h be q(w). Which is smaller: h or -6?
-6
Let o be 58/66 + 2/(-6). Suppose -12*s = 7 + 5. Which is smaller: s or o?
s
Let b be 2/(-10) + -9*2/(-2790). Which is greater: b or -1?
b
Let f = -5.1 - -0.1. Is f bigger than -2?
False
Let d = 228 + -694/3. Do -2 and d have the same value?
False
Let l = 0.2 + -0.18. Let w = 0.58 + l. Let f = w - 1. Is f less than -0.1?
True
Suppose 166 = m - 3*m - 4*x, -5*x - 86 = m. Which is smaller: -80 or m?
m
Let r(a) = a**2 - 9*a + 5. Let l be r(9). Let h = l - 3. Suppose u + 2 = h*u. Is 0 at most u?
True
Let n be ((-81)/228)/((-6)/(-16)). Which is smaller: n or -2?
-2
Let f(b) be the second derivative of -b**3/3 + 15*b**2/2 + 7*b. Let x be f(7). Is 0 <= x?
True
Let c be 63 + (4 - (2 - -6)). Suppose 3*h + 0*h = 4*t - 41, -5*t = 4*h - c. Do 12 and t have the same value?
False
Suppose -2*l = -5*l. Which is smaller: -3/25 or l?
-3/25
Let f be ((-2)/3)/(32/(-96)). Is f <= 10/9?
False
Let v be 38/(-9) - (-10)/45. Let w be -90*(24/15)/v. Let j be 8/w + (1 - 1). Which is bigger: -1/4 or j?
j
Let n = -0.38 + 0.48. Is 0.29 equal to n?
False
Let z be 2*2*20/40. Is z >= 7/5?
True
Let h(y) = -y**2 - 4*y - 3. Let u be h(-3). Let d(l) = -l**2 - 11*l - 7. Let c be d(-10). Let a be -2 - 84/(-15) - c. Are u and a nonequal?
True
Suppose 0 = c + 5*h + 23, -9 = c - 3*h - 2. Let a = -8 - c. Is a less than or equal to 27/5?
True
Let x(p) be the third derivative of p**6/120 + 2*p**5/15 + p**4/4 - 5*p**3/6 - 4*p**2. Let t be (-3)/12 - 54/8. Let s be x(t). Do s and 2 have different values?
False
Suppose -30 = -3*q + 4*k, 0 = -q - q + 3*k + 19. Suppose r = b - 3, -5*r = -3*b -