 0.1 + 0. Let t = -49 - -32. Let a = t - -14. Is k > a?
True
Let o = 98 - 97. Suppose -46 = 3*a - 5*j, 3*a - 5*a - 2*j - 20 = 0. Let q be 1/1 + (-9)/a. Do o and q have the same value?
False
Let r(t) = -22*t + 36. Let w be r(8). Is w greater than -140?
False
Let n = 13015/7846306 - -3/7982. Which is smaller: 1 or n?
n
Let a be (4/6)/(8/6). Let c = 0.622 - 0.64. Let d = c + -0.062. Which is smaller: a or d?
d
Let h be 2*-1*((-124535)/(-8895) + -14). Do h and 1 have different values?
True
Let c(r) = r**2 - r - 4. Let d be c(-3). Suppose 0 = 5*x - 4*j - d, 3*x + 3*j + 9 - 3 = 0. Suppose o + 4 - 3 = x. Is 1/18 less than o?
False
Let i be (-2)/(-9) + (-30540)/(-108). Is 283 equal to i?
True
Let d = -0.87 - -1.07. Are 9 and d nonequal?
True
Suppose -v - 2*k = 4*v + 233, 4*k + 16 = 0. Let c be 530/v - (-2)/(-9). Let g = -11 - c. Which is smaller: 8/5 or g?
g
Let s = 2.9 + -5.9. Let z(r) = -r**2 + 2. Let p be z(0). Let q be (1*12/(-15))/p. Which is smaller: q or s?
s
Let g be (1/(-2))/((-39)/26). Which is bigger: 1.17 or g?
1.17
Let z = 175 - 897/5. Let j = -4/2293 - -4622/20637. Which is greater: j or z?
j
Let a = -0.06 + -0.04. Let d = a + -0.9. Which is smaller: -0.16 or d?
d
Let q(a) be the third derivative of -a**6/120 - a**5/12 - a**4/8 + 5*a**3/6 - 6*a**2. Let s be q(-4). Suppose 4*y - 7 = s. Is y at least as big as 2?
True
Let p = 54 - 2. Let s = p + -52.05. Is s greater than or equal to 3/2?
False
Let x = -0.2 - -0.3. Let y = -16 - -38. Let g = y - 20. Is g >= x?
True
Suppose 2602*w - 2613*w - 99 = 0. Let s be (-2)/8 - (-218)/(-24). Which is bigger: w or s?
w
Suppose 5*x - 261 = 29. Suppose -2*t + 6 = 0, -5*i + 3*i = -2*t + x. Do i and -26 have different values?
False
Let t = 0 - 4. Let u be t/(-6) - (-212)/60. Let f = 152/35 - u. Is f less than 1/7?
False
Let s = -1973/2 + 1005. Let a = 19 - s. Which is smaller: 1 or a?
a
Let s be 4/10 + (-3206)/(-10). Let t = s - 8023/25. Suppose 14 + 1 = 5*a, 0 = 4*i - 2*a + 2. Which is bigger: i or t?
i
Let l be (-4712)/95 - (-1 - 0). Which is smaller: -48 or l?
l
Let w = 173 - -13. Let h = 178 - w. Let v(k) = k**3 - 5*k**2 + k - 7. Let a be v(5). Which is smaller: a or h?
h
Let u(j) = -j**2 + 2*j + 1. Let a be u(6). Let l = 30 + a. Let n be 2/l + (-96)/483. Are 0 and n nonequal?
True
Let b(i) be the second derivative of -i**5/20 - 7*i**4/12 - i**3/6 + 7*i**2/2 + 7*i. Let p be b(-7). Is p <= 38/3?
False
Let k = -439 + 435. Suppose 5*r + t = 5, -3*r + 15 = 2*r - t. Suppose 9 = -v - r*v. Is v at most k?
False
Suppose 0 = 4*o - 5*m + 24, -4*m = -2*o + 4 - 10. Let v(t) = t**3 + 3*t**2 - 1. Let i be v(-1). Let z be 12/(i*(0 - 1)). Which is smaller: o or z?
z
Let i(t) = 57*t - 2. Let o be i(1). Let h = o - 25. Let w = -208/7 + h. Which is bigger: w or -0.2?
w
Suppose 3*q = 4*q. Let c be -17*(-1 + q - 0). Let s = 17 - c. Is s >= 2?
False
Suppose -38 = 27*o - 11. Which is greater: -10/11 or o?
-10/11
Suppose -4*t - 2*x - 20 = 2*x, -4*t + 3*x + 1 = 0. Let z(b) = b**3 + 2*b**2 + b + 2. Let y be z(t). Suppose y = -0*u + u. Which is smaller: 1/13 or u?
u
Let r be 0 - 10/4 - -2. Suppose 4*w - 12 = 4*h, -5*w + 6 = -0*h - 2*h. Suppose w = d + 4*d. Which is smaller: d or r?
r
Let b be (-4)/6*3 - -6. Is -1 less than b?
True
Let a(w) = -w**3 + 4*w**2 - 4*w + 7. Let t be a(5). Suppose 6*u + 279 - 45 = 0. Do t and u have different values?
True
Let g be 4*(-20)/48 - (-166)/114. Is 0 >= g?
True
Let h(b) = -b**2 - 7*b + 3. Let p be h(-7). Let d = -11 + 8. Let i = -1 - d. Is p less than i?
False
Let i(p) = p**3 + 5*p**2 + 4*p - 1. Let m = 53 + -56. Let k be i(m). Which is smaller: 7 or k?
k
Suppose v = -2 - 7. Suppose 13*u = u - 120. Which is smaller: v or u?
u
Let c be 15/17570*(-64)/48. Which is bigger: 1 or c?
1
Let g be (-28725)/30*-2*1/717. Let w = 1/239 - g. Is w at most as big as -3?
False
Let a be ((-6)/4)/((-1)/2). Let z be 2/(-13) - (-81308)/(-130). Let b = 628 + z. Which is bigger: b or a?
a
Let b be (2*12/(-40))/((-2)/10). Let j be 22/14 - (7 - 2 - b). Which is greater: -6 or j?
j
Let j = 39/31 - 133/155. Let x = -20 + 15.3. Let u = 5 + x. Is u greater than j?
False
Let h = -16 + 28. Is h at least as big as 25/2?
False
Suppose -6*j + j + 15 = 0. Let o(l) = l**3 + 9*l**2 + 7*l - 11. Let r be o(-8). Let p be j/(-5)*2/r. Is p greater than or equal to 1?
False
Let k = -0.046 - -1.646. Which is smaller: k or -1?
-1
Suppose 5*a - 128 = 3*z, 5*a - z = -0*a + 126. Suppose -1248 = -42*s - 282. Which is greater: s or a?
a
Let l = 57.9 + -62. Let r = l + 4.2. Are r and -33 equal?
False
Let c = 16 + -6. Let t be c/15 + 3596/(-21). Let h = t + 171. Is h equal to 0?
False
Let c = -264.4 - -327.35. Let f = 63 - c. Which is bigger: f or -4/3?
f
Let d be 3/9*3 + 1. Suppose 5*i - t - 15 = 0, d*i - t - 2*t - 19 = 0. Let w be (i/(-6))/((-10)/(-6)). Which is bigger: w or -1?
w
Let r(n) = -62*n + 128. Let k be r(-3). Is 313 != k?
True
Suppose -1 = -p - 2. Let h = 3016/539 - 62/11. Let n = -125/539 + h. Is p <= n?
True
Suppose 2*h + 3*h = 10. Let c be (-174)/10 + h/5. Let x = 1.235 + -0.235. Which is bigger: x or c?
x
Let z(h) = -h**2 - 7*h - 5. Let x be 6*(2/(-8) + 24/(-32)). Let b be z(x). Which is bigger: b or -8/31?
b
Let d be -1 + -1 - (-62 + 70). Which is greater: d or -20?
d
Let f = -22 - -27. Suppose 2*y - f - 7 = 0. Let k be y/8 + (-2)/(-8). Is 6/7 at least as big as k?
False
Let l = -0.62 - -0.43. Let a = 6.99 + l. Let b = a - 3.8. Which is greater: b or -7?
b
Suppose 52 = -4*b + 12. Let t(n) = -n**2 - 10*n. Let v be t(b). Let p be (-25)/(-35) - (1 - 0). Is p greater than or equal to v?
False
Let i = -31.7 + 36.7. Is i at least -0.29?
True
Let h = -3.3 - -3. Let s = h + 0.2. Let a be 3*(284/(-48) + 6). Which is smaller: a or s?
s
Let l = 563 + -561.942. Let s = l - -0.032. Let c = 0.09 - s. Does c = -2?
False
Let z = -429 + 531. Which is bigger: 104 or z?
104
Let h = -0.2 - -1.2. Let i = 176 - 188.54. Let n = -1.46 + i. Which is smaller: n or h?
n
Let h = -16 + 19. Suppose -2*b - 11 = -2*z - 1, h*b - z = -5. Is -29 > b?
False
Let s = -326 - -326.4. Are -107 and s equal?
False
Let z = -783/4 - -196. Is z greater than 0.033?
True
Suppose 3*o = 2*o - 4. Let j(i) = -4*i - 16. Let l be j(o). Are l and -1/18 non-equal?
True
Suppose -10*n = -13*n + i - 207, 5*n + i = -337. Which is greater: n or -69?
n
Let w = -23.9 + 26.9. Let i = 78 - 1481/19. Is i at most w?
True
Let s be 9/3 - (-2 + 2). Suppose -s*t - 19 = 128. Is t < -49?
False
Suppose -5*m + 7 + 18 = 0. Suppose -m*o - p + 40 = -2*o, -5*p = -4*o + 28. Suppose -3*b + x + 2*x = o, -4*b = 2*x + 4. Which is bigger: b or 1?
1
Suppose 0 = 5*i - 9*i + 16. Suppose -2*g = i*k + 3*g - 21, -5*g + 29 = -4*k. Does k = 56?
False
Let o = -2/2119 + 10613/19071. Let n = -1 - -1. Which is smaller: o or n?
n
Suppose 4*y + 45 = -5*s, -5*s + 4*y - 55 = 6*y. Is -6 at most s?
False
Let k(n) = -n**3 - 8*n**2 - 5*n + 6. Let q be 222/(-30) - (-2)/5. Let y be k(q). Let c = -9 - -2. Which is bigger: c or y?
c
Let s = 2624 + -2624.6. Is 106 less than s?
False
Let s(h) = -h**3 + 5*h**2 + 2*h - 1. Let k = 12 + -4. Let d be s(k). Let u be d/(-315) - 6/14. Which is smaller: 1 or u?
u
Let j be (-21)/(-9) + 1/(-3). Let a be (24/(-32))/(j/144). Let o be 4 + (1060/a)/5. Are o and 1 nonequal?
True
Let k = 0.383 - 0.003. Let r = k - -1.62. Is r > 9?
False
Let i = -6 - -5. Let a be 18*3*(-1)/9. Which is smaller: i or a?
a
Let s(j) = -j**3 - 24*j**2 + 9*j - 25. Let a be s(-25). Is 376 <= a?
False
Let y(b) = -55*b**2 + b - 1. Let k be y(1). Let u be 4/k*(-210)/(-28). Which is greater: u or -0.2?
-0.2
Let v = 60891/7 + -8701. Let y = 1 - 2. Are v and y equal?
False
Suppose 4*j + s = -29, -16 = 5*j + s + 21. Let k be (-2)/j + (-12)/(-16). Which is bigger: 3/8 or k?
k
Let q be 12 - 28 - -1*4. Let r be 16/q*3 - -55. Which is smaller: r or 50?
50
Let g = -51 + 56. Suppose 0 = -3*f + g*o - 31, 5*f - 4*o = 10 - 40. Which is smaller: -12/5 or f?
-12/5
Let s be 97 + (0 - (1 - 5)). Is 105 equal to s?
False
Suppose 20*x - 22*x = -j - 6, 0 = -2*j + 3*x - 9. Is j < -2/1135?
False
Let m(g) = -g**2 + 5*g + 2*g**2 - 1 + 5. Let n = -19 + 15. Let q be m(n). Is 0 less than q?
False
Let c(x) = 64*x + 29. Let o be c(-3). Which is smaller: o or -164?
-164
Suppose -4*l = 2*g - 0*l + 12, 14 = -3*g - 5*l. Suppose g*f = 13 - 11. Which is greate