 16, 2*o - 5*a - 29 = 0. Is o < w?
False
Let d be (-85)/35 - (-1 - 2). Let y(h) = h + 4. Let k be y(3). Suppose -6 = -4*o + 3*c, -2*o - k = 5*c + 3. Are o and d unequal?
True
Let a be (1 + 0 - 1)/(-1). Suppose -5*p + a = 5. Which is smaller: p or -4?
-4
Let j be -2*(9/((-27)/6) - -1). Let r = 71/42 - 6/7. Is r != j?
True
Let t(z) = z + 10. Let u be t(-10). Let c(i) = i**3 - i**2 - i. Let b be c(-1). Which is greater: b or u?
u
Let z = -3 - -2. Suppose 0 = 4*g + 20, 3*g + 20 + 10 = 5*w. Let q = -3 + w. Are z and q nonequal?
True
Let u = -21.1247 - -0.1197. Let w = u + 0.005. Which is smaller: 1 or w?
w
Let j be (-4 - 24/(-56)) + (5 - 1). Let y(k) = k**2. Let b be y(1). Which is smaller: b or j?
j
Let s be 1 - (1 - 4 - 0). Suppose -2*x + s = -6*x. Let h = -2/3 + 0. Which is smaller: h or x?
x
Let p(w) = w**3 + 4*w**2 - 4*w + 7. Let v be p(-5). Let o be (v/(-5))/(2/(-40)). Is o less than 8?
False
Suppose -7*l + 25 = -2*l. Let n = 3 - 0. Suppose -l*s = -8*s - n. Which is bigger: 0 or s?
0
Let m = 0.21 + -0.31. Let j = 0.7 + -1. Let p = j - -0.4. Which is bigger: m or p?
p
Let b = 18 - 18. Let y be (-24)/15 - 4/10. Which is greater: b or y?
b
Let g = -4.192 - -4.2. Are g and -1/4 nonequal?
True
Let j be 2/(616/(-76)) - 9/(-21). Is j bigger than -1?
True
Let o = 21 - 19. Let m = 6 - 4. Are m and o equal?
True
Suppose b + 3 - 5 = 0. Let y be (b*-1)/((-1)/2). Suppose y*l + 0*l = -4. Is l < 1/13?
True
Let y(l) = -l - 5*l + 2*l**2 - l**2 + 2. Let u be (-16)/(-3) + (-8)/(-12). Let q be y(u). Is 2 at most as big as q?
True
Let f(x) = 4*x + 32. Let o be f(-8). Do -1/94 and o have the same value?
False
Let f = -192/455 + 2/91. Which is greater: 1.6 or f?
1.6
Suppose 0 = -3*c - 2 - 4. Let r = 10 - 7. Suppose -g = 3*g - 2*f - 2, r*g + 11 = -f. Is c greater than or equal to g?
True
Let p be (-1 + 2)*20/(-32). Let z = -43/56 - p. Which is smaller: 1 or z?
z
Let k = 41 + 28. Let o be 1*(270/k - 4). Which is greater: o or 1?
1
Let q = 1.3 - -8.7. Let w = q + -12. Which is smaller: 1 or w?
w
Let k(y) = y**2 + 2*y + 1. Let d be k(-6). Suppose 4*z + d = -z. Let x = -1 - 5. Which is bigger: x or z?
z
Suppose 4*t - 17 = 5*t. Let k = 12 + t. Is -5 greater than k?
False
Let j = -11 - -7. Suppose 0 = -0*g + g - 6. Let z be (-6)/4*j/g. Is z smaller than -2?
False
Suppose -3*s - 1 = -16. Let b be 1*(2 - (0 + 1)). Suppose b = -2*h + s. Is 3 less than h?
False
Let s(w) = -3*w + w + 6 + 4*w. Let u be s(-5). Let n be 2*3/(-12)*u. Is 1 >= n?
False
Let n = -219 - -201.2. Let k = n - -10.7. Let i = 7 + k. Which is bigger: -2/9 or i?
i
Suppose -3*y = 0, 4*a - 2*y = -y - 4. Which is bigger: 0 or a?
0
Let c(d) = -5*d + 2. Let l be c(2). Let b = 12 - 13. Which is bigger: b or l?
b
Let f = -64067 + 259323/4. Let i = 760 - f. Is i at least -5?
True
Let z = -24 + 21. Is z greater than -3?
False
Let c(i) = i**2 - 7*i + 3. Let z be c(6). Let n be (3/(-22))/(z/(-8)). Is 1 < n?
False
Let z = -497/5 + 99. Is z bigger than 0?
False
Suppose -15 = -5*g + 10. Let y be ((-4)/5)/((-2)/g). Which is smaller: y or 1/2?
1/2
Suppose 4*d - h = -8, 0 = -d + h - 2*h + 3. Let u(b) = b**3 - 6*b**2 - 6*b - 1. Let c be u(7). Suppose -c*s = -4*s. Is s less than d?
False
Let o(a) = -a**2 + 16*a - 6. Let s(y) = -y**2 + 15*y - 7. Let g(f) = 3*o(f) - 4*s(f). Let k be g(11). Let v be (0/(-2) - 2)/(-10). Which is greater: k or v?
v
Let k(l) = -l**3. Let z be k(-1). Let r = 0 - z. Let v be 15/4 + r/(-4). Is v at most 5?
True
Let m = 0.26 + -0.2. Let d = m + 2.94. Let w = -3 + 4. Which is smaller: d or w?
w
Suppose 36 = n + 11. Which is bigger: n or -0.2?
n
Let w(i) = i**2 + i + 2. Let x be w(2). Let m = 11 - x. Let g be (-10)/8*m/15. Is 1 equal to g?
False
Let l(k) = k**3 - k**2 - k + 2. Let q be l(0). Suppose 5*t - 10 = -q*s, 25 = 3*t + 8*s - 3*s. Is t smaller than 2?
True
Let b = -48 + 69. Let n be (2 - (-12)/b) + -2. Is n not equal to 0?
True
Suppose 2*l - r + 0 = -4, 0 = l - 5*r + 20. Suppose 3*h + l = -3*a - 15, 0 = -4*h + a. Let u be h*-1*2/(-6). Is u at most -1?
False
Let y(r) = -r**2 + 7*r - 7. Let x be y(5). Let d(a) = 6*a**2 + 4*a - 8*a**x + 4 - 2*a**2 + 7*a**3. Let c be d(5). Is -1/3 at most as big as c?
False
Let f be (-495)/(1 - 6) - (-1 - 0). Is 100 >= f?
True
Suppose 4*f = 2 + 6. Suppose -f*m + 4*m + 4 = 0. Are m and -2 nonequal?
False
Let d be (-1 + 3/3)/(-1). Let x be (2/4)/((-220)/(-16)). Let b = 47/220 + x. Which is bigger: d or b?
b
Suppose -6*l + 60 = -l. Let h be ((-8)/18)/(l/(-18)). Let c = 0.4 - 0.3. Which is greater: h or c?
h
Suppose 9*n - 13*n = 0. Is n > -1?
True
Let o be 6/(-21) + 15/(-21). Let j = 607/7 + -87. Is o at least j?
False
Suppose -10 = 2*t + 3*w + 4, t - w - 3 = 0. Let b(g) = 7*g**2 + 3*g + 1. Let k be b(t). Is 5 at most k?
True
Suppose -3*g - 117 = -2*p, -g - 2*p - 105 = 2*g. Is g not equal to -35?
True
Let u be -2 - 122/(-22) - 3. Which is smaller: u or 1?
u
Let s be 2/(0 - -2) + 14. Let k be ((-2)/s)/(88/(-122)). Let j = k + -11/30. Are -1 and j non-equal?
True
Let f = 12 - 3. Let p = f - 10. Which is smaller: p or 2?
p
Let d be 2/(-3) - 66/(-18). Let t = d + -3. Is 1/13 bigger than t?
True
Let j(u) = u - 11. Let d be j(6). Is d less than -6?
False
Let v = -2 - -3. Let k be (-2)/(-60)*(3 + 1). Which is bigger: v or k?
v
Let p = 27 - 28. Which is bigger: p or -4/9?
-4/9
Suppose -2*y - j + 2 = 0, -2*j - 4 = 3*y + 3*j. Is y at most 3/4?
False
Suppose -2*d + 22 = -2*c + 3*d, 5*d - 20 = 0. Let z be (2 + -2)/((-1)/c). Which is greater: 1/2 or z?
1/2
Suppose 9 + 6 = 5*b. Suppose 0 = 2*g - b + 1. Is -2/21 smaller than g?
True
Let v be 3/(-2)*8/(-6). Let f(t) = -3*t + 9. Let n(l) = -l + 3. Let s(k) = 4*f(k) - 11*n(k). Let r be s(v). Is 0 <= r?
True
Let j(b) = -7*b - 23. Let x(o) = 4*o + 12. Let p(m) = -3*j(m) - 5*x(m). Let v be p(-8). Is 0.2 less than or equal to v?
True
Suppose -3*t = 3*v - 6, 0*v + 5*v - 2*t - 17 = 0. Suppose -v*b + 3 = -9. Let o = -1 - -6. Is o <= b?
False
Let b = 34 + -31. Which is bigger: -0.17 or b?
b
Suppose -5*d - 33 = -4*u, 6*d + 27 = d + u. Let w be (-1)/(-20) + (-1)/d. Let c = 0.03 - 0.03. Which is smaller: c or w?
c
Suppose 5*f - p = -4 - 6, -4*p = -f - 2. Is -3/2 greater than f?
True
Let d = -0.3 + 0.1. Is -2/7 at least as big as d?
False
Let m = 0.1 - -0.22. Let n = m - 0.02. Which is smaller: n or 0.1?
0.1
Let v(h) be the first derivative of -h**4/4 + h**3/3 + 4*h + 1. Let s be v(0). Do s and 1 have different values?
True
Let p be ((-132)/(-56))/(1*(-16)/(-28)). Which is smaller: 4 or p?
4
Let n(r) = -9*r + 81. Let a be n(9). Which is bigger: a or -8/7?
a
Let p be (11 - 11)/(2 + -1). Is p bigger than -2/29?
True
Let k be 135/(-30)*(-2)/1. Let g = 1 + 0. Suppose -3*y + g = 4*c - 3*c, 4*c + k = y. Which is smaller: y or -2/11?
-2/11
Let n = 22 - 22. Suppose 2 = -h - n*h. Which is smaller: 2 or h?
h
Let o be 44106/40*(-16)/(-30). Let l = -588 + o. Which is greater: l or 1?
1
Let s be (-9)/(-7) - (-20)/(-70). Suppose g - 15 = -2*g. Suppose -6 = -g*a - s. Which is bigger: a or -2/15?
a
Let q = -10.07 - -10. Let y = -4.93 + q. Let o = -13 - -12.9. Which is greater: y or o?
o
Let y = 1017/5 + -204. Which is smaller: 0 or y?
y
Suppose 0 = -4*h + 3*a - 0 - 6, -3*a + 6 = 0. Suppose -u = -2*z - 2*u + 1, z = 5*u - 27. Is z < h?
True
Suppose -3*c - 180 = c. Let y be 2/5 + (-27)/c. Let h = 0 - 0. Does y = h?
False
Let h be (-30)/(-7) + 2/(-7). Let i be (2 + 1)/((-9)/(-6)). Suppose p + 2 = i*p. Is p >= h?
False
Suppose 5*h = 4*a - 79 + 8, -5*h + 5*a - 70 = 0. Is h less than or equal to -14?
True
Suppose 4*s + v + 163 = 4*v, 4*s = 4*v - 160. Let i = -19 - s. Suppose 3*z - 21 = 3*g - z, 4*z - i = 4*g. Which is bigger: g or -2?
-2
Let x = 9 - 5. Suppose a = -x*a. Which is smaller: a or 1?
a
Let b(r) = -r**2 + 4*r. Let k be b(4). Suppose -w + i - 27 = k, -i + 6*i = -5. Let o be -3 + 2 + (-20)/w. Which is greater: 0 or o?
0
Let b = -14 - -11. Which is smaller: 1 or b?
b
Let h = 1/15 - 41/165. Let d = -5/4 + 1. Which is smaller: h or d?
d
Let d(q) = -q + 4. Let o be d(0). Suppose -4*l + c = -21, 4*l - 7 - 5 = o*c. Let b be (-9)/l*4/3. Is b at least as big as -3?
True
Suppose -5*q + 6 = -14. Let i = 0.6 - 0.5. Which is smaller: i or q?
i
Let h = 280 + -478. Let l = -787/4 - h. Does 0 = l?
False
Let m be (9 + -8)*(-4)/(-2). Let x be 33/(-44) - m/8. Which is greater: -1