1/(-4) - (-15)/12. Is x > d?
False
Suppose -2*i - 5*y + 7 = 0, 0 = -5*i + 4*i + y. Is 8/9 != i?
True
Suppose 4*t - 2 + 5 = 3*r, -3*t = 4*r - 29. Is 7 greater than or equal to r?
True
Suppose 2*b - 40 = -w, w - 3*w = 5*b - 77. Is 47 less than or equal to w?
False
Let h = -8.4 - -7.4. Let b = -0.02 - -0.42. Which is bigger: h or b?
b
Let a = -4 + 28. Suppose -2*t - 9 = t, t = -3*s - a. Is -7 bigger than s?
False
Suppose 0 = 2*m, 0*r = 2*r - m. Suppose 0 = -2*h + 3*i + 11, -5*h + 3*i + 23 = -r*h. Suppose -4*u = -6*u - 2*n + 2, 4*u = -2*n + 10. Is u at most h?
True
Let u = 2488/765 + -8/153. Which is greater: u or 3?
u
Suppose -3*c + 4*d - 18 = 0, 3*c + d = 2*c + 1. Is -8/11 bigger than c?
True
Suppose -h = k, -2 = 5*k + 4*h - 3. Suppose k = -5*m + 16. Suppose 2*r + 20 = -4*s, -4*r + m*s = -15 - 0. Which is greater: r or -1/8?
r
Suppose 0 = -3*z - 2 - 4. Suppose 0*f - 3*f - 1 = 4*g, -3 = -3*f. Are g and z equal?
False
Suppose 5*b = -6 + 1. Is 0 not equal to b?
True
Let s = 1.9 - 0.4. Let g = -0.5 + s. Are g and 1 nonequal?
False
Let j = 10 + -18. Let w be (2/j)/((-4)/(-16)). Which is smaller: -2/17 or w?
w
Let u be (-14)/4*4 - -3. Which is greater: -10 or u?
-10
Let i(z) = z**2 + 4*z - 4. Let f be i(-5). Let x(l) = -l + 1. Let d(p) = -5*p - 1. Let h(m) = f*d(m) - 4*x(m). Let u be h(-5). Is u >= 0?
True
Suppose -7 = -4*j + 2*q + 9, 2*j - 5*q + 8 = 0. Which is smaller: 7 or j?
j
Suppose 3*h + 3*u = -u + 10, -5*u = -5. Suppose -3*c - c + 1 = g, h*c + 7 = -3*g. Is -2 greater than g?
True
Let g be 4 + (-1 - 57/36). Let b = -110 + 335/3. Let a = g - b. Which is bigger: a or -1?
a
Let t(h) = -h**3 + 9*h**2 + 20*h + 26. Let k be t(11). Is 5 less than or equal to k?
False
Suppose f = -4*x - 0 - 4, 0 = 5*f + 20. Which is greater: -2/5 or x?
x
Let g(q) = -q + 10. Let c be g(7). Suppose 2*y + 2 = c*y. Which is bigger: 1 or y?
y
Suppose 0 = -i - 3*i - 4. Is -2/9 less than or equal to i?
False
Suppose -193 - 50 = 9*j. Is j at most as big as -27?
True
Let b = 69 + -108. Is b at least -39?
True
Let y = -1 - -4. Is y greater than or equal to 6?
False
Let u = 0.13 + -1.63. Let t = -1.4 - u. Which is smaller: -1.8 or t?
-1.8
Let h be -10 - (1 - -2 - 6). Let v = h - -6. Which is greater: -1/22 or v?
-1/22
Let i = -154207/117 + 1318. Let q = i + -344/819. Are 0 and q unequal?
True
Let b(o) = -o**2. Let u be b(-2). Let w be u/(-9)*(-1)/(-4). Suppose 0 = -2*g + r, 5*g + 5*r + 3 = 6*r. Which is smaller: g or w?
g
Let c = -0.04 - 0.06. Let q = -2/107 + -101/321. Do c and q have the same value?
False
Let g = -66 + 263/4. Does g = 0?
False
Let s = 30 + -21. Suppose 5*g + 3*x = -s, -3*x = -3*g + 2*g + 9. Let i = 0 - 0. Is i at most g?
True
Let y = 19 + -1. Suppose 2*j = j - 5*i - y, -i - 8 = -2*j. Let l = 1 - 2. Which is smaller: j or l?
l
Suppose -2*p - 10 = -7*p. Let y be 1/((-4)/(-2))*p. Is y < -4/11?
False
Suppose 4*b = 5*b + a - 3, 3*b = a - 3. Which is smaller: b or 33?
b
Let s(k) = k**3 + k**2. Let v be s(-1). Let b be (-2)/(198/54 - (2 - -1)). Which is smaller: v or b?
b
Suppose 0 = -2*q, -4*s = -0*s + q + 80. Is -0.1 greater than s?
True
Let g(f) = 2*f**3 + 4 - 5 + 3*f**2 - f**3 + f. Let h be g(-3). Which is bigger: h or -5?
h
Suppose -2*r + 6*r - 4*s = 644, r - 4*s - 149 = 0. Let y be (4 - -1)*6/r. Let n = -5 - -5. Are y and n non-equal?
True
Suppose -v - 32 = -3*v. Is v smaller than 17?
True
Suppose 0 = -3*x - 12, -4*x + 5*x = -4*k + 4. Which is greater: 5 or k?
5
Let j be 3/(2/(8/(-22))). Is -2 at most j?
True
Let w(o) = o - 6. Let s be w(-8). Let c = 4 + s. Let d = 9 + c. Is 2 >= d?
True
Suppose -3*w + 1 = -0*u + u, 5*w = 5*u - 5. Let h = 55/4 + -13. Which is greater: w or h?
h
Let g be 2/6 - (-105)/9. Suppose -2*d - d = -g. Let o = -443 - -448. Which is greater: o or d?
o
Let r = 0 + -1. Suppose m + 21 - 22 = 0. Does m = r?
False
Let v = -3/71 - 56/355. Which is smaller: v or -1/8?
v
Let u(o) = -o**3 + 13*o**2 - 14*o + 18. Let r be u(12). Is -6 bigger than r?
False
Suppose -y - 2*y = 303. Is -100 less than y?
False
Suppose -2*x + 4 = 2*o + 6, -2*x - 2 = 4*o. Which is bigger: x or -1/28?
-1/28
Let g be ((-2)/5)/(9/(-90)). Are 8 and g equal?
False
Let s = 92 + -647/7. Let l(x) = 3*x - 16. Let r be l(12). Let c be r/8 - 6/4. Which is bigger: c or s?
c
Let v = 4.4 + -4.4. Which is greater: v or -10?
v
Let f(o) be the second derivative of -o**4/4 - o**3/2 + 3*o**2 + o. Let g be f(-5). Let l be 2 - (-1)/(21/g). Which is smaller: -2 or l?
-2
Let t = 1 + 2. Suppose 4*r = -t*v - 3, -r + 2*r + 2*v = -2. Which is smaller: r or -3/4?
-3/4
Let p = -18 + 26. Suppose 5*t - 54 = -4. Which is smaller: t or p?
p
Let r = 1.9 - 2. Let s = r + 0.3. Let u be ((-10)/(-15))/((-1)/3). Which is smaller: s or u?
u
Suppose -2*m + 4 = -2, -40 = 5*u + 5*m. Does u = -19/2?
False
Let v = 18 + -64/3. Which is bigger: v or -3?
-3
Let r be 9*((-14)/(-3) - 4). Which is greater: r or 3?
r
Suppose -26 = 3*x - 5. Is -0.1 < x?
False
Let z be (-368)/40 + 8 + 2/10. Is z at most as big as -1/87?
True
Let f(w) = w + 1. Let v(q) = q**2 - 5*q - 1. Let t be v(4). Let g be f(t). Is -4 smaller than g?
False
Let w be (1 + 19/(-4))*4. Let m be 1/3 + 65/w. Let f(j) = j**3 - 6*j**2 - 7*j - 3. Let a be f(7). Which is greater: a or m?
a
Suppose 0 = -4*d + 4, 29 = 4*w - 0*w + 5*d. Which is smaller: 3 or w?
3
Let f = 2558 - 258360/101. Let j = f - 95/303. Which is smaller: 1 or j?
j
Let y = 4/11 + 10/33. Let f be (-2)/56 - 2/8. Which is bigger: y or f?
y
Let f = 40 + -25. Let d = 3 - f. Is -12 >= d?
True
Let q = 28 - 31. Is q > -6?
True
Let y = -4 + 6. Let x be 3*(-2 - (-7)/3). Let m be x*(1 + (2 - y)). Is m less than 0?
False
Let d(k) = k**2 - 2*k + 2. Let c be d(3). Suppose 0 = 3*f - 5*q - 5, 0 = 3*f - c*f + 5*q. Suppose -3 = -2*r + f. Is r < 2/3?
False
Let h(y) = -y**2 + 2*y + 2. Let j be h(3). Which is bigger: 2/15 or j?
2/15
Let k = -32 - -123/4. Is 0 < k?
False
Suppose 11*j - 8 = 7*j. Suppose 4*u + 30 = -j. Do u and -7 have the same value?
False
Let f(h) = 0 + 5 - h - 3. Let t be f(-4). Let w be (-1)/t - 4/6. Which is smaller: w or 0?
w
Suppose -6 = -3*r, 0*r + r + 6 = 2*w. Let s(q) = -1 + w - q + 8. Let l be s(9). Is l at least 1?
True
Let s = 3.8 - 4. Let q = 0.1 + s. Let u = 1 + -1. Which is smaller: u or q?
q
Let s(h) = h**3 + 4*h**2 - 5*h + 1. Let o be s(-5). Let d be ((-12)/188)/((-6)/4). Let n = 194/141 - d. Which is smaller: n or o?
o
Let m be (5 - 1) + -3 + 4. Suppose 18 = -m*w + 3. Is w smaller than -3?
False
Let n be (-7)/35*-2 - (-172)/(-330). Which is greater: n or -1?
n
Let n = 2 - 1. Let i = 10 - 8. Suppose -1 = -h + 4*k + 1, i*h + 4*k = 4. Is n greater than or equal to h?
False
Let q(v) = -v**2 - 4*v + 3. Let o(i) = -i - 6. Let m be o(-6). Suppose l = -m*l - 5. Let p be q(l). Is -3 less than p?
True
Let t = -17 - -16.88. Let c = 1.12 + t. Which is smaller: c or 2?
c
Let p = 0.16 + 0.14. Which is smaller: 2 or p?
p
Suppose -12 = -x - 4. Are -2 and x non-equal?
True
Let i(w) = -2*w - 1. Let v be i(7). Let m = -14 - -15. Let y be (m/(-2))/(v/(-6)). Which is bigger: 1 or y?
1
Let z be (-4)/(-24) + (-17)/(-6). Suppose 3*l = 5*k - 5, 0 = 3*l - 0*k + z*k - 3. Is -3/16 greater than or equal to l?
False
Let n = 228 - 2510/11. Let r be (-2)/(-2) - (-1 + 3). Is r bigger than n?
False
Let h be (-58)/190 - 2/(-10). Let a be (-26)/65 + 6/(-10). Is h greater than or equal to a?
True
Suppose -3*f = -2 - 1. Let x = f - 1. Let h be (4/6)/(-2 - x). Does h = 0?
False
Let n(t) = -t**3 + 2*t**2 + t. Let j be n(0). Let v = 200 - 1003/5. Which is smaller: j or v?
v
Suppose 4*f + 5 = -5*k - f, -5*k + 4*f + 4 = 0. Which is smaller: 2/243 or k?
k
Let z = 45 - 44. Is -2/5 smaller than z?
True
Let l = 41 - 42. Which is bigger: 3 or l?
3
Let w = 31 + -15. Suppose -5*g - 2*v = -3*g - w, 5*v - 16 = -g. Is g >= 5?
True
Let g = 6 - 2. Let f = 4.1 - g. Let c = 0.335 - 0.035. Which is smaller: f or c?
f
Let k be (-4)/6*(-18 - -21). Which is smaller: -3 or k?
-3
Let p = 6.3 - -0.7. Are 1/2 and p equal?
False
Suppose 7*k - 2*k = 60. Let b be k*(9/(-12))/(-3). Which is smaller: b or 4?
b
Let z be 5*-2 - (-5 - -2). Are z and -8 equal?
False
Let i = 1 - 4. Let r = i - -3. Which is smaller: -1/7 or r?
-1/7
Let v = 2528/11 + -230. Is 0 at least v?
True
Let o = -0.84 + 0.8. Let v = o + 0.17. Let f = v - -0.07. Are f and -1 nonequal?
