ues?
True
Let w be (14/(-6) - -1)*3. Let b(c) = c**2 + 4*c - 3. Let o be b(-4). Which is smaller: w or o?
w
Let b = -27/5 + 5. Are 0 and b unequal?
True
Let z be (-4 - -2)*(-3 + 1). Suppose z*c = 5*r + 5 + 9, -15 = 5*r - 5*c. Which is smaller: r or -4/5?
r
Let r = -0.018 + -1.042. Let z = 0.06 + r. Is z at most 0?
True
Suppose 2*s = -0*s - 4. Let m = s - -5. Let l = m + -3. Is -1/6 >= l?
False
Let a = -18 + 28. Suppose -3*j - 5*v - 18 = j, 3*v = -2*j - a. Which is bigger: j or -1?
-1
Suppose 0*c = 6*c + 30. Is c < -0.1?
True
Let x be ((-1 + 1)/1)/(-2). Let u be 1 + (-4)/(-2) + x. Suppose 5*r = u + 2. Is 2 greater than or equal to r?
True
Suppose 3 = a + 3*l, -l = -3*a + l - 13. Let j(y) = -y**2 + y + 3. Let q be j(a). Let o = q + 3. Which is bigger: -1 or o?
-1
Let a(m) = -m**2 + 6*m + 2. Let k(n) = n**2 - 2*n - 1. Let w be k(4). Let o be a(w). Which is smaller: o or -6?
-6
Suppose 10 - 2 = 4*a. Let n be a/(-2) - (-3 + -1). Let s be (4/(-10))/((-1)/5). Which is greater: n or s?
n
Let x be 28/(-35)*(-10)/4. Suppose -v = -x*v. Which is greater: -1 or v?
v
Let r = -1 - -1. Suppose 0 = 4*h - r*h. Are 3/7 and h unequal?
True
Let t(y) = 5*y - 86. Let r be t(16). Let u(k) = k - 8. Let l be u(4). Is l smaller than r?
False
Let r = 17 + -12. Suppose -5*b + 1 = o, r*b + 3*o - 4 + 1 = 0. Is 4/9 bigger than b?
True
Let i(p) = 3*p - 12. Let g be i(10). Let s be (-3 + 50/g)*-1. Which is greater: s or -0.5?
s
Let m = 2 - 0. Suppose 0 = 5*o - 15, m*o + 19 = -5*w + 5*o. Let u be -2 + (-1 - (w - 0)). Are -3/8 and u nonequal?
True
Let t = 7 - 12. Is t < -1?
True
Suppose -5*q - 24 = 2*r, 2*r - 2 = -3*r + 3*q. Which is bigger: -2/3 or r?
-2/3
Let o = 4573/18 - 254. Which is smaller: o or 1?
o
Let i = 622 - 8101/13. Which is smaller: i or 0?
i
Suppose -u = 9*p - 5*p + 11, 3*p = u - 3. Is p greater than or equal to 18?
False
Let a be (1 - (-10)/(-12))/((-124)/279). Is a >= 1?
False
Let l(q) = 7*q + 11. Let n be l(-2). Which is greater: 0 or n?
0
Let i(y) = -y**3 + y**2 + 3*y + 8. Let j be i(3). Is j bigger than -3.9?
True
Let j be (40/(-3))/(-2)*(-8 + 5). Which is smaller: -19 or j?
j
Let l be ((-16)/(-40))/((-1)/(-5)). Which is smaller: l or 6/5?
6/5
Let c(o) = -o - 2. Let j be c(-3). Let i(a) = 6*a. Let l be i(j). Is l <= 7?
True
Let x = 36 + -554. Let u = x + 11912/23. Which is greater: u or -1?
u
Suppose 9*j - 4*j = 10. Suppose -3*x = 3*v, -x + j*x = 3*v. Which is smaller: x or -1/4?
-1/4
Let a(w) = w - 19. Let r be a(-12). Are r and -31 unequal?
False
Let v = -0.1 - 0.01. Let l = -1.89 + v. Which is bigger: l or 4?
4
Let u(k) = -27*k - 3. Let n be u(-2). Suppose -3*v = -5*j - n, 4*j + 3*v + 2*v + 63 = 0. Let w be (-2)/j + 4/(-12). Which is smaller: 1 or w?
w
Suppose -2*h + 6 + 12 = -5*x, -2*h = 4*x + 18. Let p be ((-42)/(-8))/3 + -2. Does p = h?
False
Let m be (1*(-1 + 1))/1. Suppose -g + 0*g + 18 = m. Let u be 4/(-14) - g/(-14). Which is smaller: -2/5 or u?
-2/5
Let k = -0.1 - -0.3. Let a = -0.6 + 0.3. Let p = a + k. Is -2 less than p?
True
Let h = 10 + -17. Is -2 >= h?
True
Let r(x) = -x**2 + 3*x - 3. Let j be r(2). Let d be 1*((-3)/j + 1). Suppose 4*s + 2*w - d = 0, 6*s - 12 = s + w. Which is smaller: 3 or s?
s
Suppose -4 = 4*a - 3*p + 6, 4*a + p = -2. Let s = 1372/5 + -276. Which is smaller: a or s?
s
Let y = -5/12 + 3/4. Let g(m) = -m**3 + 3*m**2 - 3*m + 2. Let l = 4 - 2. Let c be g(l). Which is bigger: c or y?
y
Let t(o) = o**3 - 4*o**2 + 2*o + 4. Let c be ((-3)/(-2))/(1/2). Let j be t(c). Let i = 180/13 + -1401/104. Is j less than or equal to i?
False
Suppose 126 = 6*c + c. Which is smaller: c or 17?
17
Let y(h) = -2*h**2 + 15*h - 10. Let f be y(7). Let l be ((-16)/7)/1 - -2. Is f at least l?
False
Let d = -6 - -6. Let m be (-10)/(-22)*(-18)/(-15). Is m greater than or equal to d?
True
Let g = -461 + 17055/37. Suppose -8*a = -5*m - 5*a + 3, 2*m - 4*a = 4. Are g and m nonequal?
True
Let i = -14 + 41/3. Which is bigger: -15 or i?
i
Let n = -626/395 + -894571/3555. Let j = n + 253. Is j at least 1?
False
Suppose -2*p - 20 = -3*p - 3*u, -5*u = -2*p - 4. Let q be (p/(-6))/((-2)/3). Suppose 0*w + w = 0. Is w less than q?
True
Let g = 101/3 + -34. Suppose u + d = 6*u - 5, 5*d = -25. Suppose 4*p - 5*f = 3*p + 1, u = -4*p - 4*f + 4. Is p at least g?
True
Let l = -2962887/2584 + 21726/19. Let x = -60/17 - l. Is x at most -1?
False
Let v(q) = q**3 - 7*q**2 + 7*q - 6. Let d be v(6). Which is smaller: d or 5/7?
d
Let g = 5 + 9. Which is bigger: 13 or g?
g
Let c be ((0 + 0)/(-3))/(-1). Suppose c = 3*i - 4*i - 4*j - 5, -3*i + 3*j = 0. Which is greater: i or 2?
2
Let l = 33 - 26. Which is bigger: -4 or l?
l
Let h be (-1)/3 + (-2)/3. Let j be 2*h*1/2. Let d be (-2)/j*1/10. Which is smaller: -1 or d?
-1
Let u be 19/4 + (-8 - -4). Is u equal to -0.02?
False
Let q(x) = -6*x - 2. Let n be q(-7). Let a be 3/5 + (-14)/n. Which is smaller: a or -3?
-3
Let w = 12 - 11.9. Which is smaller: w or -5/2?
-5/2
Let g = -1.3 + -5.7. Let h = g - -6. Do h and -2 have the same value?
False
Let v be (6/9)/((-2)/12). Let p(y) = y**2 + 3*y - 5. Let g be p(v). Suppose -3 = -n + 5*i, -3*i - i - 10 = 3*n. Are g and n nonequal?
True
Suppose -5*p + 0 = -10. Suppose -4*b + 10*s - 2 = 12*s, -6 = 3*b + 3*s. Which is bigger: b or p?
p
Let k = 1 + -4. Suppose -2 = 5*c + 3*r, -5*c + 5*r - 7 = 3*r. Which is smaller: c or k?
k
Let j = -47/2 - -26. Let b(z) = 6*z - 3. Let o be b(1). Which is bigger: o or j?
o
Let j = 85/63 + -7/9. Do j and 2 have the same value?
False
Let z = 188 - 198. Are z and 1 non-equal?
True
Let d(t) = 3*t**2 - t. Let f be d(-1). Let l = 7 - f. Which is greater: l or -1?
l
Let s be (4/(-8) - 9/6) + -7. Which is bigger: s or -8?
-8
Let s = -395/644 + 5/28. Which is greater: 0 or s?
0
Let j = 13 - -3. Let p = -18 - -34. Does j = p?
True
Let a be (-1 - 0)/(2/(-26)). Suppose 4 = 3*g + a. Which is greater: -4 or g?
g
Suppose 0 = -4*c - 2 + 14. Let b be (-2)/(-3)*c/(-32). Is 1 >= b?
True
Let y = -6 - -6. Suppose t = -3*v + 3, y*v - 5*v = -5. Is 0.08 <= t?
False
Suppose r + 1 = 2. Is r <= 11?
True
Let q = 0.9 - 1.1. Let s = 2 + -2. Is s < q?
False
Let s(r) = -3*r - r + 3*r + 5. Let n be s(0). Is 6 greater than or equal to n?
True
Suppose 5*r - 7 = 2*y - 22, 12 = -4*r + 5*y. Let f be -3 + 1 - r/9. Suppose -5*s = 15, 2*c - 3*s - 4 - 3 = 0. Are c and f non-equal?
True
Let p = -10 - 1. Let r be p/(-4) + (-1 - 2). Which is smaller: r or -0.4?
-0.4
Let x be (76/12)/(-1) + (-4)/6. Is x greater than -10?
True
Let a = -14 - -15. Which is smaller: -1/29 or a?
-1/29
Let v(c) = c**3 + 9*c**2 - 9*c + 8. Let h be v(-10). Is h != -3?
True
Let h = 2/279 - 1957/558. Is -5 <= h?
True
Let x = 9 + -5. Let l be -1*x*(-1)/4. Which is smaller: -1/4 or l?
-1/4
Let c = 0 + 8. Let l = -10 + 17. Let x = c - l. Is x less than -0.3?
False
Let w = 4 - 8. Let d(l) = -l**2 - 5*l + 6. Let m be d(-5). Let u be (-1)/m*(-6)/w. Which is bigger: u or -3?
u
Let t(l) = l**2 + 1. Let h be t(-1). Suppose 3*j + 10 = -h*j. Is j less than -3?
False
Suppose -2*c = 2*c + 4. Let n be 0 + (1 + c)*1. Let v be (-2)/20*6/3. Which is greater: v or n?
n
Let c = -3.7 - -4. Let n = 83/36 + -23/9. Is n equal to c?
False
Suppose -5*b - 19 = -z, z - 3*z + 8 = 0. Let y = 245/4 + -63. Which is smaller: y or b?
b
Let w = 2.8 - 0.8. Is w less than 2?
False
Let a(j) = j + 5. Let k be a(-6). Let d = -3 + k. Suppose -3*w - 3 = 6. Is w at least d?
True
Let b be 0/1 + -3 + 0. Let q(j) = -j - 7. Let k be q(-9). Let c = b + k. Which is smaller: c or 1/3?
c
Let w = -77/40 + -3169/120. Let m = w + 29. Is m != 0.05?
True
Let r = -256 + 3326/13. Which is smaller: r or -0.4?
-0.4
Let g be -1 + -4*4/8. Let a(l) = -l**3 - 4*l**2 - 4*l - 3. Let x be a(g). Is -5/4 greater than x?
False
Suppose 3*g - 6 = 12. Let h be (-33)/22*(8/(-6) + 0). Is g < h?
False
Suppose -60*i + 64*i = -60. Which is smaller: i or -18?
-18
Let k(f) = -15 + 3 + 3*f - 2*f - 2*f. Let g be k(-12). Which is greater: 2 or g?
2
Suppose -21*b - 15 = -16*b. Suppose 0 = 2*m + 2*p - p + 10, p = -4*m - 18. Which is greater: b or m?
b
Suppose -4*x - 5 = 3. Let v be (-1)/3*48/8. Is v greater than x?
False
Let m(c) be the second derivative of c**3/6 + c**2/2 + 3*c. Let a be m(-1). Which is smaller: a or -3/7?
-3/7
Let i = -1 - -6. Suppose -61 = -3*v - w, -2*w + 142 = i*v + 42. Let j be v/15 + 12/(-18). I