s b?
True
Let o(q) = q + 4. Let x be o(3). Let j = x + 5. Is j <= 12?
True
Let i = 12 + -8. Suppose 4*r - 4*c + 12 = 0, 7*r = 2*r - i*c + 12. Suppose 3*x + 3 = -r. Is -2 at most as big as x?
True
Let n = -999 + 1098. Which is smaller: n or 0?
0
Suppose 5 = 2*h - 3*a + 3, -2*a = -h + 1. Let l be 4/(-18) + 3813/4158. Let w = l - 9/22. Which is smaller: h or w?
w
Let u be (2 - 1)/(2/(-6)). Let k be (-7)/14 - 303/6. Let t = k - -193/4. Which is smaller: t or u?
u
Let q = -9.27 + 8.73. Which is greater: -2/5 or q?
-2/5
Let r be (4 - 8) + 1/(124/532). Which is bigger: r or -1?
r
Suppose 2*t = 3*t. Let o = t + 1. Let u = 99/182 - -5/182. Is u bigger than o?
False
Suppose -2*p + 16 = -0*p. Let f be (2/(-2))/(-23 + 22). Is p greater than or equal to f?
True
Let d = -199 - -201.86. Let n = d - -0.14. Let l = -0.2 - -0.2. Which is greater: l or n?
n
Let b(t) = t - 2. Let j be b(-4). Suppose 5*a = z + a + 10, 5*z - 4*a = -2. Suppose q + 3*q + 20 = z*r, 4*r = -3*q - 37. Which is smaller: j or q?
q
Let k = 77 + -131. Let r(i) = i**2 + 49*i + 589. Let n be r(-21). Which is smaller: k or n?
k
Suppose -2*h + 3 + 5 = -2*a, 2*a - 10 = -4*h. Let n be -15*4/(-36)*h. Suppose 4 = -n*x - 1. Which is smaller: -7/5 or x?
-7/5
Let z = -7 + 19. Suppose 0 = -3*j + 6*j - z. Let f(d) = -d**2 - 5*d - 3. Let p be f(-2). Which is greater: j or p?
j
Let v = 236 - 236. Let i be 0 + 2/(-62)*-4. Which is greater: v or i?
i
Suppose j - 5*s - 6 = 0, 8 = -s + 11. Which is smaller: j or 23?
j
Let y = 42.4 + -42.5. Is y at most as big as -230?
False
Suppose -17*b = -220 - 324. Does 30 = b?
False
Let l(o) = -o**2 - 18*o - 11. Let p be l(-17). Suppose -r - 2*r = p. Let v be (-114)/70 - r/10. Is 0 equal to v?
False
Let c = -42 - -44.2. Let u = -1.7 - -4.1. Let g = u - c. Which is greater: 3/5 or g?
3/5
Let u(g) be the first derivative of -g**4/4 - 4*g**3 + 13*g**2/2 + 15*g + 15. Let b be u(-13). Which is bigger: b or 13?
b
Let a be 5 + (-9)/(4 + -5) + 6. Let m be (-422)/(-20) - 2/4. Which is bigger: a or m?
m
Let q = 73 - 73.15. Let m = 1 + -0.95. Let j = q + m. Which is bigger: j or 12?
12
Let v(r) = r**3 + 6*r**2 - 3*r - 14. Let j be v(-6). Let c be 0 - (j/41)/(-2). Are -1 and c unequal?
True
Let m = -2/221 + -125/10608. Is -1 bigger than m?
False
Suppose -5*g = -4*g - 2*m + 60, 202 = -3*g - 5*m. Which is smaller: -327/5 or g?
-327/5
Suppose 89*h = 72*h. Let g = -1829 - -20106/11. Do h and g have different values?
True
Let o be (-2)/3*27/(-2). Let n(i) = 7*i - 7 - i + i - o*i. Let m be n(-3). Is 1/12 greater than m?
True
Let q = -166409498924 - -4309173973528672/25895. Let t = -2/25895 - q. Let b = t - 43. Is 1 smaller than b?
False
Let w = 403/12 - 137/4. Is -29 at most as big as w?
True
Let f be (-92)/36*3*3*(4 + -5). Let a(y) = -y**2 + 9*y + 6. Let p be a(6). Which is smaller: p or f?
f
Let k be 3*(-4 + 3) - -6. Let o be ((-40)/(-12))/((2/k)/(-2)). Which is smaller: o or -13?
-13
Suppose -54*p - 30*p = -8*p. Are -1.51 and p unequal?
True
Let c be 3 + -2 - 5 - (-108)/24. Is c less than -189?
False
Let s be 1/((-6)/2 + (-116)/(-87)). Let a = 1109/7 + -158. Is s smaller than a?
True
Suppose 91 = 654*o - 661*o. Which is greater: -2 or o?
-2
Suppose 2*s + 16*s = 18. Which is smaller: -6/101 or s?
-6/101
Suppose -14*q - 5*t - 17 = -18*q, 35 = 4*q + t. Is 23 bigger than q?
True
Let v = -11675 - -572119/49. Is v smaller than 0?
False
Suppose -6 = -4*x - 2. Let b be ((-34)/102)/(32/6). Is b > x?
False
Suppose -97 = -5*z - 102. Does z = -2/513?
False
Let a = -13 - -20. Suppose 4*h - a*h = -6. Suppose -2*g = -h*j, g - 3*g + 9 = j. Which is greater: 2 or j?
j
Let p(m) = -80*m**2 - 84*m**2 - 4*m + 165*m**2 - 1. Let h be (10/(-4))/((-2)/4). Let o be p(h). Is o at most as big as 8/3?
False
Let k = 16.6 + 0.4. Let x = -16.1 + k. Let d = -5.9 + x. Which is bigger: 0 or d?
0
Let l = 10 + 4. Let z be 976/l + 16/56. Let r = 98 - z. Is r < 28?
False
Let k(v) = v**3 - 4*v**2 - 10*v + 9. Let r be k(6). Let o be 190/(-4 + r/6). Let h be 16/o*(-10)/(-4). Which is smaller: h or 0?
h
Suppose 0 = -4*w - 0*w. Let a(i) = i + i + 2 + w*i. Let p be a(2). Which is smaller: 5 or p?
5
Let t = -3.17 - -3.37. Is -1/23 <= t?
True
Let d = -15.64 - -16. Let c = d + 0.14. Let f = c + -2.5. Are f and -0.5 equal?
False
Let k be 18/(-5)*2945/(-62). Let f be 0 + k/(-58) + (2 - -1). Is 0 > f?
False
Let l be 3 + 0 + (-2)/2. Let x = l + 1. Suppose -24 = -9*n + 3*n. Is x at least n?
False
Let g(c) be the first derivative of c**3/3 - 15*c**2/2 + 5*c - 13. Let m be (-2 - -5)/(2/10). Let o be g(m). Is 5 bigger than o?
False
Let w = 1 - 0. Let i be (-4)/((-3)/3*15). Let q = -3/5 + i. Is w equal to q?
False
Let c(x) = x**3 + x**2 + x + 351. Let h be c(0). Let i be 3*((-1406)/h + 4). Which is smaller: i or -1?
-1
Let z be 5 + (92/(-24))/(1/(-6)). Is 29 > z?
True
Let g = 215 + -180.44. Let s = g - -0.44. Let y = s - 33. Which is smaller: y or 1?
1
Let y = 0.3 - 0.1. Let f = y + -0.1. Let l be 10 + (-10)/((-160)/(-168)). Which is bigger: l or f?
f
Let p be ((-104)/(-84))/(-8 + 3 - -25). Is p less than 1?
True
Suppose 105 = 3*o + 441. Let q be (-8)/2 - 450/o. Is q > 1?
False
Suppose -4*n + 14 - 2 = 0. Suppose n*h + 40 = -h. Let j be (2 - 3)*(-35)/h. Is -3 greater than or equal to j?
True
Suppose 9*r = -111 - 456. Which is smaller: r or -64?
-64
Let j = -12 + 20. Let u be (-623)/(-28) + 6/j. Suppose -x - 5*y + u = x, -2*x + 11 = y. Is 3 > x?
False
Let b = 2 - 0. Let j be (0 - b) + 2 + -1. Let q = 288 + -1153/4. Is q >= j?
True
Let z = 4784/9 + -534. Let v = 7793 - 7794. Does z = v?
False
Let l = 40 + -33. Let b(w) = w**3 - 9*w**2 + 12*w + 13. Let g be b(l). Is 7 less than g?
False
Suppose 11 - 46 = -7*z. Let y = 76 + z. Which is smaller: y or 82?
y
Suppose 5*f - 138 = g, 0*g + 148 = -g - 5*f. Which is smaller: -142 or g?
g
Let r be 24635/(-3515) + 12 + (3 - 8). Which is smaller: r or 1?
r
Let r be ((-8)/42)/(99/21 - 5). Are 111 and r equal?
False
Suppose 2*o + 2*o - 24 = 2*m, 5*o - 2*m - 30 = 0. Suppose o = 13*p - 19*p. Is p > -4/11?
False
Let i = -184.9 + 185. Let r = 0.05 - 0.15. Which is bigger: r or i?
i
Let q = 2 - 0. Let z = 98.62 + -100. Let t = -0.38 - z. Which is bigger: q or t?
q
Suppose -x + 13 = 3*n - 19, -3*n + 2 = -5*x. Let l = n + -3. Suppose -2*m = l - 0. Is m at least as big as -2?
False
Let n = 0 + -0.1. Let y = 2.1205 + 0.1795. Which is greater: n or y?
y
Let s be ((-28)/(-3) + -9)/(2/(-6)). Which is greater: s or -2/3?
-2/3
Let s be 5/(-2)*16/40. Are s and 3/8 unequal?
True
Let p = -76/2228275 + 7605724103/18222832950. Let s = p + -1/282. Let n = s - 408/145. Which is smaller: n or -3?
-3
Let w = -25 + 26. Suppose -5*u + 9 = -11, m + w = -3*u. Let l = m + 14. Do -2/11 and l have different values?
True
Let d = 2103 - 1568. Which is bigger: d or 537?
537
Let v be (-8)/((-1)/(3/(-3))). Let q be (-10)/v*20/(-5). Let m be 30/(-4)*(-28)/(-42). Is q bigger than m?
False
Let g = -237/407 - 2/37. Let f = 54 - 56. Are g and f non-equal?
True
Let n be 52/(-2*((-27)/102)/1). Which is smaller: n or 99?
n
Let c = 1.9 - -4.1. Let w = -6 + c. Let m(a) = a - 9. Let s be m(9). Is s at most w?
True
Let s(b) = b + 1. Let j be s(-1). Suppose 2*f = -w - 2*w - 3, 5*w + 2*f + 5 = j. Let a be (1/4)/((-6)/16). Is a < w?
False
Let d be (2 + 3635/(-135))*13*-2. Let r = 648 - d. Is r >= 1?
False
Let f be ((-2)/20)/((-6)/(-915)). Which is bigger: f or -15?
-15
Let i(v) = v**2 - 3*v - 8. Let p be i(6). Let b = -15 + p. Let h(u) = -u**2 - 5*u - 5. Let f be h(b). Is -5 equal to f?
True
Let f(b) = -b**3 - 2*b**2 - b. Let t(v) = v**2 + 5*v + 3. Let j be t(-4). Let w be f(j). Which is bigger: w or -3/23?
w
Let j = -0.92 + 0.74. Which is smaller: -9 or j?
-9
Suppose 0 = -5*v - 0 + 10. Suppose w - v*q - 3 = -0*w, 5*q = -2*w - 3. Let x be (-1)/(-2) - (-84)/(-152). Which is smaller: x or w?
x
Let g = 23 - 1015. Is -991 >= g?
True
Let w = 16/21 - 185/252. Let c(y) = -y**3 - 10*y**2 - y - 11. Let h = -7 - 3. Let a be c(h). Which is smaller: a or w?
a
Let p = 971 + -983. Is -49/4 smaller than p?
True
Suppose 2 = -4*a + 10. Suppose 0 = 2*d + a*d + 8. Let c(f) = f**3 - 3*f**2 + f - 4. Let m be c(3). Is m less than or equal to d?
False
Let s = 8 + -6. Let m = 384 - 383.85. Which is greater: m or s?
s
Let c = -22 - -40. Is 13 greater than c?
False
Let j = 1402 + 