 Let x be k + -1 + (33/6 - 4). Are 15 and x unequal?
True
Let z = -2.088 - -1884.088. Let c = z + -1970.16. Let g = -88 - c. Which is smaller: -0.4 or g?
-0.4
Let x = 6.2 + -6.224. Let f = x + -0.019. Let k = f - -1.043. Are 1/7 and k equal?
False
Let b = 1283 + -501. Which is bigger: 783 or b?
783
Let a be 3/61*-1*-2. Suppose 16*d = 13*d - u + 5, -d + 7 = 3*u. Is d > a?
True
Let i = 1879 + -75. Does 1806 = i?
False
Let d = 2426602/243 - 9986. Let x = -37 + 36. Is d != x?
True
Let c = -1231 + 1231.3433. Is c not equal to -0.1?
True
Let k be (6 + -3*11/6)*0. Which is smaller: 31/26 or k?
k
Let j = 4 - 4. Let n be 18/(-3) - -3 - 121. Let i = n - -115. Is j less than i?
False
Let b(m) = -3*m**2 - 5*m - 1. Let w(g) = -3*g**2 + 13*g + 9. Let u be w(5). Let n be b(u). Which is bigger: 18/37 or n?
n
Let c = -89 + 443/5. Let w(q) = -q**2 + 6*q + 4. Let d be w(6). Suppose d*o + 148 = -124. Is o > c?
False
Let n = 3127 - 2785. Which is bigger: n or 344?
344
Let r(l) = l**2 - 35*l + 222. Let x be r(24). Let t = 69 - x. Which is bigger: t or 112?
112
Let h be ((-16)/10)/(78/(-585)). Let b be 1*(3/h + 38/8). Let v be (-4)/10 + 174/35. Which is smaller: v or b?
v
Let v = -44083 + 44085.9787. Let j = -0.0213 - v. Which is greater: 76 or j?
76
Let g(d) be the third derivative of -d**4/24 - d**3 + 102*d**2. Suppose 0 = 2*f + 2*f + 52. Let k be g(f). Which is smaller: 5 or k?
5
Let d be 336/(-87003)*6/40. Is d less than or equal to 0?
True
Let f = -5892 - -5897.102. Let b = -100 - -99.898. Let m = b + f. Which is smaller: m or -1?
-1
Let n = -254 + 250. Let r be (-40)/(-65)*n/(-16). Let z(t) = t**3 + 6*t**2 - 8*t - 8. Let g be z(-7). Is g at most r?
True
Let f = -933/55 + 741/11. Let j(o) = 10*o - 9. Let h be j(6). Which is smaller: h or f?
f
Let v(q) = 2*q**3 - 26*q**2 + q - 13. Let s be v(13). Is s bigger than 1411?
False
Suppose -7*f + 333 = -0*f - 577. Which is greater: 1313/10 or f?
1313/10
Let z(w) = -w + 29. Let n be (1 + (-18)/(-6))*7. Let l be z(n). Is l at most -3/23?
False
Let z(h) = -86*h**2 + h - 1. Let c be z(1). Let j be (-3)/(-6) + c/(-4). Suppose 4*n + j = -110. Which is bigger: n or -34?
n
Let f = 0.0913 - 0.0913. Which is smaller: 114 or f?
f
Suppose 0 = -5*p + n - 2364 + 10533, -4*p + 7*n + 6560 = 0. Do 1635 and p have the same value?
False
Let l = -3839 - -3840. Which is greater: l or -10/1023?
l
Let o be (-1455)/4 + (-46)/184. Are o and -367 equal?
False
Suppose 6*z - 23 = -11. Suppose 4*j + 94 = z*l, 3*j + 60 = -2*l - 0*l. Which is smaller: -21 or j?
j
Let r = -12119 - -11978. Is r at most as big as -152?
False
Let m = -11362 + 33470/3. Is m at most as big as -204?
True
Suppose -4*d + 104 = -4*f, -2*d - 3*d = -f - 114. Let t(c) = c - c + d + 6*c. Let i be t(-4). Which is greater: 2/67 or i?
2/67
Suppose -3*t = 3*k + t + 228, t = 3*k + 243. Let s be k/(-133) + 18/(-63). Suppose -8*j - 1 = -9*j. Which is greater: s or j?
j
Let v = 2891.68323 - 2891.6. Which is smaller: v or -2/5?
-2/5
Suppose -357 = 5*n - 55*v + 59*v, -3*n - 2*v - 213 = 0. Which is greater: 23 or n?
23
Suppose 47*i + 2100 = 41*i. Let r be (-1 - -6)/(-35) + (-8)/i. Let z = 0 + 0. Is z != r?
True
Suppose -4*o = 3*y + o - 10, 0 = y - 5*o - 10. Suppose -2*p - 1037 = 3*m, 414 = -5*m - y*p - 1316. Let v be (-3)/6*m/(-10). Is -16 smaller than v?
False
Let h(t) = 559*t - 3159. Let j be h(5). Which is bigger: -369 or j?
j
Let o be ((-847)/(-22))/(1/2). Let s = 80 - o. Which is bigger: 5 or s?
5
Let f be (15 - 13) + 0 + 0 + -2. Let j(d) = d + 7. Let o be j(f). Suppose 2*c + 3*l = -0*l - o, -2*c + 5*l = 47. Is c at least -10?
False
Let i = 42 - 40. Let x be 3 + 19808/(-5946) + i/6. Is x <= 0?
False
Let q(o) = 497*o - 3479. Let x be q(7). Are x and 31/221 equal?
False
Let r(f) = f**3 + 3*f**2 + 2*f - 1. Suppose -7*j + 8*j + 2 = 0. Let n be r(j). Is n <= -1/5?
True
Let k = -7 + 5. Let v = -0.0066 + 43.3066. Let u = v + -42. Which is smaller: u or k?
k
Let k be 58/(-13949)*-13 - 2744/(-3996). Let n be (-1 + 1)/(0 + 2). Is n > k?
False
Let l be 36/90*(1 + -450 + 4). Which is smaller: l or -175?
l
Let k = 98903 - 496116/5. Which is bigger: -319 or k?
-319
Let w be ((-2)/(-7))/(11/154). Suppose -9*m = w*m. Which is smaller: 2/61 or m?
m
Let r be 0 + 2/(-5) + (-49786)/310. Do r and -176 have the same value?
False
Suppose 6415 = -7849*w + 7850*w. Are 6415 and w unequal?
False
Let v be -5*3*(-4)/(-15). Let j(m) = m**3 - 5*m**2 + 13*m - 5. Let s be j(2). Let b be (-27)/s - ((0 - -1) + 1). Is b smaller than v?
True
Suppose g = 3*t - 3*g - 1, -5*g + 4 = -2*t. Suppose 6 = 2*c - 4*d - 0, 2*c + t*d = -1. Is 7/43 greater than or equal to c?
False
Let m = -66 + 110. Let y be 36/m - (-2)/11. Let u be -4*y/(-8)*0. Are u and -6/13 non-equal?
True
Let b = -2.6012 - -2.6012. Let m = -554 - -360. Which is greater: b or m?
b
Suppose 24 = -43*r + 67. Is -19/502 != r?
True
Suppose 5*m + 2*u = 284, m - 5*m + u + 222 = 0. Let s be (-169)/m + -1 + 4. Which is smaller: s or -0.3?
-0.3
Let o be (-221)/85*(-6 + 4). Let r = 11 - 5. Is r < o?
False
Let f be (-8)/132 - (-798)/99. Suppose -4*c + 266 = -f*p + 3*p, -60 = -c - 2*p. Which is smaller: c or 66?
c
Suppose -42*k + 2*s - 3260 = -46*k, -3*s = -3*k + 2427. Is 811 smaller than k?
True
Let b(h) = -h**3 + 2*h**2 - 5*h + 2. Let w be b(-3). Let m = w + -249/4. Let c = -198 - -204. Which is smaller: c or m?
m
Let j(g) be the first derivative of g**4/6 + 8*g**3/3 - 22*g + 5. Let b(u) be the first derivative of j(u). Let r be b(-8). Which is bigger: r or 8/11?
8/11
Let t = -100 - -2. Let j = t - -195. Which is smaller: 98 or j?
j
Let u(r) = -r**3 - 5*r**2 + 11*r + 25. Let w be u(-6). Let q be 4*(w/4 + 1). Is 2/25 less than q?
False
Let g = 245/12 - 251/12. Let o = 2 - -0.8. Let x = -0.2 + o. Is g >= x?
False
Suppose -15 = 2*y - 2*n - 1, 3*y = n - 27. Which is bigger: y or -288/29?
-288/29
Let a(l) = -27*l + 109*l**2 + 44 + 110*l**2 - 220*l**2. Let h be a(-20). Does 184 = h?
True
Suppose -10*j - 69 + 239 = 0. Suppose -4*u + j = 701. Is -169 at most as big as u?
False
Let b be (21/4*(-2)/(-9))/((-4284)/756). Let u(j) = -j**2 + 1. Let t be u(1). Which is greater: b or t?
t
Let p(k) = -5*k - 37. Let h be p(-8). Let u be (1 + h/(-6))*0. Which is bigger: u or -7/5?
u
Let y be 2 + (-17 + 1)/2. Let n be (280/40 - (-86)/(-12))/((-91)/12). Which is smaller: y or n?
y
Suppose 0 = -i + 2*f + 1 + 7, -3*f = i - 33. Let c = i + -110. Which is greater: -93 or c?
c
Suppose -8 = 4*c, s + 2*c = -0*c - 1. Suppose -2*o + 40 = -7*z + 5*z, 2*o = s*z + 39. Suppose 3*p = -2*u + 36, -2*u - p = 4*p - 32. Is o greater than u?
False
Let z(r) = -16*r**2 + 15*r + 52. Let h be z(-5). Let t = -3811/9 - h. Let i(g) = g**3 + 5*g**2 + g + 5. Let j be i(-5). Which is greater: j or t?
j
Let o be 3/42 - (-9412)/728. Let x(m) be the third derivative of m**6/120 - 13*m**5/60 + m**4/6 - 19*m**3/6 - m**2. Let a be x(o). Is 33 less than a?
False
Let z = -1.16 + 1.19. Let b be 36/10 - 4/(-10). Suppose 0 = -w - 0*w - b. Which is smaller: w or z?
w
Let v = -829 - -1300. Is 472 at most as big as v?
False
Let t be 2/(-4)*(-6)/4. Suppose 18*o - 1 = -37. Let l be (o/(-28)*-2)/((-5)/(-10)). Is l greater than or equal to t?
False
Let x = 0.107 - 0.049. Let l = -16148 + 16148. Which is smaller: l or x?
l
Suppose 5 = -10*y - 35. Let z be (-1074)/(-8) - (-1)/y. Which is bigger: z or 133?
z
Let j be (2 + -1)/((-28)/1708). Which is bigger: -37 or j?
-37
Let d = -93 + 50. Let b = -43 - d. Let o be ((198/(-40))/(-11))/(63/(-15)). Which is greater: b or o?
b
Let k be 0 - 4/12*9. Let f be (123/(-4))/(k + 6) - -5. Are f and -5 nonequal?
True
Let i(c) = 10*c**3 - 12*c**2 + 4*c - 43. Let p be i(3). Which is greater: 1706/13 or p?
1706/13
Let d = 2816.9 - 2700. Let z = d - 117. Which is smaller: 49 or z?
z
Let r = -92 - -143. Suppose -56 = -u - 2*i, 4*u + i = 43 + 167. Let k = r - u. Is -6/5 at most k?
True
Let u be (-4)/(-6) - 63/135. Let z be (-8)/(2/1) + -2 + -119. Let t = 126 + z. Which is smaller: u or t?
u
Let a be (-2 + 4)/((-6)/(-15)). Suppose 3*s - 137 = -5*g + 1251, 5*g = -a*s + 2300. Let d = -3186/7 + s. Is -1/4 equal to d?
False
Let n = 424 - 312. Let x = 111 - n. Which is bigger: x or -51?
x
Let a(j) = 91*j**3 + 4*j**2 - 95*j + 390. Let r be a(4). Is r greater than 5899?
False
Let z be ((-18)/(-15))/(3/20). Suppose 12*