aller: n or -12?
-12
Suppose 5*m + 6*z = z + 5, -2*m + 6 = z. Suppose -2*y = 3*j + 22, 3*y - m*j = -0*y + 5. Is y at least -6?
True
Suppose -4*t - 8 = -4*j, -2*t - 2*j = -t - 4. Which is smaller: t or 2/13?
t
Let a = 4/23 - -149/69. Which is smaller: 1 or a?
1
Let b be 0*(0 - 1/1). Suppose 0 = 4*u - 4, -o - 2*o + 2*u + 1 = b. Which is greater: -2 or o?
o
Let t = 0.24 - -1.76. Which is bigger: -34 or t?
t
Let c = 4537/11 - 413. Is -1 < c?
True
Let n be (13/12)/(50/(-580)). Let p = n + 62/5. Let b = 11/5 + -28/15. Which is greater: p or b?
b
Let f(c) = 3*c - 50. Let x be f(16). Suppose 0*u = 2*u. Suppose u = -5*g + 4*g - 3. Is g greater than or equal to x?
False
Let m = -6 + 8. Suppose 3*s + 11 = -1. Let f be ((-2)/s)/((-1)/(-2)). Which is smaller: f or m?
f
Let y(g) = -g**2 - g. Let i be y(-1). Is i less than or equal to 0?
True
Let q = -0.019 + -0.271. Let j = q + 0.09. Is 1 not equal to j?
True
Let x be (-20)/(-28) + 4/14 + -11. Is x < -11?
False
Suppose 4*c = -5*l - 9, -2*c = c + 3. Which is bigger: -3/17 or l?
-3/17
Let h = -5 - -7. Suppose 266 = h*j - 70. Let t be (-15)/j - (-2)/(-7). Which is greater: 1 or t?
1
Let u = 51.5 - 52. Is u at least 1/2?
False
Suppose 4*p + 2*a - 5*a + 60 = 0, 0 = -3*a. Let t be 12/(-15)*p/6. Does t = 2?
True
Let p(a) = a**2 - a - 1. Let k = 0 - 2. Let s be p(k). Suppose -20 = -5*m, -s*m + 0*m = 4*o - 16. Is o >= -3/7?
False
Let v = -7.1 + 7. Is v greater than or equal to 1?
False
Let w = 147 + -145. Which is greater: 5 or w?
5
Let g = -18.8 + 0.8. Is -1/3 > g?
True
Let p(h) = 3*h**2 - 2*h - 2. Let z be p(2). Suppose -2*u = z*v - 3*v - 2, 0 = 3*v. Which is smaller: u or -2/15?
-2/15
Let c = 4.9 - 5.2. Suppose 0 = 2*d + 3 + 7. Let f be ((-4)/14)/(d/5). Which is bigger: c or f?
f
Suppose 91 - 241 = 5*y. Let u be (-4)/2 - 64/y. Suppose 4*q - q = -5*h - 15, -10 = -h + 2*q. Is u bigger than h?
True
Let o(d) be the third derivative of d**5/60 + d**4/6 - 4*d**3/3 + 2*d**2. Let s be o(-6). Suppose 13 = 3*j - s*n, j + 3*n + 8 = -5. Are j and 2/15 unequal?
True
Let u be (5/4)/(1/4). Is 5 > u?
False
Let h(g) = g**2 - 8*g + 5. Let d(f) = f**2 - 8*f + 5. Let p(t) = -3*d(t) + 2*h(t). Let z be p(7). Let j be 9*(3 + (-16)/6). Which is bigger: z or j?
j
Let f = -16 - -15.84. Which is greater: 1 or f?
1
Let t be ((-1)/(-6))/(8/36). Is -1/8 < t?
True
Let j be 8/6*12/(-100). Do j and 0 have different values?
True
Let n be 24/(-20)*(-35)/49. Which is smaller: n or 0?
0
Let m = 1.9 + -1. Let z = m + -2.9. Which is bigger: z or 2/7?
2/7
Let o = -151 + 150. Let i be ((-1 - -2) + -2)/(-40). Do i and o have different values?
True
Suppose 4*l - 26 + 2 = 0. Suppose -l = 4*z - z. Let g be 2/1*1/(-2). Which is smaller: g or z?
z
Let u = 87 - 94. Is u != 0.8?
True
Let r = 0.04 + 0.86. Let v = 0.014 + 0.086. Is v at most as big as r?
True
Let m(u) = u**3 - 9*u**2 - 5. Let a be m(9). Let o be 1 + -3 - (a - 2). Are 0 and o nonequal?
True
Let d be -4 + (1 - -5) + -51. Is -48 at least as big as d?
True
Let g = 17 + -15. Suppose -g*x - x = 0. Is -2 >= x?
False
Let d = -2 + 3. Let c be 3/(-9) - (-4)/9. Is c greater than d?
False
Suppose 0 = 3*h + 90 - 348. Suppose 0 = c - h - 19. Let y be (-1 + -2)/(c/10). Which is bigger: y or 1?
1
Let g = -5 - 2. Is -7 >= g?
True
Let z = 12.66 + 0.34. Which is bigger: 1/3 or z?
z
Let x = 6 - 3. Let c = -3.6 + x. Let l = -0.5 - c. Which is smaller: 1/5 or l?
l
Let b be (3/(-9))/((-4)/(-12)). Are 3 and b non-equal?
True
Let b(l) = -l**2 - 9*l - 16. Let j be b(-5). Let u = -448 - -1357/3. Which is bigger: j or u?
u
Let m = 4 - 5. Let n = m - 0. Is n greater than -1?
False
Let u be -3*16/12 - -3. Suppose -2*s - 36 = 2*s. Let q be 1/(-1)*s/(-3). Is q greater than or equal to u?
False
Let t(v) = v**3 - 2*v**2 + 1. Let i be t(2). Let d = -19 - -21. Which is smaller: d or i?
i
Let h be (-124)/(-12) - (-2)/3. Suppose -3*s + h + 7 = 0. Is s > 6?
False
Let g be (1426/6)/((-5)/3). Let y(p) = -25*p + 8. Let r be y(6). Let l = g - r. Is -1 < l?
True
Let t(y) = -y + 8. Let q be t(11). Let d be q/(-2)*4/3. Is 4 <= d?
False
Let d(r) = r**2 - 4*r + 3. Let h be d(2). Is h at most as big as -2?
False
Suppose 7 = q + 1. Which is greater: q or 21/4?
q
Let h = 21 + -21. Is -1 < h?
True
Let j = 75 + -74. Is j < 1/6?
False
Let b be 15/6*4/(-75). Let r(z) = z + 1. Let s(c) = -c + 14. Let i(n) = r(n) - s(n). Let p be i(6). Which is greater: b or p?
b
Let l = 105 + -79. Which is greater: 28 or l?
28
Suppose -2*j = 3*j + 10. Let b(m) = 1 - 3*m**2 + 2*m**3 + m**2 - 3*m**3. Let d be b(-2). Which is smaller: d or j?
j
Let z = 1 - 0.3. Let p = z + 1.3. Let c = 1 - p. Is -1 <= c?
True
Let t be (-2)/(-2 + -1 + 1). Let a = 1.37 + -0.97. Is a not equal to t?
True
Let v = 1 - -3. Let g = -2.92 - 0.08. Let w = v + g. Is w at least 1?
True
Let r = 13 - 12.6. Let a = -0.1 + 0. Which is greater: r or a?
r
Let p be (-4)/18 + 12/54. Is p equal to 1/4?
False
Let v be (-8)/6*(-297)/6. Are 66 and v nonequal?
False
Suppose y = 2*v - 2, -3*y + 4*v = 1 + 1. Are -2/17 and y non-equal?
True
Let h be ((-1)/16)/((-6)/(-8)). Let d be (-3)/(-18) - 1/6. Is d at least h?
True
Let i be -3*(3 - (-116)/(-40)). Is i bigger than 0?
False
Let o = -10 + 10. Let v be (-29)/(-22) + (-6)/4. Which is smaller: v or o?
v
Suppose -2*j - 1 = -21. Let m(c) = -c**2 + 9*c + 9. Let f be m(j). Is f less than 1/15?
True
Suppose -125*y + 130*y = 0. Which is smaller: y or -11/17?
-11/17
Let s be (-19 - 2)/3*1. Let l = -3 + s. Let h be 3/30*l/4. Which is greater: 1 or h?
1
Let d = 7.3 + 2.7. Which is greater: 0.2 or d?
d
Let f = -3 + 6. Let i = -5 + 15. Suppose -3*n - 1 = -i. Is f < n?
False
Suppose 3*j - 6 = j. Suppose -5*o + 11 = -j*a, 2*a + o = -3*o. Let k be ((0 - -2) + -1)*-2. Is k < a?
False
Suppose n - 4 + 1 = 0. Suppose 2*c + 78 = -3*w, -4 + 64 = -n*w + 4*c. Let y be (-22)/w + 2/(-8). Which is smaller: -1 or y?
-1
Let d be (-234)/(-21) - (24/(-28) - -1). Suppose n + 12 = -4. Let v = d + n. Are v and -5 equal?
True
Let n = 16 + -26. Is -1/3 at least n?
True
Let h = 0.2 + -8.2. Which is smaller: 1 or h?
h
Let h = 0.07 - 0.15. Let d = h + -0.02. Which is bigger: -0.9 or d?
d
Suppose 6*b = 2*b - 4. Which is smaller: -4/3 or b?
-4/3
Let x = -37 - -21. Let q be (x/5)/(4/(-10)). Let c(r) = -2*r + 12. Let z be c(q). Which is smaller: z or -1?
z
Suppose -5*m + 4 = -2*a + 9, -3 = 5*a + 3*m. Let x be (-6)/(-8) + ((-6)/4 - -1). Which is bigger: x or a?
x
Let f be 10/6 + -1*2. Let u be -4 - (6/9 - 4). Is u < f?
True
Let k(t) be the first derivative of t**3/3 - t**2 - 4*t - 5. Let v be k(4). Suppose -5*u + 7 = -13. Is v < u?
False
Let m be (-38)/14 + (8 - 5). Is 10 less than or equal to m?
False
Let g = 4 - 9. Which is bigger: -3 or g?
-3
Let t be 2/3 - 1300/924. Let q = -5/11 - t. Is q smaller than 1?
True
Suppose -5*w - 24 = -9. Are -3 and w equal?
True
Let s = 8 + -23. Is s not equal to -15?
False
Let x(z) = z**2 + z + 7. Let l(s) be the third derivative of -s**5/60 - s**4/24 - s**3 + s**2. Let k(f) = 7*l(f) + 6*x(f). Let b be k(0). Is 3 >= b?
True
Let k(t) = t - 6. Let z be k(5). Let j = z + -2. Which is smaller: -4 or j?
-4
Suppose -u - 5 = -2*w, -4*u = -2*u - 2. Suppose 4*y + 30 = 2*h, 4*h - 36 = w*y + y. Let r be y/(-9) + 4/(-6). Is r less than 1/4?
True
Let m = 0.26 + -0.36. Is 2 >= m?
True
Let s be (4 + -6 + 3)*-7. Let h(m) = m**2 + 10*m + 17. Let b be h(s). Which is bigger: b or -5?
b
Let x be (4 - 37/10)/(18/(-8)). Which is smaller: x or 1?
x
Let n = -3.91 - 0.09. Let h = -3 - n. Which is bigger: 2/9 or h?
h
Let j(b) = -b**3 - 5*b**2 + b + 1. Let u be j(-5). Suppose 3*h + 16 = -h. Is u >= h?
True
Let w be (-6)/2 + 3 + 2 + -7. Let m(d) = 3*d + 3. Let j be m(-2). Is j equal to w?
False
Let j = -2 + 3. Let t be j - (-1 - (-13 - 0)). Let d = t + 7. Is -3 < d?
False
Let h be ((-4)/6)/((-4)/(-6)). Do -15/8 and h have the same value?
False
Let h be (0 - (-2)/6)*12/(-26). Let a be (-1 - -1)/((-1)/1). Do h and a have different values?
True
Suppose 1 = -g - 2*y, -5*g + y + 6 = -0*y. Suppose g = -0*x + x. Suppose o = 3*o. Is o != x?
True
Suppose 6*r + 24 = 3*r. Let y = -0.23 + 0.03. Which is smaller: y or r?
r
Suppose 4*m = 3 - 7. Which is greater: m or -2?
m
Let z(s) = -s + 4. Let j be z(5). Let n = 9 + -8. Suppose n = 2*q + 3. Is j >= q?
True
Let c be (-3)/(18/69) + (-1)/2. Is c less than -16