maller: l or 3/74?
l
Let t = -57 + 56.32. Let s = 0.38 + t. Which is smaller: 9 or s?
s
Let n = 80 + -66. Suppose -12*a + n*a = 112. Are 55 and a non-equal?
True
Let s = 5.4 - 8.3. Let a = -3 - s. Let u = 0 + a. Which is smaller: 0.1 or u?
u
Let r be (43/(-41) - -1)/(10/(-17225)). Let t = 84 - r. Do -1 and t have the same value?
False
Let p = 0.96 - 2.96. Is 17 at most as big as p?
False
Let m = -23/6 - -19/6. Suppose 2*o - 3 = 7. Suppose -4*h = -6*h - o*u - 5, -2*h + 5*u + 25 = 0. Do m and h have the same value?
False
Suppose -51*k + 23680 = -71*k. Is k at most as big as -1186?
False
Suppose 6 = y + 2*a, -y + 3*a - 3 = 1. Let h be (1 - y)/((-42)/2) + 0. Is 0 greater than h?
False
Suppose 6*h = -2*r + 7*h - 3, 3*r - 2*h = -5. Are 1/691 and r nonequal?
True
Let a be 872 - (-3 + -6 + -2). Is 883 <= a?
True
Let h = -24.2542 - 0.0458. Let n = h + 26. Let i = n - -0.3. Is -2 >= i?
False
Let v = 582 - -48. Is 628 less than v?
True
Let x = -0.3 - -3.3. Let k = -13099 - -13086. Is x not equal to k?
True
Let d = 63 + -71. Let p be (-3)/(-12) - 6/d. Is p bigger than -2/15?
True
Let w = -0.274 + 0.174. Which is smaller: w or -121?
-121
Suppose -84*p + 6 = -87*p. Let d(f) = f**3 + 10*f**2 - f + 11. Let g(l) = l**3 + 1. Let x(u) = d(u) - 2*g(u). Let k be x(10). Do p and k have the same value?
False
Let i = 1319/2 - 758. Which is greater: i or -100?
i
Suppose -23 - 9 = -4*v. Suppose -3*k + 5*k - v = 0. Does 7 = k?
False
Suppose -5*o + d - 30 = -d, 5*o + 5 = -3*d. Let w(f) = -f - 6. Let u be w(-2). Are u and o equal?
True
Let r(j) = -j**2 - 13*j - 2. Let z be r(-9). Suppose -35*i = -z*i - 4. Suppose 4*b + 2*w - 88 = -i, -3*w = -4*b + 104. Is b at most 22?
False
Let n be 1/(-1) + 98/96. Let y = 34345 - 34344. Do y and n have different values?
True
Let n = 16 - 8. Let y(s) = -s**3 + 7*s**2 + 9*s - 11. Let r be y(n). Let t(m) = -m**2 - m - 4. Let b be t(0). Is r > b?
True
Let g be -57 + 6/2 + -2. Which is smaller: -55 or g?
g
Suppose 3*b + 5 = 4*b - 3*o, -4*o = -2*b + 6. Let y = -184903/1556 + 32/389. Let s = y - -118. Which is smaller: s or b?
b
Let v = -321 + 411. Which is bigger: v or 621/7?
v
Let q be ((-2)/(-36))/((-16)/24). Let i = 17/60 + q. Which is bigger: -0.1 or i?
i
Suppose 2*n - l + 80 = 0, -5*n + 5*l - 200 = 7*l. Suppose -w - 14 = -0. Let r be n/(-105) - (-4)/w. Are r and 1 equal?
False
Let k = -188 + 298. Is -2 equal to k?
False
Let l(y) = -3*y - 50. Let p be l(-15). Let b be 62/(-10)*(-8 + 3)/p. Are -7 and b nonequal?
True
Let m = 3.19 + -3. Let j = -639 - -1916/3. Is j <= m?
True
Let g = -0.1033 - -0.0033. Are g and -1/481 unequal?
True
Let m = -8.6 - -0.6. Let h = -7.7 + -1.3. Let u = h - m. Is u > -8?
True
Let l = 32619/2703785 - 1/8071. Is -1 bigger than l?
False
Let p(t) = t**3 - 16*t**2 - t + 21. Let x be p(16). Suppose 5*l + 54 = -0*y - 3*y, -x*l = 4*y + 77. Which is smaller: -22 or y?
y
Suppose k = 3*k + 6. Let x = -4 - -5. Let s = x - 0. Is k bigger than s?
False
Suppose 4*s - 2*s + 5*j - 2 = 0, -s + 12 = -3*j. Suppose 0 = s*z - 4*z. Which is smaller: z or 2/29?
z
Let h(d) = -2*d + 24. Let m be h(8). Let v(l) = -3*l - 15. Let n(s) = 4*s + 16. Let a(o) = -4*n(o) - 5*v(o). Let c be a(m). Is c < 3/2?
False
Let d be (-2859)/(-1716) - (1 - -1). Let v = -11/52 + d. Let i be -4*(-3)/(12/(-2)). Which is greater: v or i?
v
Suppose 0 = 3*a - 5*k + k - 31, 2*a - 17 = -k. Which is greater: -2 or a?
a
Suppose 7*h = -1 + 8. Suppose l - h = 0, 3*l + 13 = 6*c - 2*c. Which is greater: c or 22/7?
c
Suppose 5*x + 6 = -4. Suppose 0 = 3*h - 5*c - 4, -4*h - 4*c = 7 - 55. Is h smaller than x?
False
Suppose 3*k - 6*k - 237 = 0. Suppose 5*h = 3*p + 9, 0 = -2*h + 11*p - 9*p + 6. Is h greater than k?
True
Let g(i) = i. Let l be g(0). Let r be (-1 - 0) + l + -16. Suppose 5*d = -25, 2*m + d - 118 = -155. Is m smaller than r?
False
Suppose -t + 4*p = 3*t - 100, -t + 5*p = -9. Suppose -5*m - 3 = -13, -3*m - 42 = 3*o. Let c = o + t. Does 12 = c?
False
Suppose j = -0*j + p + 1, -2*p + 2 = 0. Let x = 92 + -88. Is j less than or equal to x?
True
Let p(s) = s + 2. Let j(k) = k**3 - 2*k**2 - 4*k + 2. Let h be j(3). Let f be p(h). Is 2/45 equal to f?
False
Let s be (-16)/22*(-3)/(-2). Let p = -81 - -48. Let h = -35 - p. Is h bigger than s?
False
Let j = 478/21 - 44/21. Let c = j - 20. Do 2/5 and c have the same value?
False
Let v(u) = -u**3 - 76*u**2 - 63*u + 900. Let k be v(-75). Let f(i) = 15*i**2 - i - 3. Let o be f(4). Let x = o - 1625/7. Which is smaller: k or x?
k
Let q(w) = w**2 + 22*w + 21. Let m be q(-21). Let x be (-2)/4 - (1 + m). Which is bigger: 3/2 or x?
3/2
Let n be -12*(-4)/12 + 29. Is 131/4 not equal to n?
True
Let a = 1199/2135 - -3/305. Is a != 0?
True
Let q(m) be the first derivative of m**2/2 + 11*m - 5. Suppose 5*x - 4*o + 28 = 0, 5*x + 5*o = -20 - 35. Let j be q(x). Which is greater: 1 or j?
j
Let l = 33.4 + -29.4. Is l less than or equal to 1/10?
False
Let h = -5 - -4.2. Let j = h + 1.8. Let t = 378 - 377.2. Is j bigger than t?
True
Let m = -676 - -700. Is 8 greater than m?
False
Let b be (-1 - 0)/(3/(-27)). Let l = 25 - 15. Suppose l*r - 52 = 38. Is b greater than r?
False
Suppose -5*x - 28 = 2*x. Let v(w) = w**3 + 6*w**2 + 8*w - 3. Let f be v(x). Is f greater than -1?
False
Let k = -0.8 + -0.8. Let p be (7 + 0)*35/245. Is k < p?
True
Let j = 10/7 + -47/28. Let k(h) = 2*h - 3. Let a be k(0). Are a and j non-equal?
True
Suppose 0 = -2*q - 5*z + 40, -q - 20 = -2*q + 3*z. Suppose 2*n = -3*n + q. Suppose 0 = t - 3 + n. Which is smaller: t or 1?
t
Let x be 4/(-6) - 40/3. Let r(m) = 1 + 9 + 14*m**2 + 19*m**3 - m - 18*m**3 + 2*m. Let a be r(x). Is a equal to -4?
True
Let p be (6/2 - (0 - -46)) + -7. Is p smaller than -146/3?
True
Let x = 26 + -53/2. Let z(j) = -2*j - 8. Let b be z(-4). Is b less than or equal to x?
False
Let z = 35074/245 - 716/5. Which is smaller: z or 1?
z
Let z = 0.2 - 0.2. Let w = -53 + 54. Let h = w + z. Which is smaller: h or 0?
0
Let u = -27 + 95. Suppose 2 = 2*x, g + g - 2*x = -2. Which is greater: g or u?
u
Suppose -25*h = -76*h + 408. Is 5 bigger than h?
False
Let l(a) = -a**3 + 12*a**2 + 43*a + 35. Let d be l(15). Which is bigger: d or 16?
16
Let t(k) = 2*k - 29. Let d be t(14). Is d <= 2/9?
True
Let r = -6017/7 + 859. Let t = 1 - 2. Is t > r?
False
Let i = 316 + -315.928. Which is smaller: 2/7 or i?
i
Let q be (-8)/(-4404) + 0/((-56)/(-8)). Is 0 smaller than q?
True
Let r = 49.15 + -48. Let n = -394.95 - -395. Let v = n - r. Is v greater than or equal to 0?
False
Let c be (7 - 3) + 0 + 7. Let n = -19 + c. Is n < -5?
True
Let a(k) = -2*k + 16. Let y = -8 - -32. Let i = y - 12. Let j be a(i). Which is bigger: -9 or j?
j
Let b = 8/39 - -32/13. Let c be (-40)/(-110)*66/12. Which is smaller: b or c?
c
Let c be ((-10457)/(-2091) - 1) + -2*2. Which is smaller: -1 or c?
-1
Let r = -61/581 + -15/83. Is -229 at most as big as r?
True
Suppose 5*p = -2*p - 14. Let c be (-4)/((-240)/(-205)) - p/(-8). Is c <= -3?
True
Let v(t) = 16*t + 18*t - 9*t - 12 + 2*t**2 + 1. Let f be v(-13). Are f and 2/13 equal?
False
Let m be 12/(-15)*(-10)/4. Let l = -2 + 2. Suppose l = -m*c + 3*k + 7, -3*c + 0*k - 2*k = -4. Which is smaller: c or -0.2?
-0.2
Let v be ((-429)/130)/(6/(-4)). Let z(u) = -u**2 - 10*u - 1. Let k be z(-6). Suppose f = -d - 3, -k = f - d + 6*d. Which is smaller: f or v?
f
Let x = -17.5 + 17.4. Which is smaller: 11 or x?
x
Let w = 779 + -1006. Which is smaller: -225 or w?
w
Let z = -0.2 + 0.1. Let d = -182 + -99. Let n = 3093/11 + d. Is z bigger than n?
False
Let q(h) = h**3 - 5*h**2 - 2*h - 2. Let p be q(5). Suppose 5*i + 55 = f, 2*f - 24 = 2*i + 6. Is p greater than i?
False
Let q(u) = u**3 - 6*u**2. Let x be q(7). Let g = x - 51. Which is bigger: -5/4 or g?
-5/4
Let d be 40546/(-1980) + -1 + (-14)/(-18). Is d >= -20?
False
Let c(l) = -l**3 - l**2 + l - 933. Let j be c(0). Which is bigger: -932 or j?
-932
Let j be (-12)/(-2)*1/((-63)/(-246)). Let l = j + -26. Which is smaller: l or -2?
l
Let z(c) = -3*c + 7*c**2 + 0*c + 5*c + 7 + 5*c + c**3. Let n be z(-6). Are 1 and n unequal?
False
Let z = -317 - -275. Which is smaller: z or -124/3?
z
Suppose 0 = 2*i + 4*a - 3 + 7, -5*i + a = -1. Is 13/16 smaller than i?
False
Let x be (3/(-18))/((-2)/(-6)*1). Let o(g) = -g**3 - 4*g**2 + 4*g + 2. Let m be o(-5). Let s = m + -9. Which is smaller: s