13707. Which is greater: -22 or k?
-22
Let b(g) = g**3 - 5*g**2 + 2*g + 5. Let r be b(4). Let z be r/(-6)*(-192)/12. Do z and -10 have different values?
True
Let n = 12 + 2. Let s be 133/n*(-2)/(-4). Which is smaller: s or 6?
s
Let d = 658/765 - 15/17. Let w(f) = 5*f - 14. Let j be w(3). Which is greater: d or j?
j
Let r = -3674/27 + 136. Which is smaller: r or 2?
r
Let l be -362*(-5)/4*(-16)/10. Let f = -13759/19 - l. Is 0 != f?
True
Let u(s) = -s**3 - 14*s**2 - 26*s + 16. Let j be u(-12). Which is smaller: 41 or j?
j
Let t(i) = 13*i - 8. Let g be t(1). Suppose x - 6 = -5*h - 0, -22 = -5*h + 3*x. Suppose -2 = -n - 1, 4*y - 26 = -h*n. Is y != g?
True
Let h be 19/56 + (-4)/(-14). Let a = -60 + 26. Let w = -34 - a. Is h < w?
False
Let h = -12 + 13.5. Let s = -0.6 + -1.9. Let t = s + h. Which is greater: -2 or t?
t
Suppose -5*w + 5*k = -3*w - 82, 2*w - 84 = 4*k. Suppose -1 = -47*s + w*s. Is s bigger than 0.029?
True
Suppose -55 = 4*l - 19. Suppose 0 = 76*y + 569 + 267. Which is bigger: y or l?
l
Let l(g) = g**2 - 6. Let c be l(4). Let u be (-18)/54 + (-68)/(-6). Which is smaller: u or c?
c
Let i(w) = -w**2 + 7*w - 9. Let l be i(6). Let q be (-640)/(-304) - (-2)/(-19). Suppose q = -24*c + 22*c. Which is smaller: c or l?
l
Let d = 3.67 - 3.67. Which is greater: d or 285?
285
Let p(l) = 7*l. Let m(a) = -a**3 - 9*a**2 - 10*a - 17. Let f be m(-8). Let s be p(f). Let x(k) = 5*k**3 + k**2 + k. Let u be x(-1). Which is smaller: u or s?
s
Suppose -722*l + 717*l = -10. Let y be (-1)/4 - 6/40. Which is bigger: y or l?
l
Let f = -306109/61 + 5018. Which is bigger: f or 0?
0
Suppose -44*i + 67*i = 23. Which is smaller: 10/77 or i?
10/77
Let c(w) = -5*w. Let b(h) = -30*h. Let i(z) = 6*b(z) - 35*c(z). Let g be i(3). Do -15 and g have the same value?
True
Let g = 31/132 - -2/11. Let k be 7/14*(-7 + 5). Is g at least as big as k?
True
Suppose k = 4*d - 41, 14 + 20 = 3*d - 4*k. Which is smaller: d or 77/8?
77/8
Let o = -452 + 453. Suppose -2*z = 3*s + 2, -2*z = z - 3*s - 27. Is o less than or equal to z?
True
Let v(k) = -k**2 + 3*k - 6. Let t be v(3). Let q be (2/6)/(4/(-24)). Let j be (-18)/t - (-1 - q). Which is smaller: 4 or j?
j
Suppose 13*o + 14049 = -8*o. Which is smaller: o or -668?
o
Let i = 448.001 + -448. Is -8 < i?
True
Let b(n) = -5*n - 6. Let m be b(-6). Suppose 2 = -a - 4*s + 8, -m = -4*a - 2*s. Suppose 0 = -l - 2 + a. Are l and 4 unequal?
False
Let r(n) = -2*n**2 - 7*n - 7. Suppose -3*y - 5*h = 22, 0*y = -2*y + h - 6. Let o be r(y). Let j = -14 - -3. Is j less than or equal to o?
True
Let j(m) = 2*m + 25. Let n be j(-5). Let l(u) = -u + 32. Let p be l(n). Is 15 >= p?
False
Let w = -541/2 + 262. Which is greater: -10 or w?
w
Let g(o) = -o**3 + 5*o**2 + 5*o + 5. Let z be g(6). Suppose -4*w + 5*y = -382, -3*w + 0*y = -5*y - 289. Let c = w + -108. Are c and z non-equal?
True
Let b be (-2)/3 + (-77)/(-21). Let y be (-28)/16 - b/(-4). Which is bigger: y or 1/8?
1/8
Let a be -4*(1 - (-15)/(-12)). Let o be (-2)/((-8)/(5/((-50)/(-55)))). Is a > o?
False
Let p = 1.6074 - 0.1074. Which is greater: 0.24 or p?
p
Let b be ((-6)/(-32))/(3/(-2)). Let j = 34 - 58. Let k be 18/j - (-2)/(-8). Is k >= b?
False
Let t = -991 - -1983/2. Which is smaller: t or 132/17?
t
Suppose 3*i = -3*h - 3, 5*i - i + 18 = 3*h. Suppose 4*j + 14 = h*b - 0*j, 0 = -2*b - j - 6. Is -3 not equal to b?
True
Let i be 21/(-2) - (-3)/6. Let q be 88/i - (-1)/(-5). Let m = -14 - -6. Which is bigger: m or q?
m
Suppose -5*u - 61 = -86, 3*u = -s + 68. Suppose -2*h = 1 + 5, 109 = 2*d - h. Is s at least d?
True
Let r be (-37)/30 - 75/(-90). Let p = 3 - 4. Is p greater than r?
False
Suppose -2*m - 12 = 4*t, 0 = 3*m - m - 5*t - 15. Suppose m*l = -3*a - 2*l - 66, 0 = -5*a + l - 110. Let h be -2*3/(a - -4). Is -0.04 equal to h?
False
Let y = 31 + -54. Let d = 22.7 + y. Is -2 at least as big as d?
False
Let j(i) = -3*i**2 - 4*i - 2. Let v be j(-2). Suppose 5*s = 0, 25*m - 36 = 29*m - 4*s. Let q = m - v. Is q bigger than -1?
False
Let v be ((-4)/(-6))/(10/15). Let r be (-4)/(-6)*(-6)/(-88). Which is bigger: r or v?
v
Suppose -221 = -6*x + 31. Let d = -382/9 + x. Which is bigger: d or 0?
0
Suppose 18*k + 6 = 12*k. Let p be -12 + -1 + k + 1. Are -14 and p non-equal?
True
Let f = -146848/27 - -5438. Let m = f + -8/27. Is m greater than -1?
False
Let g = 3.27 + -25.29. Let u = -22 - g. Let q = -0.22 + u. Are 2/3 and q unequal?
True
Let p be (1/(-4))/(6/(120/(-2155))). Does 1/3 = p?
False
Let n = -1126 + 1127. Let j = 168/11 - 763/55. Which is smaller: n or j?
n
Let r = 284.01 - 279. Let z = 0.01 - r. Which is smaller: z or 1/4?
z
Suppose -8*q - 290 = -50. Which is greater: -245/8 or q?
q
Let w = -16 - -8. Let m be ((-15)/(-2))/(24/w). Which is smaller: -3 or m?
-3
Let l be ((-3)/((135/(-10))/(-9)))/(-2). Let j = -987 - -2936/3. Let a = j - -8. Which is smaller: a or l?
a
Let j(w) = -w**3 - 3*w**2 - 2*w - 2. Let o be 2/(2/(-3)) - 0. Let x be j(o). Which is smaller: 0 or x?
0
Let o = 27 - 22. Suppose -10 = -10*q + o*q. Suppose -5*i = -2*i - 9. Which is smaller: i or q?
q
Let y = -49/109 - 12421/981. Which is bigger: -12 or y?
-12
Suppose 533*h - 529*h - 1380 = 0. Which is bigger: 344 or h?
h
Suppose 0 = 1041*a - 1049*a - 40. Is -39 greater than a?
False
Let i(v) = -94*v + 14. Let x be i(-2). Do 204 and x have different values?
True
Let v = 28 + -40. Let y be (-24)/v*(-2)/(-4). Let k be (4 + -4 + y)/(-1). Which is smaller: k or -3/14?
k
Let w = 242 - 272. Which is smaller: 1/39 or w?
w
Suppose 5 - 16 = m - 4*g, -g + 9 = m. Suppose -p = -m*l - 18, -p + 5*l = 4*p - 10. Are p and 4 unequal?
True
Suppose -2*z + 8 = 50. Let y be 3/21 + 9/z. Which is greater: y or -1/6?
-1/6
Let r(x) = x**2 + 6*x + 4. Let i be r(-5). Let d = i - 0. Let z be 20/(-24) - 0/1. Do z and d have different values?
True
Let v = -5 + 3. Let q = -59105/12 - -4922. Let z = q + 11/3. Is z bigger than v?
True
Let b = -677 - -65. Is b < -613?
False
Let q be -27*1/91 + 8/28. Which is greater: q or 1?
1
Let j(z) = -22 - 9 + 4*z - 10. Let a be j(10). Are -4 and a equal?
False
Let b be (0/1)/(-2) + -1 + -39. Let o be 3/(-2) - b/(-16). Which is smaller: o or -9/2?
-9/2
Let p = 0.682 - 0.482. Which is smaller: -214 or p?
-214
Let i be 2/(-4)*(0 + -14). Is 18 smaller than i?
False
Suppose 0 = 3*d - 3*v - 6, -2*v = -d + v + 6. Let i be 0 + ((-1)/5 - -1). Do i and d have the same value?
False
Let n = -23.46 - -0.46. Let w = 48 + n. Which is bigger: -1 or w?
w
Let o = -138 + 1107/8. Let y = 4 + -3. Is o greater than or equal to y?
False
Suppose -c - 3*v - 27 = -6*c, -2*v = -5*c + 28. Let g = 5 + 2. Which is greater: g or c?
g
Let z = -2/194693 + 981737/805250248. Let n = z + -24224657/86856. Let p = -279 - n. Is 1 < p?
False
Suppose 3*a + 2*o = 11, 0 = a + 3*o - 34 + 21. Is 1/345 greater than a?
False
Suppose -u = 5*j + 2, -29*j - 110 = -5*u - 30*j. Is u at most 122/5?
True
Let w = 1104 + -32017/29. Let k be -2*((-2)/(-4) + -1). Which is bigger: w or k?
k
Suppose f = -5*b - 900, 126 = -3*b + 3*f - 414. Let j be (-4)/(-18) - (-220)/b. Is -22/9 less than j?
True
Suppose 196*y - 197*y + 5*k = 425, 3*k + 837 = -2*y. Is -421 > y?
False
Let m = -130.2 - -126. Let z = -1 + 3.2. Let a = m + z. Is a less than 1/3?
True
Let r(b) = -b**2 - 15*b - 53. Let q be r(-5). Let d = -116/165 - -2/55. Is q >= d?
False
Suppose 1 - 7 = -6*m. Is 8/41 equal to m?
False
Let b = 27.026 - 0.026. Let r = 41.78 - 7.78. Let z = b - r. Is -1 < z?
False
Let g be 4/(-1) - 1*(-254 + 2). Is g at most as big as 248?
True
Let l(z) = -3*z**2 + 32*z + 10. Let k be l(11). Do k and -3/38 have different values?
True
Suppose -a - 147 = -3*n, -7*a + n - 544 = -3*a. Let y be -8 - -7 - (-177)/a. Let k = y - -22/9. Which is bigger: 0 or k?
k
Let w = -0.03 + 0. Suppose -5 = -2*t + h, 11*h + 20 = 7*h. Let q be t - (0 - (-2)/(-4))/(-1). Is q greater than or equal to w?
False
Let b(i) = -i**2 + 5*i - 5. Let s be b(5). Suppose 4*v - 2*d = -d - 532, 0 = 3*v + 2*d + 388. Let o = -413/3 - v. Which is smaller: s or o?
o
Let o be 1336/(-4) + 7 + -7. Is o bigger than -334?
False
Let g be (-207 - -14) + -2 + 2. Do g and -193 have the same value?
True
Let h be 15*((-792)/10)/(-12). Is h at least as big as 99?
True
Let s(k) = -6*k - 11. Let f be s(-2). Let z be (-83 - -2 - f)/(3 - 5). Is z at least 42?
False
Let j = 77