pose -3*f - 17 = 2*t - 4*t, -4*f - 12 = 0. Suppose -3*y - 1 = -t*y - 4*s, -4*s = 0. Is 4 greater than y?
True
Let r = 9 - 5. Let m be (2/r)/((-10)/(-4)). Is -1 > m?
False
Suppose 24*l + 633 = -783. Is -57 bigger than l?
True
Let w be 1 + -2*(-3)/(-6). Let y be 7 + -7 - (0 - w). Do y and 1 have the same value?
False
Suppose 4*a - f = 8, -21 = -2*a - 3*a + 4*f. Is a smaller than 27?
True
Suppose 72 = -z + 3*z. Let c be 1/(-2) + z/34. Let u = 14/51 + c. Which is smaller: u or 2?
u
Let r(o) = -o**3 + 15*o**2 - 15*o - 16. Let t be r(14). Which is greater: -29 or t?
-29
Let o = 21 - 19. Let l be 3*(8/(-3))/(-2). Let u be (0 + 1)/(l/8). Are o and u nonequal?
False
Let i = 25 + -26. Let u = -37 + 221/6. Which is smaller: u or i?
i
Let b(c) = -c. Let f be b(-1). Suppose 0 = -t + 3. Is t > f?
True
Let a = 10 + -6. Let x(n) = -2*n + 10. Let i be x(5). Are a and i nonequal?
True
Let p = -60 + 538/9. Suppose -3*x - 9 + 21 = 0. Let t = -4 + x. Does p = t?
False
Let p be (-51166)/132 - (-12)/72. Let c = p - -388. Is 0 < c?
True
Let q be (10/(-3))/((-4)/12). Suppose -2*r = -3*v + 14, -5*v + q = -2*r - 8. Let b be ((-4)/(-6))/(2/3). Which is greater: v or b?
v
Let v be (52/10)/(2/5). Let f be (-6)/15 - v/(-20). Is 1 less than f?
False
Let j be (2*10)/(-13 + 0). Let z = j - -114/91. Are -2 and z nonequal?
True
Let t = 761/1285 + 2/257. Let o = 9 - 8.9. Is o not equal to t?
True
Let u be (-4)/(-12) + (2 - (-16)/(-6)). Let d(b) = -b**2 + 2*b. Let t be d(2). Which is greater: t or u?
t
Let h = -18.1 - -18. Let d = -1.02 - -1. Let z = d + -0.28. Is h smaller than z?
False
Suppose 0 = 4*y + 2 - 42. Is y greater than or equal to 9?
True
Let p(l) = 2*l**2 + 21*l - 54. Let x be p(-13). Are 8 and x non-equal?
True
Let u be 2241/15 + (-15)/(-25). Let h = u + -458/3. Which is bigger: -2 or h?
-2
Let q be (((-2)/(-10))/1)/1. Suppose 3*g = -g - 2*h - 8, 20 = -g - 5*h. Let x be 0/((g - -2) + -3). Is x at least as big as q?
False
Let u be 226/8*16/(-12). Let w = u - -37. Which is smaller: w or -0.1?
w
Let u be -2 + (-1 - -3) + -6. Let o be 10/u*(-4)/10. Which is bigger: o or 1?
1
Suppose z = -4*z + 15. Is 2 >= z?
False
Let v = -0.07 - 0.02. Let c = 0.01 - v. Does -3/4 = c?
False
Let j = 1279/7 + -183. Which is greater: j or -134?
j
Let f be (4/10)/(3/15). Suppose 0 = -3*m - 5*n, -3*m + n - 23 = m. Let p = 8 + m. Is f smaller than p?
True
Let g(m) = m**3 + m + 2. Suppose 0 = 3*z - 0*z. Let u be g(z). Suppose l = u*l. Which is smaller: l or 2/15?
l
Let y = -13 + 12. Which is smaller: 5/6 or y?
y
Let f = 34 - 103/3. Let i(q) = -6*q**2 - q**3 - 4*q + 1 - 4 - 2*q - 1. Let u be i(-5). Which is smaller: u or f?
f
Suppose -13 = -9*c + 32. Let u(j) = -j**2 - 8*j + 1. Let w be u(-8). Suppose 6 = k + w. Does c = k?
True
Let r = 5.981 + -0.081. Let d = 6 - r. Are d and 0.1 nonequal?
False
Let f = -12 - -11.99. Is -0.2 less than or equal to f?
True
Let r(h) = -h + 1. Let v(l) = 2*l - 9. Let k(n) = -3*r(n) - v(n). Let x be k(-7). Which is bigger: x or -2/67?
-2/67
Let w = 142 - 124. Is w <= 18?
True
Suppose -x + 42 = 3*p, 4*p = 5*x - x - 200. Suppose c = -2*c - x. Which is smaller: c or -15?
c
Let a be (-1)/((6/(-278))/(-3)). Let p = a - -92. Let n = p + 140/3. Do n and 0.2 have the same value?
False
Let q be 2/(-12) - (-4)/(-8). Is q less than or equal to -2?
False
Suppose 0 = 8*r - 3*r - 5. Let n = r - -1. Let k(a) = -a**2 - 3*a - 1. Let p be k(-1). Which is smaller: n or p?
p
Suppose 2*j - 3*m + 2*m = -19, j + 5*m = -4. Let u be (j - -4)*2/5. Let s be 4/(-10)*(-2 - -7). Is s bigger than u?
False
Let p = 0 + -0.6. Let h = -0.8 - p. Let v = -0.8 + h. Is v at most as big as 3?
True
Let c(o) = -o**2 - 4*o. Let t be c(-4). Let h be (-2)/(-10) - (248/(-220))/(-2). Which is bigger: t or h?
t
Let p be (-552)/21 + (-4)/(-14). Is p smaller than 1?
True
Suppose -3*y + 4*j = 24, -4*y - j - 3 = 10. Let t = 5 + y. Let f be 12/7 + t*-2. Which is bigger: f or -1/5?
-1/5
Let o(v) = -v - 6. Let j be o(-6). Which is bigger: j or -1?
j
Let v = 151 - 151.4. Which is greater: v or -0.1?
-0.1
Let k = -1/2 + 1/6. Let u = 0.06 + 0. Let a = 2.06 - u. Which is greater: k or a?
a
Let o = -4 - 2. Let y(s) be the third derivative of s**5/60 + 7*s**4/24 - s**3/3 + s**2. Let m be y(o). Which is smaller: -7 or m?
m
Suppose 2*p + 198 = 5*p. Suppose 2*z + 26 = -3*u, -3*z + u - p = z. Which is smaller: z or -17?
-17
Let a = 31 + -44. Which is bigger: -47/4 or a?
-47/4
Let s be (-4 - -6)/(-2) + (0 - -1). Which is greater: s or 1?
1
Let p = -8 + 18. Suppose -13 = 2*g + 5*y, 3*y - p = 3*g + y. Are -4 and g nonequal?
False
Let f = -57191879/378420 - -1/126140. Let t be (-453)/6*(-1 + 3). Let r = t - f. Do 0 and r have the same value?
False
Suppose -3*z + 144 = -7*z. Which is smaller: -35 or z?
z
Let o be (0 - 0) + (-6)/(-10). Which is smaller: o or 1?
o
Let t be 6/18 - 28/(-6). Let l = -4 + t. Which is smaller: 2 or l?
l
Let m = 6 + -1. Is 4 bigger than m?
False
Suppose -y = -4*y + 12. Suppose 0 = 5*f + 5, f + y = -3*b + 6. Is 2 > b?
True
Suppose -8*a + 2*a = -6. Which is smaller: a or -3/8?
-3/8
Let o = 7 + -10. Let u be o/(-3) - 1*2. Let m(z) = -z**3 - 6*z**2 + 7*z - 2. Let r be m(-7). Which is smaller: r or u?
r
Let n = 8 - 5. Let h = 18/217 + 86/31. Which is smaller: h or n?
h
Let c be (27/(-6))/3*-2. Let f(y) = y**3 - y**2 - y - 3. Let l be f(c). Is l not equal to 12?
False
Let f = 6 - 5. Let v = 5 + -8. Which is smaller: v or f?
v
Let h be -1*1*(11 + -24). Is 1 at least h?
False
Let s(w) = 1 - 4 + 1 - w. Let v be s(0). Let z be (-9)/(-6)*v/(-3). Which is greater: z or 0?
z
Let k = -59 + 50. Which is smaller: k or -11?
-11
Let m(n) = 2*n**2 - 2*n - 1. Let c be m(2). Is c at least 3?
True
Suppose -o + 7 = -15. Suppose 3 = 2*c + 4*k + 29, -3*k - o = 2*c. Is c less than -5?
False
Suppose -f + 12 = 6. Which is greater: f or 0.1?
f
Suppose 0 = -4*k - 2*r + 42, -3*k - 3*r + 37 = -2. Let i = k + -5. Let w = -35/3 + 12. Is w less than or equal to i?
True
Let n = 2.9 + -0.9. Is -1/2 smaller than n?
True
Let i = -49 - -51. Which is bigger: 9/16 or i?
i
Let m be ((-1)/(-2))/((-2)/(-20)). Is 0 at most as big as m?
True
Let c be (104/(-84)*3 - -2) + 2. Which is greater: -1/8 or c?
c
Suppose 0 = 2*o + 3*g - 13 + 2, -3*o = 2*g - 4. Let n be 2 - 2 - (1 - 0). Let c = n - o. Is 1/7 at least c?
False
Suppose -p - 4*f + 10 = -4*p, -3*f = 5*p - 22. Suppose 3*j = 2*j - p. Suppose 0 = c - 1, t = -4*c - 1 + 2. Is t < j?
True
Let s = 24 + -23. Is -9 bigger than s?
False
Let p = -0.05 + -0.55. Let o = 0.6 + p. Is -1/4 less than or equal to o?
True
Let i = -5/3 + 1/6. Let d(x) = -x**3 - 5*x**2 - 3. Let a be (0/2 - -1)*-5. Let q be d(a). Which is smaller: q or i?
q
Let f = -7.1 + -1.9. Let g = -4 - f. Let k = -268 - -269. Is g greater than k?
True
Let x = 4 + -3. Let m be x*(1 + -2 - 2). Suppose 3*u + 21 = -3*s, s + 1 = -4. Which is bigger: m or u?
u
Suppose 0 = 2*q + 8 + 2. Let j = -3 - q. Let u = 1.02 + -0.02. Which is smaller: j or u?
u
Let o be 2/9 - 106/(-9). Let u be 1/o - 4/12. Let n be (-1 + 2)*(10 - 11). Which is smaller: n or u?
n
Let j = 0 - 0.2. Let s = -0.2 - -0.3. Which is greater: s or j?
s
Let x = -381/5 - -13721/180. Does 0 = x?
False
Let f be (124/48)/((-2)/8). Let m = 95/9 + f. Let s = -1.3 - -0.3. Which is bigger: m or s?
m
Let g = 0.67 + 0.13. Let v = -0.3 + -0.9. Let c = v - g. Which is smaller: c or 2?
c
Suppose 0 = -t + 2*t + 4, 10 = -5*a - 5*t. Let z(w) = -w**2 - 3*w + 4. Let s be z(-4). Suppose 0 = -s*j - j. Which is greater: j or a?
a
Let c be (-24)/18*(-21)/(-6). Is 0.03 > c?
True
Let k be (-9)/54 - 14/(-12). Is 12/5 > k?
True
Let a = -146 + 135.7. Let z = -11 - a. Let r = -0.6 - z. Which is bigger: 1 or r?
1
Suppose t - 6*t = 0. Suppose -l - 2 + 1 = t. Let o = 1 + l. Which is smaller: 2/15 or o?
o
Let x(v) = -v**2 + 5*v - 3. Let h be x(5). Let p be 4/h - (-1)/3. Which is greater: 2/9 or p?
2/9
Suppose 4*k + c = -48, 4*c = -5*k - 56 + 7. Let h = -12 - k. Is h != -2/7?
True
Suppose 20 = 2*b - 5*r - 0*r, -4*r - 16 = -4*b. Which is bigger: 2/33 or b?
2/33
Let f = -8 - -11. Let h = 2 - f. Is 0 less than h?
False
Suppose -4*l = 3*w - 5, 3*w - 2 = -l + 6. Let a(z) = 5*z**2 + z. Let j be a(l). Is 4 not equal to j?
False
Let w = -0.07 - -1.67. Let b = -0.6 + w. Which is greater: b or -2/7?
b
Suppose -h + 4*o - 54 = 0, -3*o 