Let d = 64.2 + -64. Are -19 and d non-equal?
True
Let g be 0 + (-14)/(-4) - 1. Let p(a) = -8*a - 2. Let j(o) = 7*o + 3. Let z(s) = -6*j(s) - 5*p(s). Let q be z(-6). Which is smaller: q or g?
g
Let p = -0.11 + 0.21. Let k = p - -1.9. Suppose -4*z = -6*z - 2. Is z bigger than k?
False
Let j be 2/((-20)/15) - 1/(-2). Let s be -2 + (70 + j)*(-1)/(-21). Is s not equal to 0?
True
Let f = 6.84 + -0.64. Which is greater: 1 or f?
f
Let n = -43 - -47. Let i be (3/(150/n))/(-2). Which is greater: 1 or i?
1
Let j = -4 - -7. Let l(u) = u**3 - 2*u**2 + 3. Let t be l(j). Suppose q + 25 = 4*b + 6, 2*b - t = -2*q. Which is smaller: 3/5 or q?
3/5
Let b(m) = -8*m**2 + 9*m - 18. Let x be b(3). Is -64 > x?
False
Let r = -10 + 23. Let h = 408 + -396. Which is greater: h or r?
r
Suppose -5*x = -90 + 15. Suppose 2*g = -2*j - g + x, -3*j - 4*g = -20. Which is greater: -8 or j?
j
Let q = 360 + -364.13. Let x = q + 4. Are x and -1 unequal?
True
Let v = 64 + -60. Suppose -25 = -5*a, -d - 3*a = -a. Let s = -6 - d. Does v = s?
True
Let t(s) = s - 14. Let a be t(8). Let c be (1 - (1 - 0))/(a/3). Which is smaller: 3/58 or c?
c
Let k = -13 - -16. Suppose g - 5*g = -4*l + 20, 0 = -4*l + k*g + 23. Let n = 11 - l. Which is bigger: n or -6?
n
Let z = -1.9 - -0.83. Let f = -0.07 - z. Let y be (3 - (-5)/(-2))/((-12)/8). Which is smaller: y or f?
y
Let d = 82987/92 + -902. Is 0 at most d?
True
Let l = -979 + 936. Do l and -2/15 have different values?
True
Suppose 2*p = 5*r - 172, 7*p - 5*p + 166 = 2*r. Is -83 < p?
True
Let z = 36 - 34. Suppose -2*t + 6*t + m = -11, 4*m = -z*t + 12. Which is bigger: -5/2 or t?
-5/2
Let o(j) = -j**3 - j**2 + 2*j - 8. Let k be o(-3). Suppose 7 - 23 = k*z. Let y = 5 - 7. Is y bigger than z?
True
Let l(n) = -14*n - 69. Let s be l(-5). Is s at most as big as 8/15?
False
Let o(c) = -c**3 + 11*c**2 + 13*c - 16. Let u be o(12). Let l(t) = -t - 1. Let g(v) = 5*v - 3. Let m(p) = g(p) + 4*l(p). Let h be m(7). Which is bigger: u or h?
h
Suppose 21*p - 22*p - 12 = 0. Let u be (-2)/p + (-2)/12. Which is smaller: u or -1/6?
-1/6
Let l = 8 + 16. Let u = l - 24. Which is bigger: u or -3?
u
Suppose 5*i + 4*u - 11 = 0, 2*i + 5*u + 4 - 22 = 0. Suppose -6*r + 133 = 109. Is r less than or equal to i?
False
Let h be -10*(-3)/66 - -1. Let n = 58/55 - h. Let f(j) = -j**3 - 40*j**2 - 37*j + 78. Let s be f(-39). Which is smaller: s or n?
n
Let o be 9/6 - 143/94. Let d be 1/(-2) - (-12 - 250/(-20)). Is o greater than d?
True
Suppose 3*m - 2*m = 0. Suppose 0 = -3*v + 12, -5*k - 5*v + 6 = -6*v. Let g be k + 0 - 9/(-6)*-1. Is g <= m?
False
Let w = 3.648 - -0.052. Let n = 4 - w. Let o = -35 - -35.2. Which is bigger: n or o?
n
Let r = -2944877/212 + 13891. Does 0 = r?
False
Let b = 0.174 + -3.174. Which is smaller: -1/28 or b?
b
Let j(g) = g**2 - 11*g - 5. Let h be j(11). Let l be ((2/3)/(-2))/h. Which is smaller: 1 or l?
l
Let b = 667 + -753. Which is bigger: b or -83?
-83
Let b = -15.7 - -16. Let x(k) be the third derivative of k**6/120 + k**5/10 - k**4/12 - 3*k**3/2 + 4*k**2. Let i be x(-6). Is b < i?
True
Suppose 5*b - 2*b = -3*o + 1332, -5*o + 2226 = 3*b. Let y = -8495/19 + o. Which is smaller: y or -1?
-1
Let c = 142 + -204. Let g = c - -296/5. Which is bigger: g or -2?
-2
Suppose 0*v = 6*v + 348. Let h = -57 - v. Is -2 != h?
True
Let f be 152/(-32)*(-1)/(-6). Let m = f - -373/168. Which is greater: 0 or m?
m
Let s = -44 + 43.79. Let j = 0.22 + s. Let a = 678/5 + -136. Is a at most j?
True
Let s(b) be the first derivative of -b**4/4 - 4*b**3 - 21*b**2/2 + 8*b + 12. Let j be s(-9). Is j equal to -46?
True
Let x = -119 - -121. Let i(r) = -2*r**3 + 3*r**2 + 5. Let y be i(x). Let n = -49 + 734/15. Which is bigger: n or y?
y
Suppose -74*v + 69*v - 145 = 0. Which is bigger: v or -28?
-28
Let u be (-11)/(594/17730)*(-27)/10. Which is greater: u or 887?
887
Let n be (-2)/(-4)*(5 - 15). Let b be n/116*-2*(-20)/75. Which is greater: 1 or b?
1
Let m = -1/2757 - 2576/499017. Let j = 2 - 2. Which is smaller: j or m?
m
Let q = 384 + -384. Which is smaller: -224 or q?
-224
Let j be -59 + (95/10)/19. Is -58 smaller than j?
False
Let h = 12898.621 + -12767.6. Let j = h + -131. Is j at least as big as 0.2?
False
Let o = -0.332 + 0.432. Do -66 and o have the same value?
False
Let t be (-49)/4 - (7 - 9). Let f be ((-605)/11)/11 - (6 - 1). Is f less than or equal to t?
False
Let s = 814 + -815. Is 2/419 >= s?
True
Let t = 121 + -85. Which is greater: t or 37?
37
Let r = 8225843/497167 - -1/45197. Is 17 at least r?
True
Let c be -1 + -2 + (-2 - -6). Let h = 0.22 - 1.25. Let q = 18.03 + h. Which is smaller: q or c?
c
Let w = -1221 + 1138. Is w smaller than -89?
False
Suppose -11*z + 19*z - 40 = 0. Suppose -z*f + 81 = 76. Do 3/28 and f have the same value?
False
Let i = 12 + -7. Suppose -x + 3*r + 6 = 0, 1 = 5*x + 2*r + i. Suppose 4*a - a = x. Which is greater: a or 2/21?
2/21
Let z = -215 - -231. Let j = 0.34 + 15.66. Let n = j - z. Is n at least 0.17?
False
Let n = 235.8 + -208. Let t = n + -4.8. Let f = t + -13. Which is bigger: 1 or f?
f
Let c = 133 + -129. Is 21/4 > c?
True
Let d = 178 - 149. Suppose 13 = -5*g + 158. Does d = g?
True
Let o be 27/(-28) + (-222)/(-296). Is o < 3/11?
True
Let c(d) = -d - 1. Let y be c(3). Let i = -8.8 - -15.7. Let n = i - 7. Are y and n nonequal?
True
Let s(h) = h**3 + 12*h**2 + 8*h - 10. Let a be s(-10). Let w = -772/7 + a. Let p = -1 - -1. Does p = w?
False
Let q be (-1 - 0) + (1*26/(-13) - -4). Let n be 8*(-150)/(-602) - 2. Is n at least q?
False
Let i(t) = -28 + 37 - 18 + 4*t - t**2 + 6*t. Let y = -9 - -19. Let v be i(y). Which is greater: v or -8?
-8
Let n = 23/3 + -163/21. Let w = -29798 + 3128758/105. Let y = w + n. Is 1 at least y?
True
Let a(i) = i**3 - i + 2. Let y be a(0). Let s be ((-7)/(-14))/(y/16). Suppose 0 = -5*q + 2*b + 1 + 3, -2*b = 5*q + 4. Is s <= q?
False
Suppose -13*x = -9*x - 8. Suppose v = x*v. Suppose v - 7 = m. Which is smaller: m or -4?
m
Suppose 3204 = 49*s - 14387. Is s less than or equal to 360?
True
Suppose 3140 = 41*k - 8504. Is 283 smaller than k?
True
Let f = -1422 - -24182/17. Which is smaller: -0.1 or f?
-0.1
Let o(y) = -2*y**3 + 2*y**2 + 5*y - 6. Let r be (-3)/(-5) - ((-294)/35)/6. Let k be o(r). Is 3 smaller than k?
False
Suppose 4*x + 85 = -q, 5*x - 3*q = q - 80. Let r be (-790)/4224 + x/(-110). Let n = r + -1909/2112. Which is greater: -1 or n?
n
Let v = -27 - -122. Is 97 at least v?
True
Let r be (2 - 1)/(18415/(-1315) + 14). Do r and -2 have the same value?
False
Suppose 0 = n, 5*b + 2 + 3 = -2*n. Suppose 3*d - 74 = 2*w, 4*w + 3*d + 135 + 13 = 0. Are b and w non-equal?
True
Let y be (-1)/(-6) + 2275/(-42). Let p be (-92)/y - (-1 - -1). Let c = -1388/783 + p. Which is smaller: 1 or c?
c
Let u = -1 + 1. Let o be ((-6)/(-27))/(4/50). Let q = o + -173/72. Which is smaller: u or q?
u
Let s = 0.0524 + 25.0476. Let c = s - 25. Is -1/12 <= c?
True
Let h = -820 - -822. Let m be (-143)/2*(-32)/(-12). Let r = 193 + m. Which is smaller: r or h?
h
Let h(s) = 4*s - 2. Let f be h(2). Suppose -4*j - p = -5*j + 1, 3*p = -f. Which is greater: j or -1/35?
-1/35
Let y be 1*(2 - 1*8). Let z = -181 + 272. Let m = -89 + z. Which is smaller: y or m?
y
Let v = 4/387 - 2422/9675. Let w(d) = -d**3 + 9*d**2. Let u be w(9). Do v and u have the same value?
False
Let h = -4.82 - -1.55. Let d = h - -3.2. Let s = -18.07 - d. Are -1 and s equal?
False
Let a(k) = -5*k**2 + 3*k - 7. Let o be a(4). Let h be (-30)/o + (-48)/70. Is h less than or equal to -0.03?
True
Suppose 0 = -x - 4*x - 5. Suppose 3*b = -12, 12 = 2*z - 3*b - 6. Let w be z/9 + 4/(-6). Is w greater than x?
True
Let f(m) = -m**2 + 23 - 10 - 14 - 3*m. Let z be f(-2). Is 3/14 greater than z?
False
Let x(s) be the second derivative of -s**4/12 + 5*s**3/6 + s**2 + 5*s. Let c be x(6). Let k be (-3*c/(-16))/(-3). Do k and 1 have different values?
True
Let j = -85 + 79. Is 0 smaller than j?
False
Let t = -275 - -274.963. Which is smaller: 0.2 or t?
t
Let l = 31 + -35.4. Let k = 7.43 + l. Let f = k + -0.03. Which is greater: 1 or f?
f
Let s = -155.2 + -2.8. Let u = -166 - s. Is 6 >= u?
True
Suppose -22*d + 290 = -32*d. Which is greater: -25 or d?
-25
Suppose -x = 233 + 72. Is -305 < x?
False
Let l be ((-300)/(-40))/(15/12). Let q = 1/5 + 2/15. Which is smaller: l or q?
q
Suppose -8 = z - 2*r - 2*r