d = 109 - 115. Let p = 5 + d. Is -24/13 not equal to p?
True
Let s = -1219 - -1236. Let t(f) = -5 + 2*f - 19 - 9. Let n be t(s). Which is smaller: n or 2/149?
2/149
Suppose 10*u - 12 = -2*u. Let g = -713/3 + 405694/1707. Which is greater: u or g?
u
Let o = 32.968 - 2.968. Is -0.074 != o?
True
Suppose 25 + 15 = -p. Let k be 1 + 1*52/p. Suppose -183 = -151*y - 32. Which is bigger: y or k?
y
Let h = -12274 - -12859. Which is bigger: 597 or h?
597
Let t(q) = q**2 - 20*q - 7. Let s be t(22). Let b = 29 - s. Let x = b - -7. Which is smaller: 2/21 or x?
x
Let b be 5/(-2)*(-23 - (-842884)/36652). Which is greater: b or 1?
1
Suppose 4*u = 3*z - 38, z + 34 = 4*z - 5*u. Let o be (-1850)/z + (-2)/9. Let y be 8/(-4) - -3 - o/(-104). Do y and 1 have the same value?
False
Let z = 74 + -62. Let c be (z/(-6)*(-25)/(-20))/2. Is c > 0?
False
Let u = 19.2 + 68.8. Let t = -1644.88 + -30.12. Let r = -1674 - t. Which is smaller: u or r?
r
Let z(s) = -3*s - 17. Let g be z(-5). Let l = 14 + g. Suppose o - 20 = -4*v, 3*v - v + o - l = 0. Which is bigger: v or 2?
v
Let a = 13046/45 + -4394/15. Is a greater than or equal to -2?
False
Let d = 6845 + -6844.907. Which is greater: 42 or d?
42
Let o = -4707 - -4705. Which is bigger: o or -21/38?
-21/38
Let a = 1 + -45. Suppose 0 = -37*k + 2*k - 175. Let f be (-2 - (-213)/k) + 93/155. Is a >= f?
True
Let v = 5338.03 - 5338. Is v greater than or equal to -22.5?
True
Let i(g) = 7*g**2 + 26*g + 1. Let m be i(-4). Is -35 at most as big as m?
True
Let b = -1.61 + -64.39. Let v = 718 + -652.1. Let z = b + v. Is -2 smaller than z?
True
Let y = -10.9001 + -0.1699. Let z = -11.5 - y. Let h = z - -0.38. Which is greater: -9 or h?
h
Let r = -2319 - -2307. Suppose -2 = 2*c + 22. Are c and r unequal?
False
Let o = -270179.0379 + 270159. Let p = o + 0.0379. Which is smaller: -2 or p?
p
Let u be 1*(-1)/3 + (-67)/(-255). Let g(z) = z**2 - 3*z - 18. Let l be g(6). Do l and u have the same value?
False
Let f(g) = -20*g**2 + g. Let d be f(1). Let v(y) = y**2 - 10*y - 8. Let a be v(10). Let i be 474/(-24) - 6/a. Is i less than d?
False
Let h(z) = 44*z + 44. Suppose -10*q = -14*q - 5*d - 29, 0 = -3*d - 15. Let f be h(q). Is 2/1337 less than f?
False
Suppose -2*n = -s + 6, n = 2*n - 3. Let w(q) = q**3 + 3*q**2 + q + 1. Let p be w(-3). Let y be p/16 - 97/(-8). Does s = y?
True
Let p(q) = 5*q - 22. Let r(u) be the third derivative of -5*u**4/12 + 15*u**3/2 - 30*u**2. Let f(v) = -5*p(v) - 2*r(v). Let d be f(4). Are -2/21 and d equal?
False
Let h(l) = -l**3 + 11*l**2 - 34*l + 19. Let m be h(5). Are 14/125 and m non-equal?
True
Suppose 3624 - 1428 = 425*k - 3329. Which is bigger: k or 31?
31
Suppose -14 = -6*z + 10. Suppose -5*y - d - 205 = d, y = -z*d - 23. Are -43 and y equal?
True
Let p(s) = -s**2 + 3*s - 7. Let a be p(-13). Let t = a + 216. Is 2/249 less than t?
True
Suppose -176*r = -230*r - 675594. Is -12511 < r?
False
Let f(s) be the second derivative of 5*s**4/12 - 95*s**3/6 + 5*s - 4. Let w be f(19). Which is smaller: -6/37 or w?
-6/37
Let f = -199907831278649/102296 - -1954209659. Let z = f + 6/673. Is 1 bigger than z?
True
Let d = -5991 - -209687/35. Are 0.13 and d nonequal?
True
Suppose -10 = -11*u + 6*u, 0 = -2*z + 3*u - 60. Which is bigger: z or 0.2?
0.2
Let t = -17 + 16. Suppose -4*c + 7 = -s, -2*s + 15 + 7 = c. Suppose s = -8*p + 5*p. Is p > t?
False
Let z = 75 + -72. Suppose -2*n - 2*n + 14 = -2*m, -3*m + z*n = 24. Is -11 smaller than m?
True
Suppose -3 = -l, 3*o = l - 4 + 1. Let r = -3 - o. Let v be r/18 + 11/6*-1. Is v at most -2?
True
Suppose -4*h = -2*g + 10, -3*g + g + 2*h = -4. Let i = -13 + 62. Let o be 35/i - 1*2/g. Which is smaller: o or 3?
o
Let c = 65873/125 + -527. Let k be ((-18)/5)/(32/(-560)). Let w = 63 - k. Which is smaller: w or c?
c
Let v = -140 + 120. Let y be 3*5/v*-4. Let f be (y/(-6) + 0)/5. Which is smaller: f or 1?
f
Let x(l) = 30*l**3 + 7*l**2 + l + 1. Let u(k) = -15*k**3 - 3*k**2. Let y(t) = 5*u(t) + 2*x(t). Let r be y(-1). Is r equal to 6?
False
Let r be (-1)/(-2)*2*1. Suppose -2*j - 12 = -0*j, -3*j = -2*p + 22. Which is smaller: p or r?
r
Let u be ((-12)/(-20))/1 - 7038/5. Which is greater: -1406 or u?
-1406
Let m be (6 - 8)*(1/(-2) - -1). Let x be 763/35 + (m - (-5)/25). Is x greater than 20?
True
Let g = -1700 + 31. Are -1670 and g equal?
False
Let z = -360 + 188. Let k be z + 8*5/10. Which is smaller: k or -169?
-169
Suppose -328*i + 32 = -296*i. Which is bigger: i or -9/31?
i
Let h = -947 - -2875/3. Let y = h - 110/3. Which is smaller: -26 or y?
-26
Let k = -32863 - -32871. Is k != 464/67?
True
Suppose 53*d - 3*b + 122 = 51*d, 106 = -2*d - 5*b. Let a = -21 + 29. Let w = d + a. Do -52 and w have different values?
True
Let i(k) = -3*k**3 - k**2 + 2*k + 3. Let h be i(-2). Let c be h/9 + 0 - 2. Let a = -58 - -58. Is c greater than or equal to a?
True
Suppose 4*g = 4*z + 228, 46*g = 45*g + 8. Which is smaller: z or -207?
-207
Let v = 9892 + -5145. Is 4746 bigger than v?
False
Let r(w) be the third derivative of -3*w**4/8 + 10*w**3 + w**2 + 4. Let b be r(7). Which is smaller: b or -22/5?
-22/5
Let h(k) = k**3 + 51*k**2 + 82*k + 999. Let u be h(-51). Is -3180 less than or equal to u?
False
Let f = 6578 + -4740. Is f <= 1836?
False
Let d = 702 + -701. Is d <= 15/692?
False
Suppose -5321 + 16591 = -49*h. Let u be (3/(-78))/(9 + h/20). Which is greater: u or 1?
1
Let l = 1/42 - 34/987. Let v(p) = p**3 - 8*p**2 + 7*p. Let b be v(7). Which is greater: l or b?
b
Let b be 29088/12420 - 36/15. Which is smaller: 0 or b?
b
Let m = 61.7 + -26. Let a = 35 - m. Let l = a + -0.3. Which is smaller: 2/35 or l?
l
Let y(k) = k + 45. Let q be y(0). Let a be (-5)/q*18539/5. Let v = 412 + a. Which is greater: v or 0?
v
Let c be (-3)/(9/348) - 11*(-210)/385. Let j = -342 - -233. Which is smaller: c or j?
c
Let n = -14.043 - -14. Let j = n + 26.043. Let t = j - 26. Which is smaller: -2 or t?
-2
Let g(w) = -w - 21. Let r be g(-19). Let s be r/(-8) + (-326)/(-8). Suppose 44*j - 75 = s*j. Which is smaller: -1 or j?
-1
Let d be (-2 - (-525)/276)/((-2)/4). Let w = -3179/15778 + d. Is w greater than or equal to 1?
False
Let z = -196 - -390. Let c = z + -119. Which is smaller: -3 or c?
-3
Let q be ((4/(-10))/2)/(29/((-4060)/(-168504))). Which is smaller: -1 or q?
-1
Let w(g) = 73*g - 365. Let u(x) = 25*x - 121. Let d(i) = -17*u(i) + 6*w(i). Let v be d(8). Which is bigger: -30 or v?
v
Suppose 447 = -0*b - 3*b. Let d = b - -305/2. Let r(l) = l**3 - 21*l**2 - l + 26. Let k be r(21). Are d and k unequal?
True
Let u = 4729 - 5954. Which is greater: u or -4905/4?
u
Let f = -2/14649 + -5260618/4883. Which is smaller: f or -1077?
f
Let n = 5 - 0. Let d be n*(24/3770)/3. Which is greater: d or -1?
d
Suppose 0*w - 5*w - 3*s = -29, 4*w - 2*s - 10 = 0. Suppose 150 = -3*q + 4*n, w*q - q = n - 159. Let d be -60 + -4 + 45/5. Is d > q?
False
Let u be 69094/(-965) - 3/(-30)*-4. Let v(w) = -15*w. Let h be v(5). Is h greater than or equal to u?
False
Let l be (-96592)/(-10) + 690/(-575). Is 9658 < l?
False
Let l = -116.9 - -117. Let z = -0.006 + -22.994. Is l at most z?
False
Suppose 9*q - 6*q - 15 = 0. Suppose q*a - a = 32. Let m = -192.8 - -193. Is a >= m?
True
Suppose 0 = -26*t + 17*t + 441. Suppose -168 = -5*f - 3*p, -2*f + t = 2*p - 19. Is 30 > f?
False
Suppose 2*b - 275*t + 276*t - 328 = 0, 2*b + 5*t - 352 = 0. Is b at most as big as 156?
False
Let g be 254/(-1080) + (-24)/(-96). Let p = 1388/2565 - g. Let k = -3 - -5. Is k at most p?
False
Let y = 615108/12186931 + -1/36163. Which is smaller: y or -1?
-1
Suppose 0 = -153*l + 156*l + 30. Let f(q) = q**3 + 9*q**2 - 11*q - 9. Let c be f(l). Which is greater: 7/18 or c?
c
Let r be (-1 + -2)/(34/935*(-6)/20). Which is bigger: r or 1922/7?
r
Suppose 2*f - 5*q - 5 = 0, 3*f = 3*q + 5 + 7. Suppose m - 7 = 4*s + 15, f*s + 19 = -3*m. Let w be (-3)/(-3)*(4 + m/(-1)). Is w less than 0?
False
Let b = -125/14 - -7507/840. Let u(y) = -y**2 - 10*y + 12. Let x be u(-11). Which is smaller: b or x?
b
Suppose 0 = 54*m + 815 + 24241. Let a = -456 - m. Let o = 23 + -16. Which is smaller: o or a?
o
Let l(y) = 11*y - 41. Let k be l(16). Which is greater: k or -2?
k
Suppose -24 = -7*n + 2*n - 3*t, 0 = n - 2*t + 3. Let l be ((-25)/(-9) - n)*3. Let b be (-10 + 408/40)*-85. Which is smaller: b or l?
b
Let t = 67 - 59. Let h b