is bigger: t or 2?
t
Let y = -3 - -3. Suppose 4*l + 8 = j + 2*j, -4*j = y. Which is smaller: l or -1?
l
Let d be (-25 - -1)*130/6. Let s be d/(-56) - (-4)/(-14). Which is greater: s or 8?
s
Let t = -76 + 67. Let k be (-21)/2 + (-1)/(-2). Is t not equal to k?
True
Let s(f) = -f - 18. Let p be s(-17). Let v be -2*(2/4 - -1). Let a be 14/(-12)*v/21. Are p and a non-equal?
True
Suppose -5*o - 5*b = -10, 4 = 2*o - 3*b - 0*b. Suppose -2*q + 20 = o*p, -3*q + 2 + 14 = p. Does 5 = p?
False
Let t = -0.01 + -0.79. Let z = t + 0.8. Is z at least as big as 1?
False
Let j(g) = -g**2 - 1. Let w be j(-2). Is w at most -5?
True
Let x = 334/195 + -46/39. Which is bigger: x or 2?
2
Let z = -3/47 - -667/141. Which is smaller: 1/3 or z?
1/3
Suppose 0 = 4*v - v + 4*h - 11, 0 = 4*v + 4*h - 12. Which is greater: 1/50 or v?
v
Suppose 2*y - 2*b = 4*y + 8, -15 = 5*b. Let i(k) = -2*k**2 + 2*k - 1. Let u be i(1). Is y < u?
False
Suppose 2 = 7*q - 5. Which is smaller: q or 2/817?
2/817
Let t = 0.027 - 3.067. Let p = t + 0.04. Let l = p - -4. Is 0 smaller than l?
True
Let h = 3/7 + 1/14. Let d be ((-9)/3)/(-21)*-1. Which is smaller: d or h?
d
Suppose 3*i - 3*v + 0*v + 3 = 0, -2*i = -5*v + 14. Let h be (-2 - -14)*4/i. Let c be (-2)/5 + h/20. Is c >= 0.1?
True
Let v(f) = 3*f + 3. Let q be v(-2). Let b be (-14)/q + (-2)/3. Suppose b*y + 2*g + 6 = 0, 2*y - 5*g + 2 = 17. Which is greater: y or 2/3?
2/3
Let l = -8 - -12. Suppose 3*n = -3*c + 30, 0 = -c - 3*c + l*n. Which is bigger: 6 or c?
6
Suppose 7*s - 4*s - 33 = 0. Let v = s + -10. Is v smaller than 2/25?
False
Let g be (-2)/12 + (-3)/(-18). Suppose -u + 2*u - 1 = g. Which is bigger: -4/11 or u?
u
Let c = 8.74 + -0.74. Which is greater: c or 0.04?
c
Let x be 72/4*((-10)/4 - 0). Which is greater: x or -44?
-44
Let q = 0.81 + 0.09. Let z = 0.04 + -1.04. Let h = z + q. Is h <= -2?
False
Let v(j) = j**3 + 4*j**2 - 3*j - 9. Let p be v(-4). Which is smaller: 5/3 or p?
5/3
Suppose 5*l - 45 = -4*i, i - 25 = -i - 3*l. Suppose 0 = -b - 4*b - i. Is b >= -1?
True
Let c = -4 + 6. Suppose r + 3*r + 4*t = 20, 0 = -2*r + 5*t - 4. Suppose -c*h - r = h. Which is bigger: h or 1/20?
1/20
Let n = 147 + -171. Is n > -24?
False
Suppose -2*z = 5*k + 14 + 2, -5*z = 3*k + 78. Let r be z/63 + (-36)/(-77). Which is smaller: r or 1?
r
Let p(i) = 3*i**3 - i. Suppose -4*b - v + 2*v - 5 = 0, b - 3 = -4*v. Let l be p(b). Is l at most as big as 1?
True
Let o = -0.11 - -0.082. Let t = o - 8.172. Let i = t + 8. Which is smaller: i or -1/2?
-1/2
Let z = -32 + 33. Let b = 4 + 0. Which is bigger: z or b?
b
Let v(h) = 2*h - h + 0*h. Let p be v(1). Suppose 4*a + 5*i = 16 + p, -2*a + 11 = 5*i. Which is bigger: 1 or a?
a
Let u(l) = l**2 - l. Let c be u(0). Suppose -a - 7 = -c*a. Let i be ((-1)/(-1))/(a/2). Which is greater: i or -1?
i
Suppose -35 + 5 = -5*i. Let s be (-3)/(-2)*(-16)/(-6). Which is bigger: i or s?
i
Let l = -113 + 111. Is -0.1 != l?
True
Let n = -0.1 + 0.1. Let k be (-3*(2 - 3))/((-210)/20). Is k greater than or equal to n?
False
Suppose -39 = 3*d + 3*l, d = -4*d + l - 59. Let q be (-1)/(-3) + (-20)/d. Which is smaller: q or 3?
q
Let u(f) = -f - f**2 - 1 + f - 2*f. Let x be u(-1). Suppose y - 2*y - 1 = x. Which is bigger: -3/4 or y?
-3/4
Let u be 2/1*2/4. Are -2/47 and u equal?
False
Let q = -131.9 - -126. Let c = 6 + q. Which is smaller: 2 or c?
c
Suppose 12 + 6 = 18*v. Is -1/6 at most as big as v?
True
Let v(x) = -x + 9. Let p = -8 + 6. Let f be p*(75/(-6))/5. Let q be v(f). Is q smaller than 4?
False
Suppose -4*d + g = -38, 0 = 2*d - 3*g - 14 - 0. Suppose -7*z - 22 = -9*z. Are d and z non-equal?
True
Let z = -0.34 - 4.26. Let s = 5 + z. Is 1 > s?
True
Let d(n) = -2*n + 7. Let a(j) = j**3 - j**2 - 5*j + 3. Let g be a(3). Let p be d(g). Is p less than or equal to -4?
True
Let z = -3.95 - 0.05. Let m = 3 + z. Is m != -0.2?
True
Let x be 38/(-24) + 1/4. Is x at least as big as 0?
False
Let q(y) = -y**2 + 4*y + 1. Let m = -2 + 6. Let f be q(m). Let t = f - -4. Is 6 less than t?
False
Let x = -167/4 + 42. Let n(g) be the first derivative of g**4/4 - g**3 - g**2/2 + 3*g - 4. Let q be n(3). Which is smaller: x or q?
q
Let r be ((-3)/2)/(12/16). Which is smaller: 0 or r?
r
Let m = 0.7 - -0.3. Let a = 7 + -8. Let f = a + 3. Are m and f nonequal?
True
Let w = -1 - -1. Let s = w + 1. Is 1/4 at least s?
False
Let a be ((-1)/(-2) - 0)/((-9)/(-18)). Is a less than or equal to -1/18?
False
Suppose -b = -0*b - 2. Suppose 3*s = -i + b*s + 1, i - 11 = s. Suppose 0 = -4*p - 2 - i. Which is greater: 0 or p?
0
Let n(d) be the third derivative of -d**6/40 + 3*d**2. Let x be n(1). Let k be (-1 - 0)/(4/6). Which is smaller: k or x?
x
Let l = -27 - -27. Which is greater: -7/5 or l?
l
Let l(b) = b**3 - 3*b**2 - b + 1. Let k be l(3). Let j be (k/6)/(4/(-12)). Let a be j/((-5 - -2)*-1). Is a smaller than 0?
False
Suppose h = 3*h - 6. Suppose 7*t - h = 4*t. Which is smaller: t or 2/7?
2/7
Let u = 30 + -31. Is 1/5 at least as big as u?
True
Let x = 520 - 11962/23. Is 0 at least x?
True
Let h(s) = -s**2 - s + 2. Suppose 2*w = -3*a - 6, w + 8 = -4*a + 4*w. Let o be h(a). Is o greater than or equal to 0?
True
Let v be (-14 - -16) + 18/(-4). Is -2 at most v?
False
Suppose -2*p - 34 = -0*y + 3*y, 46 = -4*y - 2*p. Is y less than or equal to -13?
False
Let w be (148/(-14))/((-534)/15). Let r = -1/89 + w. Suppose 0 = 2*l - 5*h + 27, 0 = -5*h + 4*h + 5. Which is smaller: r or l?
l
Let u(g) = 1 - 2*g - 1 - g**2 - 2. Let c be u(-3). Let b be 15/12*(-7 - -3). Is c < b?
False
Let g(t) = -t**3 + 6*t**2 - 4*t + 3. Let q be g(5). Let z be (6/(-8))/(2/q). Let a = -5 - -4. Is a less than or equal to z?
False
Let j = -6/13 + -1/26. Let b(n) = n**2 + 3*n + 3. Let d be b(-5). Suppose -3*v = 5*m - 5, -3*m - m - d = -v. Are m and j non-equal?
True
Let d = -297.2 + 297. Suppose 2*j = -4*p + 20, 24 = 2*j + 2*p + 3*p. Let c be -2*j*(-1)/16. Is c at most d?
False
Suppose -4*g = 4*j - 31 - 13, -4*j + 39 = 3*g. Let n = j - 6. Are 1/3 and n non-equal?
True
Let a be (-41)/(5 + 55/(-10)). Is -0.1 > a?
False
Let k = 1/97 + -199/485. Suppose 2*z + 1 = 17. Suppose 18 + z = 3*d - 4*o, d - 22 = 4*o. Which is bigger: k or d?
d
Let i = 4 + 0. Suppose 2 - i = s. Is -3 equal to s?
False
Suppose w + w + a + 6 = 0, 3*w - 3*a = 0. Is w < -3?
False
Let r be (-42)/(-11) - 2/(-11). Suppose 0 = w + 2*m + 6, m - 6*m - 41 = -r*w. Suppose -t = -w*t. Which is greater: t or -1/4?
t
Let p be (-9)/6*8/(-3). Suppose 3*s - 3 - 3 = -3*h, 0 = 4*h + 5*s - 5. Let f = p - h. Which is greater: f or -1/2?
-1/2
Let g(l) = l**3 - 12*l**2 + l - 13. Let i be g(12). Let o be 0*(-1)/(-4) + 5. Is i <= o?
True
Suppose 0 = -0*f + 2*f - 12. Let w = -3 + f. Suppose -5 = w*z + 4. Which is smaller: z or -2?
z
Let f be (((-10)/(-4))/(-5))/(10/(-2560)). Does f = 129?
False
Let w be (-24)/(-112) - 2/4. Let h = -0.1 + -0.3. Is h <= w?
True
Let u = 29/35 - 2/5. Which is greater: -1 or u?
u
Suppose 0*a - 1 = a. Let v be (-2)/(-3) - (a + 2). Let l be 4/(-6)*6/10. Is l equal to v?
False
Suppose 4*j + 3*h - 48 = 0, -h = -3*j + 6*j - 41. Let n = 9 - j. Let b be (5 - 1)*n/16. Is b greater than -3?
True
Let d(w) = w + 3. Let k be 2 + -2*1 + 0. Let i be d(k). Suppose m + 1 = i. Is 3 equal to m?
False
Let h be 1/((18/5)/(-3)). Which is bigger: h or -2?
h
Let z(o) = -o**2 - 4. Let m(k) = k**2 + 5. Let n(y) = -3*m(y) - 4*z(y). Let i be n(3). Suppose 5*d - i = 2*c - 3*c, 2*c = 0. Are 6 and d unequal?
True
Let c = -1 - -1.34. Let t = -0.04 + c. Which is greater: t or -1/3?
t
Let r be (-117)/60 - (-2)/10. Let s = 0.01 + 0.09. Which is bigger: r or s?
s
Let z = 6 + -4. Suppose k + 4 = 2*k - 4*v, 0 = -z*k - v - 1. Which is smaller: k or 2/13?
k
Let x = 113.88 + -114. Which is smaller: 5 or x?
x
Suppose -g + 15 + 7 = 0. Let a be 1/(g/10 + -2). Suppose f = -a*v - 8, -5*f + 3*v = v + 13. Is f at least -3?
True
Let r = 40 + -34. Which is greater: 1/4 or r?
r
Let i(n) = 4*n + 1. Let h be i(6). Let c be ((-1)/(-3))/(h/(-15)). Suppose o + 4 = 3*r - 2*r, -o + 11 = 4*r. Which is greater: c or o?
c
Let q = -12 - -30. Is q >= 19?
False
Let a = 0.048 - 16.048. Let o be -2 + 2 - 4/14. Which is smaller: o or a?
a
Suppose d - 2*d - 18 = 0. Let l be (-4)/(-18) - (-4)/d. Is -1/4 at most l?
True
Let s = 21 + -15. Suppose -s*j = -3*j. Let q(r) = -r - 6. Let m be q(-7). Which is greater: j 