?
False
Let n = 2 - 1.9. Let l = -13.2 + -0.8. Let o = l - -14.1. Are o and n unequal?
False
Let w = 11 - 13.2. Let h = 2 + w. Let x = 1 - 1. Do h and x have the same value?
False
Let y be (-1)/(-9) - 1629/81. Let o = 44 + y. Is o at most as big as 24?
True
Let z(b) = -b - 1. Let u be z(-4). Let t be 1/(-5) - (-306)/1430. Let x = 425/286 + t. Is u > x?
True
Let m = -1 - -3. Let v = 15 - 28. Let a = v - -16. Which is greater: m or a?
a
Let s be (-6 + -4)/(-2 - 0). Is s less than 7/2?
False
Let i(z) = 4*z. Suppose -8*s + 3*s + 20 = 0. Let p be i(s). Let j be p/(-9) + -4 + 6. Is -1 greater than or equal to j?
False
Let v be (-1 - -6) + 0/(-3). Suppose -v*z = -2 - 3. Which is greater: 4/9 or z?
z
Let h(u) = -u**3 + 4*u**2 - 2*u - 2. Let r be h(4). Let t be (2 + -2 + 1)*-10. Are t and r equal?
True
Let d(y) = -y + 1. Let m(q) = -q + 3. Let a be m(3). Suppose p + 3*p = a. Let t be d(p). Which is smaller: 2/9 or t?
2/9
Let d(z) = -z + 7. Let y be d(9). Let h = y + 2. Suppose h = -4*w - w - 35. Does w = -6?
False
Let p = -226 - -236.1. Let i = p - 10. Is 3/7 bigger than i?
True
Let d = -216 - -213.94. Let u = -0.06 - d. Is -3 at least as big as u?
False
Let s = 0.2 - 1.2. Let i = s + 1. Which is smaller: i or 2/9?
i
Let k be (0 - 0) + 32/(-22). Let a = -70/33 - k. Let v(y) = -y**3 - 8*y**2 - y - 10. Let o be v(-8). Which is smaller: a or o?
o
Let o = 37481/2162 + -398/23. Let c = -121/846 + o. Is c at most 1?
True
Let v be ((-2)/(-68))/(2*(-4)/(-8)). Is 0 less than v?
True
Let s = -6.19 - -0.19. Let t = s + 6.1. Which is smaller: -0.3 or t?
-0.3
Let o = 1 - -8. Let u = o - 8.9. Are u and -3 non-equal?
True
Let d(r) = 4*r**3 - 2*r**2 + 1. Let u be d(1). Let t be 2/(-3)*(-12681)/(-24). Let j = -350 - t. Is u greater than j?
True
Let s(a) = -a**2 + 5*a + 4. Let f be s(6). Let v be (2/4)/((-1)/f). Which is greater: 2/9 or v?
v
Let w = -51 - -252/5. Is 0.1 greater than w?
True
Suppose i = -4*c + 2*c, c = 5*i. Which is smaller: i or 5/13?
i
Suppose -4*f - 2*j = -18 - 8, 5*j - 17 = 2*f. Is 4 greater than f?
False
Let c(l) = -l + 8. Let z be c(9). Are -1/48 and z nonequal?
True
Suppose 5*x = -2*f + 81 - 21, 0 = -5*f + 25. Does x = 2?
False
Let r = 0.27 - 0.27. Let n = -9/13 - -53/39. Which is smaller: r or n?
r
Let z be 24/(-9)*(0 + 12/(-8)). Is z less than or equal to 4?
True
Let x = -277/1043 - 3/149. Let h = 1/89 - -175/267. Is x > h?
False
Let w be (-7)/(-42) + (-2)/(-3). Which is greater: w or 1?
1
Let z = -0.4 - -0.3. Let o = -1 - 2. Is o <= z?
True
Suppose 0 = -0*s - 5*s - t - 22, -4*s = 2*t + 14. Let n = s + 4. Let m = -9 - -9. Which is greater: m or n?
m
Let k = -47 + 43.96. Let f = 3 + k. Let w = f + -0.06. Are 2 and w unequal?
True
Let w = 9066917/585 + -15499. Which is smaller: -0.1 or w?
-0.1
Let m = -9.628 + 0.028. Are m and -0.1 non-equal?
True
Suppose -3*k + 0 + 6 = 0. Let u(j) = 5*j + j**k + j**3 - 2*j + 0*j**2 - 2*j. Let h be u(0). Which is greater: h or 3/4?
3/4
Let u be 15/(-4*3/(-32)). Which is smaller: u or 39?
39
Suppose 7*t - 5*n = 4*t + 14, 5*t - 20 = 5*n. Suppose -5 = -s, -t*x + 0 = -s - 1. Suppose -x*h + 7*h = 20. Is h < 4?
False
Let l be 9/36 - 5/4. Is -2/9 at least as big as l?
True
Let s = -0.7 + -0.3. Let u = 0.2 - 0.2. Let g = u + s. Is -1 > g?
False
Let m = -0.78 + -2.22. Is 27 equal to m?
False
Let k = 3 + -2.9. Let g = -11 + 18. Are g and k nonequal?
True
Let s = -1 - -1. Suppose -5*g = 5*k - 3*g + 6, -3*k = -5*g + 16. Let v be (1 + k)/(-7)*2. Is s greater than or equal to v?
False
Let b = 2/113 - -319/1130. Is 0 greater than or equal to b?
False
Suppose p = 4*p - 6. Let l be (-18)/(-8) - 2/8. Let k be l/(-10) - 1/(-1). Is p at most k?
False
Let d = 38 + -40. Which is greater: d or -0.1?
-0.1
Let g be (-42)/(-9) - 1/(-3). Let b(l) = -l**2 + 4*l + 6. Let k be b(g). Let r(c) = c**2 + 7*c - 6. Let u be r(-8). Is u bigger than k?
True
Let c = -9.9 + -2.1. Let a = c + 11.9. Is a equal to -1?
False
Let b = 22 + -12. Are 11 and b equal?
False
Let t(o) = o + 6. Let i be t(-3). Let p(u) = u**2 - 8*u + 3. Let g be p(8). Are g and i non-equal?
False
Let x = -17 + 239. Let t be 2/(-5) - x/(-30). Is 6 less than or equal to t?
True
Let b be 5/25 + (-1)/5. Let j = 9 + -24. Let h be j/(-20) - (-82)/(-88). Is h equal to b?
False
Let t = -16 + 16. Which is smaller: t or -5?
-5
Suppose 2*c + 7 = 5*v + 2, 0 = 3*c - 3*v + 3. Let m = 11/8 - 9/8. Which is smaller: m or c?
c
Suppose -4*x + 37 = 5*d, -2*x - 2*x - 2*d = -22. Let j = 7 - x. Let s be (-1)/(-1)*j/(-14). Which is bigger: 0 or s?
0
Suppose 535*u - 33 = 538*u. Which is smaller: -8 or u?
u
Suppose -3*a - 5*k = -2, 5 = k + 1. Is a less than or equal to -6?
True
Suppose 2*s - 2*d + d = 4, -4*d = s - 20. Suppose -5*l = -s*t - 19, -2*t = -0*l + 2*l - 4. Which is smaller: t or -1/5?
t
Let p = -0.3 - -0.2. Let h = -55/2 + 28. Is h greater than or equal to p?
True
Let b = 55 - 439/8. Suppose 2*o - 6*o - 4 = 0. Is o greater than b?
False
Let m = -2.99 - -3. Let x = -0.01 + m. Is x <= 1?
True
Let w = -38/13 + 333/65. Is -2/7 at most as big as w?
True
Let h(d) = 2*d - 12. Let y be h(6). Let c be ((-30)/(-80))/((-7)/2). Is c greater than or equal to y?
False
Let s be (-1)/15 - 2/(-5). Suppose 0 = -c + 5*c + 4. Let m be 4/12*0*c. Which is smaller: m or s?
m
Let d = -0.08 + -0.05. Let p = 1.03 + d. Which is bigger: 0.1 or p?
p
Let x be (-6)/(-9) + 1/3. Let d be (-1 - (-21)/15)*5. Let o = x + d. Is 0 > o?
False
Let h = 17 - 18. Let n = 3 + -2.8. Is h <= n?
True
Suppose -5*r = -2*q + 65, -3*r - 3*q = -5*q + 35. Let o = r - -9. Let l be 9/o*(-8)/6. Which is greater: l or 3?
3
Let i = -2 - -2. Let t = -420/4351 + -2/229. Which is bigger: t or i?
i
Suppose -a = 4*a. Suppose -3*o - 2*o - 5 = 0. Let f(g) = -g. Let w be f(o). Which is smaller: a or w?
a
Let r(w) be the first derivative of w**2/2 - 8*w - 3. Let b be r(8). Let d = b + -1. Which is bigger: -2/11 or d?
-2/11
Let s = -18 + 17.7. Which is smaller: -4 or s?
-4
Suppose 5*f + 51 = 2*l, 5 + 7 = -2*f + 5*l. Is -12 greater than f?
False
Let c = 59 + -60. Which is bigger: c or 1/32?
1/32
Let g = 152 + 185. Let z = 665437 + -13967102/21. Let w = z - g. Which is bigger: w or 0?
0
Let q = 23 + -9. Let s = -9 + q. Let u = -3 + s. Is u bigger than 1?
True
Let q = -4/21 + 34/105. Let v be -1 - (-3 + 3)*-1. Which is bigger: v or q?
q
Let g = 182 + -152. Is 156/5 smaller than g?
False
Let n be -2 - 0 - 60/(-20). Is n less than or equal to 26?
True
Let a = -18 - -30. Let b(i) = i**2 - 13*i + 13. Let o be b(a). Which is greater: -1/3 or o?
o
Let j be -8 + 0 - (-5 - -3). Let d(r) = -3*r - 4. Let z be d(j). Let h be (-1*z/(-10))/(-1). Which is bigger: -2 or h?
h
Let s = -0.2 - -0.7. Let m = 1.7 + -2. Let y = 0.2 + m. Is y less than or equal to s?
True
Let w be 6/(6 + -3) - 2. Suppose 0 = -d - 2*q + 18, -2*d - 4 + 20 = -q. Suppose -5*v = -w + d. Do -3/5 and v have different values?
True
Let v be -48*3*(-3)/4. Suppose -5*z + 4*b - 2*b + v = 0, -3*z - 4*b = -44. Suppose -3*d + 15 = 0, s = -0*s - 3*d + z. Which is greater: s or 4?
s
Let s be 5 + (-4 - 220/(-16)). Is s at most 16?
True
Let r(n) = -22*n + 14. Let p be r(-7). Let u be (2/(-20))/(6/p). Which is smaller: u or -2?
u
Let p be (-2)/9 + 280/45. Suppose 3*m - m = p. Suppose 3 - 6 = -z, -m*a + 4*z = 12. Which is bigger: -1 or a?
a
Let t be (-3)/(-4)*36/(-3). Let u = t + 9. Which is smaller: u or 4/3?
u
Let s(o) = o**2 + 14*o - 12. Let q be s(-14). Which is bigger: q or -11?
-11
Let l = 3.8 - 1.8. Which is bigger: l or -4?
l
Let g = 15433/35 + -441. Is -1 bigger than g?
False
Let h(q) = -q - 2. Let x be h(2). Suppose 0*c = 3*c - 81. Suppose -g - 9 = 2*r, 4*g + 8*r - 3*r + c = 0. Do g and x have the same value?
False
Let j = 6 - 11. Let y = j - -4.4. Let g = 0.5 + y. Is 1 bigger than g?
True
Suppose 0 = -5*k - 41 - 259. Let d be 3/(k/(-64)) - 3. Is 0 >= d?
False
Let c be (-8)/12*5/(35/3). Which is greater: 0.01 or c?
0.01
Let x = 307 - 2153/7. Which is smaller: x or -1?
-1
Let x = 1 + 2. Suppose x*q - 15 = -4*f + 13, -5*f + 4*q + 4 = 0. Suppose -y - f*y = -5. Which is smaller: 2/11 or y?
2/11
Let y be (-1)/2*7/154. Is 1 at most y?
False
Let n be (-2)/7*14/54. Which is bigger: -1 or n?
n
Suppose 100 = -4*p - 3*f, -2*p - 93 = -3*f - 25. Let c = p + 111/4. Which is smaller: 1 or c?
c
Let w(o) = 2*o + 4. Let c(n) = n.