*u + 0*p - 3*p = 6. Which is smaller: u or -4/17?
-4/17
Suppose -2*y + 3*j = -13, 0 = 5*y - j - 19 - 7. Suppose 80 = 5*n - 4*c, 0 = -n + y*c - 17 + 54. Suppose 3*q = 4*v - n, 2 + 7 = -3*q + 3*v. Is 0.1 at most q?
False
Let m be (6 - (1 + 0))*1. Is 5 smaller than m?
False
Let u(c) = c**3 - 8*c**2 + c - 7. Let t be u(8). Let d be 0 + (4 - (-50)/(-12)). Is t equal to d?
False
Let t = 0.44 - 0.04. Let a = t - 0.5. Which is smaller: a or -0.3?
-0.3
Let l be 4 - (32/(-80) + (-22)/(-5)). Which is bigger: -2 or l?
l
Let t be ((-12)/(-8))/((-9)/(-12)). Which is smaller: 2/3 or t?
2/3
Let y(w) = -w**3 + w**2 - w + 54. Let v be y(0). Which is smaller: 53 or v?
53
Let z be 3/6 - 3/2. Let d be (-17)/2*2 - -1. Let c be ((d/15)/4)/(-2). Which is smaller: c or z?
z
Let f = 0.07 - 1.17. Is 1 > f?
True
Suppose 33 = 4*t + t - 3*k, 21 = 3*t - 3*k. Let p be 3/(-8)*(-4)/t. Which is smaller: -1 or p?
-1
Let s be ((-16)/(-6))/(6/9). Suppose s*k + k + 10 = 0. Let v = 2 - 1.8. Which is greater: v or k?
v
Suppose 3 = c - 0. Suppose -8 = -4*g + 2*s - 4*s, -c*g + 4*s + 28 = 0. Is g at most 4?
True
Let a = 42 - 61. Let l be (-3)/(-6) - a/(-2). Let w = 9 + l. Is w less than or equal to -1?
False
Let u(g) = -5*g + 7. Let z(b) = -14*b + 20. Let j(k) = -17*u(k) + 6*z(k). Let s be j(0). Suppose 3*y + 3*v - 2*v = 11, 4*y - 2*v = -2. Is s > y?
False
Let o(m) = m**2 + 5*m - 4. Let j be o(-6). Let p be 0 + j + 309/(-12). Let i = p - -24. Is i > 2/13?
True
Let k be ((-3)/(-21))/(4/7). Let n = -0.1 + 0.1. Let r = n - 0.1. Which is smaller: k or r?
r
Let t be (-10)/2*4/5. Let u be (-1)/(t/4) - 2. Is -2/33 equal to u?
False
Suppose -5*h - 5*m - 16 = -2*m, 0 = 4*h + 5*m + 18. Suppose y = 4*y + 6. Is h smaller than y?
False
Let w be 0*(10/15 - (-5)/(-3)). Let p be (2/10)/((-8)/(-5)). Which is smaller: p or w?
w
Let h = 237 + -3799/16. Are -1 and h nonequal?
True
Let g = -122172671/3180 + 576383/15. Let n = g + -77/12. Is n less than -1?
False
Let t be 4 + 11/(55/(-50)). Which is smaller: -1 or t?
t
Let b = 8 + -5. Let z = 2 - b. Do -3 and z have the same value?
False
Let o be (-114)/2945*20/(-3). Are 1 and o unequal?
True
Suppose 26 = 4*g - 5*r, 3*r = r + 4. Let x be (-3)/g - 20/12. Is x at least as big as -1?
False
Let z = 4 + -2. Suppose -z = -5*k + 8. Which is smaller: 2/3 or k?
2/3
Let c = -10 - -10.8. Let g = c - 0.6. Which is smaller: g or -1?
-1
Let y = 3 - 4. Suppose i = 6*i - 25. Is y > i?
False
Suppose 4*v + 28799 = 10683. Let r be (1/(-8))/((-7)/v). Let s = 81 + r. Which is smaller: -1 or s?
-1
Let t = 0.1 - -3.9. Let c = 6.7 - 1.7. Let p = c - t. Which is greater: p or 2/7?
p
Suppose -19*i - 25 = -14*i. Is i != -5?
False
Let j(n) = n**2 - 4*n + 2. Let g be j(4). Suppose -4 + g = -s. Let c be s/(-6)*0 - -2. Are c and 1 unequal?
True
Let p(v) = v**3 - 9*v**2 + 6*v + 11. Let c be p(8). Suppose 0 = 3*r - 0*r + 3. Let z = r - 3. Which is smaller: c or z?
c
Let v = -11 - -20. Let w(d) = -d + 11. Let h be w(v). Suppose -4*f - 3*y + 23 + 1 = 0, -3*f - 5*y = -29. Which is greater: f or h?
f
Let r = 24 - 24. Are -2 and r nonequal?
True
Let f = 6 - 18. Which is smaller: f or 1?
f
Suppose 0 = -23*i + 18*i + 5. Suppose 0 = 4*v - 9 - 7. Suppose -v = -3*y - i. Which is greater: y or -2/23?
y
Let t = 24 - 30. Let o = 0.02 - -7.98. Let z = t + o. Is 0 smaller than z?
True
Let y(w) = 3*w**2 + w - 2. Let o be y(-4). Let b be (-3057)/o - (-3)/(-2). Let u = b + 74. Which is smaller: u or 2/9?
u
Let s(n) = -11*n**3 + 2*n**2 + 2*n - 1. Let m be s(-1). Do m and 12 have the same value?
False
Let o = 9.7 + -10. Let l = 27 - 83/3. Which is smaller: o or l?
l
Let u be ((-4)/(-6) - 0) + (-129)/72. Let z = -4 + 3. Which is greater: z or u?
z
Let g = 4.4 + -4.3. Is -0.33 equal to g?
False
Let n be ((-9)/(-45))/(75/6). Are n and 0 non-equal?
True
Let g = 4099/40 - 503/5. Is 3 at least as big as g?
True
Suppose -2*h + 3*h = 2*b - 34, 3*h + 6 = 0. Is b greater than or equal to 17?
False
Let x(j) = -j**2 + 4*j - 5. Let z be x(4). Let k = z - -1. Let n(d) = d**3 - 6*d**2 - 8*d + 4. Let r be n(7). Is r bigger than k?
True
Let u = -4 - -3. Let m = -6.1 - -5.9. Which is smaller: m or u?
u
Suppose 6*c + 3 = 9*c. Which is bigger: 0.2 or c?
c
Let u = -144 + 145. Which is greater: u or 1/182?
u
Let a be 1 + 2 - 492/112. Let x = 5/4 + a. Does -1 = x?
False
Let o be 10/4 + 3/(-6). Let h = 22.8 + -32. Let s = h + 9. Which is smaller: s or o?
s
Let z = -12 + 14. Which is bigger: z or -1/9?
z
Let x(t) = -2*t**2 - 1. Suppose 0*a = -5*a - 5. Let n be x(a). Which is bigger: n or -6?
n
Let v be 3027/(-180) + 1/(-3). Let f = v + 67/4. Is 1 < f?
False
Let n = 22781/7012 - -2/1753. Is n less than or equal to 4?
True
Let k(q) = -q**3 - q**2 + q + 1. Let z be k(-2). Suppose 0 = -z*t + t - 8. Let u be (t/12)/((-2)/24). Which is greater: u or 3?
u
Let x be 16/(-5080)*5/1. Let c = x - 1502/1397. Is c not equal to -1?
True
Suppose 2*s = 3*s - 4. Let h be (-5)/s + (-1)/(-4). Let r be (-1)/2*(1 + 1). Is r at most as big as h?
True
Let b(k) = 19*k**3 + 11*k**2 + 7*k - 2. Let t(c) = -9*c**3 - 5*c**2 - 3*c + 1. Let l(p) = 4*b(p) + 9*t(p). Let d be l(-1). Is 4 bigger than d?
False
Let o(h) be the second derivative of h**5/20 + 5*h**4/12 + 2*h**3/3 + h**2 + 2*h. Let x be o(-4). Suppose g = x*s - 8, -5*g - s + 0 = -4. Is -2/9 <= g?
True
Suppose 1 = -2*x - 5. Is x > -1?
False
Let c = 39 + -56. Let k = c - -21. Is -4 less than k?
True
Let x = 78.82 + -77. Let h = 0.22 - x. Are h and 2/3 equal?
False
Let v = 0.04 + -0.01. Let b = v + 0.07. Let u = -1 - -1. Which is smaller: b or u?
u
Suppose -418 = -2*o + 4*o. Let g = o - -841/4. Is g less than 1/3?
False
Let q = 13 + -12. Is q bigger than 5?
False
Let w = 0.1 + 2.9. Is 4 < w?
False
Suppose 14*g = 15*g - 7. Suppose -g*v = -4*v - 3. Which is greater: 1/30 or v?
v
Let h(t) = t**2 + 1. Let s be h(-2). Is 42/11 greater than s?
False
Let m(i) = -i**2 + 3*i - 2. Let q be m(1). Is -4 smaller than q?
True
Let p be (-9)/(27/26)*6. Is -50 less than p?
False
Let l = 67 + -89. Which is smaller: l or -21?
l
Suppose x - 2*l = -2*x - 5, 0 = 4*x - 4*l + 12. Let u be 0 + -1*(-3)/(-9). Which is greater: x or u?
x
Suppose 3*v - 2*j = 5*v - 14, 5*v + j - 47 = 0. Suppose 20 + v = -3*k. Which is smaller: k or -11?
-11
Let h be (1/(-3))/((-7)/(-105)). Let m be 2/h*30/(-36). Let r(l) = l**3 - 2*l**2. Let b be r(2). Which is greater: m or b?
m
Let k = -23.19 - -24. Which is smaller: k or -1/2?
-1/2
Let l be 143/(-52) + (-2)/8. Which is greater: l or -5?
l
Let z be 1*(2 + 1*-2). Let t be 1/((-9)/6) - 0. Is z >= t?
True
Suppose -4 = -0*v + 2*v. Is -2 less than v?
False
Suppose f + 12 + 5 = 0. Let s = 87/5 + f. Suppose 5*p + 23 = -3*q - 0*q, 3*q = 3*p + 9. Which is greater: s or q?
s
Let s = 30 + -29. Which is smaller: s or -27?
-27
Suppose 2*g - 2*j + 3*j = -16, 4*j - 6 = 2*g. Which is greater: g or -8?
g
Let q = 0.1 + 1.9. Let l = -7 + q. Let x = -5.1 - l. Is 0.02 < x?
False
Let u be (-5)/(-25)*(1 + -3). Which is bigger: u or -6?
u
Let j be 67/9 + (-16)/(-72). Which is bigger: 7 or j?
j
Let x be 9 - -1 - (-1)/(-1). Suppose 12 = d - x. Let h be 15/d + 6/21. Is 1 at most as big as h?
True
Let q(r) = r**2 - 8*r + 13. Let u be q(6). Is u >= 6/7?
True
Let u be ((-444)/(-27))/4 + -4. Which is bigger: 1 or u?
1
Suppose -4*q - 8 = -k, -2*k - 12 = -5*k. Let p(t) = 2*t**2 - 2. Let r be p(2). Is r bigger than q?
True
Let w = 140 - 140. Is w less than -5/44?
False
Suppose -2*a = -3*k - 8, -k - 2 - 1 = -a. Are -4 and k unequal?
True
Let u(b) = b**3 - 4*b**2 + 4*b - 2. Let f = 0 + 3. Let s be u(f). Which is smaller: s or -1/4?
-1/4
Let r(i) = -2*i**3 + i**2. Let u be r(-1). Suppose -5*t + 6 = -u*t. Let z be (-1)/(t/(7 + 2)). Which is bigger: -2 or z?
-2
Let k = -8.6 - -9. Which is greater: k or 2?
2
Let t be 1 + 2 + (3 - 2). Suppose q = -t*h + 18, 2*q + 3*h - h - 12 = 0. Let y be (q + 9/(-5))*1. Is 2 at least as big as y?
True
Let c = 0 + -0.2. Let w = -0.4 - c. Let r = w - 0. Which is smaller: -0.1 or r?
r
Let h(s) = -3*s**3 + s**2 + 3*s - 5. Let g be h(2). Which is smaller: g or -2?
g
Let d be -3*376/(-1188) - 2/9. Which is greater: d or 0?
d
Suppose -5*k + 4*t + 7 = -4*k, -5*k + 5*t = -20. Which is greater: -1 or k?
k
Let m = -9/4 - -3. Suppose 0 = -4*v - v. Let p be (3 + (-5)/2)*v. Which is greater: p or m?
m
Let w(t) = t**2 -