u = 23 - 9. Is u equal to 1?
False
Let w(k) = -10*k - 12. Let q(l) = -9*l - 11. Let r(y) = -7*q(y) + 6*w(y). Let b be r(-4). Let x = 2 + b. Are x and -6 nonequal?
True
Let g = 30 - 29. Are 2/7 and g equal?
False
Let o(x) = -5*x**3 + 3*x**2 + 15*x + 17. Let s(l) = 3*l**3 - l**2 - 8*l - 9. Let p(c) = 4*o(c) + 7*s(c). Let y be p(-4). Which is smaller: 2 or y?
2
Let m = -17 + 24. Which is smaller: m or -4?
-4
Let i be -1*1 + (-610)/(-614). Let f = i - 592/3377. Suppose 56*d + 9 = 65*d. Which is bigger: d or f?
d
Let k = -229/171 + 17/19. Which is bigger: 1 or k?
1
Let a = 2 + -1.92. Let t = 0.09 - a. Which is greater: t or -1?
t
Let k(j) = j**2 + 17*j + 14. Let w be k(-16). Let c = 8 + w. Which is greater: 7 or c?
7
Let c(n) = -n - 2. Let y be c(-6). Let k(s) = -s**3 + 4*s**2 - 3*s + 2. Let i be k(3). Suppose -y*o = -5*f - 16, 0*f = -i*f - 2*o + 8. Is 0 equal to f?
True
Let d = 116.2 + -107. Let l = 10 - d. Let v(o) = -o**3 - 6*o**2 - 6*o - 5. Let a be v(-5). Is a at most l?
True
Suppose -4*s = -5*x, -s + 5 = 2*s - 5*x. Suppose 3*u + 4 + 11 = 0. Do s and u have the same value?
True
Suppose 7 = m - 0*m + 4*t, -2*m + 2*t + 4 = 0. Let a be (-2)/(-3) - 1/m. Which is smaller: 0 or a?
0
Let k = 6071/24 - 253. Let a be (2/4)/((-12)/(-9)). Let t = a + k. Which is greater: t or 1?
1
Let f be 1/4 + 1/4. Let z = 12 - 21. Let t = z + 6. Is t greater than or equal to f?
False
Let f(j) = -j**3 - 3*j**2 - 2. Let m be f(-3). Let v(t) = t + 1. Let u be v(2). Suppose u*w - 3*d - 12 = 6*w, -3*w + d = 0. Which is smaller: m or w?
m
Let y = 0.5 + -0.48. Let w = y - -1.98. Which is bigger: 1/2 or w?
w
Let v = -550 - -17052/31. Which is smaller: 1 or v?
v
Suppose 5*k - 151 - 129 = 5*q, -3*q = -4*k + 170. Is -54 != q?
False
Let b(c) = -c + 7. Let i be b(8). Let n = 3 - i. Suppose -3*u - 2*u = j + 20, 16 = -4*j - n*u. Which is smaller: j or -1?
-1
Let m = 2.6 - 0.2. Let w = m + -0.4. Is 0.08 not equal to w?
True
Let o = 5 - 4. Let j = 20 + -35. Is o at most as big as j?
False
Let x(z) = 3*z**2 - z - 1. Let c be x(-1). Suppose 0 = -0*t + t + c. Let r = -10 - -6. Which is bigger: r or t?
t
Let f be (-22)/(-3)*(-15)/(-10). Suppose -4*x = c + 2*c - 25, 0 = x - 5*c + f. Does x = 1?
False
Let r be -3 + (190/(-14))/(-5). Let m be 1*-2*1/2. Are m and r non-equal?
True
Let k = -0.36 - -0.46. Let o(c) = c**2 - 4*c - 3. Let l be o(5). Is l > k?
True
Suppose 2*h = h + 1. Which is smaller: h or 8?
h
Let j = 0.7 - -0.3. Let m = -0.13 + -1.87. Let t = m + j. Which is greater: 0.2 or t?
0.2
Let r be (150/(-63))/(11/8). Let b = -5/77 - r. Are b and 1 equal?
False
Suppose 0*t - 5*t + 2*z = 1, 10 = -2*t - 4*z. Let h = 102 + -817/8. Which is bigger: t or h?
h
Let o = 53.5 + -53. Let m = -1 + 1. Is o at most m?
False
Suppose 3*t - 51 = -4*q, 2*q = 3*q + 3. Let o = t + -22. Which is bigger: o or 4/13?
4/13
Let x be ((-4)/(-72))/((-2)/2522872). Let q = x - -69871. Let y = q - -209. Which is smaller: -1 or y?
-1
Let v = 15 - 13. Is 0 less than or equal to v?
True
Suppose -3*k - 5*b = 22, -7*b + 5*b = -3*k + 13. Let n be (-4)/(-6)*(1 + 2). Which is smaller: n or k?
k
Let d be (-234)/(-14) + (-12)/(-42). Which is bigger: 18 or d?
18
Let s = -5 + 5. Let t be s + (-4)/2 + 2. Is t >= -1?
True
Let d be (4 - 5)/(2/(-8)). Suppose d = 4*x, -2*a + 4 = 4*x + 2. Which is smaller: -1/3 or a?
a
Let x be 0 + 120/(-44) + 3. Which is bigger: 1 or x?
1
Let b be 1/(-2) + 0/4. Suppose u = 3*i + 2 + 3, u = -4*i + 5. Suppose -u*r - 10 = -0. Which is smaller: b or r?
r
Suppose -l = 3, -8 + 2 = -3*v + 2*l. Suppose -4*a - 3*j + 0 = -6, 3*a - 3*j = 15. Suppose 0 = -4*p + 3*u + 2, -5*p - a*u - 9 - 2 = 0. Which is greater: p or v?
v
Let l = 10.5 + -4.5. Let h be (1 - -1)*2/2. Which is smaller: h or l?
h
Let t = -0.26 - 0.24. Which is smaller: t or -0.1?
t
Suppose 0*l + 5*z + 62 = -3*l, 3*z = 2*l + 54. Which is greater: -23 or l?
-23
Suppose -4*p + 8 = -0*p. Let y be p/12*(-200)/(-30). Which is smaller: y or 2?
y
Suppose 6 = 4*g + 2*x, -2*g - 2*x + 2 + 2 = 0. Suppose 7 = 4*z - 3*h, 3*z - 5*h = -0*z + 8. Let b be 22/(-18) + (2 - z). Which is bigger: g or b?
g
Suppose -2*k - 4*q + 120 = 0, -3*k + 10 = 5*q - 168. Let j be k/(-102) - 2/(-3). Is -1 not equal to j?
True
Let f = -1 - -1.1. Let a = -7 - -9. Is a < f?
False
Suppose 0 = 5*h + 5 + 5. Let y = -4 + 3. Is h less than y?
True
Let j = 0.9 - 0. Let p = j - 4.9. Let u = 0 + p. Do u and 0 have different values?
True
Suppose -o - 5*j - 5 = 4*o, 5*o - 23 = 2*j. Suppose a = o*a. Which is smaller: 9 or a?
a
Let h = 0.15 - 11.15. Let p = -10 - h. Does 0.2 = p?
False
Let d = -1912/28565 - 2/985. Which is smaller: d or 0?
d
Suppose 0 = 2*n + 2*n. Let j be n/(3 + -2 - -1). Is 1 greater than or equal to j?
True
Let x be (0 + -1)*0/4. Let f = 317 + -4441/14. Which is smaller: x or f?
f
Let r be (0 - 1)/(2/(-10)). Suppose 0 = -2*t + 3*y + 2*y + 27, -y = r. Let o = t - 0. Is 1 smaller than o?
False
Suppose -v = -5*p + 39, 0*v = -2*v - 8. Let g be -8 + p + -1 + -1. Which is bigger: g or -2?
-2
Suppose -7*y = 9*y. Let x be (-1)/7*2/(-21). Let r = x + 92/441. Is r less than y?
False
Let o = 2/279 - -548/1395. Let n = 243.7 + -254. Let a = -10 - n. Is o at least a?
True
Let a = 24 + -29. Is -4 smaller than a?
False
Suppose -2*b = -3*o - 10 + 42, -b - 4 = 0. Is 3 bigger than o?
False
Suppose -m - 1 - 1 = 0. Let l be -2*3/6*m. Let b be -4 - -3 - (l - 0). Is -3 != b?
False
Let l = 3 + -7. Let r be (-2 + l/(-3))*-6. Is r <= 4?
True
Let m = -2 - -0.7. Let z = -1.4 - m. Which is smaller: z or 0.7?
z
Let j = -161/4 - -41. Let y = -5.4 - -5. Let g = y - -0.3. Which is greater: g or j?
j
Let v = -100/69 + -5/23. Which is greater: -3 or v?
v
Let b(o) = -o + 7. Let l be b(5). Let x(p) = 6*p + 3. Let c be x(-3). Let w be 3/c*l/(-2). Is w bigger than -1?
True
Let y = 17.91 + -18. Let b = 175/3 - 59. Is b > y?
False
Let m = 1 + 7. Let p be (6/m)/(63/24). Is 1 greater than p?
True
Let g = 0.2 - 0.2. Let o = 0.01 + 3.99. Let l = o + -6. Which is greater: g or l?
g
Suppose 0 = 3*y - 6*y + 258. Suppose 0 = -2*r - 274 - y. Let d = -904/5 - r. Which is smaller: d or 0?
d
Let z = 1 - 7. Let x = z - -9. Which is bigger: 1/3 or x?
x
Suppose 14 + 4 = -3*l. Let y(f) = -2*f - 14. Let b be y(l). Is 0 >= b?
True
Let v(f) = -f**3 - f**2 + f + 3. Let c be v(0). Suppose w - 2*y + 2 = 0, c*w - 3*y - 4 - 5 = 0. Is 7 equal to w?
False
Let d(w) = -w**2 + 8*w - 9. Let a be d(7). Let j be (1/(-2))/((-5)/20). Suppose 15 = -5*h - 5*f, 3*h - j*f + 3 = -1. Is h <= a?
True
Let f = -98 + 97. Is 2/25 bigger than f?
True
Let a = -50 + 50. Which is smaller: -2/5 or a?
-2/5
Let q = 8 - 5. Let x be (-8)/(-12)*q/(-7). Suppose u + 0*u = -1. Which is smaller: x or u?
u
Suppose 5*r + 4*w - 6 = 7, 0 = -4*r - 5*w + 14. Suppose 12 = -t - 5*v, 0 = -3*t - 0*v + 2*v + 15. Let y be (-1)/t + 2/(-6). Is y bigger than r?
False
Let x = -2.9421 + 0.0141. Let r = -0.028 - x. Let h = -3 + r. Are -1 and h equal?
False
Let a = 1.84 - -0.16. Is a greater than 1?
True
Suppose 5*v + 0*v = 0. Suppose 0*z = 5*z + 5. Which is greater: z or v?
v
Suppose 0 = 2*j - h + 6*h - 1, 1 = -h. Let d be 1 + 4 - (j + 1). Suppose 2*g = -2*g. Is d less than or equal to g?
False
Let b(z) be the third derivative of z**5/60 - z**4/2 + z**3/6 + 4*z**2. Let f be b(12). Which is smaller: -1 or f?
-1
Let u be (-54)/4*(-16)/(-14). Let l = u - -110/7. Which is smaller: 8 or l?
l
Suppose 0*s - 2*s = -10. Suppose 2*g - 4 = s*n, -n + 1 = 3*g - 5. Let l be 0*(-5 + (-54)/(-12)). Is n at most as big as l?
True
Let i = 4 - 4.1. Suppose 0 = p - 4 + 1. Let z(y) = -y**3 + 4*y**2 - 2. Let x be z(p). Which is smaller: x or i?
i
Suppose 0*z - 3*z = 3. Let i be 6/10 + -1 - -35. Let y = i - 35. Is z at most y?
True
Let y(t) = t**2 + 2. Let o be y(2). Let m be 12/42 - (2 + 99/(-21)). Which is bigger: o or m?
o
Suppose -5*j - 21 = -x - 6, -3*j = -4*x + 9. Let t be (2 + j)*(1 + -2). Are t and 5/4 non-equal?
True
Let j(y) = -3*y - 1. Let h(w) = 3*w + 2. Let z(v) = 5*h(v) + 4*j(v). Let f be z(-4). Let t(c) = -c**3 + c**2 + c - 5. Let q be t(0). Which is smaller: q or f?
f
Let v be (-464)/(-180) - 0/(-1). Let q = 14/5 - v. Which is greater: 0 or q?
q
Let j be (4/22)/(3*(-2)/(-6)). Does -0.3 = j?
False
Let u be 0 + 1 - 2 - -9. Let k = 11 - u. Let h be -1*(1 + (-12)/k). Is h less than or equal to 3/2?
Fal