.6
Let h(n) = -34*n + 40. Let r be h(11). Let x = r - -2353/7. Which is greater: 1 or x?
x
Suppose 4*o + 2 = -k + 3*o, 0 = 2*o + 8. Let i(u) = 0 + k - u + 2*u - u**3 - 2*u**2 + 0*u. Let z be i(-1). Is z greater than -1/20?
True
Let p be ((-2)/3 + 16/48)/1. Is p at least -632?
True
Let a be ((-1)/(-60))/(52/9358) + -3. Is a smaller than 0?
True
Let b be 2/9 + 284/18. Suppose 211 - 221 = -3*c + 5*z, -4*z = -28. Does b = c?
False
Let s = -21 - -21.3. Let r = 940/7 + -134. Is s greater than r?
True
Let c = 163.79 - 163. Let k = 37 + -36.79. Let x = c + k. Does x = -2?
False
Let x = 0 + 0.1. Let a = -717 - -604.7. Let f = a + 112. Is x less than f?
False
Suppose 3*c = 2*a - 75 + 58, -4*c - 15 = 5*a. Let h be 4/6 - (-5078)/42. Let f = -122 + h. Which is greater: f or a?
a
Let a = 180 + -180. Is -2/257 >= a?
False
Let s be 79680/(-70740) + 10/9. Let c(w) = w + 2. Let q be c(-2). Is q bigger than s?
True
Let a = 11 - 12. Let v(m) = -m. Let x(l) = 2*l**2 - 4*l - 1. Let k(i) = 4*v(i) - x(i). Let n be k(a). Is -1 at most n?
True
Let a = 31 + -29. Suppose a*u = 5*k + 7 + 6, -4*u = -2*k - 50. Is 15 != u?
True
Let i = 389/5 + -77. Let q(c) = -c**3 - 7*c**2 - 4*c + 7. Let l be q(-6). Let v be l/(-3) + 4/(-6). Which is smaller: i or v?
i
Suppose -t + 252 = 3*p - 790, -4*t - 369 = -p. Which is smaller: p or 351?
p
Let w be 3*-1 + 11 + -1. Let o(j) = -3*j + 15. Let l be o(w). Is 0.1 greater than or equal to l?
True
Let z = -62811381/182 - -345116. Let d = -2/91 + z. Is -2 != d?
True
Let b(k) = -k**3 - 4*k**2 + 7*k + 3. Suppose 15 = -5*y - 5*m, 0*y + 2*y - 4*m = 0. Let u be (-4)/y + 1 + -8. Let r be b(u). Do r and -1 have the same value?
False
Let u = -0.8 - -36.8. Let d = u - 35.8. Is -13 >= d?
False
Let r = 192 - 191.934. Which is bigger: -0.1 or r?
r
Let r(y) = -3*y + 24. Let d be 8 - (2 + 2 + -3). Let j be r(d). Which is smaller: j or 7?
j
Suppose -2*l + 16 = -k + 3*k, -56 = -4*k + 2*l. Let g be 2/4 + 30/k. Let j be 1/(g/((-3)/(-1))). Is 1 at least as big as j?
True
Suppose 34 = 30*f - 86. Which is smaller: -1 or f?
-1
Let g = -2/5001 - -11480/3695739. Which is smaller: g or 1?
g
Suppose 4*x + 593 = -y, 168*y = 166*y - 4*x - 1202. Which is smaller: y or -608?
y
Let p = 1088.95 + -1089. Is -57 at least p?
False
Let n(z) = z**3 - 6. Let p be n(0). Suppose 19*o = 24*o + 30. Do p and o have the same value?
True
Let y(d) = -2*d**2 + 5*d - 2. Let v be y(2). Let s = -240 - -1683/7. Is s < v?
False
Let a(f) = -f - 6. Let w be a(-6). Let r be (-8)/(1 - (w + 3)). Suppose 5*z + 3*m = -57, -6*z + 2*z + r*m - 20 = 0. Is z > -8?
False
Let z be 65/(-130) + (0 - 122/4). Let j be (-32)/1*((-6)/(-3))/2. Which is smaller: z or j?
j
Let q = -50 + 70. Suppose 10*m + q + 10 = 0. Is m at least -5?
True
Let v = 15 - 106. Let y = v - -91. Is 0 at most y?
True
Let a = 1/68 - 41/476. Let u(x) be the third derivative of -x**4/24 - x**3 + 3*x**2. Let p be u(-7). Which is bigger: a or p?
p
Let h be 56/((6/3)/2) - 3. Let o = h + -34. Which is bigger: 20 or o?
20
Suppose j - 22*g = -18*g - 7, -2*j = -5*g + 8. Which is smaller: 39 or j?
j
Let o be 4/6 - (-14)/(-6). Let p(w) = -w - 3 + 1 - 9 + 3. Let q be p(-7). Which is smaller: q or o?
o
Let w = 156 + -157. Which is greater: w or 109?
109
Let r = 49 + -29. Let c = 4034 + -4014.07. Let a = r - c. Does a = 1?
False
Let a = 1 + 14. Suppose 0 = 3*i - c - 3*c - 2206, 0 = -3*c + a. Let h = -3722/5 + i. Is -1 bigger than h?
True
Let i be (31 - 31)*(14/6 + -2). Let z(n) = n + 5. Let x be z(-5). Let r = x - i. Which is smaller: r or -1?
-1
Suppose 0 = 108*j - 102*j - 12. Suppose 0 = 4*m - 4 - 8. Which is greater: j or m?
m
Let k(n) = -n**3 - n + 2. Let b = 6 + -4. Let v be k(b). Let f(l) = l**2 + 9*l + 1. Let z be f(v). Is -6 > z?
True
Suppose -6*b + 2*b = 80. Let m be (-4)/b + (-104)/(-5). Let y = 401 - 379. Is m <= y?
True
Let k(q) = -q - 9. Suppose -2*r + 5*r = -21. Let c be k(r). Let x be -7 + (c - -2)/1. Is x >= -9?
True
Let w = -1.34 - 13.76. Let i = -15 - w. Which is greater: 0.21 or i?
0.21
Let s be ((-54)/21)/(24/896). Which is bigger: s or -481/5?
s
Let a = -3.41 + 0.41. Does a = -0.07?
False
Let r = -2.2 - -2.3. Which is smaller: -374 or r?
-374
Let q = 4.41 + -4. Let t = 0.59 + q. Which is bigger: t or -2/5?
t
Let a = -8 + 6.5. Let p = a + -4.5. Let t = -5/3 - -13/6. Which is smaller: p or t?
p
Let l(v) = -v**3 - 5*v**2 - 3*v - 3. Let c(u) = -2*u**3 - 11*u**2 - 5*u - 6. Let j(s) = 2*c(s) - 5*l(s). Let w be j(-2). Is w bigger than -2?
False
Suppose 4*q + 41 + 15 = 0. Let u(m) = 3*m + 21. Let f be u(q). Let d be (-12)/28*f/(-6). Do -2 and d have the same value?
False
Let c = -1675/84 + 129631/4620. Let t = c - 86/11. Let a = 0.3 + -0.4. Which is greater: t or a?
t
Let z = 14 - 6. Let o = -32 - -24. Let f = z + o. Is f smaller than -4?
False
Let n be 67542 - (-1 - (-6)/3). Let o = n - 336419/5. Let x = o - 256. Which is greater: 1 or x?
x
Let r(o) be the first derivative of -o**4/4 + 2*o**3 - o**2/2 + 4*o - 3. Let l be r(6). Is 0.06 at least l?
True
Let i = -53.871 - 0.129. Let y = 55.1 + i. Is -0.2 at most y?
True
Let u = -0.012 - 26.988. Let p = -27 - u. Which is bigger: -2/7 or p?
p
Let j = 1.97 - -0.03. Let q be (-7)/(-42)*(-72)/(-28). Which is greater: q or j?
j
Suppose -3*j + 2*u + 4 = 6*u, -j + 5*u + 33 = 0. Suppose -90 = j*v - 3*v. Is v < -18?
False
Let t = 59 - 60. Is t != 6/85?
True
Let n = 0.05 + 0.45. Let i = 0.3 - n. Let r = -0.2 + i. Which is smaller: r or -2?
-2
Suppose -3*q + 0*q - 6 = 0. Let z = 122 - 53. Let w = z + -66. Is w < q?
False
Let y be (-63)/(-6)*48/72. Which is smaller: 55/7 or y?
y
Let f = -22977697111116468401469423161/34459542939487232730 - -92345/476059168881498. Let k = f + 666802144. Let d = k - -2/2335. Which is greater: 0.1 or d?
0.1
Let h be (7 - 1)*(-95)/(-570). Is -4/33 at most h?
True
Let h = -4 + 6. Let u = h - 1. Let d = 47.7 + -47.5. Which is bigger: u or d?
u
Suppose -t + 1 = -3. Suppose -2*f + t + 0 = w, 3*w + 12 = 2*f. Let m be 2*(8/2 - 3). Which is greater: f or m?
f
Let c be 4/(-18) - 1742/(-468). Do 4 and c have the same value?
False
Let q = 1133/56 + -99/8. Which is smaller: 9 or q?
q
Let c(d) = -d**3 + 3*d**2 + 2*d - 1. Let o = -9 - -13. Let i be c(o). Let v be (-2)/(-6) - i/(-27). Does -2/17 = v?
False
Let q = -288.8 + 289.8. Which is bigger: 236/9 or q?
236/9
Let k = 13183533 - 1001925709/76. Let l = 300 - k. Which is greater: -1 or l?
l
Let r be 6*((-1)/(-3) - 0). Suppose -19*o + 16*o = -3*u + 6, -o = u - 2. Is o less than r?
True
Let h = 0.058 - 13.858. Let u = h + -15.3. Let y = u - -29. Is -1.1 at most as big as y?
True
Let t(x) = -9*x + 100. Let l be t(11). Suppose 0 = s - q - 0*q + 1, 3*s + 3 = -3*q. Let k = l + s. Is k != 2?
True
Let b = 34.4 - 34. Let y = -2/3 - -11/21. Do b and y have the same value?
False
Let t(l) = l**3 + 7*l**2 + 7*l + 10. Let n be t(-8). Let u = n + 107. Which is greater: -1 or u?
-1
Let l = 127.5 - 102.9. Is l at most as big as -2?
False
Let u be (-2)/(((-4)/96)/1). Suppose 69 = -5*t - j + 216, u = 2*t - 5*j. Is 30 at least t?
True
Let c = 25 - 25.08. Let u = 0.02 - c. Is 0.1 bigger than u?
False
Let g = 0.003 + 0.797. Are -16 and g nonequal?
True
Suppose 0 = t + y - 16, 0 = 2*t + 3*y - 11 - 20. Suppose -t = 2*x - 19. Let h be -1 + (28/(-6))/(-2). Do x and h have different values?
True
Let o = -3 + 0. Let f = -8021 + 8019. Is o not equal to f?
True
Suppose -4*o + 4*c = -196, -7*c + 12 = -3*c. Suppose 4*f + o = -4*l, -5*l + 2*f = 24 + 20. Let w be ((-36)/(-48))/(l/(-8)). Is w at least as big as 1?
False
Let d(w) = 6*w**3 + w. Let o be d(1). Let t be (13 - 9) + (1 - 0). Which is greater: t or o?
o
Suppose -3*q + 148 = -5*s, 4*q = 5*s + 141 + 53. Suppose 4*w + q = 5*c, -5*c - 4 = 4*w + 22. Which is smaller: -6 or w?
w
Let d be (-13)/(-18) - (-2)/(-9). Let u be ((-2)/(-8))/(2/152). Let k = u - 19. Is d > k?
True
Let o(p) = 115*p - 9. Let q(w) = 38*w - 3. Let j(x) = -2*o(x) + 7*q(x). Let s be j(-2). Which is smaller: -74 or s?
s
Suppose 0 = 4*w + 5*n - 35, -2*w + 4*n + 22 = 2*n. Let v be 4/9*(-1)/w. Let o be 3 - (-2 - -4 - 0). Are o and v non-equal?
True
Let w(y) = -y**2 - 4*y + 5. Let p be (-7 - -6)/((-1)/(-5)). Let z be w(p). Suppose -5*d = -z*d. Are 10 and d equal?
False
Let v = -383/134178 + -7/627. Is v greater than -1?
True
Let x = 1270958923/195874 