aller: 1 or s?
1
Suppose 0 = 3*k + 17 + 4. Is k <= -7?
True
Let c = 3 + -7. Which is greater: -5 or c?
c
Let q = 0 + -3. Let g = 13 + -13.2. Is q greater than g?
False
Let p = 6.1 - 6.1. Which is greater: p or -76?
p
Let z(h) = -h - 2. Let q be z(0). Suppose 0 = 2*m - 3*m - 3. Which is smaller: m or q?
m
Let l be (-2)/(-4)*(-18)/(-15). Is 2 less than l?
False
Let q = -163 + 167. Which is bigger: q or 18/7?
q
Let m be 8/(-12) + (-32)/6. Let k(o) = o**3 - 7*o**2 - 2*o + 7. Let l be k(7). Is m less than l?
False
Let x be ((-140)/(-42))/(23/3). Which is bigger: -1 or x?
x
Let g = -10 - -1. Let j = 5 - g. Suppose j = -0*n - 4*n + 3*v, 0 = 4*n + 3*v + 26. Which is bigger: 1 or n?
1
Suppose -3*r = r + 8. Let d(z) = -7*z + 5. Let u be d(5). Let i be -2 - 2*21/u. Which is bigger: i or r?
i
Suppose 4*l = 3*l - 3*k + 3, -4*k = 0. Suppose -l = 5*n + 42. Is -15/2 equal to n?
False
Let t be (-4 + -1)*36/(-30). Is 0 bigger than t?
False
Let n(r) be the third derivative of r**5/60 - 5*r**4/24 - r**3/3 - 3*r**2. Let o be n(6). Is o < 4?
False
Suppose -9 = -2*u + 7. Let n = u + -6. Is 7/3 less than n?
False
Let l = -14 + 18. Is l less than 2/3?
False
Suppose d + 2*j = 4, d - 23 = 5*d - 5*j. Are d and -21/13 non-equal?
True
Let q be (-4)/(-22) + (-3400)/66. Let p = q + 52. Which is smaller: -2/7 or p?
-2/7
Let m = -760/3 - -256. Let y = 3 - m. Is y at most as big as -1?
False
Let a = 6 + -1. Suppose a*p - 28 = 7. Is 8 > p?
True
Let h be 2*2/4*-1. Suppose 5*s - 4*s + 2 = 2*n, 4*n = 4. Which is greater: s or h?
s
Suppose s - 20 = 6*s. Let c = 48 - 27. Let l be 27/c - s/(-14). Which is bigger: 2/9 or l?
l
Let g = 671222/165 - 4068. Is g >= 1?
False
Let c = -6 + 6. Let s be 4/6*(-3)/(-7). Which is smaller: c or s?
c
Suppose 5*o + 0 - 5 = 0. Let f = 0 - o. Which is bigger: 2/21 or f?
2/21
Let l(n) = -n**2 + 1. Let c be l(1). Let m = -1684 - -7295/4. Let i = m + -141. Are i and c nonequal?
True
Let f(g) = -2*g**3 - 13*g**2 - 6*g - 1. Let c be f(-6). Which is smaller: c or -4/5?
c
Let r be 9/(2 + 1) + (-51)/6. Which is bigger: -5 or r?
-5
Let g(i) be the first derivative of -i**2/2 - 9*i - 1. Let h be g(0). Let l = 4 + h. Is l > -5?
False
Let n = -0.444 + 0.044. Let d(y) = 2*y**2 - 10*y - 2. Let l(w) = 3*w**2 - 11*w - 1. Let r(u) = -4*d(u) + 3*l(u). Let f be r(-6). Which is smaller: f or n?
f
Let r(c) = -c**3 - 8*c**2 - 2. Let u be r(-8). Suppose 5*s + 3*w + 43 = -0*w, -w = 1. Let k be -2 - (1/s + u). Which is bigger: -1 or k?
k
Let f be (-1 + (-7)/(-6))*4. Suppose 2*p = -5 + 9. Suppose 0*h = -p*h. Is h >= f?
False
Let b(o) = o**2 + 12*o + 10. Let s = -21 - -11. Let w be b(s). Which is bigger: -11 or w?
w
Let q be (4/6)/(4/9). Suppose -2*y - 1 = -9. Suppose 5*n = 2*h - 5*h + 8, -y*n + 5*h - 1 = 0. Is n greater than or equal to q?
False
Let r = 295 - 3839/13. Which is smaller: -0.1 or r?
r
Suppose 2 + 0 = 2*k. Let u be (k/2)/(1/4). Suppose 2*o - 7*o + u*n + 5 = 0, o = -2*n + 13. Is o > 3?
False
Let i(k) = -k**3 + 8*k**2 + 9*k + 5. Let w be i(9). Suppose -y + w*y + 2*l = 10, 3*l - 8 = y. Which is smaller: 3/2 or y?
y
Suppose -4*l = l. Suppose 4*f - 1 = 3*f. Let m be (2/(-6))/(f/(-3)). Is m >= l?
True
Let z = -17 - -11. Let n = z - -35/6. Suppose 3*h + 0*h - 3 = 0. Is n >= h?
False
Let p(u) = -u**3 - 4*u**2 + 11*u + 11. Let v be p(-5). Which is smaller: -10 or v?
v
Let t be 1*3 + (-6 - -5). Suppose t*v - 2*g + 13 - 1 = 0, -4*v - g = -1. Is -3/10 > v?
True
Let n(o) = 6*o**3 + o**2 - o + 1. Let r be n(1). Is r <= 4?
False
Let d = 0.1 + -11.1. Let b = d + 11.22. Let v = 0.08 + b. Which is smaller: -2/5 or v?
-2/5
Let y = 12 - 9. Suppose y*b = b. Is b at most 1/7?
True
Let v = 0.8 + 2.2. Let o = -2 + v. Is o less than 0?
False
Suppose -2*j + 10 = 3*j. Which is smaller: j or 5?
j
Suppose -3*m + 4*o + 21 = 0, m - 3*o - 16 = -4. Let p(h) = -h**3 + 2*h**2 + 5*h - 4. Let a be p(m). Let x be (-3)/6*(a - 2). Is x not equal to -2/11?
True
Let w = -38.7 + 37. Let x = w + 0.7. Which is smaller: x or -5?
-5
Let s be 278/6 + (-4)/(-6). Let o = 21800 + -152927/7. Let x = s + o. Which is greater: x or 0.3?
0.3
Let m be 4/(-10) - 8/(-20). Which is greater: -1/7 or m?
m
Let s be ((-3)/114)/(1/4). Let u be 471/684 + (-4)/16. Let v = s + u. Is 0 <= v?
True
Suppose 3*u - 2*o + 17 = 0, -4*u - 2 = -u - 5*o. Let c be (1 - u/(-11))*-1. Is 1/4 bigger than c?
True
Suppose 0 = s - 2*l + 2 + 6, -2*s + 19 = 3*l. Let z be 1/(3/(1 + s)). Let y be -2 - (-3 - -2*z). Which is smaller: 0 or y?
y
Suppose 6 = -3*d - 4*b - b, 0 = d + 3*b + 2. Let w be -5*d/6 - 2. Let f be (4/8)/((-2)/4). Are f and w nonequal?
True
Let h be 69/(-2)*(-4)/15. Let d = h - 9. Let u = 6 - 5. Which is greater: u or d?
u
Suppose 2*l = 2*y + 24, -5*y + 7*y = l - 26. Which is bigger: -17 or y?
y
Suppose -4*x + 88 + 44 = -4*v, x = 4*v + 42. Is 32 less than x?
False
Let p = 17/5 - 199/60. Let t = -18 - -18. Which is smaller: p or t?
t
Let u(c) = 3*c + 6. Let k be u(-6). Which is bigger: -1 or k?
-1
Let o be (-5 - -4) + (-6)/(-10). Which is greater: 0 or o?
0
Let r = -1066/1375 + 6/125. Let k be (-3)/3 - -7*(-7)/49. Is r greater than k?
True
Suppose -2*b + 3*t = 23, 12 = 2*b + 4*t - 0*t. Suppose 15 = 3*x - 8*x. Which is greater: x or b?
x
Let x be (14/4)/((-1)/2). Let t = -18 + 28. Let h = -18 + t. Which is greater: h or x?
x
Suppose 5*z - 66 = -5*u + 2*z, 4*u = 3*z + 42. Let o be (-21)/u - -2 - 1. Which is smaller: o or 0?
o
Let z be ((-12)/9 - (-2)/42)/1. Which is smaller: z or -1?
z
Suppose f + 16 = -5*c, c + 36 = 5*f - 3*c. Let y = -6 + f. Let j be (-10)/12 - y/4. Which is smaller: j or 0?
j
Let s = -229/3 - -77. Let y = 15 - 23. Let k = 7.94 + y. Which is smaller: k or s?
k
Suppose 2*q = 2 + 6. Suppose 0*r - 16 = -q*r. Suppose 2*d - r = d. Which is smaller: d or 3?
3
Let k be (-30)/(-9) + (-3)/9. Suppose -14 = d - 3*r, k*d - 6 = -0*r - 3*r. Let z = 2 + d. Does -2 = z?
False
Let v = 6.92 - 7. Let m = -0.08 - v. Which is smaller: m or 1/2?
m
Let g be 3416/(-88) - (-6)/(-33). Let f(s) = -s**3 + 7*s**2 + s - 9. Let t be f(7). Let a be g/(-33) - t/(-11). Is 1 less than or equal to a?
True
Suppose 4*x - 3*s = -93, -2*x + 6*x = -4*s - 72. Let u be 8/28*x/12. Which is smaller: u or -1?
-1
Let d = 0 + -2. Let a be (-28)/10 + (-4)/(-5). Let s = d - a. Does s = 2/3?
False
Let y = 121 - 117. Is y less than 2?
False
Let y = -1 + 2. Let j be (-2)/4*(0 - -2). Let b = j - y. Which is greater: b or 1?
1
Let k = -9 + 14.7. Let l = 6 - k. Let p = 0.2 - l. Do p and 3 have the same value?
False
Suppose 0 = u - 6*u - 10. Let w = -20943/88 - -238. Let z = w - 357/440. Which is smaller: u or z?
u
Let s = 20 - 12. Let j = s + -6. Suppose 4*k = -2*i + 4*i - 8, j*k + 3*i = -4. Which is greater: k or -1?
-1
Let q be (1 - 0)/(2/4). Suppose -3*m - 4 = -q*g, g + 32 = 3*g + 4*m. Let w(r) = r**2 - 7*r - 10. Let u be w(g). Is u not equal to -3?
True
Let j be (-29)/(-9) - 4/18. Suppose -3*z = -15, -15 = -5*x - 0*x - j*z. Let a = -3/25 + -13/100. Is x at least as big as a?
True
Suppose 0 = -0*y - 6*y - 12. Do 1 and y have the same value?
False
Let b = 9 + -5. Let p(k) = -2*k**2 + 5*k + 2. Let m be p(b). Is -10 equal to m?
True
Let i(y) = 2*y + 6. Let r be i(-6). Let f be (1/(-4))/((-30)/40). Do f and r have different values?
True
Let i = 4.56 + -3.6. Let p = -3 + 2.96. Let h = p - i. Which is smaller: h or 1?
h
Let i = 22 - 19. Let u = 1 - -3. Suppose 2*h - 2 = u. Is i less than h?
False
Let o be (-268)/(-159) + 0 + -2. Let p = 1/53 - o. Let h be 2/6 - 2/6. Is p less than or equal to h?
False
Let y be ((-14)/(-4))/((-2)/4). Let x(s) = s**2 + 6*s - 5. Let o be x(y). Let n be (3/(-6))/((-1)/o). Is n != -1?
True
Let z(k) = -k**3 + 4*k - 12. Let q(s) = s**2 - 1. Let m(y) = -5*q(y) + z(y). Let d be m(-6). Suppose -d*t + 4 = -3*t. Is 2 greater than t?
False
Suppose -6*d + 10 = -d. Suppose 4*u + 5*h = -20, u + 8 = -h - h. Let t = 0 - u. Are t and d equal?
False
Let c = -39193/39 + 1005. Which is smaller: -1 or c?
-1
Let u = 48 + -62. Do -15 and u have different values?
True
Suppose -3*j + 6 = -3. Suppose 4*w - q = 5, 3*q + j = 5*w - 5. Which is smaller: -2/9 or w?
-2/9
Let f = -0.9 + 0.9. Let x = -3 + 3. Let a = 0.2 - x. Which is bigger: a or f?
a
Let y = -2.2 + 0.6. Let u = 1.1 + y. Does u = 1?
False
Let c be 1 - (1*-6)/2. Suppose c*m + 5 = -m. Which is smaller: -1/2 or m?