5 + 71.9. Let j = y - -3. Let x = -4.2 + 2.2. Which is greater: j or x?
j
Suppose -5*x = -3*x - 6. Let z = 0.3 - 0.3. Let w = z - -0.1. Is x < w?
False
Let c be (-10 + 3)*(-12)/(-14). Let m(i) = i**3 - 5*i**2 + 3*i - 2. Let q be m(4). Is q at most c?
True
Let i = 22 - 21. Which is smaller: i or -3?
-3
Let w(a) = -a**3 - a**2 + a. Suppose 0 = -5*t - 11 + 1. Let h be w(t). Is h equal to 2?
True
Let b = 1 - 1. Which is smaller: b or -0.1?
-0.1
Let l = 0 - 1. Let a be (1/7)/((-22)/77). Is l equal to a?
False
Let c be 26 - ((-3)/(-1) + -1). Let m = c + -47/2. Let i = m + -1/10. Which is smaller: -1 or i?
-1
Let u be 48/21 + (-8)/28. Suppose -2*d - 3*j + 10 = -j, 0 = -u*j + 4. Let o be ((-4)/40)/(d/(-6)). Is o not equal to 0?
True
Let u(g) = -g. Let z be u(3). Suppose 5*q = 22 + 3. Suppose q*y + 5*c + 25 = -0*c, -2*c + 2 = -4*y. Are y and z equal?
False
Let w be (-7)/(7/(-16)) + -2. Let g be 7/(w/4) - 4. Is g > -4?
True
Let t = -405/8 + 14977/296. Which is greater: t or 1?
1
Suppose k + 5*v = -13, -v - 2*v = 5*k - 1. Suppose 0 = -w + k + 3. Is 5 != w?
False
Let b be 231/15 - 8/20. Let s be 1/3 + (-20)/b. Which is smaller: 2 or s?
s
Let f = 11906/4965 + 2/993. Are f and 2 equal?
False
Suppose 0 = 4*n + n + 50. Let z be (-3)/(-12) + 97/(-4). Let u be (-3)/(-9) + n/z. Is 1 <= u?
False
Let r = -3702/37 + 100. Is 1 at most as big as r?
False
Let c = -292 + 279.1. Let y = -13 - c. Which is bigger: 4 or y?
4
Let m = -6/35 + -1/35. Let a = -2 + 4. Let t = 2.1 - a. Is t < m?
False
Suppose -5*n + a + 54 = 0, 3*n + 4*a + 0 = 37. Which is greater: n or 10?
n
Suppose -2*w + 66 = 22. Let v = 287/13 - w. Is 1 at most v?
False
Let f be (8/10)/(21/(-35)). Are f and 0 nonequal?
True
Suppose -20 = 5*q, -u - 2*q + 3 - 2 = 0. Let s = 6 - u. Let t be 1/(s/(-4)*2). Is t at least -1?
True
Let c = -0.11 - -0.21. Is 1/40 greater than c?
False
Let f = 49 - 193/4. Let k be 4 + (-2 - (1 - 1)). Suppose -1 = 3*i - k*x, 5*i - 7 = -0*x - x. Is i less than f?
False
Suppose y = 5*d - 20, -5*y + 1 - 13 = -3*d. Let g be (d + 10/(-4))*2. Is g bigger than 0?
True
Suppose 0 = 10*g - 5*g - 15. Suppose -g*w = 5*r - 20, -8*r + 10 = w - 3*r. Suppose -2*c = -2, -c - c - 14 = -4*t. Which is smaller: w or t?
t
Suppose 0 = -3*p - 2*p. Suppose p = -q - 0*q. Let t be 7/(-21) + 1 + q. Is -0.1 < t?
True
Let f = 67 + -68. Which is smaller: -2 or f?
-2
Let t be (36/8 + -3)*-6. Let j(c) = c**3 + 9*c**2 - 1. Let p be j(t). Is -3/17 < p?
False
Suppose -v = 2*v - 3. Let i = 70 + -488/7. Which is bigger: i or v?
v
Let b be ((-9)/(-6))/(4 + -1). Let w be 2/(-4)*2/3. Is w at least b?
False
Suppose -r = 2*r. Which is smaller: -0.1 or r?
-0.1
Let d = -4 - -4. Suppose k = n, 5*k + 3*n + n - 18 = d. Let o be (-2)/5 - 159/(-60). Which is smaller: o or k?
k
Let u = 22962/4475 + -128/25. Which is smaller: u or 1?
u
Let j(o) = o**3 + 13*o**2 + 11*o - 11. Let g be j(-12). Which is smaller: g or 0?
0
Suppose 2*a + 1 = 4*g - 1, 4*a + 4 = -5*g. Let y = a + 1. Suppose -6*l = -2*l + j + 13, -5*l + 5*j + 15 = y. Which is smaller: l or -7/5?
l
Let c = 116.5 - 117. Which is bigger: c or -0.2?
-0.2
Let j = -1 - -5. Suppose 0 = 3*n - s + j + 2, 5*n + 21 = -2*s. Let b be 5/n - (3 + -4). Which is smaller: -1 or b?
-1
Let q(s) = s + 4. Let l be q(0). Suppose l*v = 20, -2*i - 2*i - 5*v = -17. Let j(w) = w**2 + 8*w + 5. Let c be j(-7). Is c less than i?
False
Let b be (10/(-15))/(6/(-27)). Let z(s) be the second derivative of -s**3/6 + 3*s**2/2 + s. Let a be z(b). Do a and -1 have different values?
True
Let f(h) = 3 + 1 - 3 - h**2 + 6*h. Let s be f(5). Is s <= 6?
True
Let y(i) = i - 6. Let d be y(6). Let c = -0.3 + 0.42. Let t = c - 0.02. Which is smaller: d or t?
d
Let o = 0.2 - 0.1. Let l = 10 - 10.7. Let j = l + 2.7. Which is bigger: o or j?
j
Let a = -19/20 + 571/580. Is 1 at most a?
False
Let z = -152/15 - -54/5. Is 1 > z?
True
Suppose 3 = 4*q - q. Let k = q - -5. Is k != 4?
True
Let f be ((-230)/(-4))/(135/(-10)). Let d = 13/3 + f. Is -1 <= d?
True
Let i = -7 - -10. Let d = -7/2 + i. Which is greater: d or 0.1?
0.1
Let i = 1.3 + -1. Let y = -1.1 + i. Let g = y - -3.8. Which is smaller: g or -0.1?
-0.1
Let v be 4/((-2)/(-1))*2. Suppose -17 = -f - 5*j, v*f + 3 - 14 = -j. Let c = -167 - -671/4. Which is smaller: f or c?
c
Let b be -1 + -4 + 2 - -3. Suppose -3*r + 9 = 4*u, b = u + 2*u - 4*r + 12. Which is bigger: -2 or u?
u
Let u be ((3 - 6)/(-1))/(3/(-3)). Which is smaller: u or 1?
u
Suppose -5*a + z + 143 = 0, -a - z + 22 = z. Let u be -5*(a/10 - 2). Let r = u - -5. Is r smaller than 1?
False
Suppose 2*d + 6 = 3*h + 3*d, 0 = -5*h - 2*d + 9. Suppose -2*y = -o + 4, -4*y + 7 = -5*y + h*o. Is -2/7 at most y?
False
Suppose 15 = -2*q + 7. Which is smaller: -3 or q?
q
Let k = 1 - 12. Does k = -2?
False
Let w be (34/4)/(2 - 4). Let i = w - -9/2. Which is smaller: -0.04 or i?
-0.04
Let w = 7 - 17. Is -2 greater than or equal to w?
True
Let u(f) = f**2 + 11*f + 14. Let a be u(-10). Let b(i) = -3*i - 3. Suppose 4*y + 5*l = 12, 0 = -3*l + 7 + 5. Let x be b(y). Is a greater than x?
True
Let v be ((-63)/12 - -2) + 3. Is v not equal to 33?
True
Let n be 3/(-5)*(-12)/(-18). Suppose -3*q = 2 - 5. Which is bigger: n or q?
q
Let c = 0 - 0.2. Let t = -0.3 + 0.3. Let k = -1 - t. Which is bigger: c or k?
c
Let g(w) be the first derivative of -w**2/2 - 2*w + 2. Let v be g(-2). Suppose 0*n - n = v. Which is greater: n or -1?
n
Suppose 5*v + 20 = 0, -2*d - 3*v = 3*d - 28. Is 8 less than or equal to d?
True
Let f be (2*-1)/(-3 - -1). Let i = -3.6 - -1.6. Which is smaller: i or f?
i
Let z be (1 - 0 - -1) + (-6)/9. Is 8 <= z?
False
Suppose 5*m + 32 = 4*d - 18, -3*d + 3 = 2*m. Let l be (-3)/(-4) - m/(-8). Which is greater: l or 2?
2
Suppose u = 1 + 1. Suppose b = -u*b - 6. Suppose 5*h = 4*d + 14, -2 - 8 = 4*d - 3*h. Which is smaller: d or b?
b
Suppose -48 = -0*y + 2*y. Let p be (-6)/y + 2/(-8). Which is bigger: p or -2?
p
Let z(b) = -4*b**2 - 12 - b + 5 - b**3 + 4*b. Let g be z(-5). Let n(d) = -d**2 - 4*d + 14. Let t be n(-6). Do t and g have the same value?
False
Let j = -1/722 - 71837/1444. Let s = -50 - j. Which is greater: s or -4?
s
Let m(t) = -t**2 - 5*t - 2. Let s be (-10)/25 + 16/(-10). Let p be m(s). Is p at most 4?
True
Let p(v) = v**3 + 19*v**2 - 21*v - 20. Let m be p(-20). Are 1/7 and m unequal?
True
Let p be 26/(-10) + 2 - 35/25. Is -9 at most as big as p?
True
Suppose -7*b + 2*b + 30 = 0. Which is greater: 1 or b?
b
Let y be (2/4)/1 - 182/(-4). Is 46 greater than y?
False
Let y = -0.6 - -0.4. Let z = y - -0.2. Let n = z - -1. Is n at most -0.1?
False
Let q = -17 + 10. Which is smaller: -0.2 or q?
q
Let z(n) = -n**3 - 12*n**2 - 11*n. Let y be z(-11). Suppose y = 4*m - 9*m. Is m < 0?
False
Suppose 0*c - 3*c - 6 = 0. Is c > -2?
False
Let f(q) = -1. Let n(o) = -o + 2. Let k(l) = -3*f(l) - n(l). Let m be k(0). Let t be (1 + (2 - m))/13. Is -1 > t?
False
Let q(v) = -v + 10. Let f be q(11). Let j be 1 - -62*(-4)/232. Which is bigger: j or f?
j
Let k = 15 - 19. Let z(b) = b**2 + 3*b - 3. Suppose -5*h + i = 18 + 1, 16 = -4*h + i. Let g be z(h). Which is smaller: k or g?
k
Let s = -62 - 54. Which is greater: 0.1 or s?
0.1
Let n = -1 - -5. Suppose -2*d + n = 2*d. Let r be 5/50 + (-1)/(-2). Is d bigger than r?
True
Suppose 4*f + 5*g - 1 = -17, -2*f - 8 = -g. Is f <= -22/7?
True
Suppose -3*g - 11 = -5*z + 6, -5*z + 4*g + 16 = 0. Suppose 3*j = 2*j + z. Is j > 4?
False
Let y be -1 - 6/3*-1. Suppose -3*l = -3*i - 15, -i - y + 0 = l. Let w be (5 + -5)*(-1 + l). Is w < 0?
False
Suppose 4*l + 3 = -21. Suppose -36 = 5*a + 2*z, -12 + 0 = 4*a - 4*z. Let o be (1 - (-64)/(-60))*a. Which is smaller: o or l?
l
Let x = 3105/16 - 194. Which is smaller: x or -1?
-1
Let a = 63 + -35. Let s be (2/a)/((-7)/(-28)). Are s and -1 nonequal?
True
Let w be 1 - (36/8 + -4). Let i = -4 + 7. Which is bigger: i or w?
i
Suppose -g + 395 = 5*n + 113, 0 = -n - 2*g + 51. Is n >= 58?
False
Let b = 0.8 - 5.6. Let l = b - -10.9. Let i = -6 + l. Are i and -1 equal?
False
Let r = 36 - 143/4. Let i = -0.37 + 0.3. Let y = i - -0.37. Is r greater than or equal to y?
False
Let s be (-12)/(-34)*2/6. Let b(d) = d**3 + 14*d**2 + d + 15. Let g be b(-14). Let t = 2 - g. Which is smaller: s or t?
s
Let j be 2/3*18/4. Suppose -c + 7 = 2*z, 4*c = 2*z + 5 + j. Let n be (6/(-21))/(z/(-14)). Is n at mos