6?
j
Suppose -5*p + 40 = -5*g, -3*g - 14 = g + 5*p. Let w be (3/(-3) - -3)/g. Do 1 and w have the same value?
False
Let o = 93 + -86. Which is bigger: 53/7 or o?
53/7
Let f be (-2)/(-10) + 76/20. Suppose -11 = -3*x - 2. Suppose 4*v = -4*l + 20, -x*v - f*l = -v - 14. Is 3 less than v?
False
Let m(y) = -y**2 - 5*y + 6. Let o be m(-6). Let q = 0.839 - -0.171. Let v = -0.01 + q. Which is greater: v or o?
v
Let v be ((-14)/(-4))/(146/(-8)). Let f = -107255/4462563 - -351/2911. Let x = v + f. Which is bigger: x or 1?
1
Let u(t) = -t**2 + 12*t - 9. Let k be u(11). Suppose -l - k*l = -6. Suppose 2*n - l = -0. Is n at least as big as 1?
True
Let y = -18439/172 + 429/4. Which is bigger: y or 1?
1
Let m(b) = -b**2 + 7*b - 11. Let k be m(5). Let f = -738/7 - -105. Which is greater: k or f?
f
Suppose -12*s + 13*s = 0. Suppose s = -2*y + 3 + 1. Which is bigger: 1/2 or y?
y
Let c(b) = 4*b**2 + 1. Let p be c(1). Let h = 20 + -10. Suppose h = -5*f, -2*x + 11 = -x - p*f. Do x and 1 have different values?
False
Let s be (-598)/18 - 8/(-36). Let q = -57 + s. Let r be q/132 + (-1)/(-2). Which is greater: -0.1 or r?
-0.1
Suppose 7*f - 90 = -27. Is f > 28/3?
False
Let c be (-92)/93 - 20/(-30). Which is smaller: c or 1?
c
Suppose 4*a - 2*a = 0. Suppose a*s = -5*s + 15. Suppose -2 = s*g - g. Are 1 and g non-equal?
True
Let j = -359/5 - -72. Suppose -2*u - 1 = 4*m - 7, 15 = 5*m + 5*u. Is j > m?
True
Let l be 3*(1 + 6/9). Which is greater: l or 33/7?
l
Let u = 79 - 77. Which is bigger: 12/23 or u?
u
Let w be (6/9)/((-8)/(-16)). Let s = -1 - -5. Suppose -s*h = -h. Which is greater: h or w?
w
Let v = -73/3 + 24. Suppose 4*q - 4 = 12. Let n(p) = p**3 - 4*p**2 - p + 5. Let w be n(q). Is w smaller than v?
False
Suppose 5*r = 4*v + v + 15, 3*r = 4*v + 7. Let d be ((1 - 1) + 2)/(-2). Which is smaller: v or d?
d
Let g = 3.02 + -0.02. Let o = g + -1.9. Let h = -1 + o. Is -1 at most as big as h?
True
Let f = -0.4 - 0.1. Let t = f + 1.4. Let h = t + 0.1. Which is smaller: -0.1 or h?
-0.1
Suppose -y - 2*y = 0. Let f = -2/1073 - 84761/3219. Let h = 26 + f. Is y less than h?
False
Let p be (8 + -1)*(-2 - -3). Let r(o) = o**2 + 1. Let c(y) = 4*y**2 - 8*y + 11. Let l(b) = c(b) - 3*r(b). Let k be l(p). Which is greater: 2/3 or k?
k
Let h(y) = -y**2 - 14*y + 31. Let k be h(-16). Is k smaller than -2/3?
True
Let g = 0.3 - 0.2. Let x = -4 + 8. Let m be ((-6)/x)/(6/(-8)). Is g at least m?
False
Let w be (5 + 0)*24/15. Let z be (-8)/(-28) + (-47)/(-7). Which is greater: w or z?
w
Suppose -h + 3 = -o, 4*h = 5*h + o + 7. Let b = 1 - -7. Let d = b - 11. Do h and d have the same value?
False
Let s = -7 - -6. Let n be (s + -3)*(1 - 2). Do n and 4 have the same value?
True
Let t be ((-2)/1)/((-42)/21). Are -40 and t nonequal?
True
Let i = 16 - 33. Does i = -1/4?
False
Let u = -70/3 + 23. Let x be 14/(-63) + (-4)/(-18). Is x at most u?
False
Suppose 11*s = 13*s - 122. Which is smaller: 59 or s?
59
Let l = 2.3 + -1.3. Which is smaller: l or 0.3?
0.3
Let j be 65/25 + (-2)/(-5). Suppose -l = -j*l + 4. Suppose o + 1 + l = 0. Which is smaller: o or -2?
o
Let o = -0.3 + 0.2. Let z = 0.1 + o. Suppose 2*l + 9 - 22 = -j, 2*j + 5*l - 30 = 0. Which is smaller: j or z?
z
Suppose -4*b = 12, 2*b - 3 = -3*z - 0*b. Let d be ((-8)/12)/((-1)/z). Which is smaller: d or 0.3?
0.3
Let a = 22 - 22. Which is smaller: -3/7 or a?
-3/7
Let z = 37/5 + -319/10. Is z > -25?
True
Let r = 35 - 27. Which is smaller: r or 0?
0
Let k = 2 + -4. Let i be k/(-6)*(-12)/(-4). Which is smaller: i or 6/11?
6/11
Let s be ((-4)/6)/(15/12). Let h = -4532/15 - -302. Let d = s + h. Which is greater: d or 0?
0
Let r(v) = -2*v + 2. Let h be r(-2). Suppose z + 2*w - 11 = 0, -3*z + 21 = -w + 3*w. Is h > z?
True
Let g = -28/15 - -7/60. Which is smaller: g or 0.1?
g
Suppose 0 = -5*j - 4*h, -1 + 10 = j - h. Suppose 16 + 4 = j*a. Let n be 10/(-3)*(-12)/10. Which is greater: n or a?
a
Let m = -3 - -4. Let j = -5 + 5.05. Let p = j + 1.95. Which is smaller: p or m?
m
Let o = 149 + -150. Is o greater than or equal to -5/6?
False
Let r = -62 - -62. Which is smaller: 12/13 or r?
r
Let p = -10 + 5. Let y = p - 0. Let j = 30 - 33. Is y not equal to j?
True
Suppose -3*f - 3*n = -6, -2*f + 5*n = 7 + 3. Let a(o) = o**2 - 2*o**2 - 8*o - 8 + f*o**2. Let c be a(-7). Which is greater: c or -2/5?
-2/5
Let r = 1 + 6. Suppose 2*i + 2*c = 4, i - c = 6*i - 22. Let u = r - i. Are u and 3 nonequal?
True
Let d = 0.08 - 0.06. Let g = d + -0.22. Do g and 1/2 have different values?
True
Let m be 12/(-18) - (-13)/(-3). Which is smaller: -4 or m?
m
Let l = 11 - 5. Let h = l - 4. Let u = 49 - 48. Is u at most h?
True
Let t(p) = -3*p**3 - p**2 - p + 1. Let m be t(-1). Let z be ((-3)/3)/((-1)/2). Which is smaller: m or z?
z
Suppose 2*j + 8 = 3*f - 12, 5*j + 40 = 5*f. Which is smaller: j or -6?
-6
Let p(w) = w**3 - 11*w**2 + 4. Let s be p(11). Let h be 1/(150/39 - s). Is -6 greater than h?
True
Let v = -1 - -4. Let w = 0.9 - -2.1. Let b = w - v. Is b bigger than -1/2?
True
Let j(u) = u**2 - 2*u - 24. Let d be j(6). Let w be 15/27*6/45. Do w and d have the same value?
False
Let x = 4 - -5. Suppose -5*l + x = 4*c, 0 = 4*l - 2*c + 5 - 33. Is l >= 2?
True
Let m be ((-2)/3)/(16/40). Which is greater: m or -1/4?
-1/4
Suppose -3*a - 22 + 7 = 0. Does a = -4?
False
Let t be (-2)/(-8) - 3/12. Suppose -3*x + x - 4 = t. Let c be 1*x/(18/(-3)). Which is smaller: 1 or c?
c
Let u be ((3 - 5)/(-2))/(5/(-2)). Is u greater than or equal to 0?
False
Let n = 0.01 - 0.41. Which is greater: 0.1 or n?
0.1
Let p = -0.18 + 1.28. Let u = p - 0.1. Let c = -2 + u. Which is greater: c or -1/2?
-1/2
Let p(t) = -3*t**3 - 2*t**2 - 2*t - 1. Let a be p(-1). Suppose -3*y = 5 - a. Let x be 4/15*(-9)/6. Which is bigger: x or y?
x
Let c be (-3)/(-4) - (-72)/32. Is c bigger than 5/2?
True
Let j be 1*5*(3 - 6). Let t be 21/j - 2/(-5). Which is smaller: t or -2?
-2
Let x = 2007/8 + -251. Suppose -c + 2 = 5*o, -2*o + c + 3 = -2. Let k = 0 - o. Which is greater: x or k?
x
Let b be ((-6)/(-4))/((-18)/8). Let y(p) = -2*p**3 + 10*p**2. Let o be y(5). Which is bigger: b or o?
o
Suppose 3*h - 2*a - 2 = 0, -4*h - a - 2 = -12. Let z = -3 - -6. Suppose 5*l - 16 = 2*w - 0*w, -z*l + 12 = -2*w. Is h less than or equal to l?
True
Let w = -7 - -7.04. Let j = w + -0.54. Which is smaller: j or 0?
j
Let d = 9 - 8.1. Let x = d - 1.9. Which is smaller: x or -2?
-2
Let b be (3/18)/(3 - 2). Which is smaller: -0.1 or b?
-0.1
Let j be 30/(-10)*((-6)/9)/2. Is j > -1/97?
True
Let w be 20/4 - (2 + 1). Suppose 0 = -2*o + w*u - 2, 3*o - 17 = -o - 3*u. Let i(p) = -p**3 + p**2 + 3*p - 3. Let m be i(o). Which is greater: -2/15 or m?
-2/15
Let v(k) be the first derivative of -k**2/2 - 5*k + 6. Let o be v(5). Which is smaller: o or -11?
-11
Let b be 6/15 + 259/(-560). Which is greater: -2 or b?
b
Let n = -2 - -1. Let l(g) = -3*g**2. Let k be l(-1). Are k and n nonequal?
True
Suppose -4*x + 9*x = 10. Suppose 0*f - 3*f = -5*y - 5, -f = y - 7. Is y greater than or equal to x?
True
Let y = -827 + 828. Let q be (-32)/(-42) + 2/(-6). Which is smaller: y or q?
q
Suppose -t = -c + 1, -3*t - c + 0 + 5 = 0. Which is smaller: 1/87 or t?
1/87
Let p(g) = g**2 + 9*g + 7. Suppose -5*b - 17 = 23. Let u be p(b). Which is greater: 0.1 or u?
0.1
Let r be (1/(-2))/(7/(-56)). Suppose -5*p + 20 = 0, -3*p - r = -3*f - p. Suppose 4*x = -0 + f. Which is bigger: x or 1/7?
x
Suppose 11 - 16 = 5*k. Which is bigger: k or 1/9?
1/9
Let t be (-33)/(-180) - (-1)/(-4). Which is greater: t or 0?
0
Let z be (10/2 + 0)*1. Suppose z*j + s = 16, 3*j + 1 = -5*s + 15. Suppose -1 - j = -4*a. Are 2/11 and a non-equal?
True
Suppose -b + 2 - 3 = 0. Which is smaller: 1/21 or b?
b
Let t = -3.933 - 0.067. Is t smaller than 5?
True
Suppose -4*i + 2*i - 5*v = -37, 4*i - 3*v - 113 = 0. Let z be 2/(-9) - i/126. Suppose 5*o + 2*b - 15 = 0, 3*b = -4*o + 8 + 11. Which is smaller: o or z?
z
Let m = 25.4 - 21. Let w = m - 4. Which is greater: w or 1/2?
1/2
Let k = 283/418 + -5/38. Let n = -10 + 11. Is n smaller than k?
False
Suppose 0 = 4*d + d - 65. Which is bigger: d or 12?
d
Let b(f) = -f**3 - 10*f**2 - 4*f - 40. Let i be b(-9). Which is smaller: -84 or i?
i
Let m = -8 + -15. Let y be (-4)/10 - m/(-2). Let c = y + 25/2. Is c equal to 2?
False
Let g(q) = -4 + q + 1 + 4. Let i be g(4). Let a = 2 - i. Is a a