
Let n = 120348603797/6880 - 17492530. Let k = 16/43 + n. Let z = -333/2080 - k. Which is smaller: z or -1?
-1
Let c = 796 - 1637/2. Suppose 29 = 2*r - 15. Let i = r + c. Is 0.2 less than i?
False
Suppose -n = -0*n. Are n and 4/9 nonequal?
True
Let x = -95 + 94. Which is bigger: x or -20/21?
-20/21
Let q be (-2)/(((-4)/(-6))/1). Let v be 10/14 + q - -2. Let h(u) = u - 1. Let n be h(0). Is v bigger than n?
True
Let s = 0.4 + 3.6. Let b = s - 3.9. Which is smaller: b or -0.04?
-0.04
Let i = -21/76 + 1/38. Let r = -1 + 1.1. Are i and r unequal?
True
Suppose 5*p + 75 = -5*y, 0*y + 6 = -2*y. Is -13 greater than p?
False
Let z = 268/455 - -1/91. Suppose 2*l - 15 = -3*s, 0 = 4*s - 5*l + 1 + 2. Suppose 5*r - 1 = 3*t + 21, -s*r + 15 = 0. Which is smaller: t or z?
z
Let a = -38 - -41. Which is smaller: 0.2 or a?
0.2
Let y = 1 + 1. Suppose y*a + 7 = -r - 3, 3*r + a = -5. Which is smaller: 1/5 or r?
r
Suppose -10*t + 42 = -12*t. Let j be ((-2)/t)/((-4)/6). Which is greater: -2 or j?
j
Let c = -0.56 - -0.6. Let b = -0.04 + c. Is b < 6?
True
Let r be (-18)/15 - (-3)/15. Is r not equal to -1?
False
Suppose -4*p + 0 = 8. Let b = 1 + p. Is b not equal to 0?
True
Let b = -45/11 - -1542/385. Which is bigger: b or -1?
b
Suppose -2*s = -i - 8, -i = -s + 7 + 3. Does i = -13?
False
Let m(b) = -b**2 + 3*b - 3. Let v be m(5). Let u be 152/26 - 2/v. Let z be (0 + 3)*10/u. Which is greater: 4 or z?
z
Let u be 58/30 - (-8)/(-6). Which is smaller: u or 0.2?
0.2
Let d(j) = j**3 + 8*j**2 + 7*j - 5. Let i be d(-6). Let m = 21 - i. Is -21/4 <= m?
True
Let q be 2 + 32/(-14)*1. Let s = -3.05 + -0.02. Let c = s - -0.07. Is q less than c?
False
Let n = 6 - 3. Let y = -89 - -91. Suppose -y*m + 3*m - n = -j, -2*j = 5*m - 21. Are j and 2/5 equal?
False
Suppose -5*q + 15 = -10*u + 5*u, -2*q + 6 = 0. Suppose -x - 47 - 34 = u. Let p be -5*(1 + x/75). Does p = 1?
False
Let a = 0.3 - 0.2. Let i = a + 0. Let h = 0.1 + i. Is 1 smaller than h?
False
Let d = 21 - 12. Suppose 0 = h + 4*h - 40. Let p be h/6 + (-6)/d. Which is smaller: p or 1?
p
Let k = -12 + 12.7. Let n = -0.3 - k. Are 2 and n nonequal?
True
Let s(y) = -y**3 + 3*y**2 + 8*y - 9. Let u be s(4). Is u >= 4?
True
Let r be -2 - (15/(-4) - -2). Let x be (4/6)/(84/36). Which is bigger: r or x?
x
Let m(i) = -i**2 + 7*i - 1. Let a be m(5). Let z(l) = l**3 - 7*l**2 + 6*l + 8. Let v be z(6). Is v greater than a?
False
Suppose -4*c + 22 = -10. Which is smaller: c or 16?
c
Let k = -16 - -14.5. Let b = 10.5 + k. Which is smaller: b or 1?
1
Let p(s) = -s**2 - 2*s + 2. Let f be p(2). Let i = 32/13 - 233/26. Is i bigger than f?
False
Let p = 8 - 6. Let q be (-4)/6 - (-10)/15. Is p less than q?
False
Let b be (5/3 + -2)*-6. Suppose b*v = -2*v - 12. Let l be (2/4)/((-1)/8). Which is smaller: l or v?
l
Let g = 22 - 83/4. Which is bigger: 2 or g?
2
Let t = -0.4 + 0.7. Let b = 0.2 - t. Let y be 10/18*2/5. Is b less than y?
True
Let x = 11/3 - 4. Let w = -3 - -9. Let v be (-2)/5 + w/(-10). Is x greater than or equal to v?
True
Let w = 54/7 - 979/126. Which is greater: -1 or w?
w
Suppose -d = -4*d, -5*l - 20 = 2*d. Do -5 and l have the same value?
False
Let n = -12 - 25. Which is greater: n or -0.1?
-0.1
Let a(s) = s**2 - 6*s + 4. Let h be a(5). Let k(n) = -n**3 + n - 2. Let p be k(-2). Let o be (-6)/4*p/(-45). Which is bigger: o or h?
o
Let d(k) = k**2. Let o = 8 + -6. Let b be d(o). Let r be (-8 - -7)/((-46)/b). Which is bigger: r or -1?
r
Let u(s) = s**2 + 6*s + 4. Suppose 0 = -g - 0*g - 5. Let t be u(g). Do t and -1 have the same value?
True
Let a be (-6)/(-2) - 65/21. Is a at most -1?
False
Suppose -8 + 3 = -5*g. Let x be 1398/14 + 0/(-2). Let u = x - 100. Is u <= g?
True
Let r(z) = z**3 + 5*z**2 + 5*z + 4. Let c be r(-4). Suppose c = q - 2 + 4. Suppose -2*t = -0*b + 3*b - 13, 0 = 2*b - 4*t + 18. Is b > q?
True
Let r = 0 - -5. Let w = r + -2.9. Let a = w + -2. Which is smaller: -1/3 or a?
-1/3
Let b = 52 - 417/8. Is -1 less than b?
True
Let t(r) = -r**2 + 5*r + 7. Let q be t(6). Suppose 2*k = -q + 3. Suppose -2*w - 1 = -5. Is k greater than w?
False
Suppose -3*x = p + 2, x - 3*p = 4*x + 12. Let z be 2 + (0 - 1/2). Is x >= z?
False
Let x = 45 + -36. Which is smaller: x or 6?
6
Let x = 0 + 0.3. Let r = -17.3 - -16. Let s = r + x. Which is smaller: s or -2/5?
s
Let s(h) = h**2 - 4*h + 1. Let i be s(2). Is -2 not equal to i?
True
Let i(y) = 2*y + 4. Suppose -3*v - h = 5, 2*h = -4*v - h. Let f be i(v). Suppose -2*q + 26*q + 72 = 0. Which is smaller: q or f?
q
Let q = 6 + -4. Let r = -0.23 - -0.03. Is q at most as big as r?
False
Suppose -w - 60 = -2*w. Let k be 44/w - (-2)/(-5). Let g(j) = -j**3 + 5*j**2 + 6*j. Let c be g(6). Which is smaller: c or k?
c
Let b = 1 + 0. Let v be (4/2)/(-1) - b. Suppose -y + 6*w - 17 = 3*w, 0 = 4*y - w + 13. Which is greater: v or y?
y
Let t = 5 - -1. Suppose -3*p + 0*p - t = 0. Is p less than -3?
False
Suppose 3 + 2 = -5*a. Let p = -815/7 + 116. Which is greater: a or p?
p
Let n be 3*((-4)/3 + 1). Is n bigger than 3/35?
False
Suppose -2 = 2*x - 0. Let m be (-1)/(-2*1) + x. Do m and -1 have different values?
True
Let r = 39 - 38.9. Which is smaller: r or -6?
-6
Let a be (-1 + 3)/(62 - 4). Is 0 != a?
True
Let n = -5 + 1. Let o = -3 - n. Let p = 0.2 - 0. Is o at most p?
False
Let i = 3 - -1. Let b be 2/(4/108*-3*-9). Is b >= i?
False
Let u be ((-16)/(-104))/(2/1). Which is smaller: 1 or u?
u
Let r = 1.6 - 15.6. Let k be (-33)/(-44)*4/6. Which is bigger: r or k?
k
Let h(k) = k - 22. Let t be h(7). Which is bigger: t or -13?
-13
Let j(l) = l**3 + 6*l**2 - l - 4. Let s be j(-6). Suppose y + 3*b - 12 = s*y, 4*b = 2*y + 16. Which is smaller: 1/9 or y?
y
Let z be -1 + ((-20)/(-8) - 2). Which is bigger: 1/6 or z?
1/6
Let x = -17 + 18. Let i be 16/7 - 4/14. Which is greater: x or i?
i
Suppose 3*r - 16 - 5 = 5*m, 5*r + 3*m = 35. Let x = -4 + r. Let z be ((-46)/14 + x)*-7. Are z and 2 non-equal?
False
Let k be -18*8/(-48) + 4/(-2). Which is bigger: -4/37 or k?
k
Let i = -4 - -9. Suppose 5*q + 10 = d - 0, -2*q - i*d = 31. Suppose 3*t = -4*a + 3*a - 10, 5*t = -4*a - 19. Is q at least t?
True
Let r be 1/3*3/(-4). Let j be (1 + -2)/1 + 5. Let n be 2*(-2 - (-10)/j). Which is smaller: n or r?
r
Let r = -169/4 + 42. Suppose 5*c = -5*w + 25, -2*c + 5*w = 18 + 7. Which is smaller: r or c?
r
Let z = -6 + 8. Suppose 166 = -4*q - z*o, 3*q + 61 = -5*o - 60. Let a be (8/q)/((-2)/(-3)). Which is bigger: 0 or a?
0
Let z be -2 + 2 + 72/6. Let g be (-1)/z*2*-6. Are g and 2 equal?
False
Let m be ((-36)/54)/(1*-1). Is m < 3?
True
Let i be 18/(-8)*(-7)/((-1281)/2). Is 1 greater than or equal to i?
True
Let u be 4 + (-1 + 1)/2. Suppose 0*d - 6*d = 42. Let m = d + 12. Which is smaller: u or m?
u
Suppose -1 = 2*l - 3*v + 1, -2 = 3*l - 5*v. Is l at least as big as -5?
True
Let l(p) = -8*p**2 - 3*p - 2. Let r be l(-2). Let y = 136/5 + r. Which is greater: 0.1 or y?
0.1
Let x be 2/(-6) + (-10)/6. Let o(c) be the third derivative of c**4/24 + 10*c**2. Let i be o(x). Is i >= -1/5?
False
Let x = -1411 - -1407. Suppose -6*i + 2*i = 0. Is i < x?
False
Let c = 39 + -39.7. Is c less than -3?
False
Suppose -8*f + 15 = -3*f. Suppose -f*i - 5 = 3*z + 1, -i + z + 6 = 0. Is 1 greater than i?
False
Let n(f) be the third derivative of -f**4/24 - 13*f**3/6 + 6*f**2. Let d be n(-14). Let g be -1*(-2)/(-8)*-3. Is d smaller than g?
False
Let g = -1279956199489/12915 + 99106171. Let x = 10/287 + g. Is x at least -1?
True
Let m(a) = 3*a - 42. Let q be m(14). Is q <= -0.5?
False
Let y = 15 - 27. Which is greater: -1 or y?
-1
Let b = -1.5 + 3.5. Is -7 != b?
True
Let t = -2 + 4. Suppose 8 = t*h + 2*h. Is h equal to 4?
False
Let w = -11 - -6. Let d be 8/(-20) + (-12)/w. Is d at most 2?
True
Let k(s) = -s - 9. Let r(g) = -g - 9. Let d(v) = 5*k(v) - 4*r(v). Let a be d(-7). Which is smaller: a or -7/5?
a
Suppose -3*z + z + 15 = -5*q, q + 42 = 3*z. Let c be 6/z + (-144)/(-15). Is c greater than 10?
False
Let l = -1628/7 + 232. Which is smaller: -1 or l?
-1
Suppose -2*h + 7*h + 2*f - 15 = 0, 0 = -5*h - 5*f + 15. Let g be -3 + 3/(h/2). Let j = -1201/7 - -171. Is g greater than or equal to j?
False
Let w = -3 - -4. Suppose 2*p - n + 3 = 0, 3*p - 2*n = -n - 2. Let g be p*(-1 - 1)/8. Which is smaller: w or g?
g
Let b = -173 - -174. Suppose f + 63 = 2*f. Let h be 32/f - (-2)/(-7). Which 