= 21*s + t. Is s equal to -10/13?
False
Let q = -2/569 + 693/35278. Which is smaller: 0.1 or q?
q
Let l(p) = p**3 - p**2 - p - 6. Let q be l(0). Let b = q + 6. Suppose z = -5*g + 19, 5*z + 9 = -b*g + g. Is g equal to 4?
True
Let f(s) = -s + 4. Let w be f(5). Suppose -19 - 11 = 6*i. Let t be 1/(i/(-3) + -2). Is t greater than or equal to w?
False
Let k = -1875 - -2005. Which is bigger: k or 0?
k
Let t = 3 + -1. Let d(w) = -3*w**2 + 14*w - 12. Let s be d(4). Which is smaller: s or t?
s
Let u(l) be the third derivative of l**4/12 + 5*l**3/3 - l**2. Let i be u(-6). Which is bigger: i or 0?
0
Let u be (11/9 - (-16)/(-72))*-1. Which is smaller: u or -1/132?
u
Let a = -0.95 - -1.07. Let g = 6.88 - 7. Let x = a + g. Is -0.3 greater than x?
False
Let m = 20 + -79/4. Let d = 124 + -107. Which is smaller: m or d?
m
Let a = -338 + -280. Is 2/7 less than or equal to a?
False
Let f be 1/(5/4) + (-11)/(-55). Which is bigger: f or -5/97?
f
Let g be (-70)/(-286) - 6/39. Let h = 0.037 + 0.463. Is h greater than g?
True
Let k = -5 - -58. Let h = 49 - k. Are h and 0 unequal?
True
Let p = 0.8 - -0.6. Let v = p + 0.6. Are -2/5 and v equal?
False
Let z = 3/70 + -41/140. Let t = 0.09 - -0.05. Is z not equal to t?
True
Let x be (-8)/28 - (-192)/(-14). Let z be (-121)/(-7) + x/49. Which is smaller: 15 or z?
15
Let o = -262 - -267. Which is smaller: 44/9 or o?
44/9
Suppose -3*g - 65 = 4. Which is greater: g or -22?
-22
Let n(q) = 2*q**3 + q**2 + 2*q + 1. Let r be n(-1). Let i be -8*11/14 - r. Which is greater: i or -4?
-4
Let j(l) = l**3 - 8*l**2 + 16*l - 18. Let h be j(6). Suppose -23*t + h*t - 17 = 0. Suppose f - 3*f = 2. Is t > f?
False
Let d be 309/(-9) - 4/(-12) - -4. Let r be 4/(-4) + 2 + -32. Is d <= r?
False
Let b(j) = -4*j**3 - 2*j. Suppose -5*p - 28 + 5 = -y, 0 = -y + 3*p + 13. Let m be b(y). Let n = m - 29. Is n not equal to 2?
True
Let v be (-364)/(-760) + (-2)/5. Suppose -7 = 114*o - 121*o. Which is smaller: v or o?
v
Let a = 127 + -126. Which is smaller: a or 24/13?
a
Suppose 0*n = 5*n - 75. Let g(l) = l - 2. Let t be g(2). Suppose -3*a + 43 - 2 = b, 4*b + 16 = t. Are n and a equal?
True
Let a = 8 - 7. Let m be 69*a/21 - 3. Let s = -60.6 + 63. Is s greater than or equal to m?
True
Let b(o) = -o - 13. Let l be b(-16). Suppose -l*d - 102 + 237 = 0. Which is smaller: d or 0?
0
Let u = -136 + 212. Suppose 5*l - u = 4*s, 3*l + 0*s - 46 = 2*s. Suppose 17*c - l*c - 13 = 0. Which is smaller: c or 12?
12
Let o = -31.2 + 30. Let j = -11.9 + 13. Let f = j + o. Is f != -15?
True
Suppose 4*u - 2*i - 92 = 0, 0*u + 4*i + 69 = 3*u. Let l = u - 24. Let g be 3/111*l*2. Do -0.1 and g have the same value?
False
Let u = 6 - -2. Let p = u - -7. Let z = p + -24. Are -11 and z non-equal?
True
Let r be 5 - (-1 - 2)/1. Let m be (606/(-14))/(r/(-4)). Let y = m - 45/2. Which is smaller: 0 or y?
y
Let p = 0.561 - 25.661. Let i = 0.8 + -25.8. Let l = p - i. Are l and 2/5 unequal?
True
Let o = 1890 + -2930. Which is smaller: -1039 or o?
o
Let a = -7 - -6.96. Let f = a - 0.06. Let x be -2 + ((-11)/(-4) - 1). Is f greater than or equal to x?
True
Let d be (-1121)/(-380) - 3/(-60). Is 108/37 >= d?
False
Let g be (-2425)/30 - 66/18. Which is greater: g or -85?
g
Let h = 224.8 + -256. Let i = -132 + 101. Let q = h - i. Which is greater: q or 6?
6
Let u = -5 - -23. Suppose -11 = v + z, 3*v + 4*z + 18 + u = 0. Do 2/3 and v have different values?
True
Let p be 4/(-10) + (-98)/(-70). Suppose d + p = 7. Which is smaller: d or 4?
4
Let v = -17 - -21. Suppose -2*w - 4 = -v*l, -w + 3*w = -4*l + 12. Is w < -0.12?
False
Let q = 143 + -183. Which is smaller: -3/2 or q?
q
Let g be -6 - (-5 + 1 - -4)/1. Let r = -6 + g. Which is bigger: r or -1?
-1
Suppose -22 = 5*p - 42. Suppose -16 = -p*k, k = 3*r - 0*k + 1. Let h be (-20)/32*(-4)/3. Which is smaller: h or r?
h
Let r(f) = -f**2 + 11*f - 9. Let q be r(10). Suppose 5*x - 5*b + b = -q, 2*x - 4*b + 10 = 0. Is x at most 14/5?
False
Let t = 2.89 + -0.89. Which is smaller: -15 or t?
-15
Let o(q) = -9*q**3 + q**2 + 6*q + 2. Let b be o(-3). Which is greater: 235 or b?
b
Let k be ((-2)/(-4)*0)/(-2). Let y(m) = -2*m - 46. Let j be y(-13). Which is greater: j or k?
k
Let m(j) = 3*j + 62. Let w be m(-20). Suppose w - 3 = -b + 4*k, 18 = -4*b + 5*k. Let u = 6 - 14. Are u and b equal?
False
Let f = 476 + -13794/29. Is 0 < f?
True
Suppose -22*f - 2 = 20. Which is greater: -2/27 or f?
-2/27
Suppose 7*s - 32 = -4. Suppose -80 = s*t + 60. Let u = t - -16. Is -19 at most u?
True
Let w be 4/3 - -2 - 11/11. Let k(n) = -n**2 + 8*n - 6. Let s be k(7). Which is smaller: w or s?
s
Let i(x) = -x**3 + 2*x**2 + x + 25. Let a be i(0). Let b = a - 24. Is 1 equal to b?
True
Let u be 3*1*(-1 + 0). Let s(x) = -x**3 - 23*x**2 - 85*x + 81. Let k be s(-18). Which is smaller: u or k?
k
Let t(i) = i - 10. Let g be t(7). Let r be (24/(-4))/18*g/1. Let v = 1/9 - 7/144. Which is smaller: v or r?
v
Suppose 0 = 3*c + 3*q - 33, -4*c + q = 3*q - 40. Let i be (2/12)/((-2)/c). Suppose -3*w = -2*v - 29, 92*v - 35 = -5*w + 94*v. Is i greater than or equal to w?
False
Suppose 7*k + 3*g = 4*k + 3, 2 = 3*k + 2*g. Let j be k*(-1 - 2/(-1)). Let y = -103622/33 - -3140. Is j bigger than y?
True
Let o = -179/13 - -44737/3250. Which is smaller: o or 0?
o
Let p = -8.13 + 0.13. Let g = p + 10.4. Let d = -2.5 + g. Is 1.3 at least d?
True
Let r = 1137/14915 - -3/14915. Is 1 at most r?
False
Let h = -17/97 - 271/2328. Are h and 0 equal?
False
Let x = 53 + -98. Let u = -44 - x. Which is smaller: u or 0?
0
Let o = 39 - -64. Let h = o + -129. Is -27 bigger than h?
False
Let l be 9/(-147)*1/(306/(-12)). Which is smaller: l or 0?
0
Let k = 4535551/823 + -5511. Is k bigger than 0?
False
Suppose 0 = -r + u + 208, -49 = -5*u - 64. Are r and 205 non-equal?
False
Let v = 61.09 + -0.09. Let b = 65 - v. Which is bigger: -3 or b?
b
Suppose 2*u + 41 = 5*x - 43, -2*u = 3*x - 60. Let b(n) = 16 + 4 + 4*n**2 - 5*n**2 + 17*n. Let t be b(x). Which is smaller: t or 4?
t
Let t be 5 - (-6 + 3)/(-3). Suppose 3*w = -4*z - 19, -t*z + 2 = -w + 17. Let p be (-2)/(-5)*z/8. Which is smaller: -3 or p?
-3
Let w(i) = i**3 - 3*i**2 - 32*i - 18. Let f be w(8). Which is greater: 48 or f?
48
Suppose 0 = -2*u + 3*o - 5, 4*o = 4*u + 1 + 3. Suppose -3*h - u*h + 95 = 0. Is 18 >= h?
False
Let n(j) = j**3 - j**2 - 32*j + 12. Let i be n(-6). Which is smaller: -45 or i?
i
Let i be (-1)/((-3 + 4)/27). Let z be 1*(-2 + i + 1). Let d be ((-4)/(-10))/(z/20). Are 2/9 and d equal?
False
Let q be 4 - ((-120)/(-28))/(-3 - -4). Is q > 2/365?
False
Let l(c) = -c**3 + 3*c**2 + 3*c + 2. Let k be l(-2). Let x = -15 + k. Which is smaller: x or 3/16?
3/16
Let z be (-1946)/(-5811) + (-8)/24. Let w = z - 4255/245999. Which is bigger: -0.1 or w?
w
Let p(a) = 40*a + 21. Let t be p(-4). Which is greater: t or -140?
t
Let m be (-6)/9 + 440/12. Suppose -4*t + 5*a - 21 = 0, -3*t + 14 - m = -5*a. Do t and 3 have the same value?
False
Let z be (-7)/(-7) + -1 + (-16)/1. Let j be z/10*(3 - 0 - 2). Which is smaller: j or -1?
j
Suppose -31*u - 3305 = -11768. Is u less than 273?
False
Suppose 0 = 32*c + 10*c - 672. Does 203/13 = c?
False
Let n = -149 - -21. Is n bigger than -129?
True
Let q = -4 + -33. Let n = q - -45. Are 6 and n equal?
False
Let l = 6 + -17. Let c be 4/44*141 + (-10)/(-55). Suppose -96 = -5*q + c*q. Does q = l?
False
Let f = 59 + -79. Let v = 18 + f. Which is smaller: v or -3?
-3
Let r be 31/(2418/65)*(-4)/10. Which is bigger: 13/5 or r?
13/5
Let f = 183 - 165.8. Let b = f + -17. Which is smaller: 3 or b?
b
Suppose -14*g = 10*g - 24. Which is bigger: g or 1/754?
g
Let j be (-7 - -10) + (-16736)/18. Let y = 923 + j. Does y = -4?
False
Let m be (-2 - 9/(-6))*(-1292 + 0). Is m at least 647?
False
Let y = -16 - -4. Let a = y + 12. Which is bigger: 1/16 or a?
1/16
Let v = 4877 + -53699/11. Let s = v - -1382/297. Which is smaller: s or -1?
-1
Let l(u) = 11*u + 44. Let d be l(3). Which is smaller: d or 2?
2
Suppose 2*g - 3*i + 4*i = -71, 3*g - 3*i + 93 = 0. Are -171/5 and g unequal?
True
Let o = -2111.0873 + 2111. Are -2 and o nonequal?
True
Suppose -2 = m + 2, 4*m + 24 = 4*q. Suppose f - 4*f + q*g = 41, 5*f = g - 59. Do -21/2 and f have different values?
True
Suppose -5*f + 75 = -10*f. Let w be 0/(-5) - (-21 - -2). Let c = w + f. Is c less than 0?
False
Let z(c) = -2*c - 1