hich is smaller: j or 0?
j
Let x(w) = -w**2 - 4*w + 3. Let l be x(-4). Suppose -i = 2*o - 1, i - o = l*i + 4. Let z = i + 3. Is z <= 0?
True
Let t = -47 + 44.9. Let x = -2 - t. Let z be (-1 + 1)*2/4. Is z <= x?
True
Let b(t) = -8*t + 24. Let x be b(3). Let w = 12/71 + 200/497. Which is smaller: x or w?
x
Let n be 10/((6/3)/1). Suppose 4*f - n*q = 1, -5*f = -q + 4 - 0. Let u = 0 + f. Is u >= -1?
True
Let c = 180 + 48. Let f = c + -1136/5. Is 1 at most f?
False
Let h(m) = m**3 + 6*m**2 + 3*m - 6. Let f be h(-6). Suppose 7*s - 6*s = 4. Let o be 1/2 - s/f. Which is greater: o or -0.2?
o
Suppose 0*w = -2*w + 2. Let f = w - -6. Suppose -3*o + 4 = -4*x - f*o, 2*x - 4*o + 8 = 0. Are -2 and x non-equal?
False
Let h be (-1)/3 + (0 - 0). Let v = 0.03 - -0.47. Let w = 0.3 - v. Is w <= h?
False
Let r = 1 + 0. Let j = -1397 + 12593/9. Let u = -2 + j. Are u and r equal?
False
Let v(x) be the second derivative of -2*x + 1/2*x**2 - 1/12*x**4 + 0 + 1/2*x**3. Let r be v(3). Is r greater than or equal to 1?
True
Suppose -6*l + 2*l = -72. Suppose -3*h = -2*f - f + l, 4*h + 18 = f. Let n = 0 - f. Is -3 at most n?
True
Let x(g) = -g**3 - 9*g**2 + 3. Let v be x(-6). Let h be (-40)/v - 6/(-21). Is -2 less than or equal to h?
True
Let h = 36/65 + -15/13. Let m(s) = s**2 - s + 4. Let g be m(0). Suppose 4*v = g, 0 = k + 5*v + 3 - 7. Is k < h?
True
Suppose 3*v - 12 = -3*q, -1 = q - 8*v + 4*v. Are q and -10 non-equal?
True
Let w = -978/217 - -32/7. Which is greater: 1 or w?
1
Let f = -0.14 - -0.14. Is -12 greater than or equal to f?
False
Let a(o) = -2*o. Let q be a(-1). Let d(y) = y**2 - 5*y. Let v be d(5). Which is smaller: v or q?
v
Let r = -444 - -23528/53. Is 1 >= r?
True
Let g be ((-4)/16*1)/(14/(-4)). Is 0 >= g?
False
Let k = 4 + -4. Let c = k + -1. Let f = -1 - -0.9. Is f greater than or equal to c?
True
Let b be (-2 - 16/(-10))*-15. Let r be (-15)/(-12)*(-8)/b. Suppose -7 = 5*p - 2*a - 3, -4*a - 22 = 5*p. Which is greater: p or r?
r
Let m = -6 - -6. Which is smaller: m or -2?
-2
Let u = 1 - -5. Let g be ((-1)/(-2)*2)/(144/1008). Which is smaller: u or g?
u
Let v = -1 - -0.7. Let k = 0.4 + v. Are k and 2/5 non-equal?
True
Let j = -3 + 6. Let c be (-20)/(-16) + j/4. Which is bigger: c or 5/4?
c
Let p = 31 - 20. Is 11 less than p?
False
Let o = 0 - -5. Let t(q) = 3*q**2 + 2*q**2 - 4*q**2 - 9 + 5*q. Let p be t(-7). Is o < p?
False
Let g = -16 - -16. Let u(l) = -l**3 - 4*l**2 + 6*l + 5. Let w be u(-5). Is w > g?
False
Let i be 10/4 - (-6)/(-3). Let h = 5.25 - 0.25. Is i less than or equal to h?
True
Suppose 3*j + 4 + 0 = -4*v, -5*v - 32 = -3*j. Let g(w) = -3 + j*w**2 + 4 + 3*w - w**2 - 2*w**2. Let i be g(-2). Which is smaller: 0.2 or i?
i
Let r = 28 - 115/4. Let t be 2/4*0/2. Suppose -3*y + 5*y = t. Which is greater: r or y?
y
Let k be ((-1)/3)/(1/(-6)). Let t be (0/(-3 + k))/(-1). Let d = 4678/13 - 360. Is t less than d?
False
Suppose -2*v - g - 4*g = -21, 3*g = 3*v. Suppose 3*c - v = 4*z, -c = 4*z - 11 - 6. Suppose 4*f - 3*u = -u + 2, 0 = -z*f + u + 2. Which is bigger: f or 0?
f
Let g(d) = -3*d + 0*d + 0*d. Let z be g(1). Let k be 1 + z + (-1 - -4). Is k less than -2/11?
False
Let c = -237/7 - -7835/231. Are 0 and c equal?
False
Let d = 0.9 - 8.9. Let v = 7 + d. Is 0.1 at most as big as v?
False
Suppose w = 4 - 5. Which is smaller: w or 2/131?
w
Let t(a) be the third derivative of a**5/60 - a**4/24 + a**3/3 - a**2. Let q be t(2). Suppose -m + 8 = q*n, -3*m + 6*m + 12 = 0. Is n < -1?
False
Let z be (-3 - -4) + 0 + 9. Suppose -z = -2*a - 4. Which is smaller: 4 or a?
a
Suppose 4*o + 0*u - u = 12, 0 = 4*o + 3*u + 4. Suppose 7 = 3*h - o, -5*d - 4*h + 427 = 0. Let b = d + -583/7. Is b at least as big as -0.1?
False
Suppose 0 = o - 5 + 3. Suppose 0 = 4*w - 3*n - 10, w - 1 - 4 = 2*n. Suppose -o*m = 1 + w. Is -1/6 smaller than m?
False
Suppose 4*y + 33 = -11. Let h(q) = q**3 + 9*q**2 + q - 3. Let x be h(-9). Is y at least as big as x?
True
Let f = 11 + -6. Is 6 greater than or equal to f?
True
Let k(a) = -a**2 + a + 3. Let t be k(-3). Which is smaller: -8 or t?
t
Suppose -3*j - j + 28 = 5*h, -h = -4. Suppose j*a + 0*a - 4 = 0. Which is smaller: -1 or a?
-1
Suppose 0*q - 3*q = -3. Let k = -205/38 + 7/114. Let n = -55/12 - k. Which is bigger: q or n?
q
Let s = -11 + -54. Let m be 1/3 + s/105. Suppose -2*l + 2 + 4 = 0. Which is smaller: m or l?
m
Suppose 3*t + 13 = 2*o, -5*t = 4*o - 2*t + 1. Let z be 406/49 - o/7. Which is bigger: 7 or z?
z
Let f = -17 + 14. Is f at most as big as -2?
True
Let a(y) = -y + 8. Let o be a(7). Suppose -4*m = -o + 13. Which is greater: -3/2 or m?
-3/2
Suppose -4*n - 5*j = -6*j - 9, 0 = 2*n - 3*j + 3. Are 20/7 and n equal?
False
Let y = 19.6 + -18. Let i = y + -1.4. Which is greater: i or -5?
i
Let f = 1.6 + -11.6. Let n = 9 + f. Which is smaller: n or -2?
-2
Let q(a) = -a - 17. Let b(x) = 1. Let w(y) = -b(y) - q(y). Let j be w(-15). Which is greater: -1 or j?
j
Let s = 17 + -50. Which is smaller: -0.1 or s?
s
Let p = -2040932105/17619 - -115837. Let o = p - 775066/1497615. Let f = o + 2/17. Which is smaller: 0 or f?
f
Let q = -24 + 22. Which is smaller: q or 1?
q
Let n = -4 + 3. Let i = -9 + 0. Do n and i have the same value?
False
Suppose -140 = 3*z - 113. Is -9 less than z?
False
Let x(s) = -5*s. Let t be x(-1). Suppose 3*n - t = 2*n. Suppose n*f = 2*f. Which is smaller: -1 or f?
-1
Suppose 2*x - 14 = 2*b, 2*x + 6 = -3*b - 5. Suppose -7 = x*i - 1. Let q = i - -2. Which is bigger: -1/4 or q?
-1/4
Let y = -40 + 65. Is 26 smaller than y?
False
Let r(g) = -g**2 + 13*g - 13. Suppose 4*j = -2*n + 58, -n - 2*n = -5*j + 45. Let x be r(j). Let u be x*2 + 12/9. Which is greater: u or 0?
0
Let g = -36 - -22. Let f = g + 16. Is -2 less than f?
True
Let l(z) = -5*z + 3. Let g be l(3). Let c be (-3)/10*g/(-9). Suppose 0*x = 2*x - 2. Is c smaller than x?
True
Let v be (-44)/(-12) + 2/6. Are v and 22/5 equal?
False
Suppose z + 2*q = -0*z - 7, 0 = -z + 4*q + 17. Is 1/10 at least as big as z?
False
Let j(w) = 2*w + 4. Let g be j(-4). Are g and -5 nonequal?
True
Suppose 2*m - x + 7 = 0, 2*m + 3*x + 3 - 16 = 0. Which is smaller: m or -5/4?
-5/4
Let t be ((-2)/50)/((-8)/(-16) - 1). Is t equal to 0?
False
Let n = -96 + 96. Which is smaller: n or -29/5?
-29/5
Let m = -0.3 + -0.7. Let p = -5.3 - -5. Let b = p - -0.2. Is b less than m?
False
Let y = 55 - 95/2. Which is greater: y or 8?
8
Suppose 3*d = 3*b + 5 + 1, -4*b - d = -7. Is b >= -1/14?
True
Let n(m) = m**3 - 5*m**2 + 4. Let u be n(5). Suppose 3*d - 5*y - 29 = 0, 3*y + 20 = u*d + y. Suppose -g = -d*g. Which is smaller: 1/2 or g?
g
Let x be (-4)/3*(5 + -2). Let s = 6 + x. Let r be s - ((-6)/15 + 2). Are r and 0 equal?
False
Suppose -4*r + 2*r = 0. Suppose 0 = v - 4 + 5. Which is smaller: r or v?
v
Let v(b) = -5*b**3 - 2*b**2 + 2*b + 2. Let n be v(2). Let g be ((-656)/n)/(-4) - -4. Is 0.1 != g?
True
Let l be 3*1 + (-5)/5. Suppose 0 = l*h - 3 + 5. Which is greater: 3/7 or h?
3/7
Suppose 0 = -2*d - 3*d + 175. Is 37 < d?
False
Let i(u) = -u - 11. Let q(n) = n + 22. Let v(o) = 10*i(o) + 6*q(o). Let z be v(9). Do -15 and z have the same value?
False
Let x be 15/20*(-8)/27. Is x >= 1?
False
Let v(y) = y**3 - 12*y**2 - y + 12. Let w be v(12). Suppose w*k = -2*k - 2. Which is smaller: -2/23 or k?
k
Let t(m) = 4*m - 10. Let l be t(4). Suppose -l*x = -2*x - 2*q + 6, 0 = -3*q + 15. Which is greater: 2/9 or x?
x
Suppose -8 - 6 = -5*t - p, 3*p = -4*t + 9. Suppose -3*m + 61 = 2*m + 4*q, 4*q + 2 = 2*m. Let j be (m/6)/(t/(-8)). Is j not equal to -3?
True
Let a = 4 + -7. Are a and -1 unequal?
True
Let l = 157.3 + -158. Which is smaller: -0.13 or l?
l
Suppose -2*h + 4*i = -5 + 17, 0 = -5*h + i - 57. Let j be 3/((-3)/10) - 2. Is j at most h?
True
Let q(p) = p**3 - p**2 + p - 3. Let y be q(0). Let m be 0 - (-4)/(-6)*y. Are 2 and m equal?
True
Let j(q) = -1. Let r(g) = -g + 3. Let x(h) = -5*j(h) - r(h). Let l = 3 - 6. Let k be x(l). Which is bigger: -2 or k?
k
Suppose -4*r + 5 = r. Is -2/11 at least r?
False
Let g = 4 + 1. Suppose g*j = 3*k + 49, j - 5*k = -j + 31. Let p(a) = a**2 - 7*a + 1. Let w be p(8). Is w != j?
True
Let b = -1.4 + 0.4. Suppose 3*n - w + 2*w - 1 = 0, n - 2 = -2*w. Let t be n/(-1 - -2 - 0). Which is bigger: b or t?
t
Suppose -74 + 18 = 4*f. Is -2/7 >= f?
True
Suppose -t + 3*t + 4 = 0. Suppose -2*i = g + 1, 2*i + 