4 - 0.004. Let q = 5 - l. Are q and c nonequal?
True
Let l = 8.8 + -10. Which is smaller: l or -0.1?
l
Suppose -1 + 7 = -2*y. Let q be (y - -1)*(-12)/(-8). Is q less than -3?
False
Let d = -96 - -102. Which is smaller: 17/3 or d?
17/3
Let y(b) = b + 62. Let d be y(0). Let f be 10/25 + d/(-110). Let a = f - 2/55. Is 0 >= a?
True
Let g = -0.89 + -0.13. Let k = -0.02 - g. Let n = k + -0.7. Which is greater: 0.1 or n?
n
Suppose 5*d - 1279 + 284 = 0. Let s = d + -998/5. Let j(u) = u**2 + 3*u. Let w be j(-2). Is s bigger than w?
True
Let z(g) = -g**3 + 2*g**2 + g. Let w be z(3). Let r(k) = k**2 + 5*k - 6. Let u be r(w). Let i(p) = p**2 + 2*p. Let n be i(-1). Is n >= u?
False
Let s(y) = -y + 5. Suppose 0*q - 8 = -q. Let l be s(q). Let j be (-1)/l - (-4)/(-8). Is j less than 1?
True
Let z = -3 + 2. Which is smaller: z or -2/21?
z
Let d be (1/2)/(1/8). Which is smaller: 30/11 or d?
30/11
Let k(m) = m**2 + 10*m - 10. Let t be k(-11). Let c be ((-12)/50)/(t/(-5)). Which is smaller: c or 1?
1
Let r = 11 + -7. Suppose -r*j + d + 1 = 2, 5*j + 4*d = 25. Which is smaller: -1/7 or j?
-1/7
Let m = 859/7 - 123. Let x(i) = i**2 + 3*i. Let z be x(-4). Suppose -z*w - 6 = 2*a + 10, 2*a = 5*w + 20. Is m <= a?
True
Let z = -23.9 - -24. Which is bigger: z or -0.23?
z
Let i(f) = f**2 - 6*f - 6. Let d be i(7). Is -1/13 < d?
True
Let p = 79 + 11. Which is greater: p or 89?
p
Let z(h) = h**2 - 6*h + 8. Let x be z(6). Suppose o = -3*o + x. Let l be (2 - o)/((-4)/2). Is 0 >= l?
True
Suppose 88 + 172 = -5*w. Let g be 122/(-6)*(-36)/14. Let r = g + w. Is r less than 1?
True
Suppose -3*y + 6 + 6 = 0. Suppose 4*t = -0 + y. Is t > 2/5?
True
Suppose 6*t = t - 75. Let s be -1 - -3 - (11 + 6). Is t >= s?
True
Let l = -0.3 + 0.1. Suppose -3*r + 257 = 4*k, -99 = -2*r + r + 2*k. Let q = r - 639/7. Is q at least as big as l?
False
Let c = 0 + -3. Let d be 3/(-12)*2/c. Which is smaller: d or 0?
0
Suppose 5*i + i = 0. Which is bigger: -8 or i?
i
Suppose 304 = -5*r + 2*c - 5*c, -4*r + c = 233. Which is greater: r or -58?
-58
Suppose 3*p - f + 4 = -2, 4*p = 5*f - 19. Which is smaller: p or -10/13?
p
Let i be -2 - -2*307/470. Let m = 5/47 - i. Suppose 5*u - 5 = 5. Is m equal to u?
False
Let m = 1 - 0. Suppose m - 6 = 2*v - 5*p, -v = 5*p - 5. Let d = -883/8 - -110. Is d bigger than v?
False
Let v(a) = -a - 9. Let x be v(-8). Which is bigger: -9/7 or x?
x
Suppose 3*q - 5*f + 8 = 0, 0 = 4*q - 5*f - 0 + 4. Suppose -q*i - 2 = 6. Which is smaller: 0 or i?
i
Let y = -88 - -90. Which is greater: y or -3?
y
Suppose 4*m - 2 = 2*m. Suppose -3*l + 4*l - 12 = -5*x, 3 = -l. Let s = 4 - x. Is s less than m?
False
Let o = 4 + -3. Let h = -5.94 + 6. Let q = -0.16 + h. Which is greater: o or q?
o
Suppose 0 = -3*t + 9, 17 - 1 = s + 4*t. Suppose z - s = -z. Suppose -d + 3 = -0*d, -5*d = -5*u. Which is smaller: z or u?
z
Let y = 31 - 35. Which is bigger: -18/5 or y?
-18/5
Let u be (-1)/(0 + (-1)/(-8)). Let g be (-8)/4 - 8 - -2. Is g at least u?
True
Let r be (-63)/(-15) - 2/10. Suppose o - r = -o. Let w = 11 + -7. Which is greater: w or o?
w
Let p(x) = x - 4. Let h be p(4). Is -12/11 smaller than h?
True
Suppose -5*z - 2*q + 0 + 9 = 0, -3 = 5*z - 4*q. Let l be (z - -1)/(8/(-20)). Is l equal to -4?
False
Let t = -172 + 858/5. Let p = -0.08 + -0.22. Which is bigger: t or p?
p
Suppose -v + 3*v = 0. Let i = 1 + -12. Is i greater than v?
False
Let g be (-1)/(-6) - (-49)/(-42). Let n = 34/145 + -1/29. Which is greater: g or n?
n
Let t be (-2)/(-5) + (-9)/(-15). Suppose c - 3 - t = 0. Let q be 4/3*(-6)/c. Which is smaller: q or -3?
-3
Let t = 25 - 28.6. Let c = -4 - t. Is c < 2/7?
True
Let p = 6 - 2. Let v = -17 - -19. Suppose 3 + 4 = -a - 4*o, -9 = -3*a - v*o. Are a and p unequal?
True
Let h = -31 + 31. Which is greater: h or -3?
h
Let k = -21 + 25. Suppose 0 = u + 2*j - 2, -5*j = k*u - 4 - 1. Is u at most as big as -2/13?
False
Let d = -0.16 - -0.46. Is d bigger than 7?
False
Let r = -17 - -31. Let m be (3/r)/(9/12). Suppose 3*t + 6 + 10 = -4*s, -t = 3*s + 7. Is m not equal to s?
True
Let a(f) = f + 6. Suppose 3*o - 3 = l, 0 = 3*l + l + 4*o + 28. Let t be a(l). Which is smaller: t or 1/4?
t
Suppose 5*l = 7*x - 2*x + 5, 0 = x + 2*l + 1. Let o = -5 - -4. Let m = o - 1. Which is smaller: m or x?
m
Let i(f) = 5*f + 9. Let k(c) = -4*c - 10. Let h(n) = 5*i(n) + 6*k(n). Let j be h(15). Let x be 0/(2/(-3 + 1)). Is j at most x?
True
Let o be ((-12)/14)/(5/(-105)). Is o <= 17?
False
Let c be (-3 - -4)*(0 - 1). Let v = -53/7 - -8. Which is greater: v or c?
v
Let v be (-36)/10 - (-2)/(-5). Let y be (-14)/(-35) + 76/10. Let m = y - 13. Which is greater: v or m?
v
Let j = -194 - -4460/23. Suppose 0 = 3*c - 2 + 2. Is j at most as big as c?
True
Let m = -0.05 + 0.04. Let w = -2935/11 + 267. Which is bigger: w or m?
w
Let l = -17 - -14. Let c be (-26)/(-40) + l/12. Is c equal to 0.2?
False
Suppose -4*u = -2*u + 4. Let z(i) = 5*i - 1. Let b be z(1). Let f = b + u. Is 2 equal to f?
True
Let v(h) = -3*h + 4. Let z be v(3). Let t = -30 - -26. Are t and z non-equal?
True
Let y(z) = -z**3 - 7*z**2 - 5*z + 7. Let b be y(-6). Is 2 at most as big as b?
False
Let x be (-2)/((-4)/(-6))*19/190. Which is smaller: x or 0?
x
Let z = -1 + 1. Suppose -5*j = 4*m + 31, 3*m + 0*m + j = -26. Let b be (-10)/(-126) - (-2)/m. Are z and b nonequal?
True
Let c(y) be the first derivative of y**3/3 - 4*y**2 + 3*y + 2. Let t be c(3). Let n be (-1 + t/(-11))*1. Which is smaller: n or -1?
-1
Let k(y) = -y**2 - 17*y + 40. Let o be k(-19). Is o smaller than -0.02?
False
Let v(c) = 3*c + 0 + c**3 - 3*c + 1 - 4*c**2. Let w be v(4). Is w != 1?
False
Let z = -6 - -7. Let r = 0 - z. Is r greater than 4?
False
Let p be 40/28*(5 - -2). Let r(x) = x**2 - 9*x - 9. Let o be r(p). Let q be o/10 + 0/1. Do -1 and q have the same value?
False
Let t be 3/12 - (-89)/(-36). Is -2 smaller than t?
False
Let v = 1 + -1.2. Let n = v + 3.2. Which is smaller: n or -0.3?
-0.3
Let n(h) = -3*h**2 - 2*h + 11. Let i be n(3). Are i and -23 nonequal?
True
Let y(i) be the first derivative of -i**5/120 + i**4/3 - 2*i**3/3 - 3. Let s(z) be the third derivative of y(z). Let u be s(5). Is 2 equal to u?
False
Let v = -3.8 - -3.8. Which is smaller: -0.15 or v?
-0.15
Let i(n) = n + 5. Let x be i(-5). Suppose -2*c - 2*c - 40 = x. Is -11 greater than or equal to c?
False
Let v = -0.08 - -0.02. Let p = -2.1 - -2. Are p and v non-equal?
True
Suppose 5*y - 9 = 2*y. Suppose -2*x + 1 = -y*x. Do x and -1 have different values?
False
Let n be 82/(-5) - (-20)/50. Is n smaller than -33/2?
False
Suppose -5*o = -10*o. Suppose -9 + 1 = -2*b - 5*t, 2*t - 4 = o. Which is bigger: b or 3/11?
3/11
Let j = -55.7 - -56. Are j and -1 unequal?
True
Let f be -1 + 45 + 9 + -8. Let a be 6/f - 24/30. Is -0.18 > a?
True
Let d = -8 + 6. Let u = -11 - -17. Let l = u - 6.1. Is d != l?
True
Let n(h) = h**2 + 11*h + 19. Let b be n(-8). Is -3 < b?
False
Let l = 70 - 71. Is 3/49 at least l?
True
Suppose 0 = -7*t + 6*t + 9. Let a be t/(-27) + (-10)/(-3). Are 4 and a unequal?
True
Suppose -v + 20 = z + 2*v, 15 = 3*v. Suppose 1 + 4 = z*o. Which is smaller: o or -3?
-3
Let g = -0.069 - 0.231. Which is smaller: g or -0.08?
g
Let m be (-2 - -1)/((-6)/(-9)). Let t be (-13 + 0)/((-6)/(-12)). Let n = t + 51/2. Which is smaller: n or m?
m
Let a = 1 - 0. Let b be -1 - 3/((-90)/1047). Let v = -67/2 + b. Which is smaller: a or v?
v
Let k = -4 + 2. Let c = k - -4. Let x be 22/(-10) + (c - 0). Which is smaller: x or 1?
x
Suppose 3*y + 3 = 0, 0*o - 3*y = -3*o + 18. Let m = o - 4. Suppose -j + 10 = 4*j. Are m and j non-equal?
True
Suppose -5*l + 14 = 144. Which is smaller: l or -25?
l
Let u = 0.19 + 0.11. Is u at least -0.1?
True
Let l = -20 + 19. Is l >= -3/7?
False
Let c = 8 - 18. Let p = c + 10. Is -0.3 at least p?
False
Let d = 1.8 - 2.37. Let t = d - 0.03. Let u = 0.5 + t. Which is smaller: 0.2 or u?
u
Let s(a) = a + 1. Let m be s(-2). Let f = 2387/8 + -298. Which is greater: m or f?
f
Let o = 0.6 - 0.2. Let b be -1*(77/51 + -1). Let m = b - -3/17. Which is greater: m or o?
o
Suppose 0 = -3*r + 8 + 4. Which is bigger: r or 0?
r
Let x be ((-5)/(-15))/(2/12). Let t be -3 + (-1)/2*x. Do -4 and t have different values?
False
Suppose d + 6 = -2*m, -21*d + 20*d - 4*m - 8 = 0. Suppose 5*q + 2 = -3*y, -2*y + q - 12 = -q. Are y and d nonequal?
False
Let