3.14. Let t = -15.14 - -15. Let q = t + v. Are q and -1/9 equal?
False
Let j(f) = f**3 - 19*f**2 - 24. Let s be j(19). Which is smaller: -5 or s?
s
Let a = 7.66 - 7.51. Let u = -0.2 - -0.1. Is a at least as big as u?
True
Let b be (9/2121)/(195/910). Which is smaller: -7/2 or b?
-7/2
Suppose 58*r = -2*i + 57*r - 254, 0 = -2*i + 2*r - 254. Does i = -129?
False
Let a(w) = -w**2 - 31*w**3 + 34*w**3 - 1 + 1. Let p be a(1). Is p at least as big as -4/23?
True
Let v = 178 + -80. Let x = -98 + v. Is x at least as big as -5/8?
True
Let g = -38/5 + 8. Let r = g + -3/5. Let f = -1880 + 1878. Is f greater than r?
False
Let c = 1.31 + 0.69. Which is smaller: -6 or c?
-6
Let h(m) be the third derivative of m**4/24 - 2*m**3 + 3*m**2. Let i be h(12). Which is smaller: i or 4?
i
Let d = 37/24 + -1343/840. Which is smaller: -0.9 or d?
-0.9
Suppose 0 = 4*y - 0*y - 8. Suppose 6 - 2 = -y*t. Which is bigger: t or -3?
t
Let l(j) = -j**2 - j + 3. Let x be l(3). Let d be (-6)/9 + (-15)/x. Let b be ((-52)/455)/((-6)/(-5)). Which is greater: b or d?
d
Suppose -2*l - l + 144 = 5*a, 4*a - 114 = -2*l. Let m be -2 - (a/3)/(-3). Let f be (-1)/2*6/33. Is m smaller than f?
False
Let v = -1398.686 + 1399. Which is smaller: 2 or v?
v
Let b(n) = 6*n - 78. Let a be b(13). Which is bigger: a or -1/52?
a
Suppose 3*j = j + 10. Suppose 3*h + 5*a - 3 = 0, -9*h + 8*h + 4*a + 35 = 0. Is j bigger than h?
False
Let l = -344 + 7913/23. Let f be 8/(-5)*(1 - -3 - -1). Let s be 5 - 10/(-6 - f). Is l greater than or equal to s?
True
Suppose 0 = 3*q - 9, 4*q - 21 = -2*p - 17. Which is bigger: p or -38?
p
Let x(j) = -31*j - 290. Let w be x(-9). Which is smaller: -12 or w?
-12
Let a(q) = q**2 - 9*q - 9. Let y be a(10). Which is bigger: 2/191 or y?
y
Suppose 4*d + h = 3*h - 278, d = -5*h - 42. Suppose 5*b - 8*b - 204 = 0. Is b greater than d?
False
Let x(b) = b**3 - 10*b**2 - 81*b - 22. Let t be x(15). Is 0 equal to t?
False
Let a = -8/43 + 212/215. Suppose c = -2*n + 3, -3 = -4*n - 0*n + c. Is n equal to a?
False
Let i = -9 - -10. Let u = -21 - -23. Suppose -4*n - w + 0 = -u, -5*w = -10. Which is bigger: n or i?
i
Suppose -m + 4 = -3*p - 20, 0 = m - 2*p - 22. Let o = 10 - m. Let q(h) = -h**2 - 6*h + 6. Let c be q(o). Is c greater than -10?
False
Let l = -84 + 922/11. Let g(o) be the first derivative of -o**4/4 + 7*o**3/3 - 7*o**2/2 + 6*o - 5. Let u be g(6). Is u >= l?
True
Let d be 8/12 - (-1)/1. Let y be (-10)/10 + 632/(-10). Let n = y + 64. Is d smaller than n?
False
Suppose 7*q = 12*q - 35. Is 34/5 equal to q?
False
Let r = 3.055 - -0.045. Let z = r + -1.1. Is 3 != z?
True
Let o be (10/8)/((-2)/(-8)). Let w be 14/21*6/(-32)*2. Which is smaller: o or w?
w
Let s(k) = k**2 + 2*k - 4. Let h be s(-2). Suppose 2*z - 5 = z. Let y be -3 - -1*(h + z). Is -1 > y?
True
Let m = -35 - -39. Let h = 1 - m. Let j = 3 - 5. Which is bigger: j or h?
j
Let t(f) = 7*f + 1. Let g = -3 + 4. Let l be t(g). Let c = -127 + 126. Is l > c?
True
Let j(t) = t**2 - 4*t - 320. Let w be j(20). Which is bigger: -2/5531 or w?
w
Suppose -3*y + j = 7, -3 = -4*y - 5*j + 13. Let c be (-4)/(-52)*y/(5/2). Let w = 1 + -2. Which is bigger: c or w?
c
Let s = -429/14 + 29/7. Is s bigger than -28?
True
Suppose i = 4*d - 20, -4*i + 43 = 5*d - 3. Suppose 5*p - 9 = d. Is 11/5 >= p?
False
Let t be (-6)/(-6)*-314 + 6. Which is smaller: t or -923/3?
t
Let j(n) = -2*n + 7. Let o(f) = f**3 + 6*f**2 + 4*f + 3. Let w be o(-5). Let c be j(w). Let z be 3*(-1 - 12/c). Do z and -2/79 have the same value?
False
Suppose 2*f - q + 83 = 0, 0*f - 49 = f - 2*q. Let b be (-72)/f + 2/13. Let a be ((-1)/4)/(3/(-8)). Is b at least as big as a?
True
Let o = 0.942 + -0.6. Is -2/5 at least as big as o?
False
Let x = 0.144 + -0.044. Do 56/13 and x have different values?
True
Let p = -9.9 + 9. Let z = 5.1 - 26.1. Let n = 20 + z. Is p smaller than n?
False
Let w = -102205787/2739 + 37315. Which is smaller: w or -1?
-1
Let n = 6/7 - 5/14. Let p = 15 + 24. Which is bigger: n or p?
p
Let x(u) = u**3 - u**2 - 2*u + 3. Let j(w) = w**3 - 3*w**2 - 3*w - 2. Let z be j(4). Let l be x(z). Suppose l*h + h = -4. Are h and -1/16 equal?
False
Suppose 5*z - 4 - 6 = 0. Suppose 4 + z = 3*v, -4*j + 4*v = 136. Which is bigger: -31 or j?
-31
Let c = -7.06 + 7. Let n = 0.025 - 1.025. Which is greater: c or n?
c
Let c = 812173/30504 + -1/7626. Which is bigger: c or 26?
c
Let p(o) = -3*o**3 + 2*o**2 - 4. Let y be (-9)/(-5) - 3*(-4)/60. Let j be p(y). Let a(h) = -3*h**2 + h + 4. Let x be a(3). Is x != j?
False
Let s(k) be the first derivative of -k**3/3 - 3*k**2/2 + k + 6. Let a be s(-4). Are a and -7/4 nonequal?
True
Let h = -1 - -1. Let x = 15.69 - 16. Let f = -0.01 - x. Is f smaller than h?
False
Let f = 8 + -22. Let p = -19 - f. Which is greater: -0.1 or p?
-0.1
Let c = 10/13 + 5066/39. Which is smaller: c or 130?
130
Let k = -27.816 + 28.33. Which is smaller: k or -2/5?
-2/5
Let a = -2/1271 + -1233/24149. Suppose l = 5 - 4. Is l less than a?
False
Let s be (1 + 1)/2 + (-177)/87. Which is smaller: s or -1?
s
Suppose 0 = 6*s + 71 - 731. Which is bigger: s or 111?
111
Let a be -2 + -4 + (88 - 3). Let q = 76 - a. Is q >= 5?
False
Let u = -251 + 251. Is u not equal to -138?
True
Suppose -8*q = -11*q + 27. Which is bigger: q or 14?
14
Let w = 504 + -6558/13. Is 1 greater than w?
True
Let d be ((-1)/(-3))/((-1)/6). Let k be (-9 + 7)*d/1. Let x be 3 - k - (-1 - 1). Which is bigger: x or 2/7?
x
Let u = 170811/145 - 1178. Which is bigger: 0 or u?
u
Let u = -10 + 10. Suppose 3*w = -2*y, u*w + 4*w = -5*y. Is w greater than -1/33?
True
Let d be (-14)/10 + (-4)/(-10). Let h = -0.016 - 6.184. Let r = h + 6.28. Is r at most d?
False
Suppose x = -l - 4 + 17, 49 = 3*x + 5*l. Suppose 5*n - x*n = 3. Is n >= 1/16?
False
Let g = 1.62 + -2.6. Let p = -0.02 + g. Let x be (-2)/(-1)*(-3)/(-12). Are x and p nonequal?
True
Let y = 478595/11 - 43576. Let k = -67 - y. Let m = k - 31/55. Which is bigger: 0 or m?
0
Let l = -265 - -264. Which is greater: -10/47 or l?
-10/47
Let b be 2 + (3 - 5) + 5. Suppose 3 = -3*k + 12. Is b not equal to k?
True
Suppose -16*h = -15*h + n - 52, 3*h - 128 = 4*n. Is h not equal to -1/5?
True
Let c = 145 - 159. Let w be 10/(-35) - (2 + 32/c). Is w at least -4/85?
True
Suppose -4*h = -16*v + 14*v + 12, 0 = 3*h + v - 1. Let t be -10*((-2)/4)/1. Let f be (-3)/(-10)*t/(-6). Are h and f unequal?
True
Let x(k) = -16*k**2 - 48*k + 1. Let l be x(-6). Which is bigger: l or -289?
l
Let w = -0.71 + 0.11. Let p = 4.4 - w. Let g = 0 + p. Is 1 at most g?
True
Let m be (-3 - 252/(-52))/(-2). Which is smaller: -1 or m?
-1
Let r(j) = -j**3 - 5*j**2 - 8*j - 6. Let u be r(-3). Which is smaller: u or -2/3443?
-2/3443
Let k be (466/6)/((-42)/18). Is -32 less than or equal to k?
False
Let h = -14 - -88. Which is smaller: h or 73?
73
Let b = -6 - -5.2. Let r = 1.177 - 1.25. Let d = 0.027 - r. Is d at most as big as b?
False
Let p(r) = -3*r + 0*r - 3*r + 1. Let s be p(-1). Let c be (-1130)/6215 - (1 + 101/(-11)). Which is smaller: s or c?
s
Let b = -60 - -64. Suppose 0 = -h - 4*j - 12, -j + b*j + 9 = -h. Suppose -6*x - 10 = -x. Which is smaller: x or h?
x
Let s(b) = 2*b**3 + 14*b**2 + 5*b - 1. Let c be s(-7). Which is bigger: 12 or c?
12
Let n be 2 + (6 - 3 - 1). Suppose 0 = 5*a - 2*c - n, -6*c + 4*c = 4. Which is smaller: a or -38?
-38
Let y = -97 + 104. Suppose 2*p + 1 = y. Is 4 greater than or equal to p?
True
Suppose -q = q. Suppose 0 = -2*w - 19 - 11. Let p be (-282)/(-780) - (-6)/w. Which is smaller: p or q?
p
Let u = 8.17 - 0.17. Let v = -19 + u. Let y = v + 12. Which is greater: 4 or y?
4
Let l = 9 + -7. Is 15/16 equal to l?
False
Let g = -1025 - -1020. Let d(n) = -n + 3. Let r be d(3). Which is smaller: r or g?
g
Let c(r) = r - 6. Let y be c(8). Let u be 0/3*(-2)/(-4). Let v be u/(-1 - y) - 7. Is -9 greater than v?
False
Let z(o) = -5*o**2 - 6*o + 21. Let f(i) = -9*i**2 - 13*i + 42. Let h(p) = 3*f(p) - 5*z(p). Let a be h(4). Is -48 at most a?
True
Suppose 0 = -6*b - 65 - 199. Which is smaller: b or -46?
-46
Let q = 0.03883 - -0.16117. Let y = 632 - 14538/23. Which is greater: y or q?
q
Let d = -854 - -836. Is -10 greater than d?
True
Let k be ((-18)/21)/(33/21). Suppose -5*b = 2*v - v, 0 = -3*b + 5*v. Which is smaller: k or b?
k
Let u = 3771/236 + 16/59. Let h = -59/4 + u. Which is smaller: h or 3