 u or k?
u
Let j = -6 + 3. Let m = j + 1. Are m and -3/2 nonequal?
True
Suppose 5*c + 3*o = 9, -5*o - 2 = 3*c - 1. Suppose -14 = 4*y + 3*d + 19, 2*y = 4*d. Let m be c/(y/4) + 2. Is m equal to 1?
False
Let h(n) = 2*n - 12. Let x be h(8). Suppose 0 = -x*u + 5*u + 3. Which is bigger: u or -5?
u
Let i = -4 - -3. Suppose -81 + 773 = 4*x. Let b = 2597/15 - x. Are b and i unequal?
True
Let b(v) = -v**2 - 2*v + 1. Suppose -h + 5*q + 7 = -9, -2*h - 4*q = 10. Let c be b(h). Let u = -2 - 1. Are u and c nonequal?
True
Let r be (-126)/(-162) + 2/9. Which is smaller: 1/8 or r?
1/8
Let l = -0.24 - -0.24. Is l less than -14?
False
Let h = 48 - 29. Let c be 3/((-6)/(-4)) - h. Which is greater: c or -18?
c
Let t = 3.01 + -0.01. Let s = 281 - 281. Is t at most as big as s?
False
Suppose 0 = -2*d + 9 - 1, 2*d - 10 = -2*i. Suppose c - i = -2. Which is smaller: -3/5 or c?
c
Let p = 40 + -39. Which is greater: p or 2/23?
p
Suppose -20*h + 19*h = -22. Is h at least as big as 23?
False
Suppose -16 = -0*w - 4*w. Do 2 and w have the same value?
False
Let m(c) = -c**3 + 8*c**2 + 18*c + 21. Let o be m(10). Is -2/11 != o?
True
Let u be (6/7)/(1/7). Let s(p) = 3*p**2 + 6*p + 6. Let c be s(-2). Is u smaller than c?
False
Let c = -2 + -22. Let n be (-2)/c - 4/12. Let u = -1 + 2. Which is smaller: n or u?
n
Let f(g) = g**3 + g**2 - 1. Let b be f(1). Is 2/65 at most as big as b?
True
Let a = -2.2 - -0.2. Suppose -4*z - z = -5. Is z at least a?
True
Let u = 6.8 - 7. Let l = -0.06 + 0.26. Which is smaller: l or u?
u
Let m(z) = -z + 3. Let s be m(5). Let a be s/(-1 + -1)*1. Is 6/5 at least as big as a?
True
Let u be 200/(-11) + (-2)/(-11). Let x be (-6)/(4*(-3)/u). Let s = -6 - 3. Is x at least s?
True
Suppose 4*c + 16 = 2*v, -3*v + 3 = -4*c - 21. Suppose 2 - 10 = -h. Is h less than v?
False
Suppose -2*o + 9 = 7. Which is greater: o or -2/185?
o
Let q = -337/1769 + 6/29. Is -1 > q?
False
Let l be (28/3)/((-78)/(-18) - 4). Is 26 at least l?
False
Let m be 6/(-2 + 0) + (-270)/(-50). Is m equal to 3?
False
Let l be 3 + 22/(-980)*134. Let o = -68/245 + l. Let j be (-2)/5 - 6/10. Is j greater than or equal to o?
False
Let w be (24/20)/(1/5). Suppose 4*a - w = 6. Let c be 0 + 2 - -1 - -1. Is c at least as big as a?
True
Let y(n) = -n**2 + 10*n - 27. Let q be y(6). Which is smaller: -17/4 or q?
-17/4
Let b be 16/6*(-12)/(-8). Let y be 3*(2 + -3) - -6. Which is bigger: y or b?
b
Let r be (-1270)/620 + (-1)/(2/(-4)). Which is greater: 0 or r?
0
Let m = 16 - 36. Is -20 greater than m?
False
Let y(d) = -d**3 - 15 - 4*d + 15 + 5*d**2 - d**2. Let a be y(2). Let m = -176/3 - -58. Is m smaller than a?
True
Let q be (-5 + 3 - -3)/1. Let a be q*(-2)/2 - 0. Is 4 < a?
False
Let i be (-6)/(-15) + 17/(-5). Let z be 2 + (-4)/(-2) + i. Is z greater than 1/3?
True
Let c be 1 - 1 - (-18)/162. Which is smaller: c or -1?
-1
Let p = -92 - -92.1. Is 0.8 greater than p?
True
Let r be 1*(10/8 + 2/(-8)). Is r equal to -22?
False
Let i = -0.03 - 0.04. Is -2/3 >= i?
False
Let w(i) = -i + 8. Let j be w(5). Suppose -j*q = q. Is q at least 2/5?
False
Suppose 0 = -14*x + 17*x. Are x and 0 non-equal?
False
Let w = -7 - -11. Suppose 2*r - r + 3*s = -14, -r + w*s + 14 = 0. Let k be 2/(2 + (-3 - 1)). Is r bigger than k?
False
Suppose -y - j - 72 = -2*y, 5*y - j - 360 = 0. Which is bigger: 73 or y?
73
Let w be (-6)/(-72)*-2 - (-73)/6. Which is greater: -2/3 or w?
w
Let g(l) = -l**3 + 6*l**2 + l - 7. Let z = 9 + -3. Let q be g(z). Which is smaller: q or -3/8?
q
Suppose -p - 4 = p. Is p less than or equal to 2?
True
Let u = -6 - -8. Let h = 1.9 - u. Let n = 0.3 + h. Which is bigger: n or 1?
1
Let k be (-2 - 212/(-108))*-1. Which is smaller: 1 or k?
k
Let w(n) = n**3 - n**2 - 2*n. Let o be w(2). Let j(i) = -14*i**2 + 3*i - 5. Let x be j(2). Let t = x - -277/5. Do o and t have different values?
True
Let p(j) be the third derivative of -j**5/60 + 7*j**4/24 + 3*j**3/2 - j**2. Let k be p(8). Let q be k/11*(1 - 2). Which is greater: q or 0?
0
Suppose -2*m + 1 + 31 = 0. Let i = 46/3 - m. Let p = 2 - 0. Does p = i?
False
Suppose -4*x = -8, -4*x = 3*b - 2 - 3. Let n be (-3)/(-6) - 10/(-4). Let u = n - 5. Do u and b have the same value?
False
Suppose -n - 2*n + 9 = 0. Suppose n*y = -3*o - 21, 41 = -0*o - 5*o - 2*y. Let f be o/(-15) - (-2)/5. Is 9/4 smaller than f?
False
Let o = 14061/7 + -2015. Suppose 3*p - 5 = 13. Let f = o + p. Which is greater: 1/3 or f?
1/3
Let c(d) = -d**3 - 3*d**2 - 2*d. Let k be c(-3). Let m(g) = -48*g + 2. Let h be m(k). Let y = -3716/13 - h. Which is bigger: y or -1?
y
Suppose v = 6*v + 35. Is v not equal to -4?
True
Let g(q) = -q + 2. Let h be 7 - (1 + (-3)/3). Let u be g(h). Do -3 and u have the same value?
False
Let p(c) = c**2 + 6*c + 5. Let y = -3 + -2. Let x be p(y). Let m be 2/(-5) + 0 + 0. Is x > m?
True
Suppose -2*t + 10 = 3*t. Let k be (10/(-4) - t)*1. Let b be (-2 - (-6)/2) + -5. Which is bigger: k or b?
b
Suppose 0 = -0*t - t + 5*r - 53, -t - 4*r = 8. Let s be 32/(-14) + (-8)/t. Let h be (-12)/28*s/(-3). Which is bigger: h or 0?
0
Let n = -0.2 + 0.4. Let j = n - 0.1. Let t = 2081/9 + -231. Which is smaller: t or j?
j
Let w = 25 - 26. Let y = 176 - 1061/6. Is y < w?
False
Let s(y) = -y**2 - 10*y + 26. Let d be s(-13). Which is bigger: d or -14?
d
Suppose 5*p + 15 = -0*p. Suppose k + 4 = -0*k. Do p and k have the same value?
False
Suppose -v = 4*w + 119, 4*v = -5*w - 88 - 69. Are -30 and w non-equal?
True
Let y be ((-10)/6 - -2)*3. Suppose -4 = 3*m - 1. Let w be (-1)/(-1) + y + m. Do w and 1/7 have different values?
True
Let z be 116/(-10) + 15/25. Let t(j) = j + 14. Let x be t(z). Let f be x*((-46)/24 - -2). Are f and 0 unequal?
True
Let i(j) = j**3 + 5*j**2 - 6*j - 1. Let r be i(-6). Do -11/6 and r have the same value?
False
Let g = 56 + -65. Which is greater: g or -1?
-1
Let j = 1111/5 + -223. Which is bigger: -6 or j?
j
Let g(o) = -3*o**2 + 23*o. Let m be g(7). Which is bigger: m or 15?
15
Let k be (21860/(-42))/(4/(-6)). Let p = k + -782. Let r = p + 41/21. Is r <= 1/2?
False
Let u be 1 - (100/26 + -3). Which is smaller: u or 1?
u
Let b = -50 - -201/4. Let n = -1 + 0. Let z = n - -2. Which is greater: b or z?
z
Suppose -2*x + 44 = 3*f + 3*x, 0 = 5*x + 25. Does 25 = f?
False
Let r be (-26)/91*(-7)/2. Let v be (-6)/(-10) + r/(-5). Is v smaller than -1?
False
Let u = -7/48 - 3/16. Suppose -2*d + 8 = -0*d. Suppose -2*w - d*y - 20 = 0, -5 = -w - y + 2*y. Do w and u have the same value?
False
Let p be 0*(3/2 + -1). Let g be (5/45*6)/10. Is g greater than p?
True
Let k = 0 + 1. Let a = 1 - k. Let t = 37 - 37.1. Which is smaller: a or t?
t
Suppose 0 = -d + 4*m, 2*m = 2*d + 1 + 5. Is -1 at least as big as d?
True
Let b(r) = r**2 - 20*r - 5. Let h be b(20). Does h = -2?
False
Suppose 29 - 26 = -r. Is -3 at most r?
True
Suppose -s + 13 = 4*s - 2*p, 4*s - 5*p - 7 = 0. Suppose 0 = -2*u - s*t - 1, 3*u = 3*t - 0*t - 9. Let d be ((-3)/8)/(u/8). Which is greater: 1 or d?
d
Suppose 4*h - 3*f + 3 = 2*f, -f = -5*h - 30. Let n = h + 4. Is -3 at most as big as n?
True
Let c = 10 + -23. Which is smaller: -15 or c?
-15
Let i = 17 - 24. Suppose 5*l - 10 = -s, 2*l = -5*s - 0*l + 4. Suppose 5*v + 3*x = 3, s = -4*x - 0*x + 4. Is v smaller than i?
False
Let u = -437.33 + 466.9. Let i = u + -30. Let w = i + -0.07. Is -1/2 greater than w?
False
Let n be ((-2)/4)/(-1 - 4/8). Which is bigger: n or -23?
n
Suppose -4*b - 20 = -4*i, 0 = 4*i - i - 2*b - 10. Are i and 1 non-equal?
True
Let u be (2 - 0) + 4/2. Let q(t) = t**2 - 1. Let n be q(-2). Let p = u - n. Which is smaller: p or 0?
0
Let a(w) = 3*w**2 - 34*w. Let t be a(8). Is t >= -80?
True
Suppose 3*y - 16 = -y. Let m be y/6 + 56/(-21). Is -6/11 at least m?
True
Let v be ((-6)/4)/((-6)/(-1)). Let c = -7 + 12. Suppose c*g - 2*g + l - 5 = 0, 15 = -5*g + 3*l. Is g less than v?
False
Let x = -667/5 + 134. Suppose 9 = 3*r, -3*q + q - r = -11. Let l be (q/(-8)*0)/2. Which is bigger: l or x?
x
Let g = -3 - -5. Let k = g + -4. Which is smaller: k or -1/2?
k
Let m = 158 - 156. Which is bigger: 10/19 or m?
m
Let h = -4 - -10. Let n = h - 0. Let v be (n/4)/(-1)*-2. Which is smaller: 1 or v?
1
Suppose -4*f + 2*z - 3*z + 23 = 0, 2*f - 8 = -4*z. Which is bigger: f or 3?
f
Let k = 0.04 - 0.24. Which is greater: k or -0.08?
-0.08
Let g be 12/78 + 54/(-13). Let z be (-3)/(-12) - 34/8. I