= 27 - 26. Which is smaller: -1/38 or j?
-1/38
Suppose -2*i - 6 = -3*u, -u + 1 + 1 = 0. Let k be i - -1 - (3 - 1). Let b be 2*k + 4 + -3. Which is smaller: b or -3?
-3
Let b = -0.5 + 0.4. Let m = 0.12 + -0.02. Let a = -0.4 + m. Are a and b non-equal?
True
Suppose 0 = -i - 2*h + 4, 0 = 3*i - 3*h + 6. Which is bigger: -5/32 or i?
i
Let r be 2/(-10) - 124/(-20). Suppose -g = -t - t - 11, -2*t = 5*g - 19. Which is bigger: r or g?
r
Let n(o) = o + 3. Let c be n(-3). Suppose 2*b + r + 3 = c, -2*b - 1 = 2*r + 5. Let a be (-4)/(-70) + (-4)/20. Which is greater: a or b?
b
Let p be 54/(-105) - 8/(-10). Suppose -7*q - z - 14 = -2*q, 3*q - 3*z - 6 = 0. Which is bigger: p or q?
p
Let m(z) = -z**2 - 7*z + 10. Suppose -6*w - 32 = -2*w. Let l be m(w). Let v be 18/7 + (-4)/2. Which is bigger: l or v?
l
Let n be -7 + 6 + 2 + 1. Let s be -1*(3/n + -2). Suppose -10 = -4*x + 3*i, 2*x - 3*i - 5 = 3. Is s greater than or equal to x?
False
Suppose 5*z + 31 = 5*u - 4*u, 0 = 4*z - 3*u + 27. Suppose 2*i - 8 = 0, 2 - 4 = 3*o + i. Which is bigger: o or z?
o
Let t = 0 - -0.5. Let v = 0.075 - 1.075. Is v greater than t?
False
Let h = 0.2 + -3.2. Let m = -3.4 - h. Let q = m - -0.5. Are -2 and q non-equal?
True
Let r = -14 - -19. Suppose 5*j - 17 = 5*u + 38, -3*j + 53 = -r*u. Does -10 = u?
True
Let z be -1*(-2)/44*4. Let a = 22 + -19. Which is greater: z or a?
a
Let u be 9/30 - 2/10. Let f = 18 + -17. Which is bigger: f or u?
f
Let h(s) = s**2. Let b be h(0). Suppose 6 = -3*d + 15. Suppose 2*v = 3*f - 1, -f + d*v + 4 = f. Is b bigger than f?
True
Suppose 23*d = 14*d + 72. Which is smaller: 9 or d?
d
Suppose -q + 5 = -2*a - 0, 25 = -4*a - q. Does -5 = a?
True
Let h(v) = -v**3 + 3*v**2 - 2*v - 2. Let z be h(2). Let f be 4 + 0 + z - 0. Let p = -2.6 + 0.6. Is f < p?
False
Suppose 0 = 5*r + 5*o - 210, 3*o = 4*r + o - 168. Do 43 and r have different values?
True
Let l be 12/(0 + -4) + 3. Which is smaller: -1 or l?
-1
Let u = 7 - 11. Is u <= 4?
True
Let c = -85 + 87. Is 14 smaller than c?
False
Suppose 4*k - 8 = 4. Let x be (3/9)/((-6)/(-4)). Is k != x?
True
Suppose 14 = 3*l + 86. Is -24 > l?
False
Let q = 12.55 - 4.39. Let i = q + -0.16. Do -1 and i have different values?
True
Let z(k) = -k**2 - 6*k + 1. Let o be z(-8). Let d be (-15 - o)/((-1)/1). Which is bigger: d or 3?
3
Let y = 11 - 20. Let n = 9 + y. Is -2/3 smaller than n?
True
Let i(g) = -9 - g**3 - 3*g**2 + 2*g**3 - 2*g + 4. Let c be i(4). Do c and 3 have different values?
False
Let b be ((-3)/2)/(15/(-40)). Suppose -7 = -b*p + 1. Let r = p + 0. Which is greater: r or 1?
r
Let z be (4/(-105))/(2/(-5)). Is 2/3 != z?
True
Let y = 1 + -1. Let v(j) be the third derivative of j**6/120 + 2*j**5/15 + j**4/3 + 7*j**3/6 + 4*j**2. Let l be v(-7). Do y and l have the same value?
True
Let q = 4.43 - 0.43. Is 1 less than or equal to q?
True
Let z = -0.05 + 9.05. Let f = -9.2 + z. Which is greater: 4/7 or f?
4/7
Suppose -7*m + 32 + 10 = 0. Which is bigger: 52/7 or m?
52/7
Let p = 47 - 48. Which is bigger: 28 or p?
28
Let h = 0 + -2. Let a be ((-1)/(-14))/(h/12). Let p = 0 + -0.1. Is p >= a?
True
Let l(n) = n**2 - 5*n + 4. Let u be l(3). Let r = -9 + 10. Let p = r - 6. Which is greater: p or u?
u
Let t = 36 - 37. Which is greater: -4 or t?
t
Let t = -7.9 - 0.1. Let n = 6 + t. Is n bigger than -2/7?
False
Let p be 4/(-14) + (-1602)/(-21). Let g be 2/9*246/p. Let y = 1/19 - g. Do y and 0 have different values?
True
Let a = 11/61 - 1003/488. Are a and -3 equal?
False
Suppose 49 = 3*q - c - 4*c, 5*q = 3*c + 87. Suppose 5*g + q = -4*w, 6 + 10 = -4*w - 4*g. Let p = 68 - 72. Which is greater: p or w?
w
Let g = -1 + 3. Suppose -20 = 3*u - 5*n, 0 = g*u - n + 5 - 1. Let h be (-2)/25*5/(-3). Which is smaller: h or u?
u
Let w = 3 - 5. Let z be 74/(-312) - 4/(-48). Which is greater: w or z?
z
Let k = 0.1 - 0.1. Suppose 2*t - 5*n + 0 = 1, -2*t + 2*n = -4. Suppose 0 = -t*c + 6 + 3. Which is greater: k or c?
c
Let a = 0.0197 + -0.2197. Let w = -19 + 11. Is a smaller than w?
False
Let b = -0.07 - 0.23. Let t = b - -0.1. Let f = t + 0.2. Which is smaller: f or -0.3?
-0.3
Let f(l) = 5*l - 1. Let w(u) = 3*u - 1. Let t(v) = -5*f(v) + 8*w(v). Let z be t(-3). Which is smaller: z or -2/17?
-2/17
Let j be (-4)/(-10)*10/(-474). Which is bigger: 1 or j?
1
Let l = 0.6 - -0.4. Let f = l + -0.5. Which is smaller: -2/7 or f?
-2/7
Let h(s) = -s**2 + 2*s + 1. Let n be h(2). Let f be n + 1 + (-7)/3. Suppose 2*a = 3*a. Is f greater than or equal to a?
False
Suppose b - 4*b - 8 = -5*s, -2*s - 12 = -5*b. Suppose -2*y + 2 = s. Let p = 122/455 + -4/35. Which is greater: y or p?
p
Suppose 0 = -3*u - 0*u - 15. Suppose c + 0*c + 12 = -2*k, 2*c = 4*k + 16. Is k at most u?
True
Let i be 20/((-5)/1) - -4. Which is bigger: 2/129 or i?
2/129
Let a(l) be the second derivative of 1/20*l**5 + 0*l**2 - 4/3*l**3 - 2*l - 7/12*l**4 + 0. Let r be a(8). Which is smaller: -2/3 or r?
-2/3
Let m = 2 + -2. Suppose m = t + 5*w + 14, 2*w = -t - w - 8. Does t = -3/13?
False
Let p = -71 - -68. Which is bigger: p or 1?
1
Let s = 2 - -2. Suppose -1 = s*r + 3. Which is smaller: -2/5 or r?
r
Let v = 24 + -20. Suppose -r + 6 = r. Let k = v - r. Which is smaller: k or 0?
0
Suppose -2*r - 5 = 3. Let d(c) = -c**3 - 6*c**2 - c - 4. Let b be d(-6). Suppose -p - 13 = 2*p - 2*v, p + 3 = b*v. Which is greater: p or r?
r
Suppose -5*b - 3*d + 28 = 0, -b = -4*b + d + 14. Which is smaller: b or 8?
b
Suppose 0 = 4*v - 3 - 1. Are 0 and v unequal?
True
Let q(o) = 2*o**2 - 6*o + 2. Let z be q(4). Let k = z - -4. Is 15 at most k?
False
Suppose 3*p + 3*b = -0*b, -p = 3*b. Which is greater: 2/43 or p?
2/43
Let q = 0.19 - 0.16. Let i(a) = -a**2 + 9*a - 5. Let m be i(7). Let v be (-6)/m + (-2)/(-6). Which is bigger: q or v?
q
Suppose 4*a - 2*k = 3*a - 5, -2*k = -5*a - 9. Are a and 2/21 equal?
False
Let d(c) = c**2 - 10*c + 7. Let b be d(10). Let i = 7 - b. Is 1/5 smaller than i?
False
Let d = 3 + -2. Let s be (-3)/(-14)*16/6. Which is bigger: d or s?
d
Let x(d) = -d - 14. Let k be x(-8). Is k > -11/2?
False
Let t(j) = j**3 + 8*j**2 + 6*j - 2. Let k be t(-7). Suppose -k*c + 15 = -5. Suppose 0 = -7*m + 3*m + 16. Is m at least as big as c?
True
Suppose 4*o = 3*o + 3*o. Let s(r) = -r. Let p be s(0). Let f = p + 1. Which is greater: f or o?
f
Let l = 100 + -119. Are l and 0 equal?
False
Suppose 6*l - 2*l = -4. Which is greater: 1 or l?
1
Let h(j) = -j**3 - 3*j**2 - 2*j. Let b(g) = g**3 + 3*g**2 + 2*g + 4. Let c be b(-3). Let u be h(c). Is 1 not equal to u?
True
Suppose 0 = 5*d - y + 18 - 4, 0 = -4*d - 5*y + 12. Do d and -12/13 have the same value?
False
Let f(i) = i**3 + 5*i**2 + 4*i + 8. Let o be f(-4). Is o <= 46/7?
False
Suppose 27 - 7 = 4*o. Let f(n) = n**3 - 4*n**2 - 4*n - 7. Let k be f(o). Suppose 2*a + s + 8 = 0, -3*s - s - 18 = a. Are k and a nonequal?
False
Let c = 0.179 - -0.031. Let f = -0.25 + c. Is f greater than or equal to -2?
True
Suppose 0 = 4*g - 8*g. Suppose -2*r - 2*r - 8 = g. Is -4/7 less than or equal to r?
False
Let n be (-4*60/(-32))/((-6)/(-8)). Is 8 not equal to n?
True
Let u be ((-8)/(-4))/(-2) - -3. Which is smaller: -0.08 or u?
-0.08
Let w = -8 + 9. Is 1/2 greater than or equal to w?
False
Let s = -0.1 - -0.2. Let f(t) = -t - t**3 - 4*t**2 - 5 - 2*t**2 + 2*t**2. Let h be f(-4). Does h = s?
False
Suppose -2*i + 8 = 3*r, -3*i + 5 = -3*r - 7. Suppose 2*o = -o + 3. Which is greater: r or o?
o
Let y = -1526/13 - -118. Which is smaller: 0 or y?
0
Let b = -1/47 + 49/94. Which is smaller: 0 or b?
0
Let h be (-720)/(-300)*(1 - (-87)/(-2)). Is h not equal to -102?
False
Let n = 28 - 38. Which is greater: -6 or n?
-6
Let i(r) = r**2 - 5*r + 4. Let t be i(5). Let o be (-2)/7 - t/(-14). Which is greater: o or 2/3?
2/3
Let y = 338/781 - -8/71. Which is greater: y or 2?
2
Let q = 2 - 0. Let g be 52/12 - q/6. Let n be 4/10 - g/10. Is 0 <= n?
True
Suppose 5*u - 1 = -w, -2*w - 12 = -5*u + u. Let x = 4 - 9. Which is smaller: x or w?
x
Suppose 3*c - 110 = -554. Which is smaller: c or -147?
c
Let y = 12 + -8. Suppose 0 + 13 = 5*u + 4*o, 4*o = -2*u - 2. Which is smaller: u or y?
y
Let r = -17.2 + 0.2. Which is greater: -1/2 or r?
-1/2
Let u(d) = -d**2 - 6*d. Let p be u(-5). Suppose -3*z + 10 = -p*z. Which is greater: 0 or z?
0
Suppose -k + 2*d - 9 = 0, -4*d - 48 = 4*k - 0*k. Which is smaller: k or -9?
k
Let y(s) = -s**