ch is smaller: u or 12/7?
12/7
Let c(p) = -p**2 - p. Let v be c(-1). Which is smaller: -2.1 or v?
-2.1
Let f = 101 + -103. Is -48/17 at most f?
True
Let h = -47 + 81. Is 33 > h?
False
Let o be 19/3 + (-10)/(-15). Let j(s) = -s**2 + 8*s - 2. Let v be j(o). Let d be (-2 - v/(-2))*-2. Which is smaller: d or 2/19?
d
Suppose -5*p + 5*h - 31 + 86 = 0, 3*p - 37 = 5*h. Suppose -4*c = -2*o, -c + 18 = -5*o - p. Let v be ((-8)/(-12))/((-1)/o). Is 4 not equal to v?
False
Let q be 14/(-70) + (3/15 - -1). Suppose j + 5*p = -6, -8 = 5*j + 5*p + 2. Let h be 1 + 1/(j + 2). Is q <= h?
True
Let j(g) = -g**2 + 8. Let k be j(-3). Let u(m) = -m - 2. Let v be u(-3). Let z = v - k. Is z != 2?
False
Let r = 1/278 - 4451/834. Which is smaller: r or -4?
r
Let u = 3 + -7. Let b = -14 - u. Let w = -6 - -6.1. Which is greater: b or w?
w
Let c = 6.2 - 7. Let q = c - -0.7. Which is bigger: -1/3 or q?
q
Suppose 3*f - 4*f + 1 = 0. Let h be (1*f/(-5))/1. Are 0 and h non-equal?
True
Suppose -3*q = 2 - 8. Let x be -2 - (1 - (2 - -1)). Suppose x*h = -4*h + 4. Which is greater: q or h?
q
Let i(x) = -2*x**2 + x - 4. Let k be i(2). Does -11 = k?
False
Let f(p) = -12*p - 5. Let x be f(-8). Let v be x/35 - (4 + -1). Is v less than 0.06?
True
Suppose -20 = -2*h - 2*n, -h - 4*n - 4 = -26. Let w(y) = y**3 - 7*y**2 + 7*y - 4. Let c be w(h). Suppose -3*j = c*j. Which is smaller: 1 or j?
j
Suppose 3*x - 34 = -1. Suppose 3*t - 4*u = -2*t + x, 1 = u. Suppose -2 = t*b - c, 3*b + 3*c + c - 8 = 0. Which is smaller: b or -1/7?
-1/7
Suppose 3*t - 8 - 4 = 0. Let q(x) = -2*x - 2. Let s be q(t). Is -8 at most as big as s?
False
Let x = 0.04 + -2.34. Which is greater: 1 or x?
1
Let d(y) = 2*y + 10. Let j be d(-7). Let x(u) = 2*u + 8. Let a be x(-6). Is j greater than a?
False
Let s be (-6)/6*(-8)/2. Let f = 0.4 + -0.3. Is s equal to f?
False
Let q = 1/7 - 3/35. Let u = 39/70 - q. Is u < 3?
True
Let f be (9/6)/((-1)/6). Let z = f - -4. Which is smaller: -1 or z?
z
Let l(r) = r**2 - 2*r. Let x be l(5). Are x and 15 unequal?
False
Suppose 5*y - 3*y + 8 = 0. Let x be (y/4)/(2/(-10)). Suppose -27 = 2*j - 0*j + x*v, -2*v - 15 = 5*j. Which is bigger: j or 0?
0
Let c = -0.06 + 0.06. Let x = c + 0. Is x at most 2?
True
Let v = -372/2249 - -2/173. Suppose -3*j - j = 0. Is j greater than v?
True
Suppose 0*k - 3 = 3*k. Let d be (-6)/8 + 2 + k. Is -0.3 smaller than d?
True
Suppose -f - 3 = 2*f + 3*s, -3*s = 5*f + 3. Let w = -2/43 + -29/301. Which is smaller: f or w?
w
Let k(f) = -f - 15. Let x be k(11). Let p = x + 27. Which is smaller: p or 2/11?
2/11
Let i(b) = -b**3 + 8*b**2 + 2. Let g be i(8). Let t(n) = -n**2 + 3*n - 3. Let f be t(g). Let x be (-2*1)/(3 + f). Which is greater: x or -1/6?
-1/6
Let t = 85/496 + -15/31. Do t and 1 have different values?
True
Let r = -0.19 + 0.29. Which is bigger: -0.06 or r?
r
Let z(s) be the third derivative of s**6/120 - s**5/20 + s**4/24 - s**2. Let d be z(3). Suppose 16 = 4*c + 5*o - 20, 3*c + 3*o - 24 = 0. Is c less than d?
False
Let g be 2 + -1 - 14/10. Suppose 2*d + d = -3. Is d < g?
True
Suppose -4*o + 9 = -5*i - 0*o, -5*o + 4 = i. Let t = 1 + -1. Are i and t equal?
False
Let h be (0 + -1)/((-2)/2). Is 0 < h?
True
Suppose 0*v - 45 = 3*v. Let m be (-5)/v + 1/(-3). Let a(r) = -r**3 + 6*r**2 - 4*r - 6. Let i be a(5). Is i greater than m?
False
Let d = -0.6 + -0.4. Let f = -17.1 + 17. Is f < d?
False
Let d = -9 + 9. Let w be -3 + (-1 + d)/(-1). Let r be -3 - (-5 - (-1 + w)). Is r equal to -2/11?
False
Let d = 0 + 1. Let z = -2.3 + 0.3. Let o = z + d. Which is smaller: o or -3?
-3
Let h be 7/(-5) + 2/5. Suppose 0 = 4*x - 16, -4*a - x - 28 = -6*x. Let r be 0 - (h/1 - a). Which is bigger: r or -2?
r
Let f = 18 - 26.5. Let r = 0.5 + f. Let n = r - -5. Is n smaller than 0.2?
True
Let n(b) = b**2 - 11*b + 1. Let w be n(11). Let m be (-9)/5 - (-3 + 0). Is m >= w?
True
Suppose 0*y - 6 = -3*y. Suppose 4 = -2*m + y. Is 2 at least m?
True
Let p = -4 + -1. Let l = p - -5. Is l smaller than -1/2?
False
Let j = 0.25 + 0.15. Let t = j - -0.6. Which is greater: -4 or t?
t
Let x = -1.5 + 2.5. Which is smaller: 2 or x?
x
Let b = -4249/13 - -327. Suppose 3*x = 2*a + 5*x - 8, 0 = -a + x - 6. Let n be (15/(-9))/a + -2. Is n at most as big as b?
True
Let v(m) = m**3 + 7*m**2 + 5*m - 5. Let g be v(-6). Let t = 4 - g. Is t greater than 2?
True
Let k(p) = -2*p**3 + p**2 + p + 1. Let m be (20/(-8))/(-5)*-2. Let o be k(m). Let u = 1 - 0. Which is smaller: o or u?
u
Let y = -0.02 + 0. Let l = y + 0.02. Is l less than or equal to 0.2?
True
Suppose 2*s = -3*s + 20. Let v be (2/4)/((-2)/(-24)). Let u be s/14 + v/(-21). Are 3 and u non-equal?
True
Let f be 1*1/(-2)*2. Let q = 0.2 + 0. Let u = q + -0.2. Is u not equal to f?
True
Suppose 0 - 12 = -3*i. Let f(s) = s**2 - 4*s - 4. Let v be f(i). Let z be ((-3)/(-12))/((-2)/v). Which is greater: 2 or z?
2
Let k = -0.03 + 0.01. Let v = -0.18 + k. Let t = v + 0. Which is bigger: 3 or t?
3
Let j(p) = -p**2 - p - 1. Let a be j(-2). Let f(c) = c**3 + 4*c**2 + 2*c. Let z be f(a). Is z < 2?
False
Let b = -23.22 - -24. Let q = 0.22 + b. Which is greater: -0.1 or q?
q
Let y = -119813/5 + 24038. Let r = y + -75. Is 0.1 smaller than r?
True
Suppose 2*n - n = 3*l - 11, -3*n + 4*l = 18. Let a(b) = b**2 - 2*b - 2. Let j be a(n). Suppose 5 = j*c - c. Which is greater: 1/3 or c?
c
Let t be -4 + (13/2 - 2). Is t less than or equal to 8/7?
True
Let l(z) = 0 - 5*z + 1 - 2*z**3 + 4*z**2 + 3*z**3. Suppose -25 = 5*y + 3*x, y + 5*x = 5*y + 20. Let h be l(y). Which is smaller: 2 or h?
h
Let y = -24/7 + 89/28. Let i be 14/(-84) - 3/(-18). Is i greater than y?
True
Let s = -1.3 + 1. Let d = s - -1.3. Is -0.1 >= d?
False
Let u be (3/2)/((-6)/8). Let t be 44/18 - u/(-1). Is t smaller than 0?
False
Suppose -2*a + 3*a - p = -9, -3*p = -5*a - 49. Let c be (1 - a)*3/150. Let t = -32/75 - c. Which is smaller: t or -2?
-2
Let t(k) = -k**3 - 14*k**2 - 18*k - 7. Let o be t(-12). Let x = -235/3 - o. Let m = 0.2 - 0. Which is bigger: m or x?
x
Let y be (-1)/4 + (-10)/(-24). Let r = -4 + 4. Suppose -2*u = -3*k + 4*k - 2, -2*u + k + 2 = r. Which is smaller: u or y?
y
Let i = -15/28 + 9/7. Which is greater: i or -3?
i
Suppose 16 = 6*m - 2*m. Suppose 4*c = m*z + 16, -5*z + 3*c + 20 = 8*c. Which is bigger: z or -7/8?
z
Suppose -5*f - 10 = 0, 3*f = 4*y - 18 - 12. Let x = y - 14. Let k(j) = j**2 - 17*j + 8. Let r be k(16). Is r at least as big as x?
True
Let r(s) = -2*s**3 - 18*s**2 - 16*s + 11. Let i(y) = y**3 + 9*y**2 + 8*y - 6. Let x(p) = -11*i(p) - 6*r(p). Let q be x(-8). Is 0 less than q?
False
Let o be (-6)/4*1/3. Is o at most as big as 0?
True
Suppose 0 = 3*x + 31 - 94. Suppose -u = 3*d + x - 4, 5*u + 13 = -3*d. Which is smaller: -7 or d?
-7
Let t = 72 - 65.9. Let z = t - 6. Is z at least as big as -0.1?
True
Suppose 0 = 4*w - w - 84. Suppose 4*k + 16 = w. Suppose -5*d + 24 + 0 = 3*v, -v + 3 = 0. Is k bigger than d?
False
Let z(l) = -l**2 - 15*l - 14. Let m be z(-14). Which is bigger: -5 or m?
m
Suppose -10*h = -6*h - 60. Is h less than or equal to 15?
True
Let o = 8.97 - 9. Which is bigger: 1 or o?
1
Let u(x) = x**2 + 3*x + 3. Let m(i) = -i + 3. Let v be m(6). Let t be u(v). Suppose 0 = -t*l - 5*j - 7, -2*l - 11 = -7*l + 3*j. Are l and 0.1 equal?
False
Let l be ((-16)/40 - 2/(-10))*2. Which is smaller: l or -10/3?
-10/3
Suppose 146 = -2*z + 398. Let b be (-46)/z + (-4)/(-18). Let d(g) = g + 4. Let w be d(-4). Is b > w?
False
Let k(f) = 7*f + f - 7*f - 7. Let c be k(5). Is -1 at least as big as c?
True
Suppose -4*t = t - 2*d - 26, -6 = 2*d. Suppose 0 = -3*q + 3*m - 6 - 0, 8 = -q + t*m. Is q bigger than 2/7?
False
Let z(x) = 2*x + 12. Let n be z(-6). Which is greater: 1/3 or n?
1/3
Let g = -0.76 + 0.8. Let n = g + -1.04. Is 2 > n?
True
Let a = 179/295 + -2/295. Suppose -3*y + y + p = 0, -3*p + 6 = -3*y. Which is greater: a or y?
y
Let n be (18/(-20))/((-24)/(-10)). Let s = -39 - -38. Which is smaller: s or n?
s
Let i be (-8)/3*6/(-4). Let c be (-1)/i + (-210)/(-264). Which is greater: c or 0?
c
Let i = 1 - 3. Let y be 1/(-2*3/(-66)). Let k = 9 - y. Is i != k?
False
Let g = -10 - -16. Suppose g = 2*m + 2*h, -4*h = -4*m + m + 30. Are m and 6 non-equal?
False
Let r be 0/(12/9*(-12)/8). Do 11 and r have the same value?
False
Let q(z) = -19*z**3 + z. Let u be q(-1). Suppose j + u = 5*w, -3*j - 10 = -