n z?
True
Let p be (2/(-4))/(35/150). Which is greater: p or -1?
-1
Let n = 82.05 - 84. Let d = n + -0.05. Let h = 108 + -108.3. Is h greater than or equal to d?
True
Suppose 20 - 24 = -2*k. Is -1 not equal to k?
True
Let p = 0.1 + -2.1. Let o(q) = q**2 + 5*q. Let j be o(-4). Let u be (-2)/j*(0 + 8). Is p != u?
True
Let p(v) = -v**3 + 8*v**2 - 6*v - 7. Let r be p(7). Let t = -942 - -32968/35. Let l = -41/105 - t. Is l less than r?
True
Let l(k) = 2*k**2 + 25*k - 31. Let x be l(-14). Which is bigger: x or 12?
12
Let s = 30 + -22.4. Which is smaller: -2/7 or s?
-2/7
Suppose 0 = -4*p + 2*p. Let n be (p + 8)*(-2)/(-18). Is 1 less than or equal to n?
False
Suppose -5*w - 15 = 5*t, 5*w + 36 = 11. Let c(m) = m**2 - 4*m. Let d be c(4). Suppose -t*j + 2 = -d. Which is smaller: 1/5 or j?
1/5
Let n = 3 + 12. Which is smaller: n or 5?
5
Let v(i) = -2 + 1 - 3*i + 2*i + 5*i - i**2. Let x be v(3). Which is greater: 3 or x?
3
Let h be 15 + 1 + (-15)/5. Suppose 2 = 3*r - h. Which is smaller: 6 or r?
r
Let j(t) = t**3 + 8*t**2 - 8*t + 13. Let c be j(-9). Suppose 4*w - 5 = -5*g, 2*g + c*w - 1 = 13. Which is smaller: 1 or g?
g
Let z = 16 + -10. Let p = 8 - z. Is p less than 2?
False
Suppose f + 2*f - 2*s = 16, 2*s + 8 = f. Is 3 less than or equal to f?
True
Let l = 1.38 + -0.18. Which is smaller: l or 1?
1
Let q(j) = -5*j - 3. Let a be q(5). Let d be (-7)/21*(a - -1). Is 9 < d?
False
Let k = -98/9 - -668/63. Is -20 greater than or equal to k?
False
Let u = -199814/258013 - -2/8323. Let x = 250/403 + u. Which is smaller: 1 or x?
x
Let y = -2.01 + 1.9. Let k = y - -0.1. Let p = k - -0.07. Which is bigger: p or 0?
p
Suppose -2 + 0 = 2*s + 4*p, 7 = -s - 5*p. Suppose -7 = -3*y - s*q + 86, 3*q + 138 = 4*y. Let w be -1 + ((-144)/y)/(-4). Is -1 at least w?
False
Let f be (4/(-30))/((-2544524)/6). Let k = f + -1580786203/2124677540. Let v = k + -1/167. Which is greater: -2 or v?
v
Let u = -26 - -25. Is -4 greater than or equal to u?
False
Suppose z + 34 = -1. Let q = z - -55. Suppose 0 = -4*w - w - q. Do w and -4 have the same value?
True
Suppose 0 = 22*m - 21*m. Are -9/11 and m unequal?
True
Let n = 12 - 2. Suppose 0 = 2*f - 1 - 3. Suppose -2*a + n = f. Is a greater than 5?
False
Let k = -0.8 + 0.87. Let c = -2.93 - k. Let m = -0.9 - -1. Which is greater: c or m?
m
Let m = -2219/8 + 277. Let x = m - -5/8. Let h be (-1)/((-1 - 0) + 2). Which is bigger: h or x?
x
Suppose 3*p = p + 2*z - 8, 5*p + z + 2 = 0. Let y = -8746/27 + 324. Which is greater: y or p?
y
Let a(w) = 9*w**2 - 21*w - 15. Let l(p) = -5*p**2 + 11*p + 8. Let k(m) = 6*a(m) + 11*l(m). Let z be k(-4). Which is smaller: 3 or z?
z
Let c(l) = -l**3 + 8*l**2 - 8*l + 7. Let z(i) = -i**3 + 5*i**2 - i - 5. Let j be z(4). Let q be c(j). Let u be 2/(-8) + (-1)/(-2). Which is bigger: u or q?
u
Let h be 1*(1 - 2)*4. Let q be 2 - (-15)/((-12)/h). Is 5 at least q?
False
Let n be (9/(-15))/(2/(-10)). Let r be (-1)/n - 44/(-12). Do r and 3 have the same value?
False
Let l(k) = 9*k**2 + 2*k + 1. Let b be l(-1). Let r be (-6)/b + 2/(-8). Let w = 69 - 70. Do r and w have different values?
False
Suppose -27*n = -33*n + 6. Is 7/10 < n?
True
Let g(z) = -z**3 + 6*z**2 + 7*z + 1. Let a be 6/10 + (-160)/(-25). Let n be g(a). Is n less than or equal to 0?
False
Suppose -w + 12 = 2*w. Let t be (-275)/(-15)*6/w. Let m = t + -27. Is m smaller than -2?
False
Let g(u) = -u**2 + 13*u - 4. Let w be g(13). Let y be (-7)/12 - 2/w. Which is smaller: y or 1?
y
Suppose 4 - 6 = -y. Suppose y*k = 1 - 3. Let a = k - -2. Is a < 3?
True
Suppose 0 = -9*i + 7*i. Let t(h) = -6*h + 1. Let a be t(-1). Suppose i = 4*y - 3 + a. Which is smaller: -2 or y?
-2
Let d be (-15)/90 - (-133)/6. Which is smaller: d or 21?
21
Let o = 18 - 14. Is o smaller than 3?
False
Let v(h) be the first derivative of h**4/4 - 8*h**3/3 + h**2/2 - 4*h + 5. Let k be v(8). Does k = 1/3?
False
Let p = -0.19 - -2.19. Let t = -0.4 - -0.4. Let z = 3 + t. Which is smaller: z or p?
p
Let z be (-1)/2 - (-6)/(-20). Let r(j) = -2*j**3 - 6*j**2 - 3*j - 9. Let v be r(-3). Are v and z nonequal?
True
Let q = -6 - 8. Let g = 13 + q. Which is smaller: 6 or g?
g
Let f = 12 - 10. Let t be (1/(-2))/(2/(-3)). Which is smaller: f or t?
t
Suppose 8*t - 4*t + 4 = 0, 7 = -5*i + 3*t. Let s be -3*(i/4 - -1). Suppose 2*u = 3*f - 1, f = 3*f + 4*u + 10. Is f < s?
False
Let p = 487 + -4397/9. Which is greater: p or -3?
p
Let h = 0.7 - 0.3. Let b = -3 - -3. Suppose 0 = 5*v - b*v. Is v > h?
False
Let b = -37 - -17. Let o be (6/(-5))/(54/b). Let x = 0.31 + -0.31. Is o > x?
True
Suppose 0 = 3*y - 2*y. Let q(l) = y - 2 - l - 1 - 1. Let v be q(-6). Which is smaller: v or -0.2?
-0.2
Suppose -4*p + 6 = -2*b + 24, -3*p + 4*b = 6. Is -8 at least as big as p?
False
Suppose 5*i = 18*g - 15*g + 48, 2*g + i + 32 = 0. Is g equal to -16?
True
Let l be (-9)/(-4) - (-4)/(-16). Suppose 0 = 4*b - 4*g + 12, -g = -0*b + l*b - 3. Let d be 1/(-2 + (-10)/4). Are d and b non-equal?
True
Suppose -2*w = -4, 2 = t - 3*w + 12. Let r = 7 + -1. Let y = 5 - r. Is t < y?
True
Let f = 1/43 - 131/86. Let t = -0.2 - -0.3. Are f and t equal?
False
Let l = 519 + -521. Let y = 0.31 + -0.3. Which is smaller: l or y?
l
Let u be (6 - 1) + 2/1. Suppose -2 - u = -y. Is 9 smaller than y?
False
Let j = 7 - -11. Let z be (-6)/(-4)*12/j. Let n = -1 + z. Is n equal to -2?
False
Let i(f) = -2*f - 42. Let l be i(-20). Is -20/11 at least l?
True
Let s(p) = p - 10. Let k be s(8). Do k and 0 have the same value?
False
Let u(f) = -2*f + 35. Let a be u(16). Suppose 4*t + t - 37 = -3*m, 0 = 5*m - 3*t - 5. Which is bigger: a or m?
m
Suppose 0 = -2*q + 5*q. Suppose 0 = -2*n - q*n - 14. Let b = n - -8. Are b and -2/11 unequal?
True
Suppose 10 = -3*h - 8. Let t be 2/h + (-20)/(-15). Is -1/4 equal to t?
False
Suppose -2*n + 4*n - 12 = 0. Suppose -2*s = 2*m - 6, -s + 0*m = 3*m + 7. Let t be 6/s - (-125)/20. Do t and n have the same value?
False
Let f = -3.2 + 1.3. Let j = -0.9 - f. Which is smaller: -0.01 or j?
-0.01
Let n = -2/27 - -11/27. Which is smaller: 0 or n?
0
Let p = 1 + 3. Let v be (1 - 0)*(-5 + p). Let z be (-2)/6 + 44/(-48). Is v at least as big as z?
True
Let b be (96/10)/(28/(-30)). Let m = -10 - b. Are m and 0 nonequal?
True
Suppose 2*r + g - 35 = 4*r, -5*r - 2*g = 74. Let m = -40 - -12. Let u be (-2)/(-7) - r/m. Which is greater: -2/5 or u?
u
Let g = -132790 - -4647031/35. Let i = -87/5 - g. Is 0 less than i?
True
Let f = -6 + 4.4. Let i = f - -2. Which is smaller: -0.1 or i?
-0.1
Let k(g) = -g**3 + 11*g**2 - 9*g. Let o(v) = -3*v - 5. Let h be o(-5). Let i be k(h). Let u be (4/i)/(12/15). Is 0 smaller than u?
True
Let z be 0 - 4/(3/(24/20)). Let y(q) = q**3 - 4*q**2 - 2. Let a be y(4). Which is smaller: a or z?
a
Let b = -2 - -2. Are -2/21 and b nonequal?
True
Let d(l) = l**3 - 5*l**2 - l + 5. Let c be d(5). Let s be (5 + -2)/(6/(-4)). Is c bigger than s?
True
Let u be 6*2/(-1359)*-3. Let t = -3048/1057 + u. Let i = t + 3. Are 1 and i nonequal?
True
Let j(p) = -2*p**2 - 4*p - 3. Let r(g) = -g**2 - 5*g - 2. Let q(k) = 2*j(k) - 3*r(k). Let s be q(7). Is -2/13 bigger than s?
False
Let u(b) = -b**3 + 14*b**2 - 12*b - 9. Let y be u(13). Which is smaller: 3 or y?
3
Let b = -431/2 + 220. Is -1/4 smaller than b?
True
Let p = 20 - 31. Let m = -8 - p. Is m not equal to 4?
True
Let b(k) = k**3 + k**2 + 2*k + 1. Let c be b(-1). Let i be ((2 - 3) + 1)/(4/2). Is c greater than i?
False
Let k(u) = -u**2 - 3*u + 4. Let i be k(-4). Let w = i + -2. Let x be 2/(-10) - (-6)/(-10). Which is bigger: w or x?
x
Let v = 6/5 + -76/55. Let n = -9733/14267 + 1/2594. Let j = v - n. Is j at most as big as -1?
False
Let r be (-5)/(15/9) - -3. Suppose r*i = -2*i - 2. Is i > 3/11?
False
Let a = -4 + 3. Let c = -2.3 + 0.3. Let k = -2.1 - c. Is k <= a?
False
Let j be (0 + (-190)/4)*2. Let x be ((-2)/j)/((-2)/(-10)). Which is smaller: x or 1/5?
x
Let n = -105 + 75. Let b be (4/6)/(n/9). Which is smaller: 1/3 or b?
b
Suppose -5*j + 1 = -3*f, -j = -4*f - 3*j + 16. Suppose f*n + 2*n = 4*r - 20, 0 = -2*n + 5*r - 25. Which is bigger: n or -1?
n
Suppose 0 = v - b + 3, b + b + 43 = -5*v. Let j(i) = 2*i - 2. Let z be j(5). Suppose -z = 3*x + 13. Is v at most x?
True
Let w(h) = 5*h**3 + h**2 - 1. Let m be w(-1). Let r be (-13)/7 - m/5. Suppose 0*c + n + 3 = -c, -5*c - 2*n - 12 = 0. Are c and r non-equ