-1. Let c = 6 - 8. Let j = 2.1 + c. Which is smaller: j or d?
j
Let o(r) = r**3 - r**2 + 5. Let k be o(0). Suppose k*w = w - 8. Let x = -5 - w. Is x != 0?
True
Let z(y) = 2*y**2 + y - 1. Let n be z(1). Let v be 6/75*55/(-4). Let d = v + 8/5. Which is smaller: d or n?
d
Let o = -0.03 - 0.57. Let r = -34/5 - -32/5. Is r smaller than o?
False
Suppose l = -3*l - 3*a - 117, 0 = 5*a + 15. Let m be l/9 + 82/26. Is 0 < m?
True
Let g be (-5 + 5)/(-2 + 1). Suppose g*b - 2 = 2*b. Is b <= -1?
True
Let c = -2 - 1. Let x = 5 + c. Suppose -2*h = -h + x. Is h > -3?
True
Suppose -7 = -h + 2*s, 0 = 2*h - 7*s + 2*s - 18. Which is smaller: h or -2/35?
h
Let h(v) = -v**3 - 3*v**2 + 3. Let m be h(-3). Suppose 4*f = m*f + 4. Let c be ((-99)/(-44))/((-3)/(-8)). Which is smaller: f or c?
f
Let r = 20 + -17. Suppose -q + r*d - 11 = 0, 2*q - 2*d + 3 = -7. Is -2 less than q?
False
Let x be (2/5)/((-7)/5). Let t = 12 + -8. Let f = t - 4. Is f <= x?
False
Let x be (10 + -1)*(-4)/(-42). Is 1/6 at most as big as x?
True
Let j = 4703386/261 - 18020. Let x = -12/29 + j. Which is greater: 0 or x?
x
Suppose -13*l - 54 = 388. Do l and -36 have the same value?
False
Let b(d) = d. Let u be b(-1). Let j be (-4)/((-1064)/161) - 1/2. Is u at most j?
True
Let x(j) = 3*j + 2*j + 3 - 6*j. Let b be x(4). Which is greater: -1/4 or b?
-1/4
Let w(l) = l**2 - 8*l. Let h be w(6). Let s be h/(-30) - (-1)/10. Is -0.3 at most as big as s?
True
Let b be 22/(1 - (2 + -3)). Let w be b/(-2) - (-2)/4. Let t(y) = y**2 + 8*y + 8. Let q be t(-6). Do q and w have the same value?
False
Let a be 6/7 + (-18)/27. Are -1 and a equal?
False
Let x be (-6)/(-4)*(-28)/(-21). Let u = 2.7 - 13.7. Let v = u - -10. Which is greater: x or v?
x
Suppose -7*z - 20 = 3*z. Is -6 at most z?
True
Let s = 0.12 + -0.13. Is s smaller than 2/7?
True
Let a = -0.007 + 0.007. Let z = -0.16 + 0.2. Which is bigger: z or a?
z
Suppose -z - b = -8 - 3, -3*b - 42 = -2*z. Let i be (z/(-9))/((-2)/(-6)). Let f = -7 - i. Which is greater: f or -3/5?
-3/5
Let z = -74 - -74.1. Is 10 <= z?
False
Let t be (-1)/((1/(-1))/(-1)). Let h = -12 - -24. Let u be (-8)/h*(-3)/7. Which is smaller: t or u?
t
Let g(x) = -x**3 + 8*x**2 - 2*x + 11. Let t be g(8). Let h = 3 + t. Let u be h/(-7) - (-72)/(-154). Is -1 >= u?
False
Let k = -3 - 6. Let u = k - -10. Is u > -1?
True
Suppose -4*v + 3 = -b, -3*b = -5*v - 0*b - 5. Let r = 1 - v. Do -1/5 and r have different values?
True
Suppose -2*t - 14 = 3*f - 3, 4*t + 1 = f. Let h be ((-2)/(-14))/(2 + -1). Which is bigger: h or t?
h
Suppose 0 = -4*n - 1 + 5. Let o be n*((-1)/3 + 0). Let l(a) = a**3 - 7*a**2 + 12*a - 7. Let s be l(5). Which is smaller: s or o?
o
Let f be 1/(1/81)*(-8)/(-12). Is f not equal to 54?
False
Let a(h) = h**3 + h**2 - h - 2. Let g be a(0). Let p(r) = -r**3 - 4*r**2 - 3*r - 1. Let q = -1 - 1. Let i be p(q). Which is smaller: i or g?
i
Suppose -4*p - 15 = p, -3*p - 12 = -m. Let z be ((-2)/m)/((-14)/(-6)). Is z greater than -11/3?
True
Let g = 12 + -24. Which is smaller: g or 0?
g
Let l be (0/(-1))/((-2)/1). Let o = -0.7 - -0.6. Let m = 5.1 + o. Which is smaller: m or l?
l
Suppose 5*g + 3 + 2 = 0, 2*x + 2 = -4*g. Which is smaller: x or 2/19?
2/19
Let c = 8 - 10. Suppose 2*i = 3*j - 8, 4*j - i - 12 = 2*i. Which is smaller: j or c?
c
Let p = 10 + -4. Let j = 11 - p. Let l be 2/j*(-5)/3. Which is bigger: l or 3?
3
Let b = 2 + -4. Suppose -5*f - n - 6 = -0*n, -3*f - 10 = -n. Let x be b*1*f/4. Is x equal to -3/7?
False
Let l be ((4 - 5) + -1)/(3 - 1). Does -10/11 = l?
False
Let j be (3 + 42/(-12))*4/7. Suppose 3*n - n = 5*w + 7, -n = 5*w + 4. Is j > n?
False
Let s(j) = j**3 + 3*j**2 + j - 3. Let p be s(-3). Let l(u) be the second derivative of -u**4/6 + u**3/2 + 2*u**2 + u. Let a be l(3). Is p smaller than a?
True
Suppose -4 = 4*h - 0. Is -8/9 less than h?
False
Let q = 6220/3737 - 250/101. Let l = 257/185 - q. Is l at most as big as 1?
False
Suppose 2*k - 5*m - 43 = 0, 3*k - 3*m - 2*m - 57 = 0. Is 13 != k?
True
Let u = 6 - 2. Suppose -u*d + 7*d + 3 = 0. Let v = d + 2. Is 2 > v?
True
Suppose -7*i - 8 = -3*i. Let j be 0/i*(-2)/4. Suppose -k + j*k = 4. Which is smaller: -3 or k?
k
Let v be 1/(-4) + 30/(-8). Let k = v + 2. Let z be (1 + (-4)/k)/(-1). Is z less than or equal to -2?
True
Let l = -192 + 195. Let r = -2 + 1. Is r at most l?
True
Let q = 122 - 359/3. Let f(i) = i**3 + 4*i**2 + i + 5. Let y be f(-4). Is y <= q?
True
Let p = -11 + 21. Suppose 3*b + 7*f = 2*f - 7, p = 4*b - 3*f. Which is bigger: b or 3?
3
Let p = 15 + 5. Let v = p + -16.8. Let q = v + -3. Which is smaller: q or -2?
-2
Let w be 2 - 1/1*-1. Let h = w + 0. Let d be h/9*1 + -1. Which is bigger: d or -2?
d
Let k = 0.21 + -7.21. Is 5 > k?
True
Let v be (-3)/((-27)/(-30)) - 1/(-3). Which is greater: -5 or v?
v
Let a = -0.14 + -7.86. Let h = -8.2 - a. Is -0.2 bigger than h?
False
Suppose -10 = -5*q - 0. Is 3 >= q?
True
Suppose 0 = -2*d + 2 - 0. Suppose 0 = k - d, 3 = -3*x + 3*k. Does 10/7 = x?
False
Let l = 5 - 18. Let d = l + 9. Is -2 at most as big as d?
False
Let f = 29/60 - -737/20. Let t = -37 + f. Is t less than 1?
True
Let h = 21 - 20. Let y be (6/4)/((-6)/(-8)). Is h at most as big as y?
True
Let a be (-3)/6 + 58/(-4). Let x = a - -15. Is 2/35 equal to x?
False
Let o(h) = h + 1. Let d be o(-2). Is -2 equal to d?
False
Suppose 0 = -5*l + l + 4*t, -l + 5*t = 8. Is 2 bigger than l?
False
Let r be 1*(-418)/248 - -2. Let c = 1449/124 - 47/4. Let b = r + c. Which is smaller: b or -2/11?
-2/11
Suppose 5*g = 3*g + 2*j - 2, 3*g - 2*j = -2. Which is smaller: g or 2/75?
g
Let r = 27 - 28. Is r greater than -1/158?
False
Let c = 0.47 - 0.47. Are c and -6 nonequal?
True
Let b(h) = h - 17. Let w be b(10). Let s be 3/w + 3/21. Is s less than 0?
True
Let q = 94 - 751/8. Are 0 and q unequal?
True
Let j = 1 - 0. Let a be (-27)/(-15) - (38/10 - 3). Is a > j?
False
Suppose -4*c - c - 5*f + 65 = 0, 5*f - 15 = 0. Which is smaller: 9 or c?
9
Let m = -36 + 182/5. Let n = m + 0. Is n at most 0.2?
False
Let i = 11 + -8. Suppose 3*w - i*v + 3 = 0, 5*w - 4*v + 2 = -0. Which is greater: 0 or w?
w
Let v(o) = 2*o - 2. Let i be (-48)/(-27) - (-2)/9. Let z be v(i). Which is greater: 4/3 or z?
z
Let g(p) = -4*p - 41. Let o be g(-10). Is o at most 3?
True
Let p(d) = d**3 - 6*d**2 - 6*d - 6. Let h be p(7). Which is greater: -4/9 or h?
h
Let p be (-1)/9 + (-3)/(-9). Let c(q) = -q**2 + 4*q + 4. Let v be c(5). Is p > v?
True
Let w be (1 + 34/(-14))*1*-7. Is 5 equal to w?
False
Let h = -25.2 - -31. Let b = h - 6. Let m = 0.8 - b. Are 0.2 and m equal?
False
Let t(u) = u - 3. Let k be t(-3). Is k less than -7?
False
Let q = 28.9 - 29. Let n = 181/252 - -2/63. Which is bigger: n or q?
n
Suppose 4*s = 9*s. Let q(h) = 1 + 0*h**3 - 2*h**3 + h**3 + 4*h**2 + s. Let f be q(4). Which is smaller: f or 1/15?
1/15
Let y = -11.3 - -9.3. Are 41 and y equal?
False
Suppose 14 - 6 = 4*h. Which is smaller: 19/6 or h?
h
Let g = 13 + -12. Which is bigger: 1/6 or g?
g
Suppose 5*i = -l - 17, -5*l + 2*l = -4*i - 25. Suppose -5*z = -9 + 4. Suppose t = l + z. Which is smaller: 1 or t?
1
Let h be 0/(2 + -3 + 3). Let l(y) = y - 2. Let s be l(-3). Let r be s*(2 + -3) + -3. Which is greater: h or r?
r
Let y be -3 + (-4 - (-237)/33). Let o = -1 - -2. Is o != y?
True
Let b = -1 - -2. Suppose -u + 282 = u - 4*m, 2*u = m + 270. Let s be (-52)/u - (-4)/14. Which is smaller: b or s?
s
Suppose 11*t + 8 = 7*t. Which is smaller: t or 3?
t
Suppose -2*b + 2*w = 2*b - 18, 0 = -2*b - w + 7. Let t be (6/(-9))/(b/18). Suppose -3*z - 2*z - 15 = 0. Are z and t nonequal?
False
Suppose 3*q + 30 = 6*q. Let a be 1/5*q/6. Which is bigger: -5 or a?
a
Let m = -10 + -1. Let q = 13 + m. Is 1 smaller than q?
True
Let x(q) = 6*q - 10. Let r be x(6). Is r < 27?
True
Let k(b) be the first derivative of -b**3/3 + 11*b**2/2 - 6. Let v be k(11). Is v at least as big as 0?
True
Let d = -0.84 + 0.29. Let l = d + 0.05. Let r = -2.5 + l. Which is greater: -1/3 or r?
-1/3
Let p(g) = g**3 + g**2 - 2*g + 1. Let h be -2 + 1 - 1*-2. Let q be p(h). Let t be 2/(-11) - (1 - 1). Are q and t equal?
False
Suppose q - 18 = 3*h + 2*q, 0 = -4*h + 4*q - 8. Do -5 and h have different values?
False
Let z = 0.2 + -0.1. Suppose -7*p + 20 = -2*p. Suppose 9*o - p*o = 5. Is o greater than z?
True
Let t = 106 - 106. Is 4/29 <= t?
False
Let u = 2 + -4. 