rue
Suppose 0*o + 2*y = 3*o - 9, -15 = -5*o + 3*y. Suppose -5*k = -o*d + 9 + 1, -3*k + 2*d = 6. Which is smaller: 2/39 or k?
k
Suppose 251*m - 250*m + u - 4 = 0, -4 = -4*m - u. Let w be -2 + 408/10 - -1. Let b = w - 40. Is m > b?
True
Let l(j) = 17*j + 88. Let s be l(-6). Which is bigger: -40/3 or s?
-40/3
Let x = -18.577 - -0.577. Is x != -7?
True
Let v be 0 + 7 + 148/4. Is v < 41?
False
Let g = -71 + 69. Is 13 greater than g?
True
Suppose -3*v + j = -2*j + 3, 0 = -5*v + 4*j - 7. Let o = v + -1. Let l = 122 - 123. Which is smaller: o or l?
o
Suppose 60 = 4*i + s, 40 = 2*i - 0*s - 2*s. Let d be 16 + (-6 - -3)/(-3). Let g = i - d. Which is smaller: 1 or g?
g
Let w be (-3)/(-15) - (-571)/(-255) - -2. Let x(v) = 9*v - 53. Let u be x(6). Is u > w?
True
Let h(i) = i**3 + 10*i**2 + 3*i - 14. Let k be h(-8). Suppose 9*t - k = 18*t. Is t smaller than -43/4?
False
Let d = 8 - -5. Let s = d - 13.2. Which is bigger: -8 or s?
s
Let o = 1185 + -41476/35. Is o >= 0?
False
Let j = 35 - 35. Let b(d) = 0*d + j*d - 8 + d + 0*d. Let f be b(8). Which is greater: 1/2 or f?
1/2
Let s = -5849/3 - -1952. Suppose 2*u - 8 = -4*k, -2*k - 3*u + 5 = -3*k. Which is greater: k or s?
s
Let o = 23.31 - 0.31. Is o bigger than 1?
True
Let r = -275.2 - -275. Which is smaller: 1/10 or r?
r
Let q = -2/13865 - -1719282/152515. Is q > 10?
True
Let m = 1380733/33258 - 1911/46. Let u = 18098/25305 - m. Let i = u + -824/1015. Do 0 and i have the same value?
False
Let f be 40920/210 - 2/(-14). Let g be (3 - 595/f)/(-5). Which is greater: 0 or g?
g
Let l(g) = 2*g - 9. Let a be l(6). Let k be a*((-1)/(-2) - 0). Let p = -16 + 18. Which is smaller: p or k?
k
Let s = 0.019 + -1.339. Let u = s + -0.68. Which is smaller: u or 0.15?
u
Let o be (-16)/(-650)*-4*10/(-16). Which is greater: -1 or o?
o
Let i = 664 + -663. Which is smaller: i or -12/187?
-12/187
Let t = -106.03 - -106. Is t greater than -0.05?
True
Let l(q) = q**3 - 7*q**2 - 6*q - 8. Let d be (46/8 - -2) + (-11)/(-44). Let u be l(d). Which is smaller: u or 17/2?
u
Let w be 1/(-10)*104/33. Let t = -2/15 - w. Is 1 less than or equal to t?
False
Let k = -0.0401 + -5.9599. Which is smaller: k or -0.17?
k
Suppose -643 = -4*f - 2*p + 15, -5*f + 842 = -4*p. Are f and 166 nonequal?
False
Let s be (3/5)/((-6)/4). Suppose 0 = -10*f - 2120 + 6950. Let m be 663/f + 6/(-69). Is s less than or equal to m?
True
Let d be ((154/(-33))/14)/((-1)/(-3)). Let s = 8.1 + -9. Is s < d?
False
Let z = 841 - 851. Let k be 64/(-6) + 2/3. Is z >= k?
True
Let x be 8/580*(3 - -177)/6. Is 1/4 < x?
True
Suppose -5*o - 4*t = -8, 2*o - 3*o + 5*t - 10 = 0. Let j be 411/12*(-8)/(-110). Let f = j + -12/11. Is f less than or equal to o?
False
Let w = -2272 - -2278. Which is bigger: 17 or w?
17
Let i be (5/85)/(376/8). Is 0 greater than i?
False
Let s = -173/255 + 4/51. Is 11 equal to s?
False
Let u = -62/3 - -21. Let q = -33.2 - 8.8. Let l = 42 + q. Which is bigger: u or l?
u
Suppose -4 = -2*h + 2*f, 4*h - 13 = 3*f - 7. Is 4/139 at most h?
False
Let r(l) = l - 7. Let q be r(9). Let p(x) = x**2 + 7*x + 8. Suppose -3*y - 9 = 9. Let n be p(y). Is n < q?
False
Let u(z) be the second derivative of -z**5/20 - 5*z**4/6 + 5*z**3/3 - 5*z**2 + 13*z. Let t be u(-11). Is t at most as big as -1/6?
False
Suppose -7*u - 128 = -5*a - 5*u, -a = u - 20. Which is smaller: 25 or a?
a
Let b = -962 + 792. Do b and -170 have different values?
False
Let s(d) = d + 5*d**3 + 0*d - 6*d**3 + 5*d**2 - 1. Let g be s(5). Suppose g*a - 2 = -6. Is 1/3 at least a?
True
Let x = 24 - 17. Let q be -1 - (1 + x/(-3)). Suppose 0 = -15*f - 0 - 0. Is q > f?
True
Let c = -189 + 190. Let p = 2 + -8. Which is bigger: c or p?
c
Let b = 2 + 11. Let c = 12 - b. Which is greater: c or 2?
2
Let i(q) = q**2 - 4*q - 11. Let d be i(5). Let o be d + 10 - (-2)/(-2). Which is smaller: o or 4?
o
Let a = 27 + -47. Let v = -1 - -3. Let g = v - a. Which is greater: g or 0?
g
Suppose -5*m - 2*r - 1 = 0, -2*m + r = 6 - 2. Let h = 27 + m. Let t be (-12)/(-18)*(-6)/h. Which is smaller: -1 or t?
-1
Let m(r) = 7*r**3 - 10*r**2 - 10*r + 1. Let n(z) = 3*z**3 - 5*z**2 - 5*z. Suppose 9*v = 6*v - 6. Let p(y) = v*m(y) + 5*n(y). Let j be p(6). Does 2 = j?
False
Let a(o) = 2*o + 11. Suppose -4*l + 3 = 11. Let j be -8 - (-3 + (l - -5)). Let z be a(j). Is -5 <= z?
True
Let n be ((-1)/2*0)/(1 + -3). Is n greater than 2?
False
Let i be (1 - 5)*1 - (-475)/114. Which is smaller: -2 or i?
-2
Let g be 33*(0 + (-4)/(-12)). Suppose -g + 46 = 5*m. Let r(d) = -d**3 + 7*d**2 - d + 9. Let c be r(m). Is c not equal to 1?
True
Let b = 12.0638 + 0.1262. Let o = -29 - -28.81. Let i = o + b. Which is greater: i or -1?
i
Let t be -18 + 5 + (-4)/(-1). Let i = 11863/7 + -1705. Which is greater: i or t?
t
Let v be 12/(-9)*(-162)/96. Let s = 6 + -3. Which is smaller: s or v?
v
Let a = -83/12 - -11/4. Let h = -3.6 - -3.5. Are h and a nonequal?
True
Let q be (37020/(-800) - (-2)/5) + 7. Which is smaller: q or -38?
q
Let k be (-56)/(-6)*15/10. Let l be k/(-3 + 1)*28. Let v be 4 - (l/25)/(-2). Is 0 not equal to v?
True
Suppose -3*t = 4 + 5. Let u(n) = -n**2 + n - 2. Let q be u(2). Which is bigger: t or q?
t
Let n = -3 - -4. Suppose 31 = -c + 14. Let b be c/(-34) + (-6)/20. Is n >= b?
True
Let h = 2382 + -2364. Let a = -1.7 - 0.3. Do a and h have the same value?
False
Let u = -70 - -74. Suppose 0*s = u*y - 2*s, 0 = y + 4*s. Is y <= 6/41?
True
Let d be (-34)/51*(-3)/(-2). Let a be (66/(-18))/(d/3). Let z be 2/(-2 - -4)*a. Is z at most as big as 11?
True
Suppose 2*q + 82 = 4*x + 4, 0 = 2*x + 4*q - 54. Let n be ((-28)/x + 1/3)*-2. Is n < 8?
True
Let v = 534 - 562. Is -33 at least v?
False
Suppose -5*j + 41 + 324 = 0. Which is smaller: 72 or j?
72
Let r be 2/(-6) + (-23)/(-3)*-1. Is r > -34/5?
False
Suppose -29*w = -22*w - 7. Which is greater: w or -1/458?
w
Let s = -10.26 + 1.36. Let x = 15 - 6. Let i = s + x. Which is smaller: -7 or i?
-7
Let c be 73/511 + (-6)/238. Let b(y) = -y**3 - 4*y**2 + 3*y - 3. Let d be b(-5). Let p be 9/d - 4/14. Is p at most c?
False
Let v = 22 - -7. Let s be -1 - (27/v)/(-1). Suppose -6*j = 3*j - 7*j. Is s equal to j?
False
Suppose i - 2*i = 5*r + 26, 4*r + 21 = -i. Let f = -59/18 + -53/18. Which is bigger: f or r?
r
Suppose 0 = -2*j + 10*j - 32. Suppose -8 = -2*g - j. Is g > 2?
False
Let h be (-1 - (3 + -89))*-1. Let m = h + -35. Let u be ((-12)/10)/(18/m). Is 9 < u?
False
Let u be ((-18)/(-2595))/((-13)/(650/105)). Which is smaller: -1 or u?
-1
Let v = 4.7 + -1.7. Let u = v + -3.8. Let z = u + -2.2. Are z and -1/3 non-equal?
True
Let b = -40.033 - -40. Let s = b - -12.033. Which is smaller: s or 0?
0
Let l = -0.04 - -4.04. Let g = l - 3.9. Let s = -20 + 19.9. Is g at least as big as s?
True
Suppose -y = 3*y - j - 5, 4*j = 2*y + 8. Suppose 5*m - 5 = 3*f + 50, -m - 28 = y*f. Is f < -1?
True
Let p = -4 + 2. Let x = 1796 - 1798. Is p <= x?
True
Let b = -259.9 - -260. Which is smaller: b or 3/2?
b
Suppose 2*r - 33 = -r. Suppose 4*k = 2*b + 40, -14*b = -10*b + 8. Which is bigger: r or k?
r
Let r(l) = -135*l - 38. Let y be r(-3). Which is bigger: y or 368?
368
Let v(o) = -9*o**3 + 4*o**2 - 9*o + 23. Let d be v(3). Is -212 at most as big as d?
True
Suppose -8*a = -3*a + 785. Let c = a - -165. Is 36/5 less than c?
True
Let n = 966 - 52159/54. Do n and 1 have different values?
True
Let u = -5 - -8. Let b be (u + -4 - 0) + -2. Let i be (2 + -4)*b/(-33). Which is bigger: 0 or i?
0
Let g = 1.4 - 2.3. Let x = -741 + 740. Let q = g - x. Is q less than -0.3?
False
Let y = -2861/2 + 1579. Let c = y - 153. Let k be 5*((-2)/(-2))/(-1). Which is bigger: c or k?
c
Let g be 2/(-10) + (-541)/(-2755). Which is smaller: 0 or g?
g
Let f be (1 + 84/(-48))/(6/8). Suppose -3*w = -0*w + 3. Are f and w non-equal?
False
Let x(u) = -u**2 + 18*u + 7. Let h be x(13). Let l = -214/3 + h. Let b be -2 - (21/(-9))/1. Which is greater: l or b?
l
Let u(t) = t - 7. Let g be u(7). Let m be 0/(3 + g + -6). Let a = m + -3. Is -2 greater than or equal to a?
True
Let r = 42 + -30. Suppose -3*i + 234 = -r*i. Which is greater: i or -27?
i
Let j = -40.87 + -5.13. Let m = -1.04 + 0.04. Which is greater: j or m?
m
Let b be (-3)/4 + 279/36. Suppose 12 = b*r - 3*r. Is -3 greater than r?
False
Let y be 1 + 7 - 5 - -5. Let r = 3 + y. Is 11 <= r?
True
Let u be (-2 - (-20)/8)*0. Let x(o) = -o**2 -