?
g
Let k = -10 + 10.8. Let j = k - -0.2. Let a = 1/110 - -19/110. Which is greater: a or j?
j
Let s = -12 + 16. Suppose -2*r - 4*n = -3 + 19, 3*r = -n - s. Suppose r*d = 2*d. Do -5/7 and d have the same value?
False
Suppose -11*r + 6*r = 15, l - 5*r = 293. Are 276 and l equal?
False
Let u(g) be the second derivative of g**4/4 + g**3/2 + g**2 - 19*g. Let a be u(-1). Which is smaller: a or 1?
1
Let m(r) = -r**3 + r**2 - 2*r - 2. Let x be m(2). Let l be (-44)/x - 66/(-110). Let d = -4 + 9. Is l greater than d?
False
Let q(b) = 3 - 5*b**2 + 4*b**2 - b**2 + b**3 - 2*b**2. Let n be q(4). Is n <= 18/11?
False
Suppose -3*w = 2*w - 100. Let y be (7 - 8) + w/18. Let c(s) = s**3 - 6*s**2 + s - 7. Let v be c(6). Which is smaller: v or y?
v
Suppose 9*m - 360 + 108 = 0. Which is smaller: m or -2/5?
-2/5
Let t = -492/1205 + 2/241. Is t not equal to 2?
True
Let j(z) = -z**3 - 7*z**2 - 9*z + 14. Let h be j(-8). Let u = h + -150. Is u at most as big as -3/47?
False
Let t(j) = j - 12. Let f be t(11). Let h(b) = 4*b - 1. Let c be h(f). Let v be 3 + 29/c + 4. Which is bigger: v or 2?
2
Suppose 30*d = 926 + 8194. Which is smaller: 302 or d?
302
Let r = -84.05 - -90.2. Which is smaller: -2/3 or r?
-2/3
Let l(h) = 2*h - 14. Let t be l(9). Suppose 7*j - 24 = t*j. Are 8 and j equal?
True
Suppose 4*v + 4*s = 4, -4 = -2*v + 12*s - 16*s. Let q be (-2)/(-4)*-2*-1. Is v greater than q?
False
Let q be ((-331665)/33)/(6 - -182). Let c = 588/11 + q. Is 1 bigger than c?
True
Suppose 3*v + 64 = 3*z - 803, 0 = 3*z - 9. Let l = 3716/13 + v. Are l and 1 unequal?
True
Let a(l) = -2 - l - 3*l**2 - l**2 + l**3 + 5*l**2 + 2*l**2. Let f be a(-2). Suppose -f*j + 7 + 5 = 0. Is j at least as big as 2?
True
Let t = -2 + 3/2. Is -127 at most t?
True
Let c = 0.36 - 0.09. Let x = 2.27 - c. Do 25 and x have different values?
True
Let p be 86 + -1 + 13/(26/4). Let k be (-4)/16 + p/28. Let t be (-2)/(-24) - (-4)/16. Is k > t?
True
Suppose -2*i - 28 = -5*d, 2*i + 4*d + 27 = i. Suppose -3*y - 32 = 2*u + 23, 2*y + u = -37. Is y less than i?
False
Suppose 0 = -3*p - 0*p + 6. Suppose 0 = -p*d + d. Suppose 4*y + d = 4. Is y <= 11/4?
True
Let i be (-6)/((-5)/(210/9)). Suppose 18 = i*u - 25*u. Is u <= 6?
True
Suppose 105*f - 15630 = 75*f. Which is smaller: f or 522?
f
Let d(v) be the third derivative of v**5/60 - 13*v**4/24 - 7*v**3/3 + 23*v**2. Let b be d(14). Let o = -2 - -4. Which is smaller: b or o?
b
Let r be 264/55 - 1/(-5). Let l be 1*(2/(-2) + 1). Suppose l*s - s + a = 0, r*a = s. Is s smaller than 1?
True
Let d(v) = 69*v. Let a be d(1). Let x = a - 271/4. Which is bigger: x or 0?
x
Suppose -74*j = 10876 + 13618. Which is bigger: j or -332?
j
Suppose 2*x = c + 2*c + 32, 2*c - 4*x + 32 = 0. Is 2 greater than or equal to c?
True
Suppose a = -4*a - 4*v + 73, 4*v = 2*a - 18. Suppose 11*s + a - 35 = 0. Is 2 bigger than s?
False
Let f = -251.879 + 252. Let p = f - -0.079. Which is greater: p or 2/9?
2/9
Let y = 21.1747 - -0.4553. Let b = 3.65 - y. Let o = b + 18. Which is smaller: 1/4 or o?
o
Let w = 27 + -21. Suppose w*c - 174 = -0*c. Do 29 and c have the same value?
True
Let m be -21 - (-8*(-3)/(-6) + 1). Let y be m*((-27)/6)/9. Is -0.3 >= y?
False
Let m = -28 + 365/13. Is 0.14 bigger than m?
True
Let d(r) = -28*r - 80. Let m be d(-3). Let u be 94/10 - (-2)/(-5). Which is bigger: m or u?
u
Let h = -6 - -7. Which is smaller: -70 or h?
-70
Let j be (-276)/122 - 11/44*-8. Which is bigger: -0.4 or j?
j
Let v = -108.94 + -1.06. Let d = v + 106. Are d and -1 unequal?
True
Let z = -8 + 2. Let g be z/28*(-16)/(-48). Which is smaller: 1 or g?
g
Let r = 5834 - 3090. Let g be 119/r - (-1)/(-8). Does 0 = g?
False
Suppose 122 = -4*f + 2*s, -2*s + 39 = -2*f - 27. Is -28 at least as big as f?
True
Let s = 21/8 - 677/264. Suppose 0 = 2*n - 2*w - 10, -3 = 5*n - 4*w + 6*w. Is n less than s?
False
Let d = 66 - 122. Let k = d - -56. Let v be 3/(-130)*12/9. Which is bigger: k or v?
k
Let x be ((-10)/340)/(19/(-12)). Is 0 != x?
True
Let k be (-12 + 15)*(-6 - 8825/(-15)). Which is smaller: 1748 or k?
k
Let w(v) = -7*v + 105. Let i be w(15). Which is smaller: 3/80 or i?
i
Suppose p - 4*g - 6 = 0, 3*g - 6 = -2*p - 49. Let q = -9 - 1. Let l = q - p. Is 3 at most as big as l?
True
Let u(w) = 5*w**2 + 11*w + 1. Let m be u(-2). Is 4/393 greater than m?
True
Suppose -i - 2*d = 10, 5 = 3*i - d - 0. Suppose -3*y = 2*b - 6, 2*y + 3*y - 20 = 0. Which is bigger: b or i?
i
Suppose 70 = 4*l + 230. Let u = l - -40. Suppose -2 = j + 1. Is j <= u?
True
Let b(f) = -3*f - 6. Let n be b(5). Let t = 23 + n. Which is smaller: 8/11 or t?
8/11
Let q = -8 - -10. Suppose 4*n - 4*j + 27 = j, q*n - 3*j = -15. Let t = -1 - n. Which is smaller: -1/3 or t?
-1/3
Let q = 1490 + -1490.03. Which is smaller: q or 41?
q
Let o = 284 - 284.6. Is o not equal to 0.21?
True
Let a be (2*(-1)/(-2))/(14/280). Let q(u) = u**3 + 14*u**2 - 16*u + 4. Let k be q(-15). Which is smaller: a or k?
k
Let r be ((-116)/28 - 1)/((-3)/14). Suppose -180 = r*p - 19*p. Which is smaller: p or -37?
-37
Let f = -147709/4580 - -1/1145. Let k = f + 32. Is k at most -2?
False
Let s = -39 + 60. Let z be 9/s + 1720/70. Is 24 greater than or equal to z?
False
Let s = -0.052 - 18.948. Let a = -19 - s. Let f = -2.1 + 2. Which is smaller: f or a?
f
Let n = -0.4 + 0.36. Let q = 6.96 - n. Is q at most -0.2?
False
Let m = -277981/1851227 - 3/13919. Let c = -1/133 - m. Let h(t) = -4*t**2 + 22*t + 13. Let y be h(6). Is c greater than or equal to y?
False
Let x = 16929 - 152584/9. Let j = x + 25. Let c be 3*(-2)/(-6)*-5. Which is smaller: c or j?
c
Let j(a) be the first derivative of -5/3*a**3 + 3 + 1/2*a**2 + 1/4*a**4 + 5*a. Let p be j(4). Are p and -7 non-equal?
False
Suppose 20*s - 25*s = -20. Let i be 0 - (-2 + -3 + s). Which is greater: 1/161 or i?
i
Let g = 51 + -28. Let i = g + -30. Is -2 bigger than i?
True
Let v = 9.3 - 10.3. Let u = -27 - -39. Which is bigger: v or u?
u
Let j = -534 - -576. Which is smaller: j or 48?
j
Let g(d) = -6*d - 6. Let z be g(0). Let i be 3/6*0/z. Is -1/8 >= i?
False
Suppose -4*o - 6 = -y + 21, 4*y + 3*o = 146. Is y < 65?
True
Let v = 148/99 - 2597/1980. Which is smaller: 0 or v?
0
Suppose -44*j - 1357 = -21*j. Which is smaller: -53 or j?
j
Let b = -77.64 + 76. Let r = -0.36 + b. Is -2 < r?
False
Let b = -88 + 1322/15. Which is bigger: 157 or b?
157
Let x = -0.1 - 1.9. Let q = -0.34 + -1.66. Let b = q - x. Is -2/3 less than or equal to b?
True
Let l be (-2)/1*12/(-8). Suppose 7*y = l*y - 8. Let k be ((-5)/10)/(y/(-28)). Is -8 > k?
False
Let x(f) be the first derivative of f**2/2 - 18*f - 12. Let p be x(20). Is 1/2 > p?
False
Let o = 11 - 7. Let v = 98 + -94. Suppose o*u + b + v = -3*b, 0 = 3*u - 5*b - 5. Which is greater: u or 2/15?
2/15
Let z = -112.93 + 113.03. Let h = -3 - -3.02. Let v = h - -4.98. Are z and v nonequal?
True
Let b = 23 - 18. Suppose 924 = 6*v - 246. Let o be 2 - (v/6)/b. Is o at least as big as -6?
True
Let v = -43 - -52. Let y(w) = w**3 - 9*w**2 + w - 8. Let q be y(v). Which is bigger: -2/41 or q?
q
Let s be 8/12 - 8052/9999. Is s equal to 1?
False
Let v be (-816)/28*(-168)/240. Which is smaller: -0.09 or v?
-0.09
Let y = 0 + 0. Suppose 3*p + y*p = 3. Let d be 1 + (-1 - 6/(-20)). Is d less than p?
True
Let i = 2.9186 + 0.0814. Which is smaller: i or 67/6?
i
Let g = 41 + -41. Let z be 164/1144 + (-2)/11 + g. Which is smaller: z or 1?
z
Suppose 28*w = 27 - 27. Is -1/160 at least as big as w?
False
Let o(x) = -x**3 - 20*x**2 + 44*x - 24. Let s be o(-22). Let k = 12 - s. Is 36 equal to k?
True
Let s = -423 - -2114/5. Let h = 0 - 0.1. Which is greater: s or h?
h
Let y(n) = 3*n + 5. Let c be y(4). Let x = -80 + 98. Let o = x - c. Is o < 2?
True
Let z = 0.09 - -0.91. Is 1 bigger than z?
False
Let u be (-8)/2 - (-14 - 12/(-6)). Which is greater: u or -21/8?
u
Let o = -917 + 570. Is o less than -348?
False
Let w = 513 + -509. Is 102/23 at most as big as w?
False
Let u be (-4)/(-32)*-9*(-1)/(-2). Is u not equal to -2?
True
Suppose -11 = -3*i - 29. Let b(j) = -j**3 + 10*j**2 - 14*j + 39. Let z be b(9). Is i smaller than z?
False
Let n(i) be the second derivative of -i**3 + 7*i**2/2 - 7*i. Let b be n(2). Is b less than -5?
False
Suppose i - 2 = 2*i. Let r = 12/5947 + -5292962/65417. Let m = -81 - r. Is i equal to m?
False
Let w = -104 + 101. Let s be 2