et x(m) = 2*m - 5. Let s be x(8). Let w be b(s). Is -1 at least as big as w?
True
Let y = 8 - 6. Suppose k - 3*u - 6 = 0, -u = -5*k - 2*u - y. Let q = 1 + k. Which is smaller: 0 or q?
0
Let m be (-52)/25 + -6 + 8. Let k = m + 39/175. Let u = -3 + 2. Which is smaller: k or u?
u
Let i = 41 + -1269/31. Which is smaller: 0 or i?
0
Let u(g) = g - 4. Let o(x) = 2*x - 3. Let k(b) = -3*o(b) + 2*u(b). Let w be k(1). Let l = -167/2 + 81. Is w at most as big as l?
True
Let x = -0.075 - -1.075. Is x bigger than 2/27?
True
Let o(p) = -3*p - 9. Let i be o(-4). Suppose 0 = i*m + 3, -11 - 35 = 3*f + 4*m. Are -13 and f non-equal?
True
Let f be 10/105*(-12)/68. Is -1 less than f?
True
Let p(v) = v**2 - 6*v + 5. Let b be p(5). Is b greater than -2/85?
True
Let h(o) = o**2 + 4*o + 3. Let a be h(-4). Let p be (-2)/(44/(-16) + a). Are -7 and p unequal?
True
Let a be 34/33 - 2/3. Let h = 213 - 214. Are a and h equal?
False
Suppose 1 = -4*b - 2*w + 29, -5*w = -2*b - 10. Suppose 5*d - 3*d - 4 = 0. Suppose -8 = 2*a - 3*s - s, -b*a - d = -s. Is a >= -1/5?
True
Suppose -5*l - 7 = -2. Let d be (148/3666)/((-15)/(-54)). Let m = d + 2/235. Do m and l have the same value?
False
Let a be (-35)/25 - (-2 - -1). Let q = 3 + -3. Which is bigger: a or q?
q
Let t(c) = 2*c - 6. Let n be t(4). Suppose 0 = -3*l - 5*z + 6*z - 1, 3 = -n*l + 3*z. Is l at least as big as -1/6?
True
Suppose 0*k - k = 0. Let n be 0 - k - -2 - 1. Let j be (3/24)/(n/2). Is 0 smaller than j?
True
Suppose -32 = -2*t - 12. Let a be 25/t*(-4)/(-45). Suppose 4 = -s - p, 0 = -3*p - p - 20. Which is smaller: s or a?
a
Suppose -y - 1 = -2*d + 5*d, 0 = -5*y - 3*d + 7. Suppose 5 + 5 = -2*f + 3*j, f + 6 = y*j. Which is smaller: -6/11 or f?
f
Let j = 6 - -35. Which is smaller: 42 or j?
j
Let w be (0 + (1 - 0))/1. Let i(j) = j. Let a be i(w). Let k = -267 - -6677/25. Is a equal to k?
False
Let j be 3 + (-60)/8 + 2. Let w(x) be the third derivative of x**5/60 - x**4/6 + 3*x**2. Let i be w(3). Is j at least i?
True
Let t = 0.1 - -0.7. Let h = -0.72 + t. Is h >= -1?
True
Let j be 21/(-6) + 3 + 2. Let l = 17/38 - -1/19. Does l = j?
False
Let j be (-3 + 3)/(-3) + 81. Let g = j - 327/4. Is g at most -1?
False
Let c(y) = -y**3 - 4*y**2 + 3*y + 2. Let h be c(-5). Suppose r = -r + h. Is r bigger than 6?
False
Let i be ((-2)/(-5))/(80/(-50)). Let u = 7 + -3. Is i <= u?
True
Let x be (2 - 4)*(-7)/(-14). Let k = -80 - -641/8. Is k >= x?
True
Let c = 1 - 1. Let m be -1*1/2*c. Let y = -0.3 + 4.3. Is y >= m?
True
Let k(c) = c**2 - 9*c + 4. Let z be k(8). Which is smaller: z or -5?
-5
Let i be 9/66*(-4)/3. Which is greater: i or 1?
1
Let k = 21 + -16. Suppose 4*y + k*s = -0*s - 26, -22 = 5*y + s. Is -1 != y?
True
Let b be (-1 - -2)/(2/6). Suppose b = -2*y + 3*y. Let p be y - 3*33/9. Do p and -9 have the same value?
False
Let g = -393 - -23581/60. Which is greater: g or 1?
1
Let v(c) = -c**3 - 7*c**2 + 9*c + 10. Let m be v(-8). Let h be (-1)/(-3) + m/3. Let o = 0 - -2. Which is smaller: o or h?
h
Let w be -25*(-2)/48 - 1. Let g(d) = d**3 - 5*d**2 - d + 4. Let u be g(5). Is w < u?
False
Suppose -5*k = -4*r + 35, -r - k + 1 + 1 = 0. Suppose r*m = 4*m. Which is bigger: -0.7 or m?
m
Let y = 0 + -1. Let m = y + 1.1. Let x(v) = 3*v**2. Let k be x(1). Is m >= k?
False
Let p = 3/80 + 61/2640. Let b = 6 - 5. Which is smaller: p or b?
p
Let y = -86/105 + 34/21. Which is smaller: 2 or y?
y
Let t = 3 + -4. Are t and -1/14 non-equal?
True
Let w(x) = x**2 - 2*x - 1. Let c be w(-1). Let p be 3/(6/(-1))*c. Let i be p + -3 + 0 + 0. Which is greater: i or -3?
-3
Let t = -6 + 10. Is t greater than 5?
False
Let l = -11 + -2. Which is smaller: l or -7?
l
Suppose 3*u + 2 = 2*i + 10, -5*u + 14 = -4*i. Let b be u/5 + (-16)/(-10). Which is smaller: b or 1/2?
1/2
Let n(a) = a**3 - 11*a**2 - 3*a + 2. Let o be n(11). Let w be (-1)/6 + o/(-6). Suppose 0 = 2*g - 3 - 5. Is w <= g?
False
Suppose 5*f = -2*k + 3*k - 617, -5*k - 236 = 2*f. Let o = f + 859/7. Which is bigger: -3 or o?
o
Let r be 0 + 0 - 0/(-5). Suppose r = -i - i. Suppose -3*b + 6*b = i. Which is smaller: 1 or b?
b
Let m be ((-4)/(-120)*-3)/((-1)/(-6)). Are -11/7 and m equal?
False
Suppose 24*l = 29*l + 5. Let d = -23 + 252/11. Is l < d?
True
Let a be (-384)/(-532) - 2/14. Which is smaller: 0 or a?
0
Let s = 93 - 93.12. Is 0.1 bigger than s?
True
Let r = 1/530 + -143/5565. Let c = r + -73/462. Is 0 > c?
True
Suppose 4*f - 3 = 5. Let m be 6/2 - (f - 0). Let q(h) = -h**2. Let a be q(m). Which is smaller: a or 1?
a
Suppose 0 = 3*t - 12 + 3. Is 3 < t?
False
Let p = 3.4 - 4. Let h = p + 0.6. Let y = h + -0.1. Which is smaller: y or 0.2?
y
Suppose 13*y - 10 = 8*y. Let b(m) = -m**3 - 6*m**2 - m - 8. Let a be b(-6). Let o be 4 - (0 - (a + 1)). Which is smaller: y or o?
y
Let s be (-57*3 - -1)*38/76. Is -85 less than s?
False
Let t(h) = h**3 + 5*h**2 + 4*h. Let b be t(-4). Suppose -3*c + 3 = -b*c. Which is bigger: 6/7 or c?
c
Let c be (-9)/(-6)*2/3. Suppose -23 = 5*i + 52. Let s be 10/4*(-1)/i. Is c at most s?
False
Let p(n) be the first derivative of -4*n**2 - 3*n - 3. Let v be p(-3). Let f be 12/(-8)*(-4)/v. Is f bigger than -1?
True
Let j = 13 + -9. Suppose j*f = -0*f - 8. Is f not equal to -7/6?
True
Let t be -3 - ((-268)/(-12) + 2/(-6)). Is -24 bigger than t?
True
Suppose 0*f - 11 = -3*y + f, -13 = -3*y + 2*f. Let l = y + 4. Let z = l - 5. Is 3/2 less than or equal to z?
True
Let l be 0/(-3) + 1 - 1. Is 0 smaller than l?
False
Let d = 1.7 - 2. Are 1/2 and d non-equal?
True
Let i = 90/17 + -7256/1377. Let d = -7 - -6. Which is smaller: d or i?
d
Suppose 5*a + 3 = -2. Which is greater: 0 or a?
0
Let d = -22 + 34. Let t = -20 + d. Let g = t - -8. Which is smaller: g or 2/3?
g
Let o(j) = j**2 + 6*j - 2. Let s be (-10)/(1 + -2 - -3). Let t be o(s). Let k(f) = f**3 + 8*f**2 + 6*f - 5. Let d be k(t). Which is greater: 3 or d?
3
Suppose -2*m - 4*m - 204 = 0. Is m equal to -34?
True
Let p(s) = -3*s - 4. Let t be p(-3). Suppose x = -5*r + 10 + 8, -30 = -5*r + t*x. Suppose -2*q - 2*q - 14 = -5*v, -2*v + r = 0. Is -1/5 < q?
False
Suppose -26*r + 23*r - 6 = 0. Let a = 470 - 5176/11. Which is smaller: r or a?
r
Let t be ((-39)/10 + 4)*2/31. Is 0 bigger than t?
False
Let w be 1/((4 - 0) + -3). Suppose 2 = -4*i - 3*p + w, 0 = 4*i - 3*p + 7. Let n be 19/(-21) + 2/6. Is n != i?
True
Suppose -4*f = 3*l - 5*l + 30, -f = 2*l - 20. Is l < 10?
False
Let q(d) = -d**3 - 5*d**2 + 3*d - 11. Let a be q(-6). Is a at least 8?
False
Let v be (-1)/(-4 + (-45)/(-12)). Do 4 and v have different values?
False
Suppose -5*m = -19 + 4. Suppose 34 = 3*y - 5*z - 2, 5*y + 2*z - 91 = 0. Suppose 2*o + y = 3*o - 4*a, -4*o = 2*a + 4. Which is smaller: m or o?
o
Suppose -a - 12 = 3*a - 2*r, -2 = -2*a - r. Suppose 6 = -5*n - 19. Let f = -7 - n. Which is greater: a or f?
a
Suppose -4*f = 5*d + 36, f + d + 8 = -0*d. Let a = f + -2. Does -5 = a?
False
Let u be (-6)/(-9)*(-3)/2. Which is greater: 2/53 or u?
2/53
Let b be 457*(1/1)/7. Let x = -65 + b. Suppose w + 2*w = 6. Do w and x have the same value?
False
Let b be (-3)/(-2)*14/21*3. Which is smaller: 5 or b?
b
Let c = -6 + 5. Is c < 0?
True
Let a = 33 + -12. Are a and 22 equal?
False
Let l be (-4)/8 - 9/(-6). Let a be 15/18 - (0 + l). Which is bigger: a or 0?
0
Suppose -3*a + 2 = -4*j - 4, -2*j - 8 = -4*a. Suppose -2*s + a = 16. Which is bigger: s or -6?
-6
Suppose 5*o - 3*h = 636 + 59, -5*o + h + 705 = 0. Let i = o - 996/7. Are 1 and i equal?
False
Let s be ((-2)/(-8))/(-2 + 376/224). Is s smaller than -1?
False
Suppose -10 = 3*t - 4*w, 3*t - 2*w = -7*w - 1. Let n be t - 3*16/(-28). Which is smaller: 2/3 or n?
n
Let z = -2 - -7. Let b = 8 - z. Suppose 0 = b*x + 9, 5*n + 0*x + 1 = -2*x. Which is greater: 2 or n?
2
Suppose 7 = -2*v + 5. Let p = -2 - -3. Which is bigger: v or p?
p
Suppose 0 = 2*r - 10, 2*g - 5*r + 34 = -25. Let p = -28 - g. Which is smaller: p or -2/5?
p
Let y = 18 - 8. Let m = y + -18. Is -1 equal to m?
False
Let z = -28 - -27. Which is smaller: -35 or z?
-35
Suppose -4*z + 2 - 1 = -q, z = q + 1. Suppose -5*w + 4*o = -12, 2*w - 2*o - 4 = -z*w. Suppose -w*v + 2*v = 6. Are v and -3 unequal?
False
Let j = 148 + -73. Let n be (0 - 9/j)*-5. Which is smaller: n or 0.3?
0.3
Let m(d) = 2*d**3 + d - 3. Let a be (-17)/5 + 6/15. Let q be m(a). Let l be 2/(-8) - 51/q. Are l and 0 unequal?
True
Let k