. Let u be k(17). Which is smaller: u or -1?
-1
Let u be 0/(7/((-14)/(-4))). Which is smaller: -2/19 or u?
-2/19
Let j(i) = -i**2 + 4*i - 3. Let c be j(4). Let p = -2.6 - -2.7. Which is smaller: c or p?
c
Let x(l) = -12*l + 3. Let n be x(1). Is n greater than -9?
False
Let n be (0 - 1)*(-60)/12. Suppose 0 = 2*a - n*r - 24, 4*r + 5 + 11 = 0. Which is smaller: 2/3 or a?
2/3
Let p(h) = 273*h - 2. Let z be p(-1). Let v = z + 4123/15. Is 1 greater than or equal to v?
True
Let w(q) = q**2 + 5*q - 4. Let l be w(-6). Let z be 2/((-3)/l + 1). Let y = -5 + 2. Which is greater: y or z?
y
Let d = 32 - 102. Let m be (-6)/9 - d/114. Are m and 1 equal?
False
Let q(k) = -k**3 - 10*k**2 + 10*k - 8. Let h be q(-8). Let u be h/(-462) + 2/(-7). Which is bigger: 1 or u?
1
Let f = 68 + -67. Let w(q) = -q - 3. Let j be w(-7). Let o = -3 + j. Is f > o?
False
Let r = -26204/179621 + -2/4381. Let t be 314/656 - 1/1. Let o = r - t. Which is bigger: 0 or o?
o
Suppose 2*j - 2*u = -3*j + 33, 4*j - 32 = 3*u. Let m(k) = -k**3 + 6*k**2 - 7*k + 4. Let d be m(j). Let x = d - -6. Which is bigger: -2/15 or x?
x
Let j be (0/(-1))/(8 - 9). Which is smaller: j or 2/3?
j
Let y(v) = -v - 11. Let g be y(-10). Is 1/17 at least g?
True
Let m(t) = t**2 + 2*t. Let d be m(-3). Suppose -4*r + 7 = -i, -3*r = -8*i + 3*i - 1. Let s be (-3)/(1/(r/d)). Is s bigger than -0.1?
False
Let q be 12*((-15)/6 - -2). Let b = 1 + q. Is 0 <= b?
False
Let w = 7 - 6. Which is smaller: w or 1/19?
1/19
Let u be ((-1)/327)/((-3)/18). Let b = -341/763 + u. Let q = -2 - -3. Is q >= b?
True
Let t(u) = u - 13. Let s be -1*6*21/(-14). Let x be t(s). Is x != -4?
False
Suppose 4 = -3*f + 7. Which is smaller: -3 or f?
-3
Let t be -1 + -1 + (-40)/(-110). Is -3 smaller than t?
True
Let i be (1 - -3) + -6 - -3. Which is smaller: -3 or i?
-3
Let g(l) be the second derivative of -l**4/12 - l**3/6 - l**2/2 + 2*l. Let q be g(0). Is q > 2/11?
False
Let g = -2723 - -198782/73. Let b = 169259 + -86491224/511. Let r = g + b. Does r = 4?
False
Let q = 29/66 + 2/33. Let d = -5 - -5. Suppose d = l - 2 - 0. Which is greater: q or l?
l
Let n be (-3 - 0) + (5 - 2). Is n equal to 0?
True
Let a = -0.1 + 0.3. Let j = -1 + 2. Let c = j - 3. Is a > c?
True
Let o(w) = w + 4. Let m = 9 + -6. Suppose 2*b = 2*h + 5 - 19, b - 1 = -m*h. Let v be o(b). Which is bigger: 0 or v?
0
Let z(i) = i**3 - 5*i**2 + i - 7. Suppose 5*b - 32 + 7 = 0. Let y be z(b). Which is smaller: y or 0.2?
y
Let g = -66.02 + 70. Let x = g + -4. Let d = 0.08 - x. Is d equal to -1/3?
False
Suppose 6 = -j + 3*a, 2*j + 0 - 8 = -4*a. Let q = -7 + 5. Let y be q/(-13) - (-16)/65. Which is smaller: y or j?
j
Let s be (0 - (1 + -1)) + 2. Let c(q) = 3*q**3 - 8 + 10*q**2 - 2*q**3 - s*q**2 - q + 0*q**2. Let f be c(-8). Is 0 at most as big as f?
True
Suppose -5*f + 3*a - 39 + 2 = 0, 3*f = a - 23. Which is bigger: f or 1?
1
Suppose -18 = -6*k + 3*k. Which is smaller: k or 5?
5
Suppose -26*o + 17*o = -387. Is 43 greater than o?
False
Let q = 17.5 - -1.5. Let h = q - 19.18. Which is smaller: h or 0.1?
h
Let s = -6 - -8. Let r be (-4)/s - 5/(-3). Which is greater: r or 2?
2
Let q = 0 + 3. Suppose 30 = -8*t + q*t. Let c be (-1 - 2)*(-2)/t. Is -2 <= c?
True
Let j = -1 + 1. Let s be 0 + (-1 - -8 - 2). Let q be 3 + -2 - s*1. Is j <= q?
False
Let k = -8 + 10. Let j(x) = x + 1. Let o(a) = 4*a + 4. Let l(s) = 5*j(s) - o(s). Let f be l(-1). Which is smaller: f or k?
f
Let d = -588 - -6464/11. Do 0 and d have the same value?
False
Suppose 0*m - m = 5. Let d be 2/(3 - (-14)/(-4)). Which is bigger: m or d?
d
Let b = -15 + 20. Let j = -7 - -12. Is b at most as big as j?
True
Let s = -10 + 32. Let z = -24 + s. Which is smaller: 2/9 or z?
z
Let g = 14 - 11. Suppose 0 = 2*a + g - 1. Is 1/9 bigger than a?
True
Let w = -6 + 13. Let c = 8 - w. Are -0.2 and c non-equal?
True
Let h be 4/(-14) + (-13)/(364/2400). Is -86 at most h?
True
Let g(q) = q**3 - 5*q**2 - 4*q + 9. Let j be g(6). Let r = 60 - 40. Which is smaller: j or r?
r
Let o be (-1)/2 - 5/10. Let h(t) = -3*t - 1. Let y be h(o). Which is smaller: 3/2 or y?
3/2
Let f be (-40)/(-5 + 0) + -6 + 2. Let y = -1 + -1. Is y not equal to f?
True
Let h = 2.9 - 3. Suppose 5 = 5*a + 5*p, -7*p + 6 = 4*a - 2*p. Is a equal to h?
False
Let m = 277/182 + -2/91. Is -1/2 equal to m?
False
Let f = -8 + 7.9. Which is bigger: f or -4?
f
Let g = -1 + 9. Let o = g - 6. Suppose 0 = 3*s - 6*s. Which is smaller: s or o?
s
Let p(h) = 2*h - 3. Let i be p(3). Suppose i*t + 2*t + 5*u = 30, -11 = -3*t + 4*u. Is t > 5?
False
Suppose o = 3*q - 25, -4*q + 38 = q + 2*o. Let v = q - 5. Are v and 2 unequal?
True
Let z(j) = -j**3 + 8*j**2 - 9*j + 13. Let h be z(7). Which is smaller: -11 or h?
-11
Let b = -5/4 - -93/68. Let h = 0.9 - -2.1. Let d = h - 2.9. Which is smaller: d or b?
d
Suppose -3*r = 5*r - 8. Let o be (0 + -1)*(-2 - -1). Is o at least r?
True
Suppose 0 = 3*z - 3 - 18. Let j = -13 + z. Is j >= -7?
True
Let h be (1 - (-2)/(-1))*1. Is h at most -2/15?
True
Let x(k) = -k**3 + 2*k**2 - 2*k + 2. Let n be x(2). Let z be n - (-1 + 1 - 1). Which is smaller: z or 2?
z
Let p = 31.6 - 32. Which is smaller: 7 or p?
p
Suppose 23*g = 27*g - 272. Which is smaller: g or 69?
g
Suppose -n + 8 = 3*n. Let b be (3/5)/((-3)/(-15)). Suppose b = -n*l + 1. Is l <= -2/5?
True
Let o be (-196)/(-1449) + (-4)/18. Is o <= 1?
True
Suppose 4*g = 5*g - 5. Is g equal to 5?
True
Let o = -1715/33 + 52. Which is greater: 0 or o?
o
Let f = -0.1 - -0.2. Let l = 0.01 - -7.99. Let c = l - 8.07. Which is smaller: c or f?
c
Let j(v) = -v**2 + 8*v - 9. Let r be j(7). Let s = r + 53. Let o = 151/3 - s. Which is greater: o or -1?
o
Let a be (-14)/35 - (-912)/5. Let t = a - 1271/7. Let n be (-1)/((2 - 1)/1). Is n < t?
True
Let y(o) = -7*o + 8*o**2 + 2*o**3 - 2*o**3 + 3*o**3 - 4*o**3 - 2. Let r be y(7). Is -2 less than or equal to r?
True
Let f = 0.2 - 0.14. Let o = 0.04 + f. Let l = 0.4 - o. Is l > 2?
False
Let i(q) = q**3 + 14*q**2 + 1. Let c be i(-14). Which is smaller: c or -1/6?
-1/6
Let k(q) = -34*q**2 + 4*q + 8. Let v be k(-2). Is v greater than -137?
True
Let t = -110827/1626 + 409/6. Are t and 0 equal?
False
Let u(t) = -t**3 + 8*t**2 - 13*t + 9. Let k be u(6). Is k equal to 4?
False
Let n = -16.8 - -19. Let h = -1 - -3. Let y = n - h. Is -1 at most as big as y?
True
Suppose p + 115 = -3*d, -d + 5*p - 9 = 8. Let w be 2/7 + d/7. Which is greater: 0 or w?
0
Let s(n) = n**3 + 6*n**2 - 2*n + 4. Let t be s(-6). Let d be (2/t)/((-2)/(-804)). Let k = -50 + d. Are 0.1 and k non-equal?
True
Suppose 0 = v + 3 - 11. Suppose 25 = 5*j + 3*y, y = -j + 3*y - v. Is 0 greater than or equal to j?
False
Let g be 23/7 - 2/7. Let k = 1 - g. Let c = 1.1 + -2.1. Is c < k?
False
Suppose 0*r + 12 = 4*r. Suppose -4*x = -r - 1. Are x and -2 equal?
False
Let t(g) = 11*g**3 + 2*g**2 + 6. Let u(y) = 5*y**3 + y**2 + 3. Let v(r) = 4*t(r) - 9*u(r). Let k be v(-3). Let p be 48/k - (-2)/(-10). Is p less than 1?
False
Let f = -5 - -10. Suppose -n = -2*n + 2*d + f, -16 = 4*n + 4*d. Let o be (-2)/(-7) - (-32)/(-14). Which is smaller: o or n?
o
Let m = -3 + 9. Suppose 0 = 2*b - m*b. Which is smaller: -2/9 or b?
-2/9
Suppose v + 1 = -3*b, 2*b = 3*v - 6*v + 4. Let d = -3/125 - -131/250. Is v at least as big as d?
True
Let p(l) = -2*l**3 + l**2 + 2*l + 1. Let x be p(-2). Let u = 33/2 - x. Suppose -i = 4*a + 4*i + 17, 30 = 5*a - 4*i. Is a less than u?
False
Let i = 4 - 6. Let j be ((-1)/i)/((-4)/8). Let d be (-3 + 2)/(1 + 0). Is d greater than j?
False
Suppose 0 = 2*y + y. Suppose y = 4*z + 2*a + 8, 0 = z - a - 4*a - 9. Is -2/3 > z?
True
Suppose 3*v = -0*v + 78. Is v equal to 25?
False
Suppose d + 6 = 4*d. Let r = d - 10. Which is smaller: -9 or r?
-9
Let y = 12 - 8. Let j = 16 - 11. Suppose 7*p - 3*p - 13 = -v, -y*v = -3*p + j. Are v and 1/9 unequal?
True
Suppose 0 - 3 = x. Is -4 smaller than x?
True
Let f be (36/8)/((-66)/8). Which is smaller: 0 or f?
f
Let d be 10/4*(-12)/(-10). Let p = 51 - 49. Suppose u - 10 = 4*u + 5*c, -p = d*u + c. Which is bigger: u or -5?
u
Let u = 1003/13 - 77. Let m be 2/(-5) - 3/5. Are m and u non-equal?
True
Let k = 1605 - 11215/7. Is k greater than or equal to 2?
True
Suppose -3*p - 1 = 2, -3*p + 3 = v. Let t(i) = -i + 6. Let r be t(v). Which is bigger: -1/3 or r?
r
Suppose -6 = 3*d + o + 2*o, 3*o = -5*d. Let x = -4 + d. Is