= z?
False
Let k = 18 + -25. Let x = -6.9 - k. Which is smaller: -0.03 or x?
-0.03
Suppose -5*h + 21 = 6. Suppose 0 = -0*c + h*c + 6. Is c smaller than -1?
True
Let g(z) = 3*z**3 + 3*z**2 + z - 3. Let u be g(3). Let t = 538/5 - u. Which is bigger: -1 or t?
t
Let c be 3/5 - (-135)/25. Let s be (-15)/9*c/2. Which is bigger: s or -6?
s
Let v be (-1)/(3*49 - 1). Let y = -269/3358 + v. Let o = 108 + -109. Is o equal to y?
False
Let m be 1/(-2) + 1/2. Let q = 0.13 + -0.19. Let t = 0.26 + q. Do t and m have the same value?
False
Let j = 5 + -5. Suppose j = -5*w, -2*c + 3*w = 2*w + 10. Suppose 5*y - 13 + 5 = 3*u, -y - 2 = 0. Which is bigger: c or u?
c
Suppose -24 = -3*l - 4*s, 3*l - 5*s = 1 - 4. Let u be l/(-8) - (1 - 1). Which is greater: -2 or u?
u
Let x be 258/(-180) - (-6)/4. Let u = x + 19/165. Which is greater: -1 or u?
u
Let j(z) = 11*z**3 - z**2 - z - 1. Let y be j(-1). Which is smaller: -1/2 or y?
y
Let w = -0.4 - -0.1. Let g = w + 0.3. Is g not equal to -1/4?
True
Let i = 21 - 20. Is 0 greater than i?
False
Let a be 3*(-4)/168*-5. Which is smaller: a or 0?
0
Let b = 1/29 - -49/261. Suppose -q + 4*i = -5*q + 84, -4*i = -5*q + 78. Let o be (-2)/(-9) + (-4)/q. Which is smaller: o or b?
o
Suppose 8*s = -48 + 144. Which is smaller: 0 or s?
0
Let k = 6 + -14. Let b = -7 - k. Which is bigger: b or 6?
6
Let g(z) = -z**3 + 12*z**2 - 3*z + 18. Let l be g(12). Is -18 at least l?
True
Let f be 13/((2/2)/1). Let j be ((-3)/2)/((-2)/(0 - -16)). Which is smaller: f or j?
j
Let n = -0.082 - -2.082. Is -2/7 at most n?
True
Suppose 3*f + 20 = j, -j + 5*j = 5*f + 45. Let a(s) = -s**3 + 6*s**2 - 5*s + 7. Let o be a(j). Which is bigger: 8 or o?
8
Let p be 0 + 3 - (-627)/(-44). Is -11 smaller than p?
False
Let t = -1 + 5. Is 5 > t?
True
Suppose 0*o = 3*o. Is o smaller than 1/29?
True
Let h(v) = v**2 + 14*v - 5. Let p be h(-13). Is p bigger than -19?
True
Let g = -7 - -10. Is g > -1?
True
Let x(a) = -2*a - 2. Let b be x(-2). Suppose 12 - 8 = -b*c. Which is greater: c or -3?
c
Suppose -4*d + 3*d = 3. Let k be -3 - -5 - (-5)/d. Which is smaller: 3/7 or k?
k
Suppose 0 = 4*o - 1 + 41. Let j be (-4)/o*(-30)/(-32). Which is smaller: j or 1?
j
Suppose 0 = -3*j + 2*j - 10. Let g = 10 + j. Which is bigger: 2/3 or g?
2/3
Let r(n) be the third derivative of n**6/120 - n**5/15 + n**4/8 - n**3/3 + n**2. Let m be (2 + -5 - -3) + 3. Let a be r(m). Do -1 and a have the same value?
False
Let n = -36/227 - 27323/908. Let y = 30 + n. Is y less than -5?
False
Let o = 11 + -3. Is 7 greater than or equal to o?
False
Let m = 10 - 16. Is m < -3?
True
Let f(k) = -k**3 - 8*k**2 - 4*k + 10. Let z be f(-7). Let w be (-24)/(-60) + (-47)/5. Which is greater: z or w?
w
Suppose -2*r - r = -3. Let z be (-1)/4 - r/(-2). Which is bigger: -2 or z?
z
Suppose 3*u - 5*t = 23, 2*u + 4*t + 15 - 1 = 0. Which is smaller: u or -2/19?
-2/19
Let t(n) = n**2 + 4*n - 2. Let k be t(-6). Suppose 2*o - 21 = w, 51 = 2*o - 5*w + k. Suppose -5*z - 4 = 3*d, 5*d + 3*z = o*z + 20. Is d at least as big as 3/4?
True
Let a(t) = t**2 - 8*t - 11. Let s be a(9). Is s <= -3?
False
Let h = 0.03 - 0.04. Let s = 1.01 + h. Is 0.5 at most s?
True
Let t be 33/((-6)/2) - -3. Let b = t + 8. Which is smaller: b or 3/7?
b
Let z be 23/(-4)*(-16)/60. Let i = -1/30 + z. Let g be (3/6)/((-1)/(-6)). Which is smaller: g or i?
i
Let c be -1 + (-2)/(-3)*3. Let f be c/((10/(-8))/(-5)). Suppose 3*a + f*p = 9, 0*p + p = -3*a. Which is smaller: a or 4/9?
a
Let f be 2/9 - (-32)/18. Let a be f/(-8) - 6/8. Let o = 151/3 - 50. Is a smaller than o?
True
Let k = 0.41 - 0.21. Let j = k + -0.2. Let c = -0.1 + 0. Which is smaller: j or c?
c
Let a(u) = -u**2 + 8*u + 22. Let f be a(9). Let d = 14 - f. Which is greater: d or 4/9?
d
Suppose -3 + 8 = 5*r. Let g be 6/4*r/2. Let l be (-2)/(-7) - 2/7. Do l and g have the same value?
False
Let w = 3 - 7. Suppose 11 = -5*v - 14. Which is smaller: w or v?
v
Let h = -11.2 - -11. Let w = 0 - 0. Is h smaller than w?
True
Let q be -5*1 + 0/5. Is q != -8?
True
Let k = 7 - 4. Let s = 2.92 - k. Is -0.1 equal to s?
False
Suppose 5*j = -4*x + j - 176, 4*x - j + 196 = 0. Which is smaller: x or -49?
-49
Let x be (-1)/5 + 156/30. Let r be (-2)/x - (-5)/(-175). Which is bigger: 1 or r?
1
Let x = 0.52 - 2.52. Is x <= 3/7?
True
Suppose 0*v = 4*o - v - 5, 0 = 4*o + 4*v. Suppose 2*g - 10 + 32 = 2*s, 5*s - 2*g = 43. Let z be (-9)/6*2/s. Which is greater: o or z?
o
Let w(i) = -3 + 8*i + 6*i + i**2 - i + 2. Let l be w(-12). Which is greater: l or 0.1?
0.1
Let l = -3 - -4. Suppose -3*o - 14 = -2*x, -o + 2*x - 10 = -0*x. Which is smaller: l or o?
o
Let v = 3/10 - -11/30. Let c(z) = z**2 - 5*z - 6. Let h be c(6). Which is greater: v or h?
v
Let f(q) = -q + 2. Let g be f(1). Let l(v) = v**2 + 4*v + 3. Let t be l(-4). Let h be (-2)/t - (-56)/66. Is h greater than or equal to g?
False
Suppose 0 = k + 3*l + 3 - 1, 5*k = -2*l + 29. Let b be (-3)/k + (-4)/7. Let h = 6 - 8. Is b at most h?
False
Suppose 20 = -3*q - 1. Let u = -6 - q. Is 5/7 smaller than u?
True
Let c be ((-15)/(-12))/(3/(-12)). Let z(h) = -h**2 - 5*h - 1. Let p be z(c). Is -2 greater than or equal to p?
False
Let l = 0.102 + -0.002. Which is smaller: l or -15?
-15
Let i(m) = -m**2 - 8*m - 7. Let z be i(-6). Let g be ((-2)/(-4))/(z/8). Which is bigger: g or 0?
g
Let p be (-2)/((-8)/2)*-2. Let i be (-1266)/(-36) - 2/(-4). Let c = i + -36. Which is bigger: c or p?
c
Suppose -11 = -2*z - 5*d + 20, 2*d = 4*z - 2. Do 19/5 and z have different values?
True
Suppose 14 = 2*k - 4*y, -2*y - 12 = 4*k - 0*y. Is 1/18 <= k?
False
Let v be (1/5)/(392/35). Let h = -31/56 - v. Is h < -2?
False
Let h be 1 - -1 - (2 + 1). Let l be (h - 2)/((-6)/6). Is l not equal to 3?
False
Let d = 4/27 - -41/270. Is d bigger than 1?
False
Let h(i) = i**2 - 5*i + 6. Let g be h(4). Suppose -g*j - 6 = -3*j. Let t be j/(-16)*(-5)/(-15). Which is smaller: t or 0?
t
Let p = 0.3 + -0.49. Let i = p - -0.09. Which is smaller: 4 or i?
i
Let z = -1 - 3. Let d = z - -4. Which is greater: 0.5 or d?
0.5
Let s be (-110)/(-8) - (-2)/8. Let i = 25 - s. Suppose j - 3*y = i, -y = 4*j + 8 - 0. Is j >= 1/6?
False
Let x(f) = 6*f**2 + f. Let s be x(-1). Suppose -s + 13 = 4*z. Let p be (-3)/(4/(16/(-6))). Is p less than or equal to z?
True
Let k be (0 + 1 - 0) + 1. Suppose -2*u + 3 = 3*m, 3*m + k*u + 4 = 7*m. Suppose -p = 2*z + z - 4, 0 = -z - 2*p + 8. Which is smaller: z or m?
z
Let u(p) = -p**3 + 10*p**2 + 11*p. Let i be u(11). Suppose i*s = -s + 4*v - 10, -4*s + v = 10. Is s less than -8/3?
False
Let y = 0.6 + -0.58. Let f = 32 + -65/2. Is y equal to f?
False
Let s(o) = -12*o - 9 + 11*o - 2*o**3 - 8*o**2 + o**3. Let d be s(-8). Are d and -4 nonequal?
True
Let f = -0.5 + 0.58. Let l = f + -0.68. Let s = 0.3 + l. Is -0.1 less than or equal to s?
False
Let f = 19 + -17. Suppose f*g = -w + g + 12, -2*w + 4*g = 6. Is 6 bigger than w?
False
Suppose -18 = 3*q - 0. Let v(p) = p**3 + 5*p**2 - 7*p - 7. Let i be v(q). Are i and -1/7 unequal?
True
Let o be (45/12 + -4)/1. Are o and 0 non-equal?
True
Suppose 31 = -l + 32. Let r(g) = g**2 + 6*g - 1. Let x be r(-6). Let o = l + x. Is 0 at least as big as o?
True
Suppose 3*u + 15 = 4*u. Are u and 15 nonequal?
False
Let o be (-3)/(-15)*0 + -4. Let r = 0.9 - 1. Which is smaller: o or r?
o
Suppose 4*x + 0*x = 16. Suppose -4*q - 5*r - 20 = 0, 4 = -0*q + 3*q - r. Suppose q = 5*c - c - x. Is 1/2 greater than or equal to c?
False
Let a be (1*-2 - -1) + 1. Suppose -2*m + m = a. Let f be 2/(m + -1) - -1. Is f < 0?
True
Let d be (-1)/(129/147) - -1. Let z = d + -117/86. Is z greater than or equal to -3?
True
Let s(k) = -k**3 - 17*k**2 + k + 6. Let n be s(-17). Is -12 at most n?
True
Suppose -z - 3*z = 0. Let q = -16699/408258 - -2/5517. Let v = q - -305/222. Is v less than or equal to z?
False
Let q be (-131)/5 + (-1)/(-5). Let u be 12/9*3/q. Is -1 > u?
False
Let y(n) = -3*n + 2. Suppose -5*z + 9 = 5*q - 6, 18 = 5*z + 2*q. Let o be y(z). Let t be (-4)/o*-3*5. Is t at least -5?
False
Suppose -3 = 2*s - 5*s. Is s less than or equal to -3?
False
Let a(s) = -7*s + 2. Let f be a(-2). Is f at most as big as 16?
True
Let t be (-8)/(-396)*9 + 90/(-253). Is t less than 1/2?
True
Let f = -25 + 47. Let y(m) = -f + m + 27 - 3*m. Let l be y(5). Which is bigger: l or -4?
-4
Let y(d) = d**2 + 2*d - 1. Let l be y(2). Is 6