 Suppose 0 + z = -3*c, 4*h - 5*c - 31 = 0. Is h >= 5?
False
Suppose -9 = -3*p - 4*x, -3*p + 5 + 4 = 2*x. Suppose -4*j - 24 = -2*t, p*t + 48 = -5*j + t. Is j < -8?
False
Let d = 925 + 1000. Let y be 504/d + 4/(-22). Which is smaller: y or 1?
y
Let w(m) = 11*m - 4. Let z(k) = 5*k - 2. Let r(p) = 4*w(p) - 9*z(p). Let n be r(5). Is -3 at least n?
True
Let x = -4/7 - -2/7. Let i = -2 + 2. Is x less than or equal to i?
True
Let k be (1 - 1)/(-1 - 0). Let o be (1 - k/3) + -12. Is -12 greater than or equal to o?
False
Let t = 47/2 + -25. Let l(o) = o**2 - 3*o - 3. Let r be l(3). Is t at least r?
True
Let w be -2*((-3)/(-6) - 1) - 2. Is -3/23 less than w?
False
Let z be 27/35 - (-2)/(-10). Suppose h - r - 4*r - 20 = 0, 16 = -4*r. Which is greater: z or h?
z
Let d = 24 - 24. Is d at most as big as 6/23?
True
Suppose 2*f = -4*g + 22, -21 = 4*g - 5*f - 8. Let z(w) = w + 6. Let v be z(-3). Is v greater than or equal to g?
True
Suppose 0 = -0*k + k - 10. Let w = -32/3 + k. Let i(b) = -2*b**2 + 8*b + 24. Let a be i(6). Is a smaller than w?
False
Let u(w) = -2*w - 2. Let r be u(-10). Which is smaller: r or 16?
16
Let z(x) = -6*x**3 + x - 1. Let l be z(1). Let f be (3/l)/(2/36). Is f > -9?
False
Let a(y) = y**2 - 7*y + 4. Let c be a(6). Let b be 5/c + 1 + 1. Which is greater: 0 or b?
0
Let i be 2/(-3) + 10/24. Let y be 4/14 - 38/(-14). Suppose 8*p = y*p + 5. Is p equal to i?
False
Let q(v) = v - 8. Let d be q(12). Let u = d + -4. Which is bigger: u or -3/5?
u
Let y be 4 + 19 - 1/1. Let t be (-4)/y + (-72)/88. Let f = -1 - -1. Which is smaller: f or t?
t
Suppose -5*l - 20 = -5. Let q be 0/(2 + l + 2). Suppose q = 8*m - 3*m. Is m != 1?
True
Suppose 2*d = -5*u + 14, 0 = -2*d + 5*u - 4 - 2. Let s(h) be the first derivative of h**4/4 - h**3 + 3*h**2/2 - h + 1. Let x be s(d). Which is bigger: 0 or x?
x
Suppose 2*w + 4 = 2. Which is smaller: -1/16 or w?
w
Let g be -5 - 5/((-10)/4). Suppose 3*w - 19 = 4*x, 2*x = 3*w - 4*w - 7. Is x at most as big as g?
True
Let t = 8 - 6. Suppose 0*p = -t*p + 8. Suppose 3*s = z + 13, -3*z + 32 = p*s - 8*z. Is s greater than 3?
False
Let j be 2 - 0/((-9)/(-3)). Let u be -1 - j/16*-2. Which is smaller: -2 or u?
-2
Let c = 4 + -4.5. Let j = -4.5 - c. Let r = j - -5. Which is smaller: -0.1 or r?
-0.1
Let r be (-4)/(-2) + (-22)/12. Let a be (-4)/26 + 4/26. Which is greater: r or a?
r
Suppose 3 - 5 = -2*p. Let a(c) = 2*c**3 - 1. Let b be a(p). Suppose 0 = w + w - 4*r + 6, -5*r = -10. Are w and b unequal?
False
Suppose -5*q + 32 = -4*v, q - 2 + 4 = -2*v. Suppose 3*z - 5*z - 2 = 0. Let r be z + (-2)/(-4)*q. Do 0 and r have the same value?
False
Let n be (-4)/10*(-1 + 6). Which is smaller: n or 0?
n
Let j = -3.5 + 1.1. Let x = j - -2.3. Which is greater: x or -4?
x
Suppose 1 = u - 0*u. Let c be 3 + (-1)/1 - -2. Suppose -6*h = -2*h - c. Does u = h?
True
Let a be (-94)/(-72) - (-110)/(-88). Which is greater: 0 or a?
a
Let n = -10 + 8. Is n <= 0?
True
Let h = -4 - -5/2. Let u = 10 + -4. Suppose u - 3 = -3*g. Are h and g nonequal?
True
Let n = -1 + 0. Let h be (-3)/((-9)/1)*9. Let s be (0 + 4/(-6))*h. Is n at least as big as s?
True
Suppose 9 = -5*d + 5*o + 4, 7 = -3*d - o. Suppose 0 = -3*h - 4*h + 2*h. Is d > h?
False
Let x be (42/(-12) + 4)/((-2)/4). Is x equal to -4/37?
False
Suppose -25 + 0 = -y. Suppose 5*n = 4*c - 18, n = 5*c - 4*n - y. Suppose 2*i = -3*i + 5, -j + c = 3*i. Which is smaller: j or -2?
-2
Let c(r) = r**2 + 6*r - 6. Let s be c(-6). Let h be s/(-14) - 1/1. Which is smaller: 0.1 or h?
h
Suppose -3*a + 10 = -0*a + 2*t, 2*a + 6 = 5*t. Let d be -2 + (3 - (-1)/3). Let f = d + 7/6. Which is greater: f or a?
f
Let z be -3*(-2)/87*1. Which is greater: -1 or z?
z
Suppose -q + 24 = q. Let g be 3/q - (-9)/(-4). Let r be (-10)/15 - g/(-6). Is -2 smaller than r?
True
Let g be 500/(-90) + (7 - 2). Is 1 != g?
True
Suppose -3*t - 7 = -28. Let w be (4 - t) + 123/27. Which is bigger: w or 1?
w
Suppose -3*y + q = 51, -5*q = 4*y + 2 + 47. Is y >= -16?
True
Let b be (-12)/(-10) + -1 + -1. Let c be 6/3*(1 + 0). Let z be (-48)/21 + c/7. Is z at least b?
False
Let r = -111691 + 1006918/9. Let n = r + -189. Which is greater: 0 or n?
0
Let n = -0.04 - -0.92. Let j = 0.9 - n. Which is smaller: 0.1 or j?
j
Let q(a) = a**2 - 5*a + 3. Let u be q(4). Which is smaller: 7 or u?
u
Suppose 3*c + i - 3 = 0, 4 + 0 = 4*c + 5*i. Is c greater than or equal to 1/7?
True
Let u be 6/4 + 3/(-2). Is 1/7 greater than u?
True
Let v = 3 - 2. Let j be (-10)/12 + 3/6. Which is greater: j or v?
v
Let y = 2.3 - 2.4. Is y <= -14?
False
Let d(w) = -w + 7. Let t be d(0). Let x(y) = -y + 8. Let h be x(t). Let q = 0 - 0. Which is greater: q or h?
h
Let y(z) = -z**2 - 6*z + 4. Let u be (-2)/((-17)/19 + 1). Let l = 12 + u. Let n be y(l). Are n and -4 unequal?
True
Let o(u) = -7*u + 3. Let p(v) = 29*v - 13. Let j(s) = 9*o(s) + 2*p(s). Let c be j(-2). Let q = -8 + c. Is 4 less than q?
False
Suppose 0 = 2*c - 5*c. Suppose c*f = -2*f + 4. Suppose -4*w + 16 = 4*y, 0 = 2*y + f*w + w - 12. Which is smaller: -2/9 or y?
-2/9
Let v(a) = 2*a - 4. Let l be v(4). Suppose -4*j + 1 = -n, j - 14 = -l*j - 3*n. Suppose -b - 4*f + 17 = 0, -b = 4*f + f - 21. Is b >= j?
True
Let p be -2*(-3)/6*3. Suppose 0 = -p*z + 9, -4*z + 12 = -5*l + 4*l. Which is greater: 1 or l?
1
Let r be 3 + (2 - (-1 + 4)). Is -1 at least as big as r?
False
Suppose -2*t - 10 + 2 = 0. Suppose b - 4 = 3*b. Which is smaller: b or t?
t
Suppose 0*u - 15 = -3*u. Suppose 5*v - u*w - 23 = 4*v, 0 = v + w + 7. Are v and -9/4 equal?
False
Suppose 4*f + 3*l + 4 = -l, 0 = 3*f - l + 11. Let r be (1/f)/((-4)/12). Are r and -1/5 non-equal?
True
Let l = -20 + 17. Suppose -2*q + 3*y = -6*q + 27, 2*y - 26 = -4*q. Let s be -1 - (q/(-2))/l. Is -2 bigger than s?
False
Suppose 2 = 2*h + 4. Which is greater: h or 2/63?
2/63
Let j = -2 - -4. Let i be ((-2 - 2)/4)/(-1). Suppose j + i = z. Is z equal to 3?
True
Let i be -5 + 3 - 1/(3/6). Let g(c) = c + 2. Let l be g(-7). Which is smaller: i or l?
l
Let b = -74 - -51. Is b less than or equal to -1?
True
Let x = -18.4 + 17.7. Is -0.12 bigger than x?
True
Let l = -2.18 - -0.68. Which is smaller: 2/5 or l?
l
Suppose 0 = -5*b + 25, 0*y - b = 3*y - 8. Let m = 288 + -863/3. Is m at most as big as y?
True
Suppose 3*a = -4*f + 438, -3 - 3 = -3*a. Let k be (-3)/(-21) - f/(-28). Is 0.2 less than k?
True
Let v = 20.68 - 21. Let t = -0.12 - v. Is 0.1 greater than t?
False
Suppose 2*d - 8 = 0, 0*d - 3 = 5*q - 2*d. Suppose 0*p - q = p. Suppose -r = -3*v + 1, 2*r + 3 = 2*v - 3. Are v and p equal?
True
Let a be (-9 - -2) + -2 - -3. Let y be -15*-6*(-2)/30. Is a bigger than y?
False
Suppose 4*w + w - 80 = 0. Is 16 at most w?
True
Let b = -5.01 + -17.89. Let k = 23 + b. Which is bigger: k or -3?
k
Let a be (15/(-150))/((-1)/42) - 3. Which is bigger: a or 1?
a
Let n be 72/(-380) + (-1 - 21/(-15)). Is 0 equal to n?
False
Let a = -0.7 + 1.1. Let v = -0.5 + a. Which is bigger: 1 or v?
1
Let t = -23 - -22. Is t > 5?
False
Let j = 13/21 + -1/3. Which is bigger: j or -113?
j
Let l = -56/5 - -57/5. Suppose c - 2*c = 0. Is l equal to c?
False
Let a be (-2)/((-12)/(-9) - 2). Suppose 0 = 2*g + a*g + 40. Let p = -4 - g. Which is smaller: p or 1?
1
Let r be (-55)/45 - 8 - (-2)/9. Is r greater than or equal to -8?
False
Let q be (-21)/15*4/(-70). Are q and -1 non-equal?
True
Let b = -0.44 - -0.34. Which is smaller: -0.05 or b?
b
Let l(i) = -3*i**3 - i**2 - 2*i - 2. Let c be l(-1). Which is greater: c or 11?
11
Let y = -29.1 + 29. Which is smaller: -0.04 or y?
y
Let h(q) = -4 + 4 - 3*q**2 - 3 + q**3 + 5. Let n be h(3). Suppose n = -4*l - 2. Are -1 and l nonequal?
False
Let i(s) = 3*s - 2. Let g be i(2). Let z(u) = -u**3 + 13*u**2 - 5*u - 14. Let j(d) = d - 1. Let m(y) = -6*j(y) + z(y). Let q be m(12). Are q and g equal?
True
Let s be ((-3)/6)/((-2)/4). Is s bigger than 2/15?
True
Let g(o) = -o**2 + 2*o + 4. Let l be g(-6). Is -44 at least as big as l?
True
Let m be (-42)/(-18) - 2/(-3). Suppose 4*d = m*d. Is -2/17 < d?
True
Suppose -5*z - 5*k = 5, 0 = 5*z - 2*k + 2 - 18. Suppose 2*i - 6*r - 4 = -z*r, 5*r + 10 = 5*i. Let t be (i/5)/(15/(-25)). Is t smaller than -1/4?
True
Suppose -2*r - r + 24 = 0. Which is smaller: 7 or r?
7
Let l = -4 - 1. Let o = l + 5.7. Let h = 0.3 + o. Which is smaller: h or -2/9?
-2/9
Let r = 1/13 - -17/117. Let i(v