Which is greater: -12/11 or j?
-12/11
Suppose 0*i + 308 = -4*i. Let g = 24 + -20. Let o be (-15)/i + g/(-14). Is o <= -1?
False
Let g(f) = 14*f**2 + 2*f - 3. Let x be g(-3). Let c = 588/5 - x. Suppose -4*d + 2*l + 10 = 0, 0 = -d - l - 4*l - 14. Is c > d?
False
Let n = -10606/17277 + -2/1329. Are 0 and n equal?
False
Let n = 10 - 8. Let i = -2.08 + n. Which is greater: -1/2 or i?
i
Let q be (-2 + -2 + 3)*5/1. Which is bigger: -3 or q?
-3
Let h(f) = f**2 + 11*f + 13. Let l be h(-10). Suppose -4*y + 1 = -0*y + a, l*y + a = 0. Which is bigger: y or 2/5?
y
Let v = 10.3 + -10.28. Is v less than or equal to 0.2?
True
Let s be 0*4/12 - -8. Suppose -2 = s*z - 9*z. Which is smaller: z or 3?
z
Let k = -36 + 36. Which is smaller: 1 or k?
k
Let d = -20 - -19.1. Let r = -0.1 + d. Let i = 1 + r. Is -3 >= i?
False
Suppose -w = 4*z + 21, z = -3*z - 4*w - 36. Suppose 1 = -d + 3. Let i = z + d. Which is smaller: i or -3/4?
i
Let u = 0.77 - 0.8. Let o = u + 0.23. Which is smaller: 2/7 or o?
o
Suppose -2*o = -5*y - 217, 0*y + 3*o = 2*y + 78. Let m be y/40 - 2/(-16). Is m > 3/7?
False
Let c = 0.2 - 0.4. Let h = -0.3 - c. Suppose b = -0*v - 2*v - 1, 3*b = 4*v - 3. Is b bigger than h?
False
Let k = 34/3 - 11. Which is smaller: k or 0.1?
0.1
Suppose -d + 6*d + 10 = 5*i, -5*i - 14 = d. Let b(x) = x**2 + 7*x - 2. Let y be b(-7). Are y and i equal?
True
Suppose -3*l = -j + 6, 4*j = 2*l + 4 - 10. Let y = -5 - -4. Let d be (-1)/(y/(j/(-3))). Is d at least -1/3?
True
Let b(r) = 28*r**2 + 2*r - 7. Let f be b(-5). Suppose l - 232 = -t - 2*l, 0 = -3*t + 4*l + f. Let n = t - 2059/9. Do n and 1 have different values?
True
Let t(x) = 5*x - 9. Let l be t(4). Let a be l/(-3 - (-4 - 0)). Is a at least as big as 12?
False
Let o be (-82)/4*(-28)/(-38). Let w = -15 - o. Are w and 2/3 equal?
False
Let t be ((-44664)/16)/((-3)/(-4)). Let b be (t/8)/((-22)/8). Let m = -169 + b. Is m at least as big as 1?
False
Suppose -4*k + 2 - 6 = 0. Let r = 1 - 5. Let y be ((-1)/(-4))/(k/r). Does y = 1/3?
False
Let n = 1.33 - 2.3. Let b = 0.03 - n. Let t = 2 + 0. Which is greater: t or b?
t
Let j = -2.742 - -0.042. Let k = j - -0.7. Are k and -3 equal?
False
Let t = -0.1 - -3.1. Let u = t + -1. Which is greater: u or -1?
u
Let s = 20 + -20. Which is bigger: s or -2/19?
s
Let d = 2 + -1. Let c be 2/d*(-2)/12. Is c bigger than -2/7?
False
Let q(u) be the first derivative of u**2/2 - 9*u + 1. Let m be q(10). Let a = -5/9 + 1/3. Which is smaller: m or a?
a
Let f(u) = u**2 + 3*u - 4. Let o be f(-3). Let a = 2 - 3. Let j be a/o - 1/4. Is j at least 0?
True
Let f(y) = -3*y - 16. Let j be f(-7). Let m(q) = q - 4. Let o be m(j). Which is bigger: o or 6/19?
o
Let o(a) = -a**3 - 5*a**2 - 2*a - 4. Let v be o(-5). Let n = v - 12. Let x be -1 - (n/21 - 1). Which is greater: x or -1?
x
Let n = 23 + -20. Are n and 4 unequal?
True
Let a be ((-3)/4)/((-1)/(-8)). Let z be 3/a*0/(-2). Suppose -4*b - 26 = 2*d, -5*d - 5*b = -z*b + 40. Are d and -3 nonequal?
False
Suppose 0 = 3*s - 4*n + 2*n - 18, 4*s + 2*n = 10. Let m = -3 + s. Let h(l) = -l**3 + 3*l**2 - l + 4. Let w be h(3). Is w less than m?
False
Suppose 0*m = 3*m + 3. Let p(g) be the second derivative of g**4/12 + g**3/2 + g**2 + 3*g. Let f be p(-2). Which is smaller: m or f?
m
Let z = 4 + -3.4. Let s = z - 0.5. Do 0.06 and s have the same value?
False
Let i be 5/10 - 22/12. Let j = 1 + i. Which is smaller: j or 1?
j
Suppose -44*a = -45*a + 3. Which is bigger: 0 or a?
a
Let t = 2/41 - 947/82. Which is smaller: -13 or t?
-13
Let k(u) = -2*u**2 + 5 + 8*u + 0 + 3*u**2. Let q be k(-8). Suppose 8*i - 3*i = -g + 5, -4*g = q*i - 5. Which is smaller: 1/3 or g?
g
Suppose -20*d = -18*d - 52. Which is smaller: -2/7 or d?
-2/7
Let r(z) be the second derivative of z**4/12 + z**3 - 7*z**2/2 - z. Let o be r(-7). Is -3 != o?
True
Suppose -3*z = 2*s - 1, -6 = -4*s + 2*z - 4*z. Suppose -l = -2*l - 5*y - 19, -5*l - 3 = s*y. Let h be (-8)/10 - 4720/(-5400). Is h at least as big as l?
False
Let k be 4/6 - 17/12. Let c = 1007/84 - 81/7. Let w = k + c. Which is bigger: -0.3 or w?
-0.3
Let c be -1*-7*(23/7 - 4). Let g(l) = -l**3 + l**2 - l + 2. Let r be g(2). Are r and c nonequal?
True
Let o(q) = 2*q. Let g be o(3). Suppose 12 = -3*z - 2*a + a, 0 = 3*z - a + g. Let l(y) = -y**2 + 7*y - 8. Let s be l(6). Is z at least as big as s?
False
Let b = 531 - 526. Suppose -2*a + 1 = -1. Does b = a?
False
Let q be ((-2 - -6) + -1)*-1. Which is smaller: -2 or q?
q
Let b = -450.03 + 448. Let n = -1.27 - -1.3. Let g = n + b. Is 1 at most as big as g?
False
Suppose -5*p = -p + 12. Let r = -8 - p. Which is smaller: r or -6?
-6
Let z = 8/5 - 114/65. Are z and 0 unequal?
True
Let k be 60/9 - 2/3. Suppose -3*n + k = 2*a, -2*n + 7*n + 12 = 4*a. Which is bigger: 5 or a?
5
Suppose h - 2 = 3*h. Let n be 0 + 8*h/(-2). Suppose 5*v = 4*q + 23 - 7, 3*v = n*q + 16. Is 1 less than v?
False
Let t be (28/3)/2*1485/1155. Let l(n) = n**3 - n**2 + 5. Let k be l(0). Is t at least as big as k?
True
Suppose 4*g - 1 + 13 = 0. Suppose 0 = 2*b - 4*p, 6*p = 2*p - 8. Which is greater: b or g?
g
Let k(v) = -v**2 - 10*v + 8. Let d be k(-10). Let x be d/(-6)*21/2. Let p be (x/49)/(6/14). Are -3 and p non-equal?
True
Suppose 5*k - i - 1 - 1 = 0, -3*k - 2*i = 4. Let x be (4/(-6))/((-2)/15). Suppose s - 3*s - 10 = 2*w, -3*s - x*w - 23 = 0. Which is smaller: k or s?
s
Let x(u) be the first derivative of -u**4/4 - u**3 + u**2/2 + 3*u + 1. Let y be -3*-2*2/(-4). Let o be x(y). Which is greater: 2/15 or o?
2/15
Let l be -2 + -7*2*17/(-118). Which is smaller: -1 or l?
-1
Let v be 6/33 + 316/(-44). Which is bigger: v or -1/4?
-1/4
Let w = -8.8 - -0.7. Let h = 8 + w. Let u = -0.1 - 0.9. Are h and u equal?
False
Let w be ((-11)/33)/(130/(-177)). Let m = w + 9/26. Is m < 1?
True
Let m = -10 - -14. Let d be (-2)/m*-2*1. Let y = -31/4 + 8. Is y less than d?
True
Let v be 3 - 36/(-105)*(-15)/2. Is v <= 1?
True
Let j = -11 + 5. Let r = 7 + j. Let w be (2/(-4))/((-1)/2). Are w and r non-equal?
False
Suppose 5 - 17 = 2*f. Is f at most as big as -45/8?
True
Suppose -5*x - 9 = 81. Let l be (-1 - 1)/(4/x). Let p(g) = -g**3 + 3*g**2 + 4*g - 3. Let y be p(3). Is l at least y?
True
Let c(f) = f**2 - 4*f - 7. Let u be c(6). Suppose -4 + 2 = -x. Suppose x*r + 0*r = 12. Is r at least u?
True
Let g be (-15)/40 - 33/(-24). Is 1/132 smaller than g?
True
Let n = -0.039 + -0.061. Let a = 11 + -2. Which is smaller: a or n?
n
Suppose -q + 2 = -3, 5*a + 20 = 2*q. Let m = 0 + a. Is -7 < m?
True
Suppose 0 = -r - 4*u - 4, 4*r = -2*u - 2 - 0. Suppose i = -4*c - 73, -7 = 2*c - i + 34. Let x be 4/6 - c/(-15). Which is greater: r or x?
r
Let q be (5 + -2 + -2)*-1. Let j be (4 - 1)*6/(-18). Let z be 0 - j/(q + 0). Which is smaller: z or -2?
-2
Suppose 0*d - 2 = -2*g + d, 0 = -4*g - 4*d - 20. Is 1/13 smaller than g?
False
Let q = -32 + 48. Let r = -11 + q. Let s = r + -6. Which is smaller: s or -2?
-2
Let b = -62.5 + 5.5. Which is smaller: b or 0.2?
b
Let o = 1.4 - -0.6. Let t = -1.9 + o. Is t smaller than -0.06?
False
Suppose -3*l = 2*l + 10. Let s(j) = j**3 + 3*j**2 - 3*j - 2. Let h be s(-3). Suppose -u = h - 4. Which is smaller: l or u?
u
Let m = -44 + 50. Which is bigger: 7 or m?
7
Let g = -31.14 + 31. Let k = -2.96 - -3. Let x = k + g. Is x < -1?
False
Let i(j) be the first derivative of -j**7/140 + j**6/180 + j**5/120 - j**3 - 2. Let t(y) be the third derivative of i(y). Let n be t(-1). Is n at most 6?
False
Let z be 3/1*5/(-15). Is 2/25 bigger than z?
True
Let y = 28 + -42. Let n = y - -14.2. Is -3 smaller than n?
True
Let w = 0.4 + -0.8. Let b = -1.4 + 1. Let c = b - w. Which is greater: 1 or c?
1
Let y be (-6)/(-21) - (-6)/(-21). Let j = 2639/22 + -120. Which is greater: y or j?
y
Let h = 5 + -2. Suppose -w + h - 1 = 0. Suppose -4 = -0*q - w*q. Which is smaller: q or 8/5?
8/5
Suppose 4*s = 5*m - 2, s + 4*s - 3*m + 9 = 0. Which is bigger: s or 1?
1
Suppose 0*h - 5*h = -5. Is h > 65?
False
Let a = -2 + 3. Let i = 155/4 - 39. Is i at most as big as a?
True
Let c be 22/(-18) - 2/(-9). Let y = c + 4. Suppose -2*r + 5*r = y. Is 1 bigger than r?
False
Suppose 0 = -2*z + t - 3*t - 14, -1 = z + 4*t. Is -9 bigger than z?
False
Suppose 11*n - 12*n - 1 = 0. Which is greater: 0.17 or n?
0.17
Let z = -0.2 - -3.2. Let b = z - 2. Which is greater: -13 or b?
b
Let v = 5 + -5. Suppos