-3)/5 - n/(-10). Is 10 at least a?
True
Suppose 8*c = 5 + 3. Let m = -127 + 119. Which is greater: m or c?
c
Let v(b) = b**3 + 15*b**2 - 69*b - 35. Let u be v(-20). Which is smaller: -654 or u?
u
Suppose 6*x = x + 2*a - 115, -x - 4*a = 1. Let k = x - -17. Do k and 2 have different values?
True
Let o = 10 + -6. Suppose o = 2*d - 0*d. Suppose 0 = d*k - 16. Is 2/5 bigger than k?
False
Let p = -4 + 7. Let i = 5133 + -5150. Are i and p equal?
False
Let x = 43.19 - 0.19. Let n = 39.1 - x. Which is smaller: n or 1?
n
Let w = -489 + 246. Let r = w - -33289/137. Which is smaller: 1 or r?
r
Let w = -230370727919/17470203037161 + 2/368593013. Let c = -1/183 - w. Which is smaller: 0 or c?
0
Let t = 0 - 2.8. Let l(j) = -15*j - 75. Let a be l(-5). Are a and t unequal?
True
Suppose 0*r = -2*r + 12. Let s(h) = h**3 - 2 - 3*h**2 + 3 + r*h**2 - 4*h**2 - 2*h. Let v be s(2). Which is smaller: 1/11 or v?
1/11
Let w(z) = z + 32. Let f be 3*(1 - 5/1*1). Let k be w(f). Which is bigger: k or 19?
k
Suppose 20*u = 24*u + 4. Let r be -1*u/(-33)*6. Is r smaller than 2/9?
True
Let a be -1 - (3 - (-56)/(-13)). Suppose 3*d - 2*h = -3, 3*d + 3 = -166*h + 165*h. Is a equal to d?
False
Let o = -5 + -61. Let h be -2 - 3/(o/20). Let x be 0/(-1)*2/(-2). Is x > h?
True
Let s = 2.852 + 0.048. Let u = -2.9 + s. Let n = 3 - 2. Which is smaller: n or u?
u
Let o(n) = 2*n - 9. Let w be o(8). Suppose w*g = 3*g. Suppose k - 5*p - 10 = g, 4*k + 10 = 5*k - p. Is k greater than or equal to 9?
True
Let s(b) = -b**3 + 3*b**2 - 4*b + 1. Let f be s(3). Let d = f + 11. Suppose d = -5*p - 2*x, -3*p - 5*x + 0*x = -19. Which is bigger: -4 or p?
p
Let h be (-108)/26 - (-10)/65. Which is smaller: h or -22?
-22
Let n be (-13599)/(-18360) - (-2)/(-6). Let y = 1/136 - n. Which is smaller: y or 11?
y
Suppose 2*a - 4*x - 26 = 0, -2*a - 10 = 3*a + 5*x. Let i be (a - 6) + 0 - -5. Let n be (i*-2)/(-2) - 1. Is n greater than or equal to -2/25?
True
Suppose 0 = 5*g - 3*d, 12*d - 13*d = -3*g. Which is smaller: g or 1/312?
g
Let x = -504 + 339. Let m = x + 142. Is -23 greater than or equal to m?
True
Let r = 65 + -326/5. Let y(n) = n + 4. Let i be y(-5). Which is bigger: r or i?
r
Suppose 0 = -5*z + 9 + 26. Let o(w) be the second derivative of -w**3/6 + 3*w**2/2 + 3*w. Let s be o(z). Which is smaller: s or -3?
s
Let l = 4 + 14. Let r be -3 + -46 + -3 + 18/3. Let v = r - -136/3. Which is greater: v or l?
l
Suppose 2*h + 9 = t, -5*h - 15 = -0*h - t. Let f(v) = v**3 + 4*v**2 + 2*v - 2. Let r be f(h). Let u be r/(-3)*9/6. Which is smaller: -1/10 or u?
u
Let d = -1231/61 + -206952/793. Suppose 0 = -2*v - 4*w - 578, 0*v + 1104 = -4*v + 5*w. Let y = d - v. Is y at most 1?
True
Let n = -737 + 3666/5. Which is smaller: -5 or n?
-5
Let r = 1.15 - 252.15. Which is bigger: r or -3/8?
-3/8
Let n = -6 - -64. Let f = n + -42. Do 17 and f have the same value?
False
Let n be 8 - (-11 + 1386/49). Which is smaller: n or 3?
n
Let m = -107 - -114. Suppose 0 = -m*b + 8*b + 1. Is b less than 1/36?
True
Let m = 2667 + -2649. Let r be (4*-1)/2 + 21. Which is smaller: m or r?
m
Let m = -168 - -167.8. Is -8 != m?
True
Suppose 2*v - 106 = 2*f - 0*f, 0 = 2*v - 4. Is -44 > f?
True
Let d = 105 + -103.98. Let v = 13.02 - d. Which is smaller: 2/5 or v?
2/5
Let w = 58006/1295 + -224/5. Which is smaller: -1 or w?
-1
Let y(v) = -v - 3. Let c be y(-6). Suppose 10 = -k + c*d, 0 = k - 3*d + 2*d + 2. Suppose -2*n - 12 = -0*w - k*w, -3*w + 18 = -4*n. Is w at most as big as 1?
False
Suppose 5*q - 25 = 80. Let v = 10 - q. Let z = v - 1. Which is bigger: z or -13?
z
Suppose 6*c = 3*c. Suppose -s + 3 - 1 = c. Let g be (-18)/(-12) - (s + -1). Which is greater: g or 0?
g
Let k be (-18)/(-108) + (-4)/(-273). Let y = 1/26 - k. Is -1/4 >= y?
False
Let y = -262 - -288. Let v be (-2 + 0 + 0)*-13. Let c = v - y. Are 1/2 and c equal?
False
Let n = 32.96 + 0.04. Let j = -33 + n. Is j >= -1?
True
Let x be (-65)/44 - (-18)/12. Let m = 157 + -156. Which is smaller: m or x?
x
Let a(k) = -k**2 - 5*k + 13. Let p be a(-6). Let b be ((-2)/21)/(p/(-21)). Let l = 83 + -86. Is b >= l?
True
Suppose 73*p - 15 = 70*p. Suppose -5*u + 361 = -p*l + 101, -3*l = -4*u + 208. Which is smaller: u or 51?
51
Let b = -7 - -6.63. Let f = b - -0.25. Which is greater: -0.2 or f?
f
Let d be 1251/(-249) - 25/(-5). Are d and 1 nonequal?
True
Let b = -78 - -83. Suppose 0 = -b*t - 77 + 27. Which is greater: -12 or t?
t
Let q = 3 + -2. Let l be (0 - q)/(5/30). Let b = -30 + 25. Does l = b?
False
Let p(l) = l**2 - 9*l - 2. Let s be p(9). Let x(k) be the first derivative of k**4/4 - 4*k**3/3 - k**2/2 + 3*k - 4. Let z be x(4). Is z >= s?
True
Let j(l) = -13*l + 70. Let m be j(7). Let f = -0.11 - -0.01. Which is smaller: m or f?
m
Let b = 4 - 0. Suppose b*f - 8*f - 5*q - 2 = 0, 5 = -f + q. Let i be -2*(f - (-15)/6). Which is bigger: 2/43 or i?
i
Let u = 17 + 64. Suppose -5*j - 19 = u. Let s be ((-24)/j)/((-6)/(-50)). Which is smaller: 11 or s?
s
Suppose -5*o - d = -22, 13 = 5*o - 3*d - 1. Suppose -3*a + 2*t = -1, -3*a - 2*a + 1 = -o*t. Let f be a/(5/((-10)/(-2))). Which is bigger: f or 8/11?
f
Let y = 377/8550 - 4/225. Suppose -10*g + 97 = 87. Do g and y have the same value?
False
Suppose -205*y - 21660 = -224*y. Is y at least 1141?
False
Let f be (66/(-165))/((-2)/(-40)). Which is smaller: 2.7 or f?
f
Let z(m) = m**3 - m**2 + 4. Let j be z(0). Suppose j*g = -0 - 36. Which is greater: g or 1/2?
1/2
Let t(y) = -21*y - 62. Let l be t(-7). Are 85 and l nonequal?
False
Let z = 3 - -1. Let r be (-34)/(-14) - (-10)/((-420)/18). Is z at most as big as r?
False
Let j(t) = -2*t + 6. Suppose -h + 28 = 3*h + d, -4*h + 3*d + 12 = 0. Let i be j(h). Let u = -14 - i. Which is greater: -9 or u?
u
Let j = -0.474 - -0.383. Which is smaller: -1 or j?
-1
Let u = 37/14 - 15/7. Let v = -98 - -683/7. Let i = v + u. Which is smaller: i or 0?
0
Let w be (-6)/(-4)*(11 - -7). Let f = w - 31. Let t be -1*1*f/(-8). Is -2/7 greater than or equal to t?
True
Let f = -5628 + 2684558/477. Which is smaller: f or 1?
f
Let k = -1.01 - -0.01. Which is smaller: 171 or k?
k
Suppose -1 = -4*y - 5*f, 3*y + 5*f + 8 = 3*f. Let s be y/9*(-12)/4. Is 1/2 at least s?
False
Let f = 4729/3 + -1575. Which is smaller: 127 or f?
f
Let d be (-1)/1 - 2 - -4. Let a be -1 + d*2/3. Let z = 49.8 + -50. Which is bigger: z or a?
z
Let m be 3*(-10)/25 + 1472/(-40). Which is smaller: -0.01 or m?
m
Let w = -107 - -74. Is 2/13 greater than or equal to w?
True
Let n be 2/(-4)*(-7)/((-28)/(-4)). Let q = -86 + 84.06. Let b = 0.06 - q. Is n smaller than b?
True
Let w(o) = o + 89. Let z be w(-6). Which is smaller: -2/5 or z?
-2/5
Let c = -117.814 + 0.314. Let t = 117 + c. Is t greater than or equal to 2?
False
Let x = 143 + -253. Does x = -112?
False
Let g = 234 - 245.05. Let w = 11 + g. Is 0 at most as big as w?
False
Suppose 0 = -2*s + 15*h - 10*h + 8, -8 = 4*s + 2*h. Which is greater: s or -22?
s
Let o = 169 + -170. Let v = -22/35 + 827/1260. Which is smaller: v or o?
o
Let q(b) = 51*b**3 + 3*b**2 + b - 3. Let z be q(1). Which is smaller: 54 or z?
z
Let p be (-92)/8 + 135/10. Let r be 49/4 + (-1)/4. Which is greater: r or p?
r
Let u = 0.013 + -31.013. Let c = -27 - u. Are 1/7 and c equal?
False
Let n = -744 - -744. Which is bigger: 889 or n?
889
Let v = 567.7 - 568. Let t = -4.96 - -5. Which is bigger: v or t?
t
Let f(g) = -13*g**2 - g - 2. Suppose 2*o + 12 = 4*q, 0 = q - o - o - 9. Let a be f(q). Is a at most -14?
True
Let u = 0.09 + 1.41. Let h = 29.95 + -30. Let k = h + 0.15. Which is greater: u or k?
u
Suppose 2*o + 0*r - 207 = -3*r, -2 = -2*r. Let t = o - 712/7. Let l be -4 + 1 + 9*(-3)/(-3). Which is bigger: t or l?
l
Let f be (-8)/72 - (1 + -2). Which is smaller: 6 or f?
f
Let j = 325712/124527 - 2/9579. Let b = j + -196/65. Which is greater: b or -0.2?
-0.2
Let i = -1548 - -1479.9. Let f = -69 - i. Are f and 2 nonequal?
True
Let t = 255 - 256. Is 4/21 at least t?
True
Let s be (-360)/(-25) + (-4)/10. Let w(l) = 4*l**2 - 5*l + 11. Let r(y) = 5*y**2 - 5*y + 12. Let x(n) = -5*r(n) + 6*w(n). Let j be x(-3). Is j bigger than s?
False
Let z(n) = -2*n - 13. Suppose -4*v - 48 = 4*b, -b = b - 2*v + 12. Let s be z(b). Suppose s*i + y = 2*y - 37, i = -5*y - 23. Which is bigger: i or -13/2?
-13/2
Let x = -2250/7 + 643451/2002. Do x and -1 have the same value?
False
Let 