hich is greater: 3 or j?
3
Let v be 51/(-27) + (3 - 1). Let a(i) = -i**3 + 5*i**2. Let p be a(5). Is p smaller than v?
True
Let w be ((-8)/20)/(16/(-10)). Let q be 0/((-3 + 2)*-2). Suppose q*u + 3*u + 15 = 0, -5*o + u = 0. Which is smaller: w or o?
o
Suppose 3*y + 1 + 8 = 0. Are -10 and y non-equal?
True
Suppose 0 = -5*h + 3*w - 8, -3*h - w = -h + 1. Let o = -75 - -223/3. Which is smaller: o or h?
h
Let n be 14/12*3/(-2). Are -2 and n nonequal?
True
Let g = 73 - 122. Is -50 >= g?
False
Suppose 3*y - 3 = -0*y. Does 1/14 = y?
False
Let u(v) = v**2 + 7*v + 8. Let d be u(-6). Suppose 5*f - 3*a - 48 = 0, -d*f - a + 13 = 4*a. Suppose 0 = -5*j - 0*j + 50. Is j greater than f?
True
Let r = -3 + -19. Let b be (4/(-155))/(r/55). Is 1 > b?
True
Suppose 4*a - 11*j = -7*j - 28, 0 = 5*a + 3*j + 67. Is a greater than or equal to -14?
True
Let s = -4 - -4. Are s and -0.1 equal?
False
Suppose 0*a = 3*a - 15. Suppose 0 = -4*h - 7 - a. Suppose -2*n - 2*m = 16, -2*n - 18 = -n + 3*m. Is h equal to n?
True
Let m = 7 - 2. Which is greater: m or -5?
m
Let k = -13950/19 - -734. Let l = 96/95 + k. Which is bigger: l or 2?
2
Suppose 5*f = -4*i - 30, -3*f - 3*i - 16 = -i. Let g be 1/1 - f/1. Suppose -g*n + 20 = 4*j, -6*j - 6 = -5*j - 2*n. Is 1/2 <= j?
True
Let o = 7 + -4. Suppose -2*u = -o*u + 3. Is u greater than or equal to 2?
True
Let r = 0.73 + 0.17. Let f = -1 + r. Let n = 0 - f. Which is bigger: n or -1?
n
Let m = 33 - 26. Suppose -3*k + 8*k - h + m = 0, 0 = 2*h - 4. Suppose 4*l - 4*a = 0, 3*l - 2*a = -4*a. Which is smaller: l or k?
k
Let s(q) be the second derivative of q**3/6 + q**2/2 + q. Let o be s(-8). Is o > -6?
False
Let n = 4 - 5.7. Let v = -0.7 - n. Let k = 210 - 2312/11. Is k >= v?
False
Let l = 9 + -10. Which is smaller: -5/7 or l?
l
Let l = -37 - -33. Which is smaller: l or -2?
l
Let v be 2/(-6) - 33/(-6). Let s = v + -59/12. Are s and 4 equal?
False
Let g be ((-60)/(-40325))/((-2)/(-10)). Let c = -71553/138718 - g. Let i = c + 1/43. Which is bigger: i or -2?
i
Let z = 71 + -215/3. Is z at least as big as 0?
False
Let n = -12 + 18. Let g = n - 5. Which is bigger: 0 or g?
g
Let p be (-2 + 1)*3 - (-45)/(-15). Is -21/4 equal to p?
False
Let i be (-3)/(-15) + (-22)/(-40). Let d be -10 - 0/(-2 - 0). Let b be ((-8)/d)/((-4)/(-10)). Is i equal to b?
False
Let p(k) = k**3 - 3*k**2 - k + 4. Let r be p(3). Let y = 3884 + -19507/5. Let x = y - -17. Which is greater: r or x?
r
Let h be 126/(-6)*(-1)/9. Is h at most 2?
False
Suppose 3*i - 75 = -5*s, -2*s - 11 = -3*i - 41. Suppose 3*u - s = -3*l - 0, -4*u + 3*l - 15 = 0. Let r = -2395/13 + 184. Is r at least as big as u?
False
Let w = -5 + 5. Let f = w + -9. Let d = f - -9. Which is smaller: 1/3 or d?
d
Suppose 3*b - 2*x - 18 = 16, 4*x = -b - 12. Let h be 12/(-8)*b/3. Let a(g) = g**3 + 5*g**2 + 5*g + 3. Let w be a(h). Is -2/21 bigger than w?
True
Let t be (-16)/(-12)*6/4. Suppose -h + 3*u = 4*u + 3, -t*h + u = -3. Are h and 0 non-equal?
False
Let i be 1/(15/48)*5. Which is greater: 15 or i?
i
Let t be 0 - 0*(-2 - -1). Let q be (0 + t/(-1))/(-1). Let n be 12/(-18) - 14/(-48). Are q and n non-equal?
True
Let j(c) = -4*c - 1. Let s be j(-1). Let v be 1 + -1*(2 + -2). Suppose -4*g + 15 + v = 0. Which is smaller: s or g?
s
Let i be (3/6)/(2/8). Let b = i + -5. Which is bigger: -2 or b?
-2
Let b = -1.4 + 45.6. Let i = -49 + b. Let a = -5 - i. Which is greater: a or -1?
a
Let t = 5 - 4. Which is smaller: -1 or t?
-1
Let c = 19 + -14. Do c and 2/5 have the same value?
False
Suppose 3*d - 10 = 5*m + 8, -20 = -5*d + 5*m. Let h be (-24)/(-4)*2/22. Is h at least as big as d?
False
Let m = 2 - 6. Let f = 0.05 - -2.95. Let t = f + m. Is -1 at least t?
True
Let c be (-1)/(-6)*1 - (-357)/126. Let x = 0 - -1. Is c at most x?
False
Let p = -0.01 - -0.11. Are 2.3 and p nonequal?
True
Suppose i = -4*v + 3 + 7, -3 = -v. Let p = 2 + -3. Which is smaller: i or p?
i
Suppose -2 = 3*a + s, -3*s = -5*a + 3*a - 5. Let r be 8/7*3/(-12). Does a = r?
False
Let z(g) = g**2 + 5*g - 1. Let q be z(-5). Let o = 44 - -141. Let m = o - 2037/11. Is m less than q?
False
Suppose -2*i = -i - 20. Suppose -3*y + i = -1. Let h = -7 + y. Which is bigger: h or -1?
h
Let n = -0.36 + 0.35. Is n >= -1/2?
True
Let y be 0/(-2) + (6 - 4). Suppose -y*h - 12 + 8 = 0. Which is bigger: h or 2/5?
2/5
Suppose -2*u = 3*u - 15. Suppose 0 = -10*l + 7*l + 6. Which is greater: u or l?
u
Let b(f) = f. Let u = -14 - -8. Let o be b(u). Do o and 0 have different values?
True
Let i be 10/(-18) - (-3)/9. Let t = 0.73 - 1.1. Let g = t + 0.17. Is i > g?
False
Suppose 3*h + 4 = 3*c + 13, h + 22 = -4*c. Let s be (-3*1 + 2)*1. Let a = h - s. Which is bigger: -2 or a?
a
Let z be (-1)/8*(-12)/(-9). Let v = 32 - 33. Is v at least z?
False
Let i(w) = -w**3 + 5*w**2 - 3*w. Let r be i(4). Let x = 0 - -2. Suppose l + 5*h + 5 = 0, 0 = -3*l - x*h + 11. Which is bigger: r or l?
l
Let r = -13/40 - -7/10. Is r at least as big as 0.08?
True
Suppose -3*z - 4 = -7*z. Suppose 4*j = z - 37. Is j greater than -8?
False
Suppose 0 = 4*p + 3*j + 16, 3*p - 1 = -j - 8. Are -2/7 and p nonequal?
True
Let y(h) = h**3 + 3*h**2 + 3*h + 3. Let x be y(-2). Let f be x/(-2) - (-95)/(-10). Is -10 smaller than f?
False
Let b = -66.8 + 67. Let g = -7 - -3. Is b at least as big as g?
True
Let u = -27.17 + 27. Let h = -1.265 + 0.265. Are u and h equal?
False
Let r = 2 + 0. Suppose r*y + 23 = y + 5*f, y - 3*f + 13 = 0. Let a be y/((-4)/3) + 2. Does 1 = a?
False
Suppose 0 = -3*o - 5*j - 53 + 19, -2 = -o + 5*j. Let s be (2 - (-2 + 1)) + -13 + 1. Let r = s - o. Is r at most as big as -1/2?
True
Let h = -0.06 - -0.26. Is 0.1 bigger than h?
False
Suppose -112 = 23*g - 19*g. Which is smaller: g or -29?
-29
Let w = 0.8 + 0.7. Let p = 0.5 + w. Let k = -33 - -101/3. Which is greater: p or k?
p
Suppose -4*j = w + 51, -4*w - 24 = j - 0*j. Let z be 8/j - (-2)/(-6). Is 2/9 at least z?
True
Let s be (-3 - 23/(-5)) + 6/30. Which is smaller: 2 or s?
s
Let q = 134/567 - -4/81. Which is bigger: 3/2 or q?
3/2
Let z = -80 + 402/5. Let a(f) = -3*f**3 + f**2 + 3*f + 2. Let m be a(-1). Let j be (-3 + m)/(0 - -1). Which is smaller: j or z?
j
Let a(j) = 8*j**2 + 2*j + 1. Let c be a(-2). Let y = -14 + c. Suppose 3*x - y = -0*x. Is x greater than or equal to 5?
True
Let r = -19.05 + 19. Is -2/3 greater than r?
False
Let l = -4 - -8. Suppose f - l*f = -15. Let m be ((-2)/(-6))/(f/(-15)). Which is greater: m or -2?
m
Let a(u) = u - 14. Let l be a(15). Let b = l - 1. Which is bigger: b or -2/31?
b
Let z = 0.2 - -0.2. Let m = 0.263 + -0.363. Is z > m?
True
Let v be ((-6)/(-10))/(6/90). Let r be 1*2/((-2)/v). Which is greater: r or -8?
-8
Let j = 23 + -22. Let q be (-2)/(-3) - (-5)/(-3). Which is smaller: q or j?
q
Let o(j) = -j**2 + 7*j - 9. Let x be o(6). Let i be 2*x/6*-2. Let q be i/(-4) - (-11)/(-2). Is -7 at least as big as q?
False
Suppose 11*i = 13*i. Suppose -4*r = k - 1 - 2, 3 = -3*k. Is r less than i?
False
Let p = -12.7 - -13. Let o = 0.1 - 0.2. Let n = o + p. Is n at most 0.1?
False
Let n be 4*(-1 + 3)*1. Let d = n - 8. Which is bigger: -1 or d?
d
Let g = 231/23 - 50327/4830. Let w = 1/42 - g. Let r be 5/12 + (-4)/6. Is w smaller than r?
False
Let r(p) = p - 2. Let z be r(2). Suppose z = 3*t + 2*t. Is t at most as big as 1/4?
True
Suppose 26 = 5*t + 6. Suppose -t = -3*d + 7*d. Let g(a) = -a**3 + 2*a**2. Let o be g(2). Which is bigger: o or d?
o
Let z(a) = a**3 - 2*a**2 + 2*a - 2. Let m(b) = b**2 - 8*b + 2. Let q be m(8). Let r be z(q). Which is smaller: r or 1?
1
Let t be 16/20*(-10)/4 + 6. Do t and 5 have the same value?
False
Suppose 0 = o + 5. Let q = 0 + -8. Let x = q - o. Which is smaller: x or -4?
-4
Let z = -69/2 - -279/8. Suppose t + 2*t + 3 = -3*u, -8 = 4*u. Is t greater than or equal to z?
True
Let j = -11/6 + 59/42. Suppose 0 = u + 4*u + 5. Is u != j?
True
Suppose -15*b + 9*b = -6. Which is smaller: 4/15 or b?
4/15
Let s = -15 - -21. Which is greater: s or -1/2?
s
Suppose -5 = 2*z - p, -5*z + 15 = -0*z + 3*p. Which is smaller: -0.014 or z?
-0.014
Let d be (-138)/18 - (-2)/3. Which is greater: -8 or d?
d
Suppose -2*t - 3*t = 2*h + 12, 2*t = -5*h + 12. Suppose -4*g = -h*f + 12, -18 = 4*f + 2*g - 0*g. Let j = f - -2. Which is greater: 0.3 or j?
0.3
Suppose -q = 3*q - 16. Suppose 0 = m + 10 - q. Is m greater than -7?
True
Let o = 1.1 