be w(-6). Let q = t + -19/2. Is a less than or equal to q?
False
Let v(d) = d + 1. Let k be v(-6). Let u = k - -7. Which is smaller: 0 or u?
0
Suppose -3*c + 2*y = -34 - 227, 5*c - y - 442 = 0. Let a = c - 711/8. Which is smaller: a or 0?
0
Let u = -0.0111 + -0.1889. Let c = 5 + 4. Let y be 12/c - 1/3. Is y greater than or equal to u?
True
Let d = 2 - 1. Suppose -4*k + 33 = 5*q, -5*q + 21 = -5*k + 3*k. Is k < d?
False
Let a = 18 - 13. Let j(h) = h**3 + 5*h**2 - 3*h - 2. Let x be j(-3). Suppose -3*p + 8*p = 5*b + x, -2 = -a*b - 4*p. Which is smaller: -3 or b?
-3
Let y(r) be the first derivative of -1 - 1/3*r**3 + r - 3*r**2. Let i be y(-6). Which is smaller: i or 2?
i
Let d(r) = -5*r**2 + r. Let a be d(1). Let c = a + 7. Suppose -3*s + 7 = 1. Is s at least c?
False
Let g = 0.99 - -3.01. Let c = 5 + -3. Let b = g - c. Which is bigger: -2 or b?
b
Let p be 2 + (2 - 5) - -1. Let t = 256.7 - 257. Which is smaller: p or t?
t
Let p = -270509 - -7830640/29. Let a = 487 + p. Is 1 >= a?
True
Let q be (-9)/(-12) - 5/(-4). Suppose -3*b - 4*y + 25 = 0, -3*b - 3*y - 3 = -6*y. Suppose -b*t - 3 = k - 3*k, 2*k = -4*t + 10. Is q greater than k?
False
Let x = -4 - 2. Let h be -1*2 - 16/x. Which is smaller: h or 2?
h
Let h(c) = c**3 + 6*c**2 + 2*c - 3. Let p be h(-5). Let d be (6/(-8))/((-1)/4). Let u be (-40)/p - (-1)/d. Is u equal to -2?
False
Let p be ((-12)/(-36))/((-2)/4). Suppose 2*y = -0*y - 10. Let r = y - -3. Is p less than or equal to r?
False
Suppose 14 = 5*q - 1. Suppose 6 = 3*l, -5*l + 10 = -q*x - 3. Let w be (12/(-8))/(54/8). Which is smaller: x or w?
x
Suppose -a - 2 = p + 20, -5*p - 5 = 0. Let w = a + 30. Let t = 7 - w. Is -1 <= t?
False
Let o = -3 + 8. Suppose -p - o = 4*p. Let r = 0 + p. Is -1 > r?
False
Let y = 147 - 148. Which is bigger: y or -42?
y
Suppose 2*n + 25 = -7. Let s(t) = -2*t**2 + 2*t - 3. Let a be s(3). Is a bigger than n?
True
Suppose 0 = -4*c - 5*o - 1953, -3*c + 0*o - 1460 = -o. Let z = 12173/25 + c. Which is smaller: z or 1?
z
Let h(y) = -y**2 + 12*y + 74. Let b be h(16). Which is greater: 8 or b?
b
Let z(n) = n**3 - n**2 - n + 75. Let m be z(0). Suppose 5*k + 3*a = -0*a + m, 52 = 4*k + 4*a. Suppose -14 = -3*v + 2*b - b, 3*v = 3*b + k. Is 4 smaller than v?
False
Let v be (39/(-15) + 3)*1. Which is bigger: v or 0.01?
v
Let b = -16 - -21. Which is smaller: b or 0?
0
Let k = -0.02 - -3.02. Let m = k + -4. Let p = 2 + m. Which is bigger: p or -4?
p
Let n = 4841 - 314671/65. Is n at least as big as -1?
True
Suppose y + g = 6, 2*g + 0*g = -5*y + 24. Suppose 0 = 9*s - 5*s - 16. Is y > s?
False
Suppose 0*j + 3*s - 1 = -5*j, -5*j - 5*s = -5. Which is greater: j or -11?
j
Suppose 2*x - 5*j + 15 + 0 = 0, -4*j = 5*x - 12. Which is bigger: -3/49 or x?
x
Let l(r) = r**2 - 8*r + 10. Let q be l(8). Let w = q + -9. Is w greater than or equal to 0?
True
Let l(z) = z**2 - 6*z + 3. Let n be l(6). Let q(k) = -k + 1. Let m be q(n). Which is smaller: m or -5/2?
-5/2
Suppose 5*i - i = -5*v + 14, -i - 3*v + 7 = 0. Which is greater: i or 2?
2
Let b = 10.87 - -0.13. Let h = b - 12. Is h less than 1/2?
True
Suppose 1171 + 649 = -5*b. Let o = b - -3643/10. Is o < 0?
False
Let l be 0 + 8 - 2/1. Let g be 76/l*(-6)/8. Let u = g - -10. Which is smaller: 0 or u?
0
Suppose -4*h + 24 = 4. Suppose 2*i - 13 = h*i + 5*w, -2*i + 8 = -5*w. Which is bigger: i or -3/4?
-3/4
Suppose -17 - 34 = -5*c + 4*j, 5*c - 3*j = 47. Is c at least as big as -1?
True
Let w be -3 + 4 + (-2 - -1). Let s be (2/(-4) - w)*0. Which is greater: -4/7 or s?
s
Let q(h) = -h**3 + 3. Let v be q(3). Which is smaller: -25 or v?
-25
Let s(k) = k**2 + 17*k + 36. Let n be s(-16). Which is smaller: n or 21?
n
Let g be -7 - -9 - 1*-2. Let q be (-3513)/(-741) + (3 - g). Let h = q + -50/13. Which is greater: 0 or h?
0
Let q = -1.6 - -1.1. Which is greater: 2 or q?
2
Suppose 5*d - 8 = -33. Suppose -2*r = -2*h - 5*r + 22, r = -2*h + 14. Suppose 0*a - 5*a - 22 = -3*q, -2*a - h = -5*q. Are d and a non-equal?
False
Let y be (-13)/(-20) + (-6)/(-10). Which is bigger: y or 1?
y
Suppose -3*p + 2*c = -15, p + 0*c + 2 = 3*c. Let o = p - 93/13. Which is smaller: -2 or o?
-2
Let k be (3 + -2)*(-2 - -1). Is 2/11 smaller than k?
False
Let u = 186.9 - 187. Let v = 0.25 - -0.05. Which is greater: v or u?
v
Suppose 3*o - 3*f - 12 = 0, 2*o + 19 = -2*o - 3*f. Is o != -7/6?
True
Suppose 1 = -5*o - 0*r + r, 2*o - 2*r = 6. Suppose -m + 5*m = -12. Let p be (o - -2)/(m - -6). Is -1 smaller than p?
True
Let s = 5.3 - 5.6. Let p = -3 - -1. Which is smaller: s or p?
p
Let n be 1/4 + (0 - 1/4). Which is bigger: n or 39?
39
Suppose 0 = -0*n + n + 1, 4*p + 5*n + 89 = 0. Let a = p + 24. Which is smaller: a or 8?
a
Let x = -34 + 13. Let h be (2/6)/(35/x). Which is greater: 0 or h?
0
Let x be (-6)/18 + 4/6. Let o = 0.02 - 4.02. Let s = 3.7 + o. Do s and x have different values?
True
Let f = 4 - 3. Let m = 283 + -4809/17. Which is smaller: m or f?
m
Suppose 0 = 3*q + 9, 4 = -5*x - 4*q - 3. Let r = -54 - -269/5. Which is greater: r or x?
x
Suppose 5 = 3*n + 11. Let p(t) = -t. Let f be p(0). Suppose -3*u - 3 = -2*c - f*u, 3*u = 3*c. Which is smaller: c or n?
c
Let w(q) = -q**3 - 2*q. Let b be w(0). Which is smaller: -2/9 or b?
-2/9
Let n = -28 + 29. Let i = -13.91 - -14. Is i greater than n?
False
Suppose z - 10 = 4*i + 4*z, 0 = 4*i - z + 2. Let h = 2 - 3. Is i at least h?
True
Let p(w) = -w + 6. Let x(m) = -4*m + 25. Let n(a) = -9*p(a) + 2*x(a). Let d be n(3). Are -2 and d equal?
False
Let y = 3.03 - 3. Let w = 0.07 + y. Which is smaller: w or 5/2?
w
Let k = 3.1 + -3. Suppose 4 = -5*h - 6. Let q be h + -16*3/(-30). Which is smaller: k or q?
q
Let o be 1 + 3 - 17908/4466. Which is greater: 0 or o?
0
Suppose 3*n + 12 = -0*j - 4*j, -16 = -3*j + 4*n. Let f be -1 - ((-4)/3 - j). Which is smaller: -4 or f?
-4
Suppose 6 = -4*q + 5*q. Let t = -1 + q. Let w = t - 6. Which is smaller: w or -2/9?
w
Let a = 67 - 66.6. Are a and 10 equal?
False
Let h = 61.9 - 62. Which is bigger: -146 or h?
h
Let f = -36 - -10. Which is smaller: -25 or f?
f
Let t(m) = -m - 6. Let i be t(-4). Let j be (3 + i*2)/(-1). Which is smaller: 4/13 or j?
4/13
Suppose j - 19 = 28. Let q be (-8)/(-20) - j/5. Is q <= -9?
True
Let w = 1 + 6. Suppose -4*o - 5*y = -7, -3*o + y - 3*y = -w. Is 0 less than or equal to o?
True
Let b be 643/(-15) + 3/15. Let t = b - -42. Let d = 1 - 3. Is t less than or equal to d?
False
Let f = 8 + -5. Suppose -2*x - 9 = -3*z, f*z + z - 2*x - 10 = 0. Let i = -37/164 - 1/41. Is i at least as big as z?
False
Suppose 0*r = 3*r - 3. Let o be r + (-5)/(60/9). Let x = 1 + -1.07. Which is smaller: x or o?
x
Suppose -2*d = 2*d + i + 1, 0 = 2*i - 6. Is 2/35 != d?
True
Let t(u) = u**3 - 8*u**2 + 7*u + 4. Let k be t(7). Suppose -6*o = -k*o - 36. Suppose -4*d = -3*v - o, 4*d + 2*v + 2*v = 4. Is 3 greater than d?
False
Let w = -6 + 3. Let r = 50 + -52. Is w greater than or equal to r?
False
Suppose 0 = -6*z + 2*z + 20. Suppose z*l + 9 = 2*l. Suppose 0*b = 2*b + 4. Which is bigger: b or l?
b
Let z = -101/290 - 3/58. Is -19 greater than z?
False
Let r = 0.9 + -1.09. Let g = 0.01 - r. Is g >= 2/3?
False
Let d(i) = i + 9. Let w be d(-16). Which is bigger: w or -20/3?
-20/3
Let i be 6 - ((-2)/1 - -3). Which is smaller: 4 or i?
4
Suppose 3*h + 6 = -0*h. Let b be (h/(-4))/(27/(-12)). Is 1 at most as big as b?
False
Suppose -6 + 0 = -3*n. Does 4 = n?
False
Let a(h) = -h**2 - 4*h. Let y be a(-3). Suppose 0 = 5*l - 2*f - 19, y*l - 18 = f - 7. Suppose -l*d + 4 = -3*r + 1, -r = -5*d + 13. Which is smaller: r or 6/11?
6/11
Let r(g) = 16*g**2 + 29*g + 34. Let l(y) = -3*y**2 - 6*y - 7. Let u(a) = -11*l(a) - 2*r(a). Let x be u(-7). Which is greater: x or 0?
x
Let c(j) = -6*j**2 - 2*j + 2. Let b be c(-2). Suppose -5*l + 26 = i, -l + i - 4*i = 6. Let v be (-9)/l*(-8)/b. Is v bigger than 0?
False
Let f = 13 + -38. Let s = 73/3 + f. Which is smaller: s or -1?
-1
Let l(n) = -n**2 + 5*n + 5. Let f be l(6). Let d be 3*(f - (-1 + -1)). Suppose -2*s - 4*o + 8 = -0*o, 0 = d*s - 3*o + 6. Is s greater than 1/3?
False
Let x be -1 + (-35)/25 + 3/1. Which is bigger: 0 or x?
x
Let o = 0.5 - 0.7. Let n = 1.3 - 0.3. Is o > n?
False
Suppose -m - 1 = 1. Let w = -1/4 + -13/12. Are w and m non-equal?
True
Let i be (-4)/18 + (-2)/(-9). Let u = 1 + i. Let f = 524/15 - 103/3. Is f greater than u?
False
