d g unequal?
False
Suppose 4*n = 6*n - 2. Suppose z + 2 = -w, 3*w - 2*z + 5 = -n. Which is smaller: w or 1?
w
Let l(h) = 4 - h**3 + 0 + 2*h**2 + h + 0*h**3. Suppose 0 = -2*c + c + 4*k + 7, k + 10 = 3*c. Let u be l(c). Is u <= -2?
True
Let m(y) = -2*y. Let u be m(-4). Let h be u/20*10/14. Suppose -5*w = -w. Is w <= h?
True
Suppose 3*t - 4 = s, 3*s = -4*t + 1 - 0. Let r be (-4)/14 + (-16)/(-7). Let j = r - t. Are j and 2/3 equal?
False
Let r(z) = -z - 5. Let f be r(-5). Let p be (-12)/15 + 0 + f. Which is smaller: p or -2?
-2
Let m(n) = 6*n. Let c be m(-1). Do -8 and c have different values?
True
Suppose 0*w + w = -3*f + 263, 2*w = -f + 91. Does f = 87?
True
Suppose -7*g + g = 0. Which is greater: g or 3?
3
Let y = -16/17 + 242/221. Which is greater: y or 1?
1
Let m = 1 + -2. Let h be ((-11)/3 - -1)*3. Let z = h - -7. Is z at least m?
True
Let n = 13 + -9. Let r = -3 + n. Let a = 1 + 0. Is a > r?
False
Suppose -q - 4*z + 0*z = 0, -3*q + 52 = -z. Suppose q + 8 = 5*f - 3*k, -4 = -2*k. Let s be 3/(-2)*(-1)/f. Which is bigger: s or 0.3?
0.3
Let n = -6 + 7. Is -0.3 greater than or equal to n?
False
Let d = -8/3 + 65/21. Is d less than or equal to 0?
False
Let d = 1.42 + -1.3. Let v = 2.12 - d. Is 0.3 > v?
False
Let g = 52 + -47. Which is bigger: g or 6?
6
Suppose -4*t - z - 19 = 0, 4*t + 0*t - 5*z = -49. Let q be (-8)/t + 15/(-45). Which is smaller: q or 4/15?
4/15
Let n = 8 + -2. Let q = 7 - n. Is -5 at least q?
False
Suppose -d - 4 = -3. Let i = -751377179/2691624 + -1/207048. Let p = 279 + i. Are p and d nonequal?
True
Suppose -2 - 3 = -3*u - j, -5*j - 15 = -5*u. Is u < 3?
True
Let u = -96/7 + 1199/91. Is u <= 0?
True
Let n(o) = o**2 + 2*o - 4. Let h be n(5). Suppose -17 = 4*d + 5*f, d - 5*f + h = -d. Let c = 1 - d. Which is bigger: 10 or c?
10
Let k = 16 - 16.1. Which is bigger: 1/53 or k?
1/53
Let r = -30/91 - -657/2821. Which is bigger: r or 0?
0
Suppose 2*h = 4*h - 8. Let z be h/(-8) - 1/(-6). Let l be (3/4)/((-3)/1). Which is bigger: l or z?
l
Let v = -0.39 - 0.01. Let n = 0.5 + v. Let m = -0.2 - n. Is m less than 1/2?
True
Let d = -59 - -20. Which is smaller: 1/4 or d?
d
Suppose -q + 35 = -0*q. Let v = 25 - q. Which is bigger: -9 or v?
-9
Suppose -5*x = 1 - 6. Let a = -20/9 + 118/45. Are x and a unequal?
True
Let a = -0.24 + -4.76. Which is smaller: a or 0?
a
Let x(q) = -q**2 + 5*q + 3. Let v be x(5). Suppose -v*u = -2 + 8. Let b = -22 + 21. Is u greater than b?
False
Suppose l + 3*l = 40. Let t be 6/l - 84/15. Suppose -5*i = 13 + 7. Is i at least t?
True
Let m = -16 + 17. Let j = m - -2. Which is smaller: j or 2?
2
Suppose 0 = 2*u + 2. Is u greater than or equal to 1/103?
False
Let o(k) = k**2 - 43. Let y be o(-5). Which is smaller: -19 or y?
-19
Suppose 0 = a + 2*a - n - 315, 0 = -5*n + 15. Let f be ((-792)/14)/((-1)/(56/30)). Let h = a - f. Which is bigger: 2 or h?
2
Let m = 27/8 - 83/24. Let v(u) = -u**3 + 4*u**2 + 5*u + 1. Let o = 9 - 4. Let z be v(o). Which is smaller: m or z?
m
Let u be 8/12*3/2. Let h be -1*5/85*(-1 + 0). Is u <= h?
False
Let k(z) = -z**2 + z + 1. Let b be k(0). Let p = 185 - 2033/11. Is p equal to b?
False
Suppose 0 = -l + 3*l + 2*t + 10, 0 = l + 2*t + 7. Let g = 0 - l. Suppose 0 = 2*o - g*o + 1. Which is bigger: -0.3 or o?
o
Let w = 27458/21 - 1308. Which is bigger: 0 or w?
0
Let j = 365 - 697/2. Let b = 16 - j. Are b and -0.4 equal?
False
Let j(q) = -2*q - 1. Let o be j(2). Let w be 0 + (o - -2 - -3). Are -1/4 and w equal?
False
Let y be (-33)/(-16)*(98/(-21) - -4). Which is smaller: y or -2?
-2
Let g(x) = -x**3 + 3*x - 9. Let s be g(0). Which is greater: s or -8?
-8
Let k be 7/(-14)*(-1 - 1). Let d(a) = a**2 + 5*a - 3. Let p be d(-6). Does p = k?
False
Suppose 2*l = 5*h + 2 + 4, -5*l - 2*h = -73. Is 10 at least l?
False
Let y(f) = f**2 + 4*f + 4. Suppose 3*l + 13 - 1 = 0. Let h be y(l). Suppose 2*r - 6 = -r, 13 = 5*z + h*r. Is -5 > z?
False
Suppose 0 = 48*n - 39*n + 450. Is n greater than or equal to -101/2?
True
Suppose 0 = 4*j + 2*w - 2, 1 = 4*j + 3*w. Let q = j + -1. Do 3 and q have the same value?
False
Let r = 34 - 407/12. Suppose 5*o + 7 + 26 = 4*v, -v + 4*o = -22. Suppose v = 3*h - 1. Does r = h?
False
Let w = -8 - -3. Let t be -2 + (-3 - w) + 2. Let u = t - -1. Is u bigger than 1?
True
Let x(c) = -c**3 + 2*c**2 + 3*c + 4. Let o be x(3). Suppose v + o = -0*v. Let q = 1 + -4. Which is greater: q or v?
q
Suppose -3*i = 4*h + 8, 2*i + 4*h + 0 = -12. Suppose -4*k + 13 = -2*j + 3, 0 = k + 5*j - 8. Suppose k*v = -2*v + 20. Is i greater than v?
False
Let c = 15 - 12. Let t = -0.1 + 0.2. Which is greater: t or c?
c
Suppose 1 + 2 = 3*p. Let q(k) = -k**3 + 4*k**2 + k - 4. Let j be q(4). Let s = 3 + j. Are p and s unequal?
True
Let u = 1900 - 28514/15. Is 0 < u?
False
Let y be (1/(-12))/((-2)/(-279)). Let s = 699/56 + y. Let c = -2 - -3. Which is bigger: c or s?
c
Let i = 1.07 + 4.93. Let f = 0.1 + -1.1. Is f less than i?
True
Suppose 12*k = -4 + 16. Is k bigger than 4/5?
True
Suppose -1 = 7*p - 8*p. Which is smaller: -1/27 or p?
-1/27
Let c = 47 + -47. Which is bigger: 6/11 or c?
6/11
Let a = -101/3 - -33. Let u(v) = -v - 4. Let l be u(-7). Suppose -l*j + 3 = 6. Which is smaller: j or a?
j
Let t = 15 + -5. Let b = 10 - t. Are -3/11 and b equal?
False
Let a be (-6 - -3)/(6/8). Let j be 25*((-16)/6)/a. Let m = j - 353/21. Is -1 less than m?
True
Let h be -1 - 1/(3/(-2)). Let y = 10.85 + 0.15. Let a = -8 + y. Which is greater: a or h?
a
Let q be (-36)/10 - (-8)/(-20). Let k = 5 + q. Which is smaller: k or 2?
k
Let f = -10 - -5. Let w be (30/88)/f - 0. Let s = 73/220 - w. Which is smaller: s or 0.1?
0.1
Let u = -9 + 12. Let j = 8 + -6. Is u less than j?
False
Suppose -4*b - 5 + 13 = 0. Let a = 3 - 5. Let v = a + b. Does 0 = v?
True
Let j = 107 - 533/5. Suppose 0*i = -i + 3. Suppose 0 = i*v - 0*v. Is v smaller than j?
True
Suppose -7*j - 654 = -j. Which is smaller: j or -110?
-110
Let x be ((-3)/6)/((21/4)/(-3)). Which is greater: x or 0?
x
Suppose 57 = 3*z + 2*g, -4*z - g + 14 + 62 = 0. Suppose -9 = -o - z. Is -11 > o?
False
Suppose -2*n - 47 = -3*x - 18, 3*n + 36 = 2*x. Is -10 bigger than n?
False
Let l = 79/2 + -116/3. Which is smaller: 0 or l?
0
Let v(d) = -3*d - 4. Let y be v(-1). Let h = 6/35 - 19/70. Which is smaller: y or h?
y
Let b(r) = 4*r + 2. Let k be b(-5). Let s be 230/(-12) - (-4)/6. Let o = k - s. Is o smaller than 0.01?
False
Let o(m) = m + 6. Let y(s) = -s**2 - 4*s - 6. Let b be y(-4). Let x be o(b). Which is smaller: x or 1?
x
Suppose n = -5 + 18. Which is smaller: 4 or n?
4
Let a = 0 - -1. Let u be (-3 - (-22)/8) + 27/(-1188). Which is smaller: a or u?
u
Let b = -0.039 + 6.239. Let x = 0.8 + b. Do -2/5 and x have different values?
True
Suppose 25 = -5*v, -1 + 17 = -2*s - 2*v. Let y(j) = j**3 - 5*j**2 - 4*j - 8. Let n be y(6). Let q = n - 5. Is q at least s?
True
Suppose -3*k - k = -8. Suppose 0*l + k*l + 4 = 0. Let a be 1/7*(l - 0). Is a >= 1?
False
Let o = -118 - -92. Is -53/2 >= o?
False
Suppose 5*k - 1 = 9. Is k < 5?
True
Let w be (-4)/(-2)*(-2)/(-4). Suppose -w = -j - 2. Which is greater: j or -2/15?
-2/15
Let l = -44 - -7. Do l and -39 have the same value?
False
Let i = 3 - 3. Suppose i = 3*s - 4*s. Which is bigger: s or -2/19?
s
Suppose 4*k = 4*u - 148, -2*k + 20*u = 17*u + 75. Which is greater: -37 or k?
k
Let h = -43/2 - -22. Let v(q) = q**3 - 1. Let x be v(-2). Let j be 3*(-2)/x*3. Are h and j equal?
False
Suppose -2*g = 6*y - 3*y + 8, 5 = g. Let v be 5/(-5) - (-7)/5. Which is greater: y or v?
v
Let t = 2/2147 - 27925/15029. Is t less than -1?
True
Let u(b) = 12*b**3 - 4*b**2 - 1. Let i be u(5). Let z be (-4)/10 + i/2610. Let d = 5/58 + z. Is d <= 0?
False
Suppose 0 = -2*i - 2, 7 = -4*w - w - 2*i. Let h be (8/4)/(2/4). Suppose -1 = h*b - 9. Which is bigger: w or b?
b
Let z = -204 + 205. Let j = -161390/77 + 2096. Do j and z have the same value?
False
Let p be (-4)/36*9/6. Is p at most as big as -1?
False
Let r = -41502/17 - -2624916/799. Let z = r + -844. Which is greater: 1 or z?
1
Let g(j) = -j**3 - 5*j**2 - j - 4. Let s be g(-5). Suppose 4*n + 11 = 3*z, -4*n = -2*z + 6 + 4. Are s and z equal?
True
Let a = 15 - 9. Suppose -4*t + a*t = 4. Which is bigger: 3/4 or t?
t
Suppose 1 = -i - 2*c, -4 = -5*i + 4*i + 3*c. Are 13 and i equal?
False
Let m = 2.128 + -0.128. Which is smaller: m or 0?
