: g or v?
v
Suppose 4*m - 4*y + 16 = 0, 2*m + 2*y - 10 = -2*y. Which is smaller: m or -3/55?
m
Let s(k) = k**2 - 48*k - 15. Let u be s(47). Is u <= -61?
True
Let q = -2677 + 13428/5. Let r(l) = 34*l - 264. Let j be r(8). Is q less than or equal to j?
False
Suppose 6 = 5*q - 24. Let p be (-979)/66 + (-1)/q. Which is bigger: -16 or p?
p
Let u(v) = 8*v**3 + 1. Let n(g) = 9*g**3 + g + 2. Let j(c) = -2*n(c) + 3*u(c). Let z be j(-1). Are z and -5 non-equal?
False
Let t = 0 - -0.1. Which is bigger: t or 109?
109
Let h be (-1)/2*(8 - 6). Let c be (-13)/65 - (h - -1). Let b be 0/(5 + 0 + -3). Which is smaller: b or c?
c
Let g(z) = 2*z**3 - 14*z**2 + 12*z. Let w be g(6). Let b be 84/(-621) - 4/(-18). Which is bigger: b or w?
b
Let x be (-354)/(-42) + (-1)/(-1)*-3. Which is bigger: 6 or x?
6
Let y be 4 - (-7)/(-35)*0. Is 24/5 at least as big as y?
True
Let r = -23 - 13. Let u be r/(-7) + (-2)/14. Suppose 2*g = g + 4*w, -g = -3*w + u. Is g greater than or equal to -20?
True
Let z(m) = -m**3 + 19*m**2 - 35*m - 13. Let k be z(17). Let s be (-15)/k - (-2 - 11/(-6)). Which is smaller: -7 or s?
-7
Suppose 9*x + 42 = -2*z + 10*x, 0 = 4*z - 3*x + 88. Is z at least -15?
False
Suppose a - 5*p = 53, a + 0*a = -3*p + 13. Suppose 29*j - a*j = 0. Which is bigger: -1/34 or j?
j
Suppose -251 = 4*f + 5*q, -7*f + 2*f - q - 298 = 0. Let p = f - -58. Which is smaller: p or 2/29?
p
Let h(d) be the second derivative of d**4/12 + 5*d**3/6 + 5*d**2/2 - 3*d. Let u be h(-5). Suppose u*j + 22 = 2*a + 52, 0 = -3*j - 4*a + 44. Does 6 = j?
False
Let p be (-16)/20 + 855/(-25). Let z = p - -42. Which is bigger: 9 or z?
9
Let i(n) = -n**3 + 9*n**2 - 2*n - 1. Let o be i(9). Is -8 smaller than o?
False
Let y = -7 + 7. Suppose 0 = -3*s - 2*b + 5*b + 36, -s - 2*b = y. Suppose m + 3*m + s = 0. Which is greater: -3 or m?
m
Let n = 0.012 + -2.012. Let d be 15/168 + (-2)/(-7). Do n and d have the same value?
False
Let f be -21 + (-4 - (0 + -4)). Let m be (f - 0)/((-3)/5). Let i be 3/5 + m/25. Is 1 not equal to i?
True
Let q be -4 - ((-115)/(40/8) + -7). Which is greater: q or 1?
q
Let x(p) be the third derivative of 4*p**4/3 - p**3/3 + 10*p**2. Let n be x(-1). Let q = 28 + n. Is -7 smaller than q?
True
Let g(p) = p**3 + 15*p**2 + 22*p - 15. Let v be g(-13). Is v < 189/5?
True
Let y = -117 - -210. Suppose -11*h = -y + 379. Is h at most as big as -2/7?
True
Let r = 24 + -21. Suppose -r*p + 3 = -4*p. Let t = -0.06 + -0.14. Which is bigger: t or p?
t
Suppose 29 = 2*d + 7. Let w(s) = -3*s - 8. Suppose 4 = n + 10. Let q be w(n). Do d and q have different values?
True
Suppose 15 + 5 = 5*y. Suppose -3 + 20 = -4*x + 3*r, r = y*x + 27. Let t be 0 - (-6)/(-3) - 6. Is x > t?
False
Let v = -28 - -34. Suppose -v = -s + 32. Let p = s - 43. Is p > -1?
False
Suppose 6*j + f + 158 = j, 70 = -2*j + 3*f. Let v = -19 + -14. Is j less than v?
False
Suppose 0 = 4*a - 7*a - 27. Let r = a + -2. Which is greater: r or -8?
-8
Let f = -386 + 245. Let h = f + 275/2. Which is greater: h or -4?
h
Let n = -0.07 - -0.09. Let x = n + -0.12. Let i be 6/27 - (-252)/(-405). Is i less than x?
True
Suppose -88 = -32*f + 28*f. Is 22 at most as big as f?
True
Let p = 3731/91545 + -9/359. Let x = p - 14/255. Which is smaller: x or 0?
x
Let p = 12744 + -12744. Let l = 3 - 3.9. Is p greater than or equal to l?
True
Suppose 0 = -5*b - 2*o - 2557, 4*o + 1030 = -2*b + 5*o. Which is smaller: -514 or b?
-514
Let q = 8.11 + -0.08. Let d = 7 - 15. Let n = d + q. Which is smaller: n or -1/4?
-1/4
Suppose g - 5 = 2. Let p(h) = -5*h - 1 + 5 + g*h**2 - 1 - h**3. Let j be p(6). Is 8 at least as big as j?
False
Suppose 3*j = 5*l + 2118, 15 = -3*l - 2*l. Do 700 and j have the same value?
False
Let d = 3.5 - 3.4. Suppose -1 - 10 = -p. Let i = p + -21/2. Is d at least as big as i?
False
Let m = 26 - 76/3. Let x = 8698/6519 - 2/2173. Is m greater than or equal to x?
False
Let n = -254.1 - -244. Let u = n - -10.1. Which is smaller: u or -7?
-7
Let n(l) be the third derivative of -l**5/15 + l**3/6 + 8*l**2. Let q be n(-1). Let p be -2*(-3)/q*-3. Which is bigger: 5 or p?
p
Let b(c) = -6*c**2 + c + 5. Let a be b(-2). Do -18 and a have the same value?
False
Let a be ((-66)/7)/((-62)/434). Which is smaller: 1/5 or a?
1/5
Suppose 0 = -5*v - 25, -3*x + v + 4*v = -22. Do x and -21/13 have different values?
True
Let c = 3 - 0.5. Let l = 108.9 - 109. Let n = l + c. Which is smaller: n or -1/3?
-1/3
Let v = 12 - 11.82. Let g = -61.18 - -59. Let k = g + v. Which is smaller: k or -2/13?
k
Let a(b) = b**2 - b. Suppose j - 4 = 0, 0 = -l + 6*l + 2*j - 13. Let o be a(l). Suppose 2*z + 10 = 5*d + z, -20 = 5*d + 5*z. Which is smaller: d or o?
o
Let t be (28/7)/((-2)/(-1)). Let w be (-2)/(-374) + t/(-11). Suppose -2 = -4*k + 2. Which is smaller: k or w?
w
Let f = -1184 - -1684. Is f greater than 502?
False
Suppose 108*c = 84*c - 768. Which is greater: -185/6 or c?
-185/6
Suppose -p = 5*y - 10 + 1, 2*y = 4. Let n be (-8)/(-4) + -3 + p + -2. Which is smaller: -8/3 or n?
n
Suppose -2*y - 3*y = -5*d - 5, -2*y = 5*d - 9. Let r = -28 + -6. Let g be (-6)/(-24) - r/56. Which is greater: g or y?
y
Suppose 8*s - 2*s + 72 = 0. Let a be (-2)/s - (-29)/(-174). Is a at least -8/13?
True
Let m(q) = 1 + q**3 - 5*q**2 - 3*q - q - 7. Let z(s) = 2*s**3 - 5*s**2 - 3*s - 6. Let b(f) = 3*m(f) - 2*z(f). Let j be b(-4). Which is smaller: j or 3?
j
Suppose 0 = -n - 4*u - 55, -4*n + 3*n - 27 = -3*u. Let m = 77 + n. Which is bigger: m or 75/2?
m
Let u(m) = m**3 + 52*m**2 + 2*m + 84. Let l be u(-52). Let h be (19/(-2))/((-2)/(-4)). Is l smaller than h?
True
Let g be 1/((-9)/(-6)*4/(-6)). Let o be ((-2)/12)/((-2)/(-20)). Do o and g have the same value?
False
Suppose 4*b = 4*g + 1004, -4*b + g = -617 - 381. Suppose -b + 24 = 5*w. Let a be 4 - 9/(w/(-2)). Which is bigger: a or 5?
5
Suppose 3*p - 18 = 18. Let l(c) = c**3 - c + 1. Let n be l(1). Let t be n/(4/p*-7). Which is greater: 0.1 or t?
0.1
Let b(k) be the second derivative of -1/4*k**4 + 0 + 2/3*k**3 - 3/2*k**2 + 4*k. Let c be b(2). Is c < -6?
True
Let k = -302 - -11176/37. Let t(z) = z**2 + 4*z + 4. Let r be (2 + 2 + -1)*(16 - 17). Let o be t(r). Which is greater: o or k?
o
Let c(k) = 12*k**3 + 4*k**2 - 2*k - 1. Suppose -5*d - 10*n + 7*n = -20, d - 4*n + 19 = 0. Let g be c(d). Which is smaller: 37/3 or g?
37/3
Let q(l) = l**3 - 9*l**2 - 10*l - 2. Let i be q(10). Is i at least 0?
False
Let v = 85 + -13. Let x = 74.9 - v. Let p = x - 3. Which is smaller: -2 or p?
-2
Suppose -7*g - 17 = 53. Suppose -2*u + 30 = -4*u. Let t be (-12)/u*50/(-4). Is g less than t?
False
Let w(i) = -16 + 3 - 3*i + i + 0*i. Let f be w(-6). Let t = -3 - f. Are -2 and t equal?
True
Let a = -10 - -6. Let u be (-35)/6 - 100/(-75). Which is bigger: a or u?
a
Let m(u) = u**2 + u - 10. Let n be m(-6). Suppose 3*d - n = 7*d. Let y(v) = -v**2 - 4*v + 6. Let g be y(d). Which is smaller: 3 or g?
g
Let a = 2 + -2. Let h(w) = -6*w - 26. Let k be h(-7). Suppose -4*v = z - 2, a = 3*z + 3*v - v - k. Which is bigger: z or -1?
z
Let y be -6*(0 - 9/6). Let x = y + -6. Suppose -x*s = -3*o + 15, 0 = -6*s + 2*s + 5*o - 18. Which is greater: -6 or s?
-6
Let w = -359 - -358. Do -59 and w have the same value?
False
Let v(w) = -w**3 + 27*w**2 - 25*w - 21. Let t be v(26). Suppose 0 = -4*y + x + 14, -2*y - 3*x = -0*x. Let k = 0 + y. Is k less than t?
True
Let z be (0 + 0)*(0 - 1). Suppose 59*r - 50*r = 18. Suppose z = -4*q + 3*v + 31, -q + r*v + 3 = -6. Which is smaller: q or 8?
q
Suppose 0*m - 5*m - 151 = 2*s, 73 = -s - 2*m. Let t be (s/(-12))/(6/16). Let a be 10/t + (6 - 8). Which is smaller: a or 0.1?
a
Let l be (626/(-104) - -6)/(4/10). Which is greater: l or -1?
l
Let c be (-4)/10*(5 - -250). Let v be c/9 - (-2)/(-3). Let p be (-2)/(-1 + v/(-8)). Is p greater than or equal to -5?
True
Let l be (-4)/14 - 496/(-1932). Suppose 16*w = 10*w + 6. Is l less than w?
True
Suppose -5*y = 4*h - 164, 5*h - 4*y - 80 = 125. Suppose h = 3*t - 16. Let f = t - 18. Is f not equal to 1/10?
True
Let f(z) = -8 + 19 - 2*z - 7. Let c be f(2). Suppose c*y - 2*n = -3*y - 11, 0 = -y + 4*n - 17. Is y > 0.8?
False
Let l be 1 + 13/(-11) + 0. Let g = 28 - 26.1. Let j = g + -2. Are l and j equal?
False
Suppose -2*x + 5*g - 5 = -x, -2*x + 5*g = 5. Suppose x*z + 48 = -4*z. Are -12 and z nonequal?
False
Let b be -4*(-2)/(24/(