s greater: -4 or j?
j
Let v = -42 - -42. Suppose -13 = -4*z - b, z - 2*b - 4 = -3*b. Suppose i = -3*l - z*i - 15, -4*l - i - 7 = v. Which is greater: l or -2?
l
Let d be (-6)/21 + 272434434/217. Let r = 1255308 - d. Let m = r - -150. Which is greater: 1 or m?
1
Suppose 0 = -4*v + 3*i + 7, 0 = -5*v + 5*i - 9 + 14. Is 1 less than v?
True
Let z = 6.8 + 14.2. Does z = 2?
False
Let f = -0.4 - -0.3. Let v be (-10)/(-5) - 0/4. Which is smaller: v or f?
f
Let a(j) = -j**3 - j**2 - j - 1. Let z be a(0). Suppose 0 = -6*x + 3*x - 5*u - 26, 16 = -4*u. Which is greater: x or z?
z
Let a = -70 - -83. Is 10 smaller than a?
True
Let z(d) = 5*d - 7. Let s(q) = 6*q - 8. Let n(t) = 6*s(t) - 7*z(t). Let r be n(0). Let h be 2/6 - 25/(-15). Is r less than or equal to h?
True
Suppose -u - 12 = -4*u. Let t = -7 + 9. Suppose 0 = 4*o, o = t*g + 6*o - 8. Does g = u?
True
Let x = 403/63 + -64/9. Which is bigger: x or 0?
0
Let y = -1.1 + 0.9. Suppose 5*z - z + 8 = 0. Which is smaller: y or z?
z
Let v = 6 + 0. Is 4 less than or equal to v?
True
Let z = 9 - 26/3. Which is smaller: -1 or z?
-1
Let z be (-51)/(-9) - (-6)/(-9). Suppose 4*m + 9 = z*g, -3*m = -2*m + 5*g + 21. Is -4 less than m?
False
Suppose -8 = -2*c - 5*y, 4*c + 2*y = -0*c. Let p(g) = -g**2 + 6*g - 7. Let k = -6 + 11. Let n be p(k). Which is smaller: n or c?
n
Let x be (-4)/1 + (-8)/(-4). Let j be -2 - 1*-2*1. Let q = j + -1. Which is smaller: x or q?
x
Suppose -7*x + 4*x = r, 3*x - 5*r = 0. Suppose x = 7*v - 2 - 5. Suppose 4*s + 0*s = -8. Which is smaller: v or s?
s
Let z be (2 - (-44)/14)*7. Is z less than or equal to 0?
False
Let u = -9565/23 - -416. Let w(i) = -i - 10. Let o be w(-10). Which is smaller: u or o?
o
Let h be 0 + 2/1 - (-950)/19. Is 52 greater than or equal to h?
True
Let u = 11843/22 + -538. Are -1 and u unequal?
True
Suppose -f + 7 = 4*n, 2*f + 2*f + 2*n = 0. Let b = -1/36 - 65/252. Which is smaller: b or f?
f
Let b = -791/4 + 198. Are 0.3 and b equal?
False
Let z(q) = q**3 - 3*q**2 + 2*q. Suppose u + 12 = 4*b, u + 14 = b + 4*b. Let j be z(b). Let l be 0*2/4 - 1. Which is smaller: j or l?
l
Let z = -60 - -69. Are z and 0 nonequal?
True
Let n be (4/(-75))/(4/6). Let b = -13/150 + n. Which is greater: b or 1/2?
1/2
Let i = -9 + 16. Let l = -7 + i. Which is smaller: -2/13 or l?
-2/13
Let r(s) = -3*s**3 + 2*s**2 - 1. Let g be r(-1). Is 4 > g?
False
Let q be (-5)/15 + (-2)/(-6). Let j = 7 + -5. Suppose j*z - 2*x = -2 + 8, -z = 3*x + 17. Which is smaller: q or z?
z
Let x(i) = i**2 + 3*i - 1. Let g be x(-5). Let p be -3*((-12)/g)/2. Suppose 3*j - 4 = p. Is j at most 0?
False
Suppose -3*d + 30 = 3*z, -2*d + z + 6 = -4*z. Suppose -3*o - 7 = d. Which is smaller: 2 or o?
o
Let c(y) = 1. Let t(r) = -r**2 - 8*r + 7. Let i(a) = -6*c(a) - t(a). Let l be i(-9). Which is smaller: l or -5?
-5
Let a(z) = -z + 8. Let m be a(0). Let b = -1.1 + 1.3. Let r = 0.8 + b. Is m at least r?
True
Let d = 1.2 + -0.2. Let m(h) = 3*h + 8. Let i be m(-5). Is i greater than d?
False
Let t be ((-3)/(-2))/(63/12). Suppose -3*m - m = 4*k - 16, -4*k + 4*m = 24. Which is smaller: t or k?
k
Let i(p) = 2*p - 8. Let c be i(6). Suppose -4*l = 3*s - 7, -c*s = -s + 2*l - 5. Which is bigger: s or -2/7?
s
Let r(h) = -h**3 + 6*h**2 + 3. Let g be r(6). Let i = 13 - 14. Let k(q) = -3*q - 1. Let l be k(i). Which is smaller: g or l?
l
Let r be (-72)/30 + (-2)/(-10). Is r < -3?
False
Let q be (-1)/((1*-2)/(-4)). Let w(g) be the third derivative of g**6/120 - g**5/10 - g**4/4 - 3*g**3/2 - 8*g**2. Let a be w(7). Is a less than or equal to q?
True
Suppose -5*y + 0*y = -15. Suppose -o = -4*m - 29, -m - 3 = -y*m - 3*o. Does m = -6?
True
Let c be ((-6)/(-5))/((-2)/(-10)). Let n(d) = -d**2 + 7*d - 7. Let i be n(4). Which is smaller: c or i?
i
Let a = 0.71 + 0.29. Which is smaller: -22 or a?
-22
Let d be -2 + (-1 - 1) - -3. Which is bigger: d or -3/8?
-3/8
Let t = -4 + 2. Let z = 1.97 + t. Let m = 0.03 + z. Which is bigger: -1/2 or m?
m
Suppose -4*z = -3*v + 24, 6*z - 4*z + 12 = -5*v. Let h be (4/z)/((-6)/2). Is h less than or equal to -0.3?
False
Suppose 0 = 2*j + 8 - 8. Which is smaller: 1/174 or j?
j
Let g(m) = 9*m**2 + 3. Let x be g(-3). Let d be (-60)/(-14)*x/78. Let r = -874/195 + d. Which is smaller: r or 1?
r
Let r = 2 - 9. Let c = r + 11. Let y = c - 1. Which is greater: y or 0.1?
y
Let z = 1.04 + -0.04. Let o = -3 + z. Let c = o + 1. Is c at most as big as -0.2?
True
Let l(w) = 3*w - w**2 - 1 + 5*w + 0 - 2. Let a be l(7). Is 3 less than or equal to a?
True
Let m = 2.2 - 1.3. Let a = 1.1 - m. Which is bigger: 3 or a?
3
Suppose 2*r - 4*r + 6 = 0. Let s be (-1 + 2 + -2)/(-1). Are s and r non-equal?
True
Let h = 4 - -38. Let v be -2 - ((-3040)/h + -2). Let r = v - 215/3. Is 1 less than r?
False
Let x = -0.01 + -2.69. Let g = x - 0.3. Is g less than or equal to 0?
True
Let f be (1/(-5))/((-4)/(-2308)). Let m = -116 - f. Let p = 0.2 - 0.3. Which is greater: m or p?
p
Let s = -11 + 10.9. Which is smaller: s or -3/8?
-3/8
Suppose -12 = 4*u + 4*v, 6*u - 2*u = 3*v + 23. Suppose r + 5*o + 13 = -0*r, -u*o + 13 = 3*r. Is 7 not equal to r?
False
Let x = -13.5 - -15. Let z = -0.5 - x. Let t = 0 - -0.1. Is z greater than or equal to t?
False
Let v(u) = 16*u**2 - u - 2. Let l be v(-1). Is 13 bigger than l?
False
Let j(p) = p**3 - 7*p**2 + 6*p + 2. Let s be j(6). Suppose s*h + 1 = 9. Let a = -3 + h. Are a and -1/3 unequal?
True
Let a be ((-2)/9)/(14/(-21)). Let h = -0.4 + 0.2. Is a >= h?
True
Let i = 3/439 - -1149/24584. Let z = 743/280 - i. Which is smaller: z or 4?
z
Let w = 2.93 - -0.07. Let y = w + -3.2. Let q = -0.1 - y. Which is bigger: -0.2 or q?
q
Let z = 21 + -27. Which is greater: -2 or z?
-2
Let h be 8/16 - (-11)/(-2). Are h and -3 unequal?
True
Let n(c) = c**2 - 4. Let k be n(-3). Suppose -k*l - 3*m = m + 4, 0 = -4*l + 5*m + 5. Let g be 2/5*(-5)/(-2). Which is smaller: l or g?
l
Let z be (5 - -4) + -4 - (1 - 0). Which is smaller: 8 or z?
z
Let i = 1 - -0.5. Let w = i - 0.5. Let j = w - 1. Are j and 0.2 equal?
False
Let o = 11.2 + -7.62. Let i = 0.08 - o. Let a = 4 + i. Is a at least 0?
True
Let x be (2 - (10 - 4)) + -13. Are x and -17 equal?
True
Let n(x) = -x + 6. Let o be n(5). Let f be (-3)/3 + o/2. Suppose -1 = 4*d - 5. Which is bigger: d or f?
d
Let x be 24/63*(-3)/4. Suppose 0 = 3*d + 4*v + 20, 4*d - 5 = -0*d + v. Which is smaller: d or x?
x
Let q(n) = n**2 + 3*n + 3. Let a be q(-3). Let d be 0/((-13 + 1)/a). Which is greater: d or 1?
1
Suppose 16 + 122 = -3*d. Which is smaller: d or -47?
-47
Let b be (-1 + 3)/2*(-1)/5. Let a be 0 + 8/10 + -1. Is a smaller than b?
False
Let b = 270/803 - -2/73. Is 1 at most b?
False
Suppose -2*z = -3*x + 71, -13 = -5*x - 2*z + 100. Let y be (-10)/(6*-1 - -4). Suppose -l - y*a = -x + 3, -5*l - 2*a + 8 = 0. Is 1 at most l?
False
Let d(m) = 2*m**2 - 6*m - 1. Let i be d(-5). Is i <= 78?
False
Let j be 0 - (84/(-43) + 2). Is 1 greater than or equal to j?
True
Let j = 392276/3809 - 1416/293. Let s be ((-56)/10)/((-4)/70). Let b = j - s. Which is smaller: b or 1?
b
Let i be 1/(1 + (-20)/6). Let d = i - 1/14. Let f = -1 - 0. Is d less than or equal to f?
False
Let b = 2.3 - 1.9. Is b less than or equal to 1?
True
Let j(a) = -a**2 - 2*a. Let l be j(-2). Suppose l*w + 4*w = 0. Which is smaller: 2/21 or w?
w
Let q = -5 - 4. Let k = q + 5. Does -6 = k?
False
Let u(h) = h**2 + 2*h + 2. Let s be u(-2). Let i(r) = 4*r - 3. Let a be i(s). Let b = a + -7. Is b equal to -3/4?
False
Let k(w) = w**3 + 9*w**2 + 15*w - 10. Let i be k(-7). Which is bigger: i or -14?
-14
Let w = -69 - -37. Do -32 and w have different values?
False
Let i be 105137/1260 + (-3)/15. Let t = -335/4 + i. Let c = -2/9 - t. Which is bigger: c or -0.1?
c
Let a = 16 + -8. Let w = a + -7. Is w >= 6?
False
Let p = -75 + 72. Let y = 1389/554 - 2/277. Let r = p + y. Is -2 > r?
False
Let k(t) = -t + 1. Let q be k(-2). Suppose q*p - 18 = p. Let v(s) = -s**2 - 6*s + 3. Let o be v(-5). Is o greater than or equal to p?
False
Let v(n) = -n**2 - 4*n - 3. Let h be v(-3). Let f be 2 - (3/3)/1. Let i = 2 - f. Which is smaller: h or i?
h
Let c(k) = -k**3 + 2*k**2. Let b be c(2). Let u = 388/1365 - -2/1365. Which is greater: u or b?
u
Let y(j) = -j**2 - 2*j + 3. Let d be y(-4). Let k = 43/9 + d. Is -1 smaller than k?
True
Let d be 49/18 + 4/(-18). Which is greater: d or 3