 - 2*z + 32. Which is greater: 9 or z?
9
Let k = 211.95 + -212. Is 1 != k?
True
Let s = 101 - 53. Suppose s = -4*t + t. Is t at least -16?
True
Let l(z) = -z + 13. Let u be l(8). Suppose 2*p + 3 + 0 = -u*f, 0 = 4*p - 5*f - 39. Which is smaller: 7 or p?
p
Let k = 8 + -4. Suppose -k*g = -67 - 285. Let u be -3*(g/(-42) - -2). Is u not equal to 0?
True
Let f be 44/14 - (-3)/(-21). Suppose f*k = 2*k - 2. Is -1 > k?
True
Let o = 19 - 18. Is o > 4.8?
False
Let m be (-1)/2 + (-2 - 0). Suppose 0 = -2*z - 2*o, 4*z - 3*z = -5*o - 16. Let g be z/(-24) - (-11)/(-6). Which is smaller: m or g?
m
Let c(b) = -b**2 - 16*b - 54. Let h be c(-11). Let g = 242/117 + -24/13. Is h less than or equal to g?
False
Let l = 0.3 + -0.1. Let n(s) = -3*s + 5. Let x be n(4). Let c = -9 - x. Which is smaller: l or c?
c
Let b = 144 - 144.1. Which is greater: 3/10 or b?
3/10
Let g be (3 - 3)*(-3)/9. Let n be (g + -1)*2/(-5). Suppose 2*m - 11 = m - 4*d, 5*m + 4*d - 7 = 0. Is m less than or equal to n?
True
Let z be (-141)/111 + 3 - 2. Let r = 184/407 + z. Is -1 greater than r?
False
Suppose -4*k + 20 = -2*s, -2*s - 17 = -2*k - k. Suppose 15 = -3*m - 0. Let g = 0 + m. Is s less than or equal to g?
False
Let v(r) = r - 4. Suppose -4*n = w - 13, -n + w - 3*w - 2 = 0. Let z be v(n). Are z and -1 unequal?
True
Suppose -3*d - 4*v + 13 = 0, 3*d + 5 - 22 = -5*v. Let q be (-2)/(-3) + 227/(-3). Let h be ((-6)/q)/((-4)/20). Are h and d non-equal?
True
Let t = -12 - -20. Let s be (10/(-25))/(t/30). Let v = 2 - 3. Which is smaller: s or v?
s
Suppose 0 = 4*b + 3 + 17, r = -b - 17. Let g = r + 21. Are 9 and g non-equal?
False
Let m be (1 - 0)/((-3)/(-15)). Let b be ((-4)/8)/((-4)/32). Let x = b - m. Which is bigger: 1 or x?
1
Suppose k + 2*k - 21 = 0. Which is smaller: k or 31/5?
31/5
Let y = 8 - 7.94. Let t(c) = -c - 8. Let i be t(-7). Which is bigger: i or y?
y
Let g be ((-1)/4)/((-3)/12). Let y = g + 0. Is y greater than 2?
False
Suppose -3*c + 2*v = -58, 4*v = 4*c - v - 89. Is c <= 15?
False
Let r = -6 - -6. Which is smaller: -2/13 or r?
-2/13
Suppose -y - y = 0. Which is bigger: y or 6/5?
6/5
Suppose 0 = -5*j + 6*j + 2. Let v be j - (-3 + 4 - 1). Is v <= -3?
False
Let k = 1325656379/2579815 + -2/368545. Let w = -513 + k. Let q = -9 - -9. Do w and q have the same value?
False
Suppose 0 = -2*o + l - 0*l + 5, -3*o = 3*l + 15. Let c(t) = -2 + 4*t**2 - 2*t - 4*t**2 + 3*t + t**2. Let b be c(o). Do b and -2 have the same value?
True
Let t = 2 + 0. Suppose 3*y + 4*l = t*y - 15, -3*y - 12 = l. Let w = y - 0. Is -2 bigger than w?
True
Let p be 2/(1/6*3). Suppose 0 = 4*z + p. Which is smaller: 2/5 or z?
z
Let a be 56/(-8)*(-6)/21*5. Is a greater than or equal to 10?
True
Let x be ((-1)/(-2))/(2/44). Which is bigger: x or 9?
x
Let x be (-3 - (-9)/(-3))/(-2). Let p = -6 + x. Let w = p + 2. Is w at most as big as -2?
False
Let u(v) be the third derivative of -v**6/120 + 7*v**5/60 - 5*v**4/24 - v**3/3 - v**2. Let d be u(6). Is d greater than or equal to 1?
True
Let x(o) = -25*o**2 - 2*o - 1. Let q be x(-1). Which is smaller: q or -23?
q
Suppose 0 = 2*j - 12 - 4. Suppose -3*x - j = -2. Are -1 and x nonequal?
True
Suppose -3*x - z = -2*z + 8, 3*x = -5*z - 14. Suppose -o + 4 = -3*o. Is x bigger than o?
False
Suppose 3*s = 8 + 7. Which is greater: s or -1/2?
s
Let c be 248/6*1/2. Let l = c - 21. Suppose 5*b + 2*s = 0, -2*b - 2*s = 2*b. Which is smaller: l or b?
l
Suppose 0*a + t + 1 = a, -t + 1 = 0. Let c = 0 + a. Suppose -4*h + 3*l = 24, -5*h - 21 - 2 = -c*l. Which is greater: h or 0?
0
Suppose 0 = -5*w - 2*h + 6*h + 26, -4*w - 4 = 3*h. Suppose -5*x = -21 - 4. Suppose 3 = 4*o - x. Do w and o have the same value?
True
Let j = 1.2 + -0.2. Let t = -2321/3 + 766. Let r = 7 + t. Is j at least r?
True
Suppose 6*s - s = 2*d + 6, 3*d - 14 = -4*s. Let g be (-30)/(2 + 3) + 3. Let b be ((-2)/g)/(d/3). Is b <= 3?
True
Let k be 16/(-24) + 28/6. Is k less than 5?
True
Let f be 4 + -5 + -1 + 6. Let l = 4 - f. Suppose l = -5*p - 5 + 10. Do p and -2/7 have different values?
True
Let l = 317/3 + -107. Is l <= -2?
False
Let l be (-132)/528*(4 + 1 + -1). Let n = -59/3 - -233/12. Does l = n?
False
Suppose 6*x - 4*x = 4. Let k be (-208)/84 + (2 - x). Let h = k + 15/7. Which is greater: -1 or h?
h
Let i = 82.1 + -82. Is 0.8 <= i?
False
Suppose 5*y - 2 + 12 = 0. Let x(h) = -10*h**2. Let i be x(y). Let f be 4/9*(-12)/i. Which is greater: f or 0?
f
Let k = -140619966350 - -30655205284163/218. Let n = -241375 + k. Let o = -2/109 + n. Is -1 < o?
True
Suppose -10*w + 22*w + 720 = 0. Is -60 bigger than w?
False
Let b = 40524/245 + 39/49. Let m = -167 + b. Suppose 11 = -5*a + 1. Which is greater: a or m?
m
Let q = -4.2 + 5.2. Which is smaller: -34 or q?
-34
Suppose 0 = -5*m + 20, -b - 50 = -3*b - 5*m. Let s be (3/(-2))/(b/16). Is s smaller than -1?
True
Suppose -3*l = -4 - 2. Let f(p) = -p**3 + 6*p**2 - 2*p - 7. Let k be f(5). Suppose l*v + 2*v = -k. Is -1 <= v?
False
Let h(u) = -u**3 + u**2 + 2*u - 2. Let n be h(2). Is n less than or equal to 5?
True
Let k be (-9)/(-2)*(-8)/12. Let a be -2 - -1 - (0 + k). Which is bigger: 3 or a?
3
Let h = -201/2 - -97. Is -4 greater than h?
False
Suppose 3*b = -2*o + 62, -o - 117 = -6*o + 2*b. Is 24 >= o?
False
Suppose 25 = 4*p + f, 5*p = -4*f + 2*f + 35. Let d = -5 + 10. Suppose 0 = -p*x + d - 0. Which is smaller: 0 or x?
0
Let q be -4*1/(0 + -5). Suppose -2*u + 24 = 10. Let b = u - 7. Which is bigger: q or b?
q
Let x = 23/88 + -1/88. Is x > -4?
True
Let l = 1.9 - 0.9. Is l > 1/7?
True
Let q(j) = j - 18. Let p be q(17). Which is smaller: -30/13 or p?
-30/13
Let y(r) = -r + 1. Let g be y(0). Suppose -248 = 4*v + 3*h + h, 0 = 4*v + 3*h + 248. Let q = v + 249/4. Is g at least as big as q?
True
Let o(g) = -g**2 - 3*g - 1. Let q be o(-3). Are q and -3/19 equal?
False
Suppose f + 8 = -0. Let x(t) = -t**3 - 9*t**2 - 8*t + 2. Let p be x(f). Which is bigger: 6/7 or p?
p
Let c be 56/(-5) + 0 - (-12)/6. Which is bigger: c or -10?
c
Let o(y) = 2*y - 3. Let s(b) = b - 1. Let a(f) = 2*o(f) - 5*s(f). Let h(w) = 7*w + 8. Let x(m) = -5*a(m) - h(m). Let t be x(-2). Is 2/11 >= t?
False
Suppose -3*r - 2*v = -8*r - 11, 2*v + 16 = -4*r. Let o = -1 + r. Suppose -2*l = 8 + 2, 0 = -3*f + 4*l + 5. Is o less than f?
False
Let m be 3/(-8)*9/27. Let i = -6 - -8. Which is smaller: i or m?
m
Suppose 4*r = 3*r - 3*r. Which is bigger: r or 5/14?
5/14
Let k = 0.35 + -0.4. Let s = 0.45 + k. Let t = s - 0.3. Which is smaller: t or 2?
t
Suppose 2*z + 9 = f, 2*z - 3*f + 5 = 7*z. Let o(y) = 2*y**2 - 2*y - 7. Let i be o(3). Let l = i + z. Is 3 < l?
False
Let f = -2 + -4. Let o(h) = 7*h + 15. Let r be o(-3). Is f greater than r?
False
Let u be 0*(2 - 4 - -3). Which is bigger: -2/49 or u?
u
Let o = -204/5 - -42. Let h = 14 + -13. Is h less than o?
True
Let c(l) = 2*l - 1. Let g be c(1). Let q = 4 - g. Suppose 2*s = s - q. Which is bigger: -2 or s?
-2
Let k be ((-1)/2 - 0)*-4. Let s be -2*((-45)/24 + k). Let i = -39 + 38.4. Which is smaller: i or s?
i
Let i be 5 - ((1 - 2) + 3). Let m be (i*-1)/1 + 0. Let k = -2 - 0. Is k at most as big as m?
False
Let b be (14*(-3)/(-48))/((-1)/6). Which is smaller: b or -5?
b
Let h = 24 - 24. Is 3/4 at most h?
False
Let w be (-3)/3 - 1349/7. Let n = w - -194. Which is smaller: n or 0.1?
0.1
Let l be 5/(-20) + 6/(-8). Which is greater: 2 or l?
2
Let z = 1 - -0.4. Let k = -1.6 + z. Which is smaller: k or -1/2?
-1/2
Let h be ((-1)/2)/(2/(-8)). Let y be (8/4)/(h + 0). Let r = 6 - 5. Are y and r non-equal?
False
Let c = 8 - 8.2. Let s = c + 0.3. Which is smaller: s or -0.06?
-0.06
Let r be ((-9)/(-6))/((-6)/12). Which is greater: -8/5 or r?
-8/5
Let i be ((-93)/(-30) - 1) + -2. Which is smaller: i or -1?
-1
Let r = -12 + 17. Suppose -2*g = -r*g + 5*f - 5, -3 = 5*g - 3*f. Let a be (g - -2) + (-3)/2. Is 1 at least a?
True
Let j = 31.3 - 35. Let y = 4 + j. Is y <= -0.2?
False
Let r = -2 + -7. Let n = 9.1 + r. Suppose -2*c - 1 - 5 = 0. Is n less than c?
False
Let g be 2/(-17) - 174/(-34). Which is smaller: g or 1?
1
Let f = -5 - -4. Which is greater: f or -4/7?
-4/7
Suppose 13*k + 84 = -72. Is -11 less than or equal to k?
False
Let j = -392 + 1982/5. Is 4 > j?
False
Let j(q) = q**3 - 2*q**2. Let w be j(2). Suppose 4*n + 20 = -w. Let p be ((-3)/(-1))/((-6)/4). Which is smaller: p or n?
n
Let q be 1/((-24)/20) - 2