Which is bigger: x or 2?
2
Suppose 28 - 85 = 3*l. Do l and -19 have different values?
False
Let i = -1 - -3. Suppose -4*l - 4*h = 15 + 5, -3*h - 15 = 0. Suppose -y + l = -i. Is 2 greater than y?
False
Suppose 4 = -3*u + a, 0 = -3*u + 4*a - 0*a - 7. Is u smaller than 0.042?
True
Let a(p) = -p + 6. Let c be a(7). Let f be -2*-3*c/2. Is f at most as big as 1/2?
True
Let g = -6.2 - 4. Let z = g - -10. Which is bigger: z or 3/2?
3/2
Let u = 13/63 - 5/18. Are u and 0 nonequal?
True
Let x = 6191/1275 + -83/17. Which is smaller: 1 or x?
x
Let a(r) = 2*r**2 + 2*r - 2. Let p be a(-2). Which is greater: 3 or p?
3
Suppose -h - 3*h = 3*n - 11, 0 = -4*h + 20. Let a be (n - -1) + 3/(-3). Let m be (-4)/5 + (a - -4). Do -2/7 and m have different values?
True
Let b be (-4)/14 + (-4)/(-7). Is 6/13 > b?
True
Let x = -52 - -87. Are x and 34 nonequal?
True
Let x(z) = -z. Let j be x(-2). Suppose -7 = -5*v + 13. Let d be (2/v)/(2/j). Is d > -0.1?
True
Let u be 2/(-8) + (-225)/(-324). Let z be 3*(0 + (-4)/(-6)). Suppose -d = d - z. Is u not equal to d?
True
Let c(b) = b**3 - 3*b**2 - 12*b + 11. Let i be c(5). Which is smaller: 11/6 or i?
i
Suppose -5*m = -3*c - 90, -4*c - 15 = -c. Which is smaller: m or 14?
14
Suppose 0 = 7*z + 13 + 50. Which is greater: z or -5?
-5
Suppose 5*t = 513 - 88. Is t at most 85?
True
Suppose 0*k - 4*k + 16 = 0. Let z(c) = c**2 - 3*c - 4 + 0 - 3 - 6*c. Let t be z(10). Is t greater than k?
False
Suppose 35 = 2*r + 5*p, -5*r - 2*p = -0*p - 98. Let a be 1/2 + (-1602)/r. Let d = a - -80. Which is smaller: d or -3?
-3
Let q be ((-24)/5)/((-12)/150). Let d be ((-1)/q)/(21/28). Let u = 38/315 - d. Which is smaller: u or -1?
-1
Suppose -2*j + 0 - 1 = 5*s, -2*s = j. Let g = -0.1 + 0.2. Is g bigger than s?
True
Let o(y) = 4 + 0*y**3 - 4*y**2 - y**3 + 2*y + 0*y**3 + 2. Let s be o(-4). Are -2 and s non-equal?
False
Let r = -0.009 + 0.219. Let v = r - 0.01. Let g be (1/(-1))/((-1)/1). Is v smaller than g?
True
Let y(b) = -2*b**2 + 2*b. Let o be y(2). Let i be 3/(-9) + o/(-30). Let a = -3/10 + i. Which is smaller: a or -2?
-2
Let z(m) = m**2 + 12*m. Let p = 26 + -38. Let d be z(p). Let t be 1/2 + 6/4. Which is greater: t or d?
t
Let y = -19 - -18.89. Let p = y - -0.31. Which is smaller: 2 or p?
p
Let u be 134/(-5)*1/(-12). Let v = u + -12/5. Is v < -2/9?
False
Let g = -29 + 147/5. Is 1 > g?
True
Let z = 2 + 1. Let c = z - 2. Is 1/3 at most as big as c?
True
Let j(w) be the third derivative of -w**4/24 + 2*w**3/3 + 2*w**2. Let f be j(7). Let h be ((-114)/21)/(-2) + f. Which is smaller: 0 or h?
h
Let j be (2 - 1)/(-2 - 2). Let q = 17 + -22.1. Let b = q + 5. Which is smaller: j or b?
j
Let b = 10 + -5. Let g = b + -4.9. Is g greater than -4?
True
Let h be 1 - 2 - (-6 + 3). Suppose 3*l = h*l - 3. Which is bigger: -2 or l?
-2
Suppose -2*r - 15 = -5*r. Let p = -1 + r. Are p and 4 non-equal?
False
Let u = -35 + 20. Let b be 0/1 + (-2)/u. Which is smaller: 0 or b?
0
Suppose 5*c + 35 = 5*j - 0*j, -14 = -5*j - 2*c. Let g be (2 - 6/j)*-2. Which is greater: 2 or g?
2
Let f = 4 + -2. Let r(u) = u**2 - 2*u + 3. Let b be r(f). Which is greater: b or 0?
b
Let g(n) = -n**2 + 3*n + 1. Let m be 2/5 + 36/10. Let q be g(m). Suppose h + 3 = -0. Is q greater than or equal to h?
True
Let r be 2 + 0 + 8 + 0. Which is smaller: 11 or r?
r
Suppose -b = 3*b - 20. Suppose -b*s = -0 + 20. Is s at most as big as -4?
True
Suppose -4*w - 4*x = -12, -4*x - 2 + 8 = 3*w. Let f = -5 + w. Are 1 and f non-equal?
False
Let c = 87 - 88. Are c and -2/15 nonequal?
True
Let r(i) be the second derivative of i**5/60 + i**4/8 + i**3/6 + i. Let m(b) be the second derivative of r(b). Let f be m(-4). Is f not equal to -4?
True
Let l(p) = -p**2 - 6*p + 4. Let g be l(-6). Suppose -d - 2*d - 9 = 0. Let a = d + g. Is a less than -2/7?
False
Let z(a) = -a**3 + 2*a**2. Let k be z(3). Suppose -26*j + 24*j = -5*g - 38, 2*g + 19 = -3*j. Which is smaller: k or g?
k
Let s = 5 - 2. Let l = -3 + s. Suppose -3*c - p + 16 = l, 2*c - 28 = -8*p + 3*p. Is c > 3?
True
Let l = -96 + 97. Which is smaller: 3/22 or l?
3/22
Let h = 825 - 9093/11. Which is greater: -2 or h?
h
Let z = 6134/11 - 558. Which is smaller: z or 1?
z
Let j = -195584423526 - -221336828986999367/1131669. Let z = j + 154/1633. Let y = -2/99 + z. Is 1 bigger than y?
True
Let m be (-3 - -3)/((-2)/2). Suppose 4*g + 3*h = -0*h - 5, -3*g + h = 7. Is g at most m?
True
Let w = 4 + 0. Suppose 2*d = w*d - 12. Let m be (-1 - d/(-4))/2. Which is smaller: m or 3?
m
Let h = 0.26 - 0.16. Which is smaller: h or -0.1?
-0.1
Let l be 10/(-8) - 255/(-12). Is l greater than or equal to 20?
True
Suppose -m + 6 = -3*m. Let g = -2 - m. Let d(a) = -2*a**3 + a**2 + a - 1. Let k be d(g). Which is smaller: k or -2?
-2
Let q = 39 + -30. Let y be (-4)/(-8)*(0 - -18). Is q > y?
False
Let i be 3 - ((1 - -9) + 1). Let p be (15/2)/(6/i). Let c be (12/(-30))/(36/p). Is c not equal to 0?
True
Let q = 9 - 9. Suppose 0 = 3*v + 5*y - 3*y - 4, -v + y - 2 = 0. Let h = q + v. Are h and 1/4 non-equal?
True
Let d = 37 - 58. Let j = d + 21.2. Are 3/4 and j nonequal?
True
Let m(d) = -d**2 + 10*d - 25. Let v be m(6). Do v and 2/153 have the same value?
False
Let g be ((-4)/8)/((-111)/(-6)). Is 0 at most as big as g?
False
Let b be 0 + -1 - (-2)/(-2). Let i(r) = -r**3 - 5*r**2 + r - 4. Let x be i(-4). Let u = 21 + x. Is u less than b?
True
Suppose 0 = 5*f + 4*c - c + 11, -2*c - 4 = 0. Let l(n) = 2*n - 8. Let g be l(3). Is g != f?
True
Let n be ((-2)/(-2))/(-1) + 1. Suppose 2*q - u - 2*u = 12, -4*q - 8 = 2*u. Is q >= n?
True
Suppose 5*v = 10, 0 = -3*s + 4*v - 2. Suppose -20 = -7*z + s*z. Is 1 <= z?
True
Let g = -4013/14 - -287. Is g at least as big as 1?
False
Let k be (-108)/(-88)*(-16)/12. Which is bigger: k or -3?
k
Let p(t) = -t + 1. Let b(o) = 6*o**2 + 6*o. Let n(j) = 5*j**2 + 5*j. Let x(z) = -6*b(z) + 7*n(z). Let m be x(0). Let r be p(m). Is 1 at least r?
True
Let o(t) = t**3 + 6*t**2 - 8*t - 6. Let x be o(-7). Suppose -4*z + 8 - 4 = -n, -5*n + 2*z - 20 = 0. Let v(m) = -m - 3. Let p be v(n). Is p != x?
False
Let s = -30/121 + 2854/9559. Which is greater: 1 or s?
1
Suppose 3*c = -5*r + 4*c - 3, -5*r - 5*c = -15. Let i be 2 + -1355*(-2)/(-14). Let p = i + 192. Which is smaller: p or r?
r
Let r be (135/(-12))/(-9)*(3 + 1). Are r and 5 nonequal?
False
Let z(q) = -q**2 - 9*q + 7. Let p be z(-9). Suppose -p + 4 = -3*c. Let s be (4/(-110) + 0)*5. Are s and c nonequal?
True
Let r be ((120/(-25))/(-6))/(-2). Which is smaller: -4 or r?
-4
Let h(c) = c**3 - 4*c**2 + 3*c - 1. Let g be h(3). Let u = -408 - -273. Let p = -1217/9 - u. Which is greater: g or p?
p
Suppose -3*q = 3*m + 114, -m - 14 = -5*q - 0*q. Let b be m/17 - (14 + -1). Which is bigger: -14 or b?
-14
Let q = 3 + -2. Let l = 0.18 + -1.58. Let j = l - -0.4. Which is greater: j or q?
q
Let q be 4/10 + (-78)/(-5). Suppose -a - 3*a = 4*p - 28, 0 = -2*p + 4*a - q. Let b be 8/6*6/4. Is b less than or equal to p?
True
Let b = 25 + -20.3. Let y = 5 - b. Let v = -0.1 + y. Is v at least as big as -2?
True
Suppose 0 = -3*g + 8*g + 1495. Let x = -6281/21 - g. Which is greater: x or -1?
x
Let r(d) = d**2 + 4. Let k be r(0). Suppose -2*a + 6 = a - k*z, -4 = -2*a - 3*z. Is a greater than or equal to -0.1?
True
Let y be (-3)/(-3) + 10*4/8. Which is smaller: y or 5?
5
Let o(y) be the third derivative of y**6/120 - 7*y**5/60 + y**4/24 + y**3/2 - y**2. Let n be o(6). Let m be 2 - (-12)/n*6. Which is bigger: -1 or m?
m
Let b be (4 - (0 - -2)) + -3. Let p = -9 - -15. Let w = -5 + p. Which is smaller: b or w?
b
Let o(v) = -v**3 + 7*v**2 + 11*v - 1. Let k be o(8). Let w be (-4)/(-2) + k/(-11). Are 0 and w nonequal?
True
Let t be ((-3)/8)/((-3)/2). Let h = 7 + -14. Let w = h + 4. Is w < t?
True
Let u(o) be the third derivative of -o**5/20 - o**4/6 - o**3/3 - 2*o**2. Let n be u(-2). Is -6 less than or equal to n?
True
Let g = 85.3 + -89. Let s = g + 0.3. Let t = -3 - s. Do t and -0.1 have the same value?
False
Let l = 0 - -2. Let p = -2/3 + l. Let b be (3/2)/((-12)/(-16)). Which is smaller: b or p?
p
Suppose 2*y - 40 = -2*w, 2*y - 75 = 3*w - 20. Suppose -2*b - 4 = -c, -2 + y = -c - 3*b. Let n be -3*-2*(-1)/c. Is n less than 2?
True
Suppose 1 + 19 = 5*r. Let b = 33 + -27. Which is greater: r or b?
b
Suppose 4*c = -4, 5*x - 9 = 3*c - 1. Which is smaller: x or -1/34?
-1/