Suppose -4*f + t = 9, -2*f + 2*t = -2*t + 8. Let z be (f/24)/(18/24). Do z and 0 have the same value?
False
Suppose -3*q + 3 = 3*u, -u + q = 3*q + 1. Are -9 and u equal?
False
Let i = 10 + -16. Let u = 15 + i. Suppose -4*n + 25 = -u*n. Is -4 greater than or equal to n?
True
Suppose -z = -3*z - 3*z. Which is smaller: z or -10?
-10
Let v = 21 + -20. Which is smaller: v or -6/29?
-6/29
Suppose -2*g + 1 = 21. Is g bigger than -10?
False
Let u = -84 - -79. Let c(h) = h + 7 - h + 2*h. Let l be c(u). Is l less than -1?
True
Let l = 0 + 0.4. Which is greater: -2/3 or l?
l
Let b = -418/19345 - -1/365. Which is smaller: b or 0?
b
Let f(a) = -a - 2. Let t be f(0). Suppose -2*c + 4 = s, -3*s + 3*c = 12 + 3. Is t at most s?
True
Let t = -3978108 - -2191938446/551. Let p = t - 33/19. Which is bigger: -1 or p?
p
Let h(y) = -y**3 + y**2 + 2*y. Let w be h(0). Do w and -1/8 have different values?
True
Let z be (-2)/12 + 2/6. Let m = 6 - 3. Suppose d = -3*d - 3*b - 15, -m*d = b + 5. Is d at least as big as z?
False
Let g = -3 + 2.9. Let l = 0 + g. Is l less than 0.5?
True
Let w be 1/(-3) + (-212)/(-6). Let c be 1/(-5) - (-28)/w. Is c greater than 2?
False
Let j = -25 - -99/4. Which is greater: 0.1 or j?
0.1
Suppose 0 = -3*q + 4 + 8. Suppose s + 2 = q*p - 3, -p + 4*s = 10. Suppose 6 = 5*k + p*u - 6*u, -2*k + 12 = -4*u. Which is smaller: -3 or k?
-3
Suppose 0 = 5*m - 5*x + 35, 3*x - 2*x - 51 = 5*m. Let n(u) = -2*u**2. Let f be n(2). Let d = m - f. Which is smaller: -2 or d?
d
Let t(s) = s**3 - 7*s**2 + 9. Let w be t(7). Let h be 62/8 + 4/16. Which is smaller: w or h?
h
Let i = -862/35 - -164/7. Which is smaller: i or -2?
-2
Let o be 4/(-9)*(-3)/8. Let x = 6 + -7. Which is smaller: x or o?
x
Let z(k) = -k - 3. Let v(j) = -j**3 + 15*j**2 - j + 9. Let x be v(15). Let m be z(x). Do 4 and m have different values?
True
Let t = -0.1 + -0.12. Which is smaller: t or -0.1?
t
Suppose 2*n + 15 = 17. Are 6/23 and n nonequal?
True
Let w(j) = -61*j**3 - 2*j**2 - j. Let g be w(-1). Let q = -241/4 + g. Which is bigger: q or 3?
3
Suppose 5*v + 130 - 5 = 0. Let x = 35 + v. Is 9 at least x?
False
Let y = 3 + -3. Let o = 0.2 + y. Let u = o + -0.3. Which is greater: u or -1/3?
u
Let t = -17 + 11. Let w = -9 - t. Is -4 bigger than w?
False
Let m = -2.59 - -0.49. Is -0.2 greater than m?
True
Let w = -7263/7 - -1035. Which is bigger: w or -3?
w
Let g be 8/(-20) + 4789/210. Let l = 65/6 - g. Let x = -11 - l. Is x at least 1?
False
Let v = -9 - -4. Let h = v - -10. Suppose 0 = h*d - 2*d + 24. Which is smaller: d or -7?
d
Let r = -3.9477 + 0.0177. Let h = -0.07 + r. Let m = h - -3. Which is greater: 0.2 or m?
0.2
Let d be (3/(-18))/(0 - -1). Suppose -9*u + 10*u = -1. Are d and u non-equal?
True
Let g = -11 - -5. Let j = 5.7 + g. Is j at most as big as -1/5?
True
Suppose 0 = -2*f - 18 + 6. Let u(b) = 2*b + 9. Let m be u(f). Let h = -2 - 0. Are m and h equal?
False
Suppose 0 = 3*x - 1 + 7. Let r = x + 20. Let s be -9 + 6 + 50/r. Which is greater: s or 1?
1
Let s be (-26)/(-28) + (-1)/2. Suppose 11*t = 28 - 6. Which is smaller: s or t?
s
Let q = 25/6 + -113/30. Let d = 0 - -2. Is q not equal to d?
True
Let x = -0.078 + -0.942. Let c = x - -0.02. Let t = c - 0. Which is smaller: t or 0.1?
t
Let c = -1.87 + 0.87. Which is smaller: 48 or c?
c
Let q be -2 - (2 + 2 + -6). Let m = 13 - 12. Does q = m?
False
Let g = -10 - -6. Let s = -5/42 - 3/14. Which is bigger: g or s?
s
Suppose -f - 11 + 12 = 0. Let j be (-1 - 1)/(2/(-3)). Suppose -f = n + 5*o - 7, -4*n + j = -o. Are 2 and n nonequal?
True
Let o = -214950/38687 + -17379352277/531559380. Let v = o - -4/3435. Let c = v + 38. Are 1 and c nonequal?
True
Let j(b) = b**3 - 3*b**2 - 12*b + 8. Let t be j(5). Which is smaller: 0 or t?
t
Suppose 0 = 3*m - 5*b + 13, 0 = -7*m + 2*m - b - 59. Is -11 smaller than m?
False
Suppose m + 3 - 5 = 0. Suppose 6*b - m*b = 4. Is b at least as big as 1?
True
Let y be (6/12*-2)/(0 - 1). Let h = 5 + -8. Let d be (h + 1)/((-2)/1). Is y smaller than d?
False
Let q be 12/58*-1*1/3. Are 0 and q unequal?
True
Let i(c) = c + 6. Let z be i(-8). Let s be -17 - z/(-2) - -2. Let h be s/(-7) + (-8)/28. Is 5/3 not equal to h?
True
Let m be (-6)/9 + 78/9. Suppose -28 = m*s - 3*s - 4*n, n = -3*s - 10. Is s greater than -4?
False
Let c = -5 - -5.4. Let s = -2 - -2.3. Let z = c - s. Which is smaller: -3 or z?
-3
Let z = 257 - 1033/4. Let r = 0.22 - 0.12. Is z less than or equal to r?
True
Suppose 0 = -12*k + 9*k + 9. Suppose -6*d + 3 = -k*d - 2*t, d + 4*t = 1. Is 2/15 at most d?
True
Let t = -2 - -3. Let b = -1.25 - -1. Let a = 0.05 + b. Is t less than a?
False
Let k = -4 + 4.1. Let l = -22.1 - -23. Let o = k + l. Which is greater: o or -2?
o
Let c(v) = v - 5. Let t be c(5). Are t and 4/5 nonequal?
True
Let c = -2.893 + 0.093. Is -2 at most c?
False
Let n = -24 - -35. Is n at least as big as -1?
True
Let o be (-1)/4 - 2/(-4). Suppose -11 = -4*b + b + 5*c, 4*b + c - 7 = 0. Let u be (-2 + b)*(-1)/(-2). Is o at least as big as u?
True
Let z(h) = h**3 - 8*h**2 + 8*h - 4. Let o be z(5). Is -39 at most o?
True
Let v be 0 - 1*1/(-4). Let f = 477.2 - 477. Is v less than or equal to f?
False
Suppose 0 = -0*c + 5*c + 10, 26 = -5*s + 2*c. Let b be (-12)/8*(-4)/s. Which is greater: 2/5 or b?
2/5
Let f = -56 - -81. Let u be (4/10)/((-5)/f). Let l = u + 1. Which is smaller: 1/4 or l?
l
Suppose 4*x + 4*c + 8 = 0, 3*x + 10 = -2*x - 3*c. Let h be x/7 - (-1 - -1). Are h and 0 unequal?
True
Let f(z) = 4*z - 1. Let m be f(1). Suppose -4*x + 3*t = 2*t - 2, -4*t = -m*x + 8. Let j be (-33)/12 + x - -2. Is j less than 0?
True
Let g = -0.056 - 0.144. Which is bigger: -2/75 or g?
-2/75
Suppose -2*l + 3*d = 28, -d + 22 = -4*l - 14. Is -9 > l?
False
Let u(k) = k + 4. Let a be u(-4). Let s be (-27)/(-6)*4/(-3). Let o be 4/s*9/(-33). Is o > a?
True
Let c = 61/4 - 15. Is c at least as big as -1.2?
True
Let b(z) = -z - 1. Let i be b(-1). Suppose -3*n + 12 = -i*n, -2*j + 3*n = 20. Which is bigger: -2 or j?
-2
Suppose 3*p + 3*w = -3, 0*w + 3*w = 3*p + 3. Which is greater: 0 or p?
0
Let w = -78 - -112. Is 34 bigger than w?
False
Let c = -0.018 + -1.282. Which is smaller: -1 or c?
c
Let q be (-6)/(-4)*20/45. Which is smaller: -0.1 or q?
-0.1
Let z = -4/21 - -134/483. Let p(o) = o**3 - 5*o**2 + 1. Let u be p(5). Are u and z nonequal?
True
Let y = -7 + 12. Suppose -y*a = 5*j + 20, 1 = -3*a + 5*j + 13. Which is smaller: -2 or a?
-2
Let s = -61 - -37. Is s > -23?
False
Let d(j) be the second derivative of -7*j**5/20 - j**4/12 + j**3/3 - j**2/2 + 3*j. Let p be d(1). Is p at most as big as -6?
True
Let p(h) = -h**2 + 5*h - 6. Let g = 7 - 4. Let k be p(g). Which is smaller: k or 2/11?
k
Let m = 7 + -7. Suppose 4*q = 3*n - 39 + 15, m = -2*n + 3*q + 17. Suppose 11 + 9 = 5*s. Is n less than or equal to s?
True
Let a(v) = -v**2 + 7*v + 14. Let j be a(6). Let p be 0 + (1 - j/12). Which is greater: -5 or p?
p
Let u = 12 - -3. Let h = 14.8 - u. Is -0.05 less than or equal to h?
False
Suppose d + 26 = 5*n - d, d - 1 = -n. Suppose 3*b + 6 = n*b. Let l be (2 - 1)/(2/b). Is l less than 1?
False
Suppose 2*g - 5 = 3. Suppose g*f - 4 = 4*y, -3*f - f = 4*y + 4. Suppose 3*b - 3*q = 6, -b = -6*q + 2*q - 5. Which is smaller: b or f?
f
Let g = -167 + 4339/26. Is 1 <= g?
False
Let b = 8.4 - 8. Let y = 0.6 - b. Which is greater: 0 or y?
y
Let i = 40 + -25. Let c = i + -14. Is 1 bigger than c?
False
Let q = -2/345 - -712/3795. Suppose 3*v - 2 = 1. Is v > q?
True
Suppose 0 = -5*v + 3*m - 6 - 6, 0 = -v + 3*m - 12. Which is smaller: -2/9 or v?
-2/9
Let z = 2 + -3. Let s be (z - -3)*(-6)/(-180). Is s less than -1?
False
Let b = -2/9 + 13/18. Let u = 0.207 + -18.407. Let z = u - -18. Which is smaller: z or b?
z
Suppose h = -4*h. Suppose -2*o - 8 = -5*c, h = -o + 5*c - 4 - 5. Which is smaller: o or 0.05?
0.05
Let g = 6 - 4. Suppose -245 + 63 = -7*h. Let o be (-4)/h - (-72)/(-546). Is g < o?
False
Let o = -6 + 10. Let s(t) be the first derivative of -t**3/3 + 2*t**2 + t + 2. Let u be s(3). Are o and u nonequal?
False
Let s = -10 + 7. Let f be ((-6)/4)/(s/(-8)). Let d = -6 - -3. Which is smaller: d or f?
f
Let s = -4 - -10. Let r be 4/s*36/8. Let a be 0/((r*-1)/(-3)). Is 0 less than a?
False
Let c = -111/265 + 1/53. Let f = -32 - -52. Suppose f = 5*a, 2*q + 3*a = a + 8. Which is smaller: q or c?
c
Suppose