et i = -0.046 - -0.066. Which is smaller: i or -0.3?
-0.3
Let c be 0/(-5 - (-2)/2). Suppose c = 4*s - 3*s. Is s != -1?
True
Let l = 22 + -23. Is l greater than 5?
False
Let v be (9/(-24) - 0)/(12/(-40)). Which is bigger: 0.2 or v?
v
Let p = -75 - -63. Is p greater than or equal to 2/19?
False
Suppose 4*t = 4*i - 4, -5*t + 4 = 3*i + 1. Which is bigger: -1/12 or t?
t
Suppose 8 = -4*q, 0 = 5*u + 7*q - 2*q - 5. Let m be 0 - (4/(-2) - 0). Is m <= u?
True
Let k = 0.7 - -9.3. Let h = -59 + 41. Let o = k + h. Are o and 0.1 unequal?
True
Let i = 13 - 7. Let l be (0 + 1)/(3/i). Suppose -2 = 2*j + l*x - 16, 0 = 2*x - 4. Is j bigger than 4?
True
Suppose 0 = -3*v + 4*t + 22, -3*v - 4*t = -8 - 6. Let w = -59 - -86. Let l be v/w - 34/72. Is 1/2 <= l?
False
Let i(u) = u**2 - 2*u - 4. Let c be i(3). Let h be 6/(-32)*(-22)/33. Is h less than or equal to c?
False
Let o = -4.64 - -0.14. Let u = o - 1.5. Which is greater: u or -1?
-1
Suppose 3*x - 2*g = 8, 2*g = -x + g + 1. Suppose x*q + 46 = 4*u, q = -q - 2*u - 22. Let t be -8*(-2 + q/(-6)). Is -3 smaller than t?
False
Let a be 0/2 - 0 - -2. Suppose -a*p - 2*p = 8. Are 2 and p equal?
False
Let c = 1 + -2. Is c equal to -4/31?
False
Let r(d) = d**2 - 5*d + 3. Let q be r(5). Suppose -4*a + 3 = -q*n - 6*a, -a = n. Which is smaller: n or -4?
-4
Let p = -6.13 - -1.13. Is -4 bigger than p?
True
Let s be (4 - 2) + 0/2. Let l = 6 - 3. Let v = l - 2. Which is bigger: v or s?
s
Let s be 2/8 + (-129)/(-12). Let u = 5 - s. Let f be 4/6 + 17/(-3). Are f and u unequal?
True
Let d = -49 - -36. Which is greater: d or -0.3?
-0.3
Suppose a + 4*p + 17 = 0, -3*a = -0*p + 2*p + 1. Suppose -a*r + 2 + 1 = z, 2*z = 4*r - 4. Which is bigger: r or -2/19?
r
Suppose -5*r + 28 = 9*r. Is r greater than 8/7?
True
Let h = 0.01 - 0.31. Let p = 7 + -3. Let w be (-3)/7*p/6. Which is smaller: w or h?
h
Let q = -4259/30 - -142. Which is bigger: q or 0?
q
Let r(x) = -6*x**2 - x + 1. Let j be r(1). Let y = -5 - j. Which is smaller: 0 or y?
0
Let p = -1.5 + -1. Let z = -2 - p. Let l = z + -0.8. Which is greater: l or -1?
l
Let y = 229/8 + -57/2. Let j(o) = 5*o + 13. Let t(x) = x. Let c(k) = -j(k) + 3*t(k). Let s be c(-7). Which is smaller: s or y?
y
Let w be (2/(-12))/((-6)/12). Suppose 4*q = -2*y + 6, 4*q + 4*y = 4 + 12. Are q and w unequal?
True
Suppose 2*v = 6 - 0. Suppose b - 10 = -v. Let o = -3 + b. Which is greater: 3 or o?
o
Let s(q) = -5*q**2 + 0*q**2 + 6*q**2. Let y be s(-1). Let z be 16/(-15) - (-2)/3. Is y less than z?
False
Suppose 7*f - 163 = 40. Do f and 29 have different values?
False
Suppose 4*v - 6*v - 8 = 0, -3*v - 20 = -4*w. Suppose 0 = w*q + 6 + 8. Is q != 0?
True
Let c be ((-5)/(-825))/((-26)/(-2594)). Let z = -2/429 + c. Which is bigger: z or 0?
z
Suppose l - 5*g = -0*g - 13, 2*g = 8. Suppose 2*t - 5 = l*t. Is -5 at most t?
True
Let p = -20387638/21 + 970532. Let t = 308 + p. Let k be 2*((-49)/14 - -3). Which is greater: t or k?
t
Suppose 3*a - 66 = -n + 4*n, 0 = a - 4*n - 28. Let x = 4 - a. Let z be (-4)/(x/10) + -1. Do 3 and z have the same value?
False
Suppose 4*p + 2*s - 3*s = -169, -86 = 2*p - 2*s. Let g be (1/p)/((-6)/18). Which is smaller: g or 1?
g
Let t = -9421/16016 - -17/208. Let m = t - -6/77. Is 0 at least m?
True
Let m be (-9)/(-40)*64/48. Is 0 equal to m?
False
Let h(k) = k**2 - k + 1. Let p be h(2). Let i(r) = r**2 + 7*r + 1. Let f be i(-6). Let n be 110/25 - (-2)/f. Is p at most n?
True
Suppose -6*a - 24 = -3*y - 3*a, -4*a = 3*y - 52. Suppose 3*r = 2*n - y, 2*n = -n - 3*r - 12. Let q = 2/27 - 31/54. Is q at most as big as n?
True
Suppose 0 = 3*d + 4 - 1. Let h be (2/12)/((-12)/(-16)). Is d != h?
True
Let c(s) = -s - 10. Let t be c(-10). Let h be (-116)/(-124) - (-1 + 2). Do t and h have the same value?
False
Suppose 2 = -4*y + 6*y. Let v be (5/(-55))/((-1)/y). Suppose -3*x + 5 = 3*f - 5*x, -4*f + 3 = x. Which is bigger: f or v?
f
Let m = 4 + -3. Let i(j) = -j**3 - 4*j**2 - 5*j - 4. Let w be i(-3). Is w at most as big as m?
False
Let u be 16/2*3/6. Let a(q) be the third derivative of q**5/60 - q**4/6 + q**3/6 + 5*q**2. Let o be a(u). Is o > 2?
False
Let w = 165 - 4457/27. Let u be 6/(-21) + 8/28. Is u less than w?
False
Let g = 29 - 5. Let f be (2/(-12))/(3/g). Suppose 3*o = 5*v - 5, -2*o + v = 3*o + 1. Is f at most o?
True
Let l be 1/2 - (-10)/60. Is 6/11 less than l?
True
Let j(x) be the third derivative of -x**5/20 - x**4/8 + 5*x**3/6 - 3*x**2. Let k be j(-4). Let f = -185/6 - k. Is 1 > f?
True
Suppose 5*c - 4*c + 1 = 0. Suppose 5*m + 4 = 3*z, 2*m - 6 = 3*z + 2*z. Let g = m - c. Is g > 1/8?
False
Let i be 154/(-3) + (-4)/6. Let u be 2/4 + 18/i. Let o = -31/117 + u. Which is smaller: o or -1?
-1
Let u = 0.98 + 0.02. Let d = 1.05 - u. Let g = d + -1.05. Which is bigger: g or 6?
6
Let q be ((-265)/10)/(-1 - -2). Let k = q - -26. Do 0.1 and k have the same value?
False
Suppose 3*n + n = -4. Suppose -5*q - 40 = -4*a, -5*q + 2*q - 40 = -4*a. Let k be (6/(-35))/(a/(-25)). Is n greater than k?
False
Let b be (9/24)/(6/(-4)). Let f(o) = -o + 4. Suppose 9 + 6 = 5*h. Let y be f(h). Which is greater: y or b?
y
Suppose -2*z + 41 = 1. Is z < 41/2?
True
Suppose -w + 2*x - 4 = 0, 3*x + 2 = w + 4. Which is smaller: w or -0.1?
w
Let u(r) = 11*r - 11. Let d(m) = 7*m - 7. Let w(n) = -8*d(n) + 5*u(n). Let f be w(-3). Let l = -3 + f. Is 2/15 bigger than l?
False
Let c = -2.5 - -2. Let d = -0.3 - c. Are 1/6 and d equal?
False
Let s = 51 + -62. Suppose 0 = 5*m - 5*z - 33 + 103, -4*m - 60 = -5*z. Is m less than or equal to s?
False
Suppose -w = -4*w - b + 4, -3*b - 3 = 4*w. Is w equal to 1?
False
Let u = -14 - -21. Let f = u + -6. Is 0 at most as big as f?
True
Suppose -3*z - 2*z + 5*j - 15 = 0, 2*j - 27 = 5*z. Which is bigger: z or -6?
-6
Let r = -20 - -23. Which is greater: r or 1?
r
Let r = 18 - 7. Let j = -7 + r. Is 5 < j?
False
Suppose -r - 20 = -6*r. Suppose -8 = r*t - 5*c, -c = -2*t + c - 2. Is t >= 3?
True
Let p = 0 + -6. Let s(c) = -c**2 - 5*c. Let g be s(-4). Let f = p + g. Do f and -2 have different values?
False
Let j(y) = -y**3 - 3*y**2 + y + 1. Let o(w) = -w - 5. Let k be o(-3). Let b be j(k). Which is greater: -2 or b?
-2
Let p be -6*1 + 3 + -3. Let t be 0/((p - 2)/(-4)). Which is smaller: 1 or t?
t
Let t(y) = y**3 + 7*y**2 + 6*y + 6. Let g be t(-6). Let u(k) = k**3 - 7*k**2 + 6*k - 1. Let a be u(g). Suppose -4*c - 16 + 3 = -3*d, d - 7 = 4*c. Is a >= c?
True
Let y = 25/2 - 13. Let c be (-3*1 + 2)*0. Let h be (c/1)/(-1*2). Which is smaller: y or h?
y
Let i(n) = -4*n + 3 - 6 + 2. Let p be i(-3). Which is bigger: 10 or p?
p
Let d be -2 + (-7)/((-1204)/352). Which is smaller: d or 1?
d
Let u be (-23)/(-2) + (-4)/(-8). Let j = -313/26 + u. Which is smaller: j or -1?
-1
Suppose -j = -3*c - 136 + 3, 5*c - j + 225 = 0. Are -2 and c non-equal?
True
Let k be ((-15)/(-3))/(-15)*-6. Suppose 29 = 4*b + t, 6*b - 2*b - 26 = 2*t. Suppose b*g - 8 = 3*g. Is g at most as big as k?
True
Let r(v) = v + 7. Let n be r(-5). Suppose 4*i - n*i = 0. Which is smaller: i or 1?
i
Let t(d) = d + 5. Let g be t(0). Suppose -u + 4*c + 11 = -2*u, -4*u - g*c - 11 = 0. Let m = 313 + -313. Are u and m nonequal?
True
Let g be 0/(0 + 2 + -1). Let d = g + 1. Which is smaller: 3/4 or d?
3/4
Let a(f) = -f**2 - 17*f - 51. Let z be a(-13). Which is greater: -1/9 or z?
z
Let b(u) = u**2 + 4*u + 4. Let v be b(-3). Is v equal to 12?
False
Suppose -w + 4 = w. Let v(l) = l**2 - l**3 - l - 7*l**w + 9*l + 10. Let k be v(-7). Is k bigger than -1?
True
Suppose 2*y - z + 2*z + 2 = 0, -y - 2*z = 4. Let a be (3/(-15))/(4/10). Which is smaller: y or a?
a
Suppose q - 36 = -2*q. Let g = 4 - q. Is -1 less than g?
False
Suppose 6*m - 36 = 4*m. Suppose -2*a = 4*i - m, -a + 3*a - 4*i = -14. Let x be a/((-1)/(2/11)). Is 0 < x?
False
Let c = -2/19 - -35/152. Which is smaller: -1 or c?
-1
Suppose n + 3*d = -6, 4*d = 4*n + 16 + 8. Let b be (-2)/n + 6/9. Which is smaller: b or 2?
b
Let j(k) = 2*k + 1 + 8 + k**2 + 0*k. Let m(c) = -2*c**2 - 5*c - 17. Let t(y) = 5*j(y) + 3*m(y). Let n be t(-4). Do 2 and n have the same value?
False
Let w = 2 - 9. Let k = 391 + -397. Which is greater: k or w?
k
Let g = 88/3 - 1141/39. Which is greater: g or 1?
1
Suppose 2 + 6 = 2*x, -p = 5*x - 22. Suppose -u - 2 = 0, 2*k - 3*u + p*u - 4 = 0. Which is bigger: 2 or k?
2
Let c be (2/(-3))/((-12)/(-18)). Let 