aller: j or -6?
-6
Let h = 4 - 5. Let c = -3 - 10. Let j = c - -20. Is j != h?
True
Let k(o) = o**2 + 7*o + 9. Let d be k(-6). Let g be (-3)/(3/(-6)*d). Which is bigger: 0 or g?
g
Let o be -4 + 7/(14/6). Suppose 3*c = -j - 0*j, c - 8 = -3*j. Are o and c nonequal?
False
Suppose -1 = -2*d - 5. Let z be ((-4)/(-6))/(d/(-8)). Let w = z - 3. Are 1 and w non-equal?
True
Let s be 3 - (-2 + 4) - (5 - 2). Let v be (-1 - (-5)/4) + -2. Is v > s?
True
Let l be ((-286)/(-110))/(6/5). Are 2 and l equal?
False
Let b = -3.1 + 3. Let h = 0 - b. Which is smaller: h or 1/4?
h
Let c be (-9)/5 - (-2)/(-10). Which is bigger: -5 or c?
c
Suppose -2*i + 7 = 4*k - 13, -5*i = -5*k - 5. Suppose -r - q = 0, -q - 4 = k*r - 2*q. Let p = -322/255 - 6/85. Which is bigger: p or r?
r
Let v be ((-6)/(-5))/((-9)/(-30)). Let o be 72/15 - (-2)/10. Is v > o?
False
Let x be (1 + 0 - -2)*-1. Let v be (-2)/x + 10/(-6). Which is smaller: v or 1/3?
v
Suppose 2*i - 2*d = 16, 5*i + 2*d = 5*d + 46. Suppose c + 11 = 3*m + 2*m, 3*m - 5*c + i = 0. Is m smaller than 2?
False
Let i = 57951/95 + -610. Are 0 and i unequal?
True
Let a = -10.8 + 11. Let p = a + -0.2. Is 4 > p?
True
Suppose -10*y = -915 - 25. Is 95 smaller than y?
False
Let a = -0.47 + 0.57. Which is greater: a or 1.5?
1.5
Let k be 282/(-90) - (-1 + -2). Let r = -3 - -3. Which is smaller: k or r?
k
Suppose 2*p - 8 - 1 = g, 4*p - 5*g - 27 = 0. Let r(f) = f**2 + 3*f - 3. Let j be r(-3). Let h be (j - 0 - -10) + -3. Which is greater: h or p?
h
Let o(l) = 1 + 0*l - 2*l - 6. Let d be o(-4). Suppose -a = z, -3*a + 0*a + 3*z + 12 = 0. Which is bigger: d or a?
d
Let b = 369 + -677. Let q = b + 3390/11. Let f(r) = r**2 - 5*r - 5. Let p be f(6). Which is smaller: p or q?
q
Let h be -3 - ((-111)/105 - 0). Let s = h + 9/5. Do s and 2 have the same value?
False
Suppose -3*f = -5 - 4, 5*f = -3*p + 51. Let u be (-4)/24 + 2/p. Are u and -3/4 non-equal?
True
Suppose 3*k + 0*k = 42. Suppose 5*q - 6 = m, -q - 2*q = -5*m + k. Suppose -2*p = -n - m, -4*n + 5*p = p + 12. Which is smaller: -1 or n?
n
Let w(l) = -l - 5. Let q be w(-7). Suppose -q*u = -u. Suppose 5*t + 13 = -u*t + 2*b, 0 = t + 3*b - 11. Which is smaller: t or -0.1?
t
Let y(t) = t - 3. Let n be y(6). Is n >= 11/5?
True
Let m = -9.9 + -0.1. Let x = 10 + m. Which is smaller: 4 or x?
x
Let i = -83/231 + 2/77. Suppose -2*l - 31 = 5*d + l, 0 = -4*d + l - 18. Which is greater: i or d?
i
Let n be (-4)/26*(-11)/(-99). Which is bigger: n or -1?
n
Let k = -4 - -4.2. Let r = 0.4 - k. Let f = 0.3 - r. Which is bigger: f or -1?
f
Let v = 4 + -2. Let z be v/(-13)*2 + 2. Let l = z - 268/143. Is 0 at most l?
False
Let u = -0.02 + 3.02. Let q = -0.02 + -2.98. Let z = q + u. Is 0.1 > z?
True
Let l = 239/1638 - -1/126. Let g be 1/(-2) + 3/2. Is l < g?
True
Let d = 1 - 0. Let h(p) be the first derivative of p**4/4 - 5*p**3/3 + 3*p**2/2 + 5*p + 3. Let n be h(4). Do n and d have the same value?
True
Let z be (-22)/(-8) + (-21)/28. Suppose x + z*x = -3. Which is smaller: x or -2?
-2
Let b(s) = -s**3 - 2*s**2 + 5*s - 1. Let g be b(-3). Which is smaller: g or -1/2?
g
Let r(s) = s**3 - 5*s**2 - 16*s + 13. Let c be r(7). Is 2/95 < c?
False
Let h(q) = q**2 + 8*q + 7. Let x be h(-6). Let f = 14 + x. Is f != -1/2?
True
Let p(x) be the third derivative of x**5/30 + x**4/8 + 5*x**2. Let f be p(-3). Is 9 less than f?
False
Let h(l) = -3*l - 1 + 2*l + 1 - 1. Let n be h(7). Suppose x + 0 = -7. Which is greater: x or n?
x
Let v = -0.2 + 0.3. Let l = 10 - 4. Let o be 10/l + (-4 - -3). Which is greater: v or o?
o
Let m be -28*((-3)/((-6)/7) - 3). Is m smaller than -14?
False
Suppose -8*r = -3*r. Let v = 10 + -7. Which is bigger: r or v?
v
Let t be (0 - (3 - 5))/21. Which is smaller: t or 0?
0
Suppose 20 = 4*q - 92. Suppose -u + q = -5*u. Is u at least -7?
True
Let y = -5.1 - -2.1. Which is smaller: 4 or y?
y
Suppose 0 = -f - 4*s + 4, f - 6*f - 4*s = -4. Let m(w) = 3*w**2 + w - 1. Let d be m(1). Let h = d - 1. Is h less than or equal to f?
False
Suppose 15*a = 18*a - 3. Does a = -3/16?
False
Let n = 129 - 127. Is 0.08 > n?
False
Let u(j) = -j + 7. Let q be u(6). Let c = -0.97 - -1. Let d = -2.03 + c. Which is greater: d or q?
q
Let r = 138602/7 + -19855. Let c = 55 + r. Does -4 = c?
False
Suppose n + t = -0*n, 8 = -n - 3*t. Suppose n*z - 51 = -3*c, -c - 2*c = 3*z - 54. Suppose c = 5*b + 6, 5*h - 9 = 2*b. Is 1/4 at least as big as h?
False
Let j(g) = g. Let t be j(0). Suppose -4*u + 5 + 3 = t. Is u at least as big as 3?
False
Let a = -17 + 25. Let z = a + -8.1. Let o = -2.98 + -0.02. Is o <= z?
True
Let s be (-4)/(-3) + -1 - 284/(-30). Which is bigger: s or 11?
11
Let k be (-4)/(-8) + (-2)/4. Suppose k*g - 3*g = 6, -5*m + 11 = 2*g. Which is greater: 4 or m?
4
Suppose 2*r + 6 = 0, 0 = w - 5*r - 14. Is 1/13 != w?
True
Let i = -545/8 + 68. Let w = -0.08 - -0.06. Let g = 1.02 + w. Are g and i equal?
False
Let j be 2/5*(-1 - -6). Suppose -2*w + w = -j. Suppose -w*i - i + 3 = 0. Which is smaller: i or -1/7?
-1/7
Let g be 3/12 - 9/4. Let k(c) = c**3 - c**2 - 2*c - 1. Let f be k(-1). Is g greater than f?
False
Let d be (12 - 13)*(-20)/(-18). Is d greater than -2?
True
Let x be (-2 - -4)*(-3)/(-2). Suppose -4*p - m + x*m - 22 = 0, -p - 2*m = 3. Are p and -5 unequal?
False
Let u = 7.6 - -1.4. Let s = u + -11. Let j = -25/8 + 21/8. Which is greater: j or s?
j
Let u = 330 - 327. Suppose 4*v - 3*r - 16 = 0, 5*r + 25 = v + 4*v. Suppose v = -c + 3. Is c <= u?
True
Let d(n) = n**3 - 5*n**2 + 3*n + 4. Suppose -2*v + 4 + 4 = 0. Let x be d(v). Is -2/7 not equal to x?
True
Suppose -5*o + v + 5 = 0, o + 5*v - 9 = 18. Suppose -4*z - 6 = -o. Is z greater than 0?
False
Let g = -39 - -38. Which is bigger: g or 1/17?
1/17
Let t(y) = y**2 + 11*y - 9. Let o be t(-12). Suppose o - 5 = -2*n. Which is greater: -1/7 or n?
n
Let s be (-64)/(-10) - 2/5. Let m = s + -7. Is m at least 3/8?
False
Suppose -5*j = 4*l, -2*j - 3*l + 23 = -6*l. Suppose 0 = -0*b + 4*b - 4. Let k be -8*((-1)/(-2) - b). Is j < k?
False
Let t be (-72)/(-154) + (-8)/44. Let q = t - 4/63. Let w = 7 + -7. Is w bigger than q?
False
Let v(g) be the second derivative of -g**4/12 + g**3/2 + 3*g**2/2 - 4*g. Let y be v(3). Suppose -y*z - 6 = -3. Which is smaller: z or -3?
-3
Let x = 1.4 - 0.4. Let o = -0.9 - -1. Let j = o + 0.9. Is x > j?
False
Let w = -4.99 - -5. Let f = 1.86 - 3.87. Let j = f + w. Is j less than 1?
True
Suppose 5*s - s - 16 = 0. Suppose 3*v - s*y + 37 = 7, 3*v + 27 = 3*y. Which is smaller: v or -8?
-8
Let b(u) = 3*u**2 + 2*u + 1. Let a be b(-1). Let n be (a - (5 - -1)) + 0. Is -3 < n?
False
Let y(q) be the second derivative of q**6/720 + 7*q**5/120 + q**4/12 - q. Let n(u) be the third derivative of y(u). Let b be n(-7). Which is smaller: b or 1?
b
Let x = -0.08 + -0.01. Let j = -0.19 - x. Let n = 3.6 - -0.4. Is n less than j?
False
Let p = -14.4 + 6.5. Let t = 7 + -15. Let v = p - t. Do -6/7 and v have the same value?
False
Suppose -3*f + 5*d = 17, 2*d + 0*d - 8 = 0. Suppose 0*y = -4*y - 16. Which is smaller: y or f?
y
Suppose -4*q - 5*q - 432 = 0. Is q equal to 0?
False
Let f be (-1 - 0)*(1 + -2). Let r = -41/70 + 3/10. Which is smaller: f or r?
r
Let x = 18 - 18.2. Are x and -0.7 unequal?
True
Let z be (-1)/29*2 - 0. Suppose -25*d + 23*d = h - 6, -3*h = -4*d + 12. Which is bigger: z or h?
h
Let r(n) = n**3 + 6*n**2 - 11*n - 6. Let v be r(-7). Let y = -10 + v. Which is smaller: 11 or y?
11
Let m = 18.6 + -29.7. Let a = 11 + m. Is -0.1 greater than or equal to a?
True
Suppose 3*c = -3*w + 3, -2*w = 3*c - 8 + 3. Suppose c*j - 5 = -2. Let k(p) = p + 11. Let t be k(-9). Which is bigger: t or j?
t
Suppose -5*c - 4*u = u - 260, 0 = 2*c - 2*u - 108. Let a = c + -161/3. Let m be 2 - 1/1*3. Is m > a?
False
Let k be ((15/10)/3)/(-1). Is k not equal to 15/2?
True
Suppose -b - 15 = -4. Which is bigger: -12 or b?
b
Let x = 32 - 41. Is -10 at most x?
True
Let y = 49 - 48. Which is smaller: 2/11 or y?
2/11
Let p = 3.3 + -3. Let w = -1 + p. Let n = w + -0.3. Which is smaller: -0.2 or n?
n
Let d(a) = a**3 - 5*a**2 - 5*a - 7. Suppose w - 3 = -h, -4*h + 3 = -5*w - 36. Let t be d(h). Is 0 greater than or equal to t?
True
Let i be 124/18 + 10/15. Which is bigger: i or 8?
8
Let g = -0.9 - -1.15. Let t = g - -0.05. Which is greater: 2 or t?
2
Let o = -2970 + 2951.93. Let h = 18 + o. Let g = h - -0.17