ch is greater: 4 or c?
4
Suppose -9*z = 2*z - 11. Let q be (-160)/558 + (-2)/(-9). Is z equal to q?
False
Suppose 3*n = 3*c - 15, -12 + 4 = -2*c + n. Suppose 0 = c*s - s. Suppose -f - f = s. Which is bigger: f or 1?
1
Suppose 2*v + 4 = 4*v. Let j(h) = h + 9. Let b be j(-7). Are v and b non-equal?
False
Let k = 24 - 8. Let h be (-3)/(-4) - 44/k. Do h and -4/3 have the same value?
False
Let k(j) = -j + 4. Let h be k(-11). Is h less than or equal to -2/11?
False
Let t = -2571/5 - -512. Which is bigger: t or 0?
0
Let r be (-2)/3 - 112/(-6). Let i(k) = -k**2 - 2*k - 3. Let z be i(-2). Let u be ((-12)/r)/((-1)/z). Which is smaller: -2/3 or u?
u
Suppose 0 = -5*k + 3*w + 20, 3*w = 2*k + 2*w - 7. Let i = 93 - 96. Do i and k have different values?
True
Suppose 2*f - 6*r + 2*r = -36, 2*r - 42 = 3*f. Let q be 2/f + (-13)/(-6). Suppose l - 2*l = -4*b + 4, 0 = -q*l - 2*b + 2. Is l at most as big as -4/7?
False
Let r = 39 + -39. Which is smaller: -10 or r?
-10
Let j = 87 - 88. Which is greater: -5 or j?
j
Let x(d) = -6*d + 9. Let l be x(2). Which is smaller: l or -1?
l
Let m be 4 - ((-12)/(-536) - -4). Is m smaller than 1?
True
Let i = -15 + 9. Let b = 294 - 301. Is b equal to i?
False
Suppose 0 = r - 0*r - 1. Which is greater: -1/25 or r?
r
Let l(w) = -w**3 - 7*w**2 + 7*w - 9. Let v = 13 - 21. Let b be l(v). Let r = -9/7 + 43/28. Which is greater: r or b?
r
Let b(u) = u**2 + 2*u - 8. Let t be b(-4). Is t at most -1/5?
False
Let v(z) = z + 5. Let h be v(-4). Let o(x) be the third derivative of x**5/60 - 2*x**2. Let b be o(-1). Is h smaller than b?
False
Suppose 2*y - 7 = -3. Suppose f = 5*i - 2, y*f - 1 + 0 = 5*i. Is 1 <= i?
True
Let f be 2/((-2)/(-4)*-4). Let u = 370081/921570 + 790/2363. Let p = -5/78 - u. Is p < f?
False
Let o(s) = -4*s - 1. Let i be o(-1). Let h be (-4)/5*(-10)/4. Let w be (10/h - 1)/2. Which is smaller: w or i?
w
Let d be 6 - (1 + 2/1). Suppose 0 = 2*h - 5*h - d. Is -1/9 smaller than h?
False
Let k = 64 + -84. Is -20 at least k?
True
Suppose -8 = 12*d - 32. Is d less than 14?
True
Let p = 28 + -24. Which is smaller: 2/13 or p?
2/13
Suppose -5*r + 0*p + 36 = p, 3*p - 4 = -2*r. Suppose 3*d = -3, 9 = 2*s - 5*d - 12. Are s and r unequal?
False
Suppose -2*k = 5*v + k - 12, 12 = 3*k. Let o(s) = 2*s**3 + 3*s**2. Let y be o(-2). Let q be (-144)/(-308) - y/(-14). Is q less than or equal to v?
False
Let h = -44 + 54. Which is smaller: 0.2 or h?
0.2
Let a = 2.8 + -3. Let d = 0.38 + -0.38. Is a > d?
False
Let z = -24.1 - -24. Which is smaller: 5 or z?
z
Let y(x) = -x**2 - 13*x - 29. Let o be y(-10). Let l = 13 - 21. Let s be (l/(-3) - 2)/4. Is s at most as big as o?
True
Let p(k) = -k - 10. Let j be p(-9). Suppose -r - r = 0. Is r at least as big as j?
True
Let n = 1 - 12. Let a be -1 - (n - (2 - 3)). Let z be a/(-15) + (-1)/(-5). Does 0.3 = z?
False
Let p = -0.019 - -2.119. Let k = p - 2. Which is greater: -2/7 or k?
k
Let y = 0.03 - 0.06. Let s = y - -0.03. Which is smaller: s or -1?
-1
Let v be 0 + 1 + 10/(-14). Let l = 13 + -12. Let h be (-2)/(-8)*(l - -3). Which is bigger: h or v?
h
Let o be 11412/140 - (-2)/7. Let f = -80 + o. Which is bigger: f or -0.1?
f
Let u be 1/(52/(-1))*-665. Let b = 53/4 - u. Which is greater: b or 0?
b
Let f(b) = 4*b**3 + 2*b**2 + 2*b + 1. Suppose -4 = 5*g + 1. Let w be f(g). Let i be w/(6/4) + 1. Which is bigger: -2/19 or i?
-2/19
Let t = -105 - -225/2. Which is bigger: t or 8?
8
Let t(a) = -a**2 - 2*a + 9. Let u be t(-4). Let r be (-28)/(-33) - 2/3. Which is greater: u or r?
u
Let a be (-3)/(-2) + 81/66. Which is bigger: 4 or a?
4
Let z = 13.8 + -16. Let g = -0.2 - z. Let h = 13 + -11. Is g at least h?
True
Suppose -5*b + b + 32 = 0. Let a(q) = 2*q**2 - b - 5*q - 3*q - 3*q**2. Let h be a(-7). Is 0 at most as big as h?
False
Let h(g) = g**2 + 7*g + 9. Let n be h(-6). Let b = n + -3. Is 0 greater than or equal to b?
True
Let z = -0.4 - -0.42. Let p = -3.02 + z. Let w = p + 3. Is -0.1 smaller than w?
True
Let x = -53 + 52. Let m be (2/(-8))/(2/6). Which is smaller: m or x?
x
Let p be -1 + 44/12*6/20. Is -1 >= p?
False
Let z = -46 - -45.8. Let l = 0.1 - 0.3. Let y = l - -0.4. Which is smaller: y or z?
z
Let r(o) = 2*o - 2. Let f be r(0). Let l = 7 + f. Let y(q) = -q**3 - 5*q**2 - 6*q - 3. Let n be y(-4). Is l at most n?
True
Let u = 10 + 7. Which is smaller: u or 15?
15
Suppose 0 = -4*k - b - 6, -4 = -k - 5*b + 2*b. Let q be (2/6)/(1/3). Let y be q - -2*k/3. Which is smaller: -9 or y?
-9
Let g be 5 - 1*(-2 + 23). Which is smaller: 0.2 or g?
g
Suppose -3*l - 6 = 6. Suppose 4*x - 3*b + 4 = 0, 5*b + 16 = 4*x - 3*x. Is l smaller than x?
False
Let k(f) = -2*f - 19. Let q be k(-10). Suppose c + 0 = q. Let l be 1/(-2)*(-8)/10. Which is bigger: c or l?
c
Let i(j) = -4*j**2 + 5*j + 4. Let w(t) = 3*t**2 - 4*t - 3. Let m(u) = 4*i(u) + 5*w(u). Let p = 1 - 2. Let v be m(p). Which is smaller: 2 or v?
v
Let h(y) = y**3 - 4*y**2 + 3*y. Let x be h(3). Let z = 8314/21 - 396. Is z < x?
True
Suppose -3*l = 5*a - 28, 2*a = -2*a - 2*l + 22. Let u(p) = p**3 - 4*p**2 - 5*p + 1. Let f be u(a). Let x be 1/2*2/(-3). Which is bigger: f or x?
f
Suppose -1 = -3*o + 5. Suppose o*q + 2 = -2. Suppose t = -0*n - 3*n + 5, -n = -t - 3. Is t at most as big as q?
False
Let q(c) = c. Let n(w) = w**3 + 2*w**2 - 3*w + 2. Let a be n(-3). Suppose 2*g = g + a. Let x be q(g). Is x at least 1/4?
True
Let l = 5255/17 - 309. Is 4 greater than l?
True
Let k be 0 - -3 - 0/(-2). Suppose 3*l = 4*d + 20 + 2, k*l + 14 = -5*d. Which is smaller: 3 or l?
l
Suppose 0 = -6*m + 4*m + 10. Suppose m = 3*t - 1. Which is smaller: t or -1?
-1
Let y = -43 - -4. Let d = -38.8 - y. Let o = 3.5 + 0.5. Which is smaller: o or d?
d
Suppose d + 3 = 4*u, -5*u + 35 = 3*d + 2*d. Let a be u/(-2) + 0 + 2. Suppose 3*m - 2 = a. Is 2/5 != m?
True
Suppose -6 = 2*a - 3*c, 4*a + a = 4*c - 1. Let o(b) = b**2 + 4*b - 1. Let g be o(-3). Let f be -1 - (a + -4 + g). Is f != 4?
False
Let b = -2.1 - -2. Let v be 1 - 3/(-1) - 0. Suppose 3 - 1 = -2*j - 2*y, -v*j - 1 = y. Is j less than b?
False
Let j be 24/(-14) + (-2)/7. Let b = -18/25 + -52/25. Is j greater than or equal to b?
True
Suppose -3*p - 22 = -1. Suppose 5*o + 21 = -4. Is p smaller than o?
True
Suppose -3*v + 13 = 2*g, -2*g + 3*v + 5 = -2*v. Suppose 4*c + 27 = -2*p - c, -3*p + g*c = -22. Are p and -9 unequal?
True
Let l = 1229/5 - 245. Let q = 25 + -25. Are q and l unequal?
True
Let s(k) = 2*k**2 + 23*k - 26. Let c be s(-13). Is c >= 71/5?
False
Let a = 313/310 + -22/31. Which is bigger: 0 or a?
a
Let l(z) = -z**2 - 7*z - 5. Let g be l(-6). Is 3 smaller than g?
False
Let z(v) = 3*v**2 - 3*v**2 - 3*v + 2*v - 8*v**3. Let x be z(1). Is x at least -9?
True
Let q be -5 + -1 + (-299)/(-13). Which is smaller: 18 or q?
q
Let v = 3 + 7. Let p be v*1/5*-4. Is p != -8?
False
Let z(q) = -2*q - 5. Let g be z(-5). Suppose 9 + 1 = -g*d, -3*k = -5*d - 16. Suppose 0 = k*f - f + 1. Which is greater: 0 or f?
0
Let o = 17 - 19. Let i be (-4)/(-10) + o/5. Let f = 75 + -374/5. Is f > i?
True
Let t = -3 - 4. Let v(b) = b**2 + 7*b. Let c be v(t). Which is greater: 3/11 or c?
3/11
Let x = 1 - 2. Suppose b = 4*h + 16, -13 = b + 5*h + 7. Which is smaller: x or b?
x
Let r be 1*((-68)/(-12) - 4). Which is greater: r or 2?
2
Let l = -6 - -5. Which is smaller: 11 or l?
l
Suppose 3 - 1 = f. Suppose -3*b + 2*c = -4, 0 = c + 2 - 3. Is b at most as big as f?
True
Let n = -79 + 79.01. Do n and 1 have the same value?
False
Let g = -0.6 + 0.7. Which is smaller: g or 2/21?
2/21
Let w be (-174)/45 + (3 - 1 - -2). Is 0 < w?
True
Let s be ((-4)/(-8))/((-3)/36). Let y be -8 - (0 + (1 - 3)). Is y less than s?
False
Let l = 29.7 - 31. Let i = l - -0.3. Let w = 43/2 - 22. Is w <= i?
False
Let m = -16.06 - -16. Which is smaller: m or -0.3?
-0.3
Let m(k) = -7*k - 3. Let f(r) = -4*r - 2. Let g(z) = 5*f(z) - 3*m(z). Let a be g(-1). Let x be 1/a - (-11)/14. Which is smaller: x or -2?
-2
Let d be (-5)/(-30) + 1/2. Suppose 2*z - 5*k = -10, 11 - 3 = -3*z + 4*k. Do z and d have the same value?
False
Let r = -6.4 + 11. Let i = 0.6 - r. Which is greater: 1/3 or i?
1/3
Let t be 3/(-6) - (-10)/4. Let n be 0 + 2 + 1 + 0. Suppose -3*r = n*v - 15, -5*v + 11 = 2*r - 2. Which is smaller: v or t?
v
Let y be 14/(-10)*(-5)/3. Which is smaller: y or 1/2?
1/2
Suppose 5*l - 4 - 2 = -4*b, -4*b - 10 = -3*l. Is b eq