i = 5*i + z. Is 2 equal to i?
False
Let p = -485 - -484.96. Is -1/22 smaller than p?
True
Suppose 2*y - 62 = 8. Suppose 0 = 3*r + y - 8. Let t = -8 - r. Which is greater: 5 or t?
5
Suppose -23 = 22*c + c. Is c greater than 10/159?
False
Let u be (-1)/(2 + (-25)/13). Let j be ((-207)/108 + (-15)/(-12))*18. Which is smaller: j or u?
u
Let t = 566 - 272. Does t = 296?
False
Let t(u) = 13 - 13 + u - 2*u. Let b be t(1). Which is smaller: -1/2 or b?
b
Let j = 6.7 + -6.41. Let h = 0.01 + j. Which is smaller: h or -2?
-2
Let y be 1052/680 + (-2)/(-20). Is y < 2/3?
False
Let x be 1*(-2 + 94*3/(-6)). Suppose 5*o + 200 = o. Which is smaller: o or x?
o
Let z be 4/18 - 4/18. Suppose 4*a - 3*l + 4 = z, 4*l = -0*l. Is a at most as big as -12/5?
False
Let n be 11/(-3) - (-40)/60. Let i be ((-2)/(-4))/((-2)/(-28)). Let m be i/(-2) + (-2)/(-4). Is n less than or equal to m?
True
Suppose -3*w = -2*o - o - 9, 5*o = 3*w - 13. Suppose 209 + 313 = -3*u. Let b = u + 5044/29. Is b != w?
True
Let f = 6 + 0. Let z = -3 + 10. Which is greater: f or z?
z
Let q = -2 + 2. Let g = 895 - 17010/19. Which is smaller: q or g?
g
Let o(v) be the second derivative of v**4/12 + 7*v**2/2 + 5*v. Let f(p) be the first derivative of o(p). Let u be f(-6). Which is bigger: -13 or u?
u
Let o(l) = l**2 + 7*l + 8. Let d be o(-6). Let y = d - 6. Let t be (6 - 9/1) + -1. Does y = t?
True
Let j = 1428 + -1614. Is -181 at most j?
False
Let n = 924 + -901. Which is smaller: n or -3?
-3
Let t = -449087/4329793 + -103/4691. Let d = 2/71 - t. Which is bigger: d or -1?
d
Let w = -124 - -168. Which is greater: w or 500/11?
500/11
Suppose 3*n - 3*i = -i - 2, -4*n = i - 12. Suppose 6*g - n*g + 8 = 0. Let f be (2/3)/(g/3). Is -3 less than f?
True
Let h = -0.1 - 0.4. Suppose -5*u = 3*y + 24, y - 28 = 5*u + 2*y. Let d be (u/20)/((-66)/(-55)). Which is bigger: h or d?
d
Suppose 8*w - 9*w - z = 1175, z = 3*w + 3521. Which is greater: -1175 or w?
w
Let d = -506 + 505. Let i = -0.65 + 0.2. Let q = 25.55 - i. Are q and d non-equal?
True
Let g be ((-1188)/(-7))/(-2) + (-204)/1428. Is -87 equal to g?
False
Let c = 124 + 0. Let o = c + -125. Is o less than or equal to 31?
True
Suppose 2*p = 38 + 4. Suppose -5*s - 4*u = -3*u - p, -12 = 3*u. Suppose g - s*g - 24 = 0. Is -4 equal to g?
False
Let v(r) be the first derivative of r**3/3 + 9*r**2/2 + 8*r - 1. Let b be v(-8). Let m = -41 - -42. Is b at most m?
True
Let g = -684 + 728. Is 44 >= g?
True
Let p = 588 - 653. Which is smaller: 3 or p?
p
Let l = -21 - -37. Let f be (-14)/21 + l/(-3). Do -8 and f have the same value?
False
Suppose 9*f - 12*f - 53 = -4*n, -5*f - 35 = 0. Let o be -13*1*1/(-1). Which is smaller: n or o?
n
Let n be 2 + ((-81)/12)/3. Let c(t) = 2 + t**2 - 9*t - 2*t**2 + 5 + 4. Let z be c(-10). Is z > n?
True
Suppose -x + 10 = 4*x. Let p be -1 + 406/90 - (-68)/(-170). Which is smaller: p or x?
x
Let b(m) = m**2 - 6*m + 1. Let h be b(6). Let v be (6/(-9))/(h/(-54)). Suppose 3*r + v = -2*o + 5*o, -2*o + 9 = -r. Which is bigger: r or -16?
r
Let p = -11/544 - 5/32. Let d(c) = 1 - 2*c + 3*c + 5. Let m be d(-5). Which is bigger: m or p?
m
Suppose j = -2*v - 1 + 7, -5*j = 16*v. Suppose 4*t + 2*a - 60 = 0, 2*a = t - 11 - 4. Is t < j?
True
Let w = -26.31 + 16.71. Are 0.1 and w non-equal?
True
Let r be (3/(-18))/(-2 + -4 - -1). Does 2 = r?
False
Let u(m) = m**3 + 3*m**2 - 6*m + 13. Let d be u(-5). Let r(g) = g**2 - 8*g - 1. Let a be r(8). Let n be 1/a*(8 - 2). Are n and d nonequal?
True
Let k be 1/(0 + (1 - 0)). Suppose 14 = 4*a + 6. Let y be (a/(-12))/((-11)/(-44)). Is y at least k?
False
Let n = -0.0935 - -61.3935. Let d = 61 - n. Which is smaller: -1/4 or d?
d
Let b = 848/39 + -300/13. Is b smaller than -35?
False
Let j = -12 - -14. Suppose 4*m - 8 = -4*q, j*m - 10 = -3*q - 3*m. Let s = -148 + 448/3. Is q greater than s?
False
Suppose 0 = -9*g + 5*g - 48. Let o = -8 + 26. Suppose h + 19 = -2*f, -f = 2*f + 5*h + o. Do g and f have different values?
True
Let g = 4423 - 4403. Let z = -3 - -2. Are g and z non-equal?
True
Suppose -4*v + 6 = -10. Suppose x + 2*x + 19 = -c, 8 = -v*x. Which is smaller: c or 1?
c
Let l = 11.812 + -2.812. Do l and -151 have different values?
True
Suppose -3*d + 16 = -0*d - i, 12 = -2*d - 5*i. Suppose -26 = d*w - 0*b + b, 0 = 5*b - 10. Suppose c + 4*c = -40. Is c >= w?
False
Let h be ((126/(-8))/(-3))/(1/4). Let y = -24 + h. Which is smaller: y or -4?
-4
Let k = 43 - 31. Suppose k = -2*j + 4*j. Suppose -2*t - 4*l = -16, t + l + 3*l - 10 = 0. Is j != t?
False
Suppose -m - 5 = m - p, -4*m - 13 = -3*p. Suppose -4 = o + 4*q + 13, 0 = 3*o + 2*q + 1. Let u be -2*(6/o + -1). Are m and u equal?
False
Suppose 0 = j + 4*r - 10, -6*j + 5*r = -3*j - 13. Let x(w) = -w - 10. Let l be x(j). Which is smaller: l or -15?
l
Let g = -5/1104 + 97/508944. Which is greater: g or 0?
0
Suppose -14 + 0 = -2*z. Suppose -10 = -2*x + 5*c, 3*x = z*x - 4*c - 8. Let b = -539/6 + 90. Which is smaller: b or x?
x
Let o(q) = -q - 6. Let x = 29 - 42. Let v be o(x). Which is smaller: -1 or v?
-1
Let r = 126 + -253/2. Is 0.003 at least as big as r?
True
Let i be 35/14*4/10. Let a be (1 - i)/((-4 + 2)/(-2)). Do a and 5/11 have the same value?
False
Let v = -3.39 - -3.2. Let d = v - 0.91. Is 2 less than or equal to d?
False
Let k be 4/14*63 - 14/(-2). Is k at most as big as 25?
True
Let d be -5 + (1 + 1 - -1). Let c be d/(-3)*(-36)/(-24). Let l = -2 + 3. Is l at least c?
True
Let h be (-10)/(5/20*8). Which is greater: -17/3 or h?
h
Suppose -p - 8*p = 18. Which is greater: -3.6 or p?
p
Let b = -312448/67 + 79933745/17286. Let z = b - -235/6. Which is smaller: -1 or z?
-1
Let n = -1126 - -1128.03. Is -0.1 less than n?
True
Suppose 12 = 2*j - 0*j. Suppose 4*t - j = t. Suppose 0 = -3*o + t*o - 2. Is 1/2 <= o?
False
Let r(u) = u**3 + 3*u**2 + u - 2. Let x be r(-2). Let c = 1/749 + 740/6741. Is c at least as big as x?
True
Let m = -910 + 792. Is -0.2 < m?
False
Let p = 1428865/11 - 130152. Let q = -255 - p. Which is greater: 0 or q?
q
Let r be (-1)/(-1) + 2 + -1. Let v(z) = 2*z**2 - 3*z. Let b be v(r). Let p be 0 - (1 + 3 - b). Is p less than or equal to -1?
True
Let n(t) = t**2 - 2*t + 9. Let h be n(3). Suppose 5 = d + h. Is -48/7 at most d?
False
Let f = -4 - -16. Let z be (-6)/30 + f/10. Let l be (1/7)/((-4)/8). Which is bigger: z or l?
z
Let h = 25.2 - 25. Let c = 0.119 + -0.009. Is h less than or equal to c?
False
Let y(u) = u**2 - 8*u + 2. Let z be y(8). Let t = z + -20. Is -18 >= t?
True
Let o = 0.036 - 102.036. Let m = -98 - o. Is m greater than or equal to -2/7?
True
Let m = 1 + 0. Suppose -12*p + 10*p = -4. Let a be 2/24*(-1 + p). Is a at least m?
False
Let z = -344/3 + 6488/57. Which is greater: z or -1?
z
Let y = -753.1 + 646. Let h = -101 - y. Let t = 6 - h. Which is bigger: 3/7 or t?
3/7
Let a = -0.89 + -1.11. Is -0.09 >= a?
True
Suppose 4*k - 8 = -w, 0*k + 3*w - 14 = -2*k. Let m = -15 + 14. Let t = 1 - m. Which is greater: k or t?
t
Let y = -287 + 289. Let i be (6 - y)*(16 + -20). Let q be ((-17)/3)/((-2)/(-6)). Is i smaller than q?
False
Suppose 2*n + 3*f = -2*n - 22, 0 = -3*f - 6. Which is smaller: n or -3?
n
Suppose 0 = -g - 2 + 5. Let v be (5 - (-2 - -19)) + (2 - g). Which is smaller: v or -51/4?
v
Let d(t) = 4*t - 21. Let f be d(5). Let v be f/(((-3)/18)/((-3)/18)). Is -6/47 less than v?
False
Let r = 103/506 + -1/46. Let p be (-14)/4 + (-1)/2. Let i be 1/(-2)*(4 + p). Is i <= r?
True
Let d(o) = o**3 - 2*o**2 - 4. Let q(v) = v**3 - v**2 - v - 4. Let k(t) = -4*d(t) + 5*q(t). Let n be k(-4). Which is smaller: -26 or n?
-26
Let a = 1.41 - 1.21. Is a greater than or equal to -1?
True
Let n = 489 - 209. Suppose 0 = -4*h - 4*k + n, -2*k = -7*h + 4*h + 195. Let c = h + -471/7. Is -1/3 < c?
True
Suppose 15*m - 11*m + 4 = 4*f, 4*f = 16. Which is smaller: 31/17 or m?
31/17
Let j = 1233 + -7415/6. Which is smaller: 2 or j?
j
Let k(a) = a**3 - 7*a**2 - 7*a - 6. Let y be k(8). Let p be y - 26*(-8)/(-106). Suppose 3*g - 17 = 21*r - 25*r, -4*g - 2*r + 6 = 0. Is g less than p?
True
Let r(d) = -d**3 - 4*d**2 - 6*d. Let u be r(-4). Let x = 21 - u. Which is smaller: x or -24/7?
-24/7
Let r = 159/581 + 1/83. Suppose 3*p - 86 = -2*p - c, -110 = -5*p + 5*c. Let h = p - 52/3. Which is bigger: r or h?
h
Let a(b) = b**2 + 5*b - 2. Let l be (-6)/14 - (-32)/(-7). Let p be a(l). Let j 