han or equal to k?
False
Let i be -1*3*(-5)/3. Suppose 0 = -5*a - h + 9, 5*a + 2*h - 8 = i. Is 4 not equal to a?
True
Let r = -91/3 + 31. Suppose -4*k = k. Which is greater: r or k?
r
Let z(y) = y**2 - 6*y - 3. Let v be z(5). Let f = 11 + v. Do 2 and f have the same value?
False
Let l(z) = -z**3 - 8*z**2 - 13*z - 44. Let y be l(-7). Is -2 != y?
False
Let q = -715 - -2833/4. Do q and -7 have different values?
True
Let t(f) = -f**2 + 4*f + 7. Let v be (-2)/11 - (-228)/44. Let y be t(v). Let h be y/(-1 - (-5)/3). Is 3 at most h?
True
Let a = -1312 + 74782/57. Let q = -109 - -110. Is a at most as big as q?
True
Suppose -2*r = -3*j + 8 - 3, -2*r = 2*j + 10. Let n be (-7)/(-28)*(-664)/10. Let i = -86/5 - n. Is i greater than j?
True
Let x be (-21)/4 - (-12)/48. Which is smaller: x or -6?
-6
Let b be 13 + (-3 - (-3)/(-3)). Which is smaller: b or 12?
b
Let a(k) = -k**2 + 10*k. Let j be a(10). Let v be (0 - j) + (-8 - -5). Is -3 != v?
False
Let s be 0*5/25 - -11. Let d be 20/21 - 2/7. Which is smaller: s or d?
d
Let d be (2 + (2 - 2))/(-187). Let m = d - 551/935. Which is smaller: m or -1?
-1
Let m(s) = s + 9. Let o be m(-13). Let g be 120/207 + o/6. Which is smaller: g or 1?
g
Let i be (-2 - 8/(-3))*3. Let p(y) = -y + 1. Let t be p(i). Let o = -2 + 0. Which is smaller: t or o?
o
Suppose b - 5*o - 6 = 6, -2*o + 6 = -4*b. Let p be (-1 + 0 - -4) + b. Is p greater than 6/7?
False
Let y = 46/7 + -45/7. Suppose -1 = n - 2. Which is greater: n or y?
n
Let a = -27 - -7. Let p = a - -1. Are p and -19 non-equal?
False
Let i(k) = k - 14. Let n be i(4). Which is greater: -12 or n?
n
Let h be ((-3)/35)/(1 + 0). Let k = 61/105 - h. Which is smaller: k or 1?
k
Let m = 87 + -669/8. Is m greater than or equal to 2?
True
Let f be (-658)/(-161) + -5 + 1. Do f and -1 have different values?
True
Let o be -1 - 4/(-4 - -2) - -6. Is 11 at least o?
True
Let k(a) = -a**2 + 10*a - 2. Let s be k(9). Which is smaller: 41/6 or s?
41/6
Suppose -2*n + 4*s = -102, -98 = -3*n + n + 2*s. Suppose 0 = -3*x - n + 14. Which is smaller: x or -12?
-12
Let k = 27 - 11. Suppose 2*b - 8 = 4*x, 4*b - k = -x - 4*x. Is x bigger than -1/6?
True
Suppose -v = -3*v - 12. Suppose -x = 3*l + 12, l - 2*l - 8 = -x. Is v <= l?
True
Suppose -5*d = -2 - 28. Suppose 4*p - 16 = d*p. Are p and -7 non-equal?
True
Suppose 182 + 90 = 8*d. Is 33 smaller than d?
True
Let q be 2 - ((-164)/76)/(-1). Which is bigger: q or 0?
0
Let s be (-72)/(-180) + (-592)/1530. Which is smaller: 1 or s?
s
Let w = 3/74 - -31/148. Is -1 not equal to w?
True
Let u(o) = o**2 + 8*o - 2. Let m be u(-9). Which is bigger: 8 or m?
8
Let x = 1.2 - 0.6. Let t = 2.4 + x. Let h = 4 - t. Is 0.5 greater than or equal to h?
False
Let g = 4 + -20. Let j = 15 + g. Is j <= -1/3?
True
Let m = -18.1 - -17. Let z = 0.9 + m. Is z at least -2/5?
True
Suppose -3*d - 15 = -5*q + 2*d, 3*q + d - 9 = 0. Let b = 2 + q. Let u(l) = 2*l**2 + l - 2. Let r be u(-2). Which is smaller: b or r?
r
Let p = 0.4 - -0.6. Let t = -1.91 + 1.8. Let u = t - 0.89. Which is smaller: p or u?
u
Let x = 26 + -30.9. Let l = x - -0.9. Is l >= -0.1?
False
Let w = -309 + 2469/8. Which is bigger: 1 or w?
1
Let a be 4/2*2/(-8). Suppose 0 = -4*t + f - 1, 4*t - 6*f = -f - 5. Is t less than or equal to a?
False
Suppose 2*t = -3*g - 5 - 5, g = -5*t - 25. Suppose 2*a + 4 = 2*k, -5*a - k + g*k = -8. Let m = -27/2 + 57/4. Which is smaller: m or a?
m
Let c be 15/(-2)*12/(-75). Suppose -3*g + 9 = 0, -31 = r + 3*r - g. Let z = -6 - r. Is z >= c?
False
Let m = -0.95 - 0.05. Let d = -0.8 - m. Let f = 2.2 - 0.2. Is d not equal to f?
True
Let c(m) = m - 13. Let p be c(11). Are -16 and p unequal?
True
Let o = 6 + -4. Suppose 0 = 4*r + o*k - 10, 5*r - 4 = k + 12. Suppose -4 = -r*f - f. Is 1 bigger than f?
False
Let s(k) = -3*k**2 - 2*k + 2. Let u be s(-2). Let c = 0 + u. Which is greater: -9/2 or c?
-9/2
Suppose -7*t + 2*t = -5*z + 40, -5*t - 26 = -3*z. Suppose -z*w - 75 = -12*w. Is w smaller than 14?
False
Let o be 6/(-3) - (-116 + -2). Let f be (o/(-1 - 1))/2. Let i = f - -320/11. Is 1 less than i?
False
Let r(o) = o**2 + 2*o - 3. Let d be r(3). Suppose -3*j - d = -i, -3*i = -4*j + 4 - 20. Is i at most as big as -2?
False
Let o(m) = -m**2 - m - 2. Let x be ((2 - -1) + -3)/(-1). Let s be o(x). Is -1 less than s?
False
Let f(m) = -4*m**3 - m**2 + m - 1. Suppose 5*k = 2 + 3, -k = -w. Let l be f(w). Let h be 2/l - 1/(-5). Is h equal to -1?
False
Let w = 3 - 2. Let z = 86 - 596/7. Are w and z non-equal?
True
Let l be (-12)/16*2/6. Let s = 4 + -4. Suppose -4*f + 0*f - 4 = s. Which is bigger: l or f?
l
Let v = -1.01 + 0.01. Which is bigger: v or -0.013?
-0.013
Suppose -2*g - 22 = 2*g + 3*i, 4*i + 8 = 0. Let n be (-2)/248*-2*g. Which is smaller: 0 or n?
n
Let k = 11 + -3. Let m = k + -6. Let x be 1/(-28) + 2/7. Which is smaller: m or x?
x
Let s = -973 - -26275/27. Do s and -0.1 have the same value?
False
Let i = -50 - -86. Which is smaller: i or 37?
i
Let w = -0.2 - -4.2. Let f = 0.16 - -1.74. Let i = f + -2. Is i equal to w?
False
Suppose -4*l + 3 = -1. Let n = -90 + 63. Let v be (-1)/(-3)*9/n. Which is smaller: v or l?
v
Let g be (0/3)/((-2)/(-2)). Let d = 1 + 2. Suppose -2*j = d - 1. Which is smaller: g or j?
j
Let n = 8/7 + -31/21. Let x be (-14)/16 + 12/(-96). Are n and x equal?
False
Suppose 1 = -5*g - 9. Is g at least -2?
True
Let x = -12775590 - -38365097338/3003. Let l = x + -2/273. Which is greater: l or 1?
1
Suppose -4*l + 2*z = -1440, 5*z + 680 = 4*l - 760. Suppose -l = 3*o - 4*o + 5*x, -4*o + 2*x = -1458. Let i = o - 6937/19. Is i >= 1?
False
Let s(l) = -l**3 + 12*l**2 + 12*l + 13. Let y be s(13). Which is smaller: y or -1?
-1
Let d = 0.082 + 0.018. Let a = -435/8 + 54. Which is smaller: d or a?
a
Suppose -6 = 2*o - 4. Let u = -3 - o. Is u at most -1?
True
Let m = 7 + -7. Is m smaller than 1/34?
True
Suppose -3*k + 4*k - 1 = 0, 5*k = m - 1. Suppose -o + m = 3*j - 0*o, 2*j - 4*o = 18. Is 7/3 >= j?
False
Let u = 7 + 5. Which is greater: u or 11?
u
Suppose -5*y - 68 + 18 = 0. Which is bigger: -1 or y?
-1
Suppose 2*u + q - 20 = -2*q, -4*q = -u - 12. Which is greater: 3 or u?
u
Suppose -18 = -2*h - 4. Suppose -a - 3*a = 5*p, -5*p + 3*a = -35. Is h >= p?
True
Let r = 44 + -83/2. Which is bigger: 1/2 or r?
r
Let s = 27 - 18. Is s not equal to 10?
True
Suppose -4*f + 7*f + 3 = 0. Let s = f - 1. Let p be (2 - 5) + 1 + 0. Is p >= s?
True
Let c be (-2)/12*(-2)/37. Let b = c + 23/185. Is b > -1?
True
Let o be 20/(-16) - 0 - (-5 - -2). Is o at least as big as 2?
False
Let y be 6/14 - 41/63. Which is greater: y or -1?
y
Let z(m) = -m**3 + 6*m**2 + 3*m - 7. Let s be z(5). Let y = s - 26. Are 6 and y equal?
False
Let i be 8/12 + (-40)/42. Let t = 1.1 - 1. Is t != i?
True
Suppose 5*n - 15 = 3*i + 2*i, 15 = 2*n - 5*i. Let q be 10/14 + (-4)/(-14). Which is greater: n or q?
q
Suppose -8*m - 25 = -3*m. Let t be (4 + 1)/((-9 + 4)/5). Are m and t equal?
True
Let p = 11 + -12. Which is smaller: -5 or p?
-5
Let g(u) = -u**3 + 5*u**2 + 3*u - 6. Let d be g(5). Let c = d + -8. Let x = 8734/21 + -416. Is c <= x?
False
Suppose 0*d - 16 = -5*d + 2*j, -d = -3*j + 2. Suppose -2*q - 14 = 2*f - f, -12 = d*q - 2*f. Suppose -5*g - 17 - 8 = 0. Is q at least g?
True
Suppose -8 + 133 = -5*m. Are m and -24 nonequal?
True
Let d = 1.06 + -0.46. Which is bigger: -2/5 or d?
d
Let r = -17 + 12. Let c = -5 - r. Does c = 1/12?
False
Suppose -4*z + t + 0*t = 1, 10 = -z - 3*t. Let j = 1.4 + 0.6. Is z at least j?
False
Let a be 8/(-6)*(-6)/4. Let o be 4/(-18) - (-6)/27. Is a greater than or equal to o?
True
Let g = 16 + -24. Let c be g/6*(-5 + 11). Let h = 5 + c. Which is greater: -2/3 or h?
-2/3
Let o = 0 + 2. Suppose -1 = s - o*s. Which is greater: s or 4?
4
Let l(f) = 4*f - 2. Let j be l(1). Let h = 1 - 1. Is j smaller than h?
False
Let s = 1 + -2. Let m = -3 + s. Let j = 4 + m. Which is greater: j or 0.1?
0.1
Let l be (1/(-22))/((-273)/14). Let c = l + -1306/8151. Which is smaller: 0 or c?
c
Suppose 2*c + c = 0. Is 0 at most c?
True
Suppose -10 = l - x, 0 = 5*l + 5*x + 24 + 6. Let i be l/5 - 2/5. Let r be ((-4)/(-6))/(i/(-3)). Are 0 and r non-equal?
True
Let j = -6 - -13. Suppose 0 = -2*x + j*x + 10. Is -2 less than x?
False
Let t = -53.5 - -42. Let q = -0.5 - t. Let a = q + -8. Which is smaller: 0 or a?
0
Suppose 10 + 28 = 2*j - 2*n, -2*j 