 = h*p + 3*b. Is p >= 26/9?
True
Suppose -4*c + 4 + 4 = 0. Suppose l + c*t = 0, -l + 2*t = -0 - 4. Which is smaller: l or 3/5?
3/5
Let j = -0.096 + -33.904. Are j and -0.1 equal?
False
Let a = 14798 - 88277/6. Which is bigger: a or 86?
86
Let y be (8 - 72/10)*(-2)/(-8). Is y less than -61/15?
False
Let j(k) = 4*k - 39. Let i = -71 - -81. Let m be j(i). Which is bigger: 8/5 or m?
8/5
Suppose -1 = -5*z + 19, 0 = -3*k + 2*z - 173. Let q be -33*((-6)/((-54)/(-21)) + 4). Is q > k?
False
Let b = -6 + -2. Let g be 1*1*-1*(b - -3). Which is smaller: g or 12?
g
Let h = 317 - -71. Is h greater than or equal to 386?
True
Suppose -12 + 0 = -3*q. Suppose 3*r + 7 = m, -2*r + 14 = -0*r + q*m. Is r > 0?
False
Suppose -59 = -4*r + 5. Let s = r + -7. Is 10 bigger than s?
True
Let g(m) = -m**2 - 26*m - 88. Let j be g(-4). Let l be (-7)/6 + 2/4. Are j and l non-equal?
True
Suppose -w - 75 = 4*w. Let s = w - -23. Let h = s - 3. Which is greater: h or 1/3?
h
Let x(j) = -7 - 3 + 8*j + j**2 - 2*j**2 - j. Let c be x(4). Which is smaller: 18/7 or c?
c
Suppose 6*y - 3 = 3*y. Let a be 1 - (2/7 - (-211)/315). Is y < a?
False
Let w = -10349/7 + 1473. Is w >= -5?
False
Let t(c) = c - 7. Let u be t(-5). Let b(o) = 2*o - 9. Let f be b(-9). Let q = 15 + f. Are q and u non-equal?
False
Let l(p) = -2*p - 3. Let t be l(-4). Let s(x) = -6 + t - 3 - x. Let y be s(-4). Does 18 = y?
False
Let n = -31 - -25. Let x be n/(-18) - 13/12. Which is bigger: 0 or x?
0
Let v = 1967 - 1947.3. Is -0.1 > v?
False
Let p = -10 + -5. Let k be 6/24*(p + 2). Which is smaller: k or -2?
k
Let c = -1 + 0. Let t be 4 + 8 - (-23 + 13). Which is smaller: c or t?
c
Let z(m) = -m**3 + 5*m**2 + 10*m - 5. Let o be z(7). Let u(b) = b**3 - 7*b**2 - 11*b - 7. Let a be u(8). Is a smaller than o?
False
Let f(t) = t + 1. Let y(q) = 8*q**2 - 4*q - 1. Let k(s) = 2*f(s) + y(s). Let m be k(1). Is m at most 9?
True
Let x = -25/11 - -453/209. Is -1 equal to x?
False
Let v = -14 + 14. Suppose -4*u - 3*q = 759, -7*u + 3*u - 2*q - 758 = v. Let b be 2/(-8) + u/140. Is b not equal to -1?
True
Let v be 3/1*(-5534)/42. Let x = v - -396. Let r be ((-2)/4)/(20/(-40)). Which is greater: r or x?
r
Let t be (-3)/(-24)*6 + (-122)/152. Let j = t + -15/76. Which is smaller: -1 or j?
-1
Let v = -1 + 5. Suppose 2*y - v*y = -5*w + 7, -w + y = 1. Suppose -3 - w = -2*s. Which is smaller: s or -3?
-3
Let a be (-11 + -1 + 5 + 3)*102/476. Suppose -6*y + 5*c = -4*y - 18, -c = -4*y. Let f be y + 2 + (-1 - 1). Which is smaller: a or f?
f
Let p be (-18604)/22 - (24 - 23). Let c = p + 846. Is c bigger than 0?
False
Let o(v) = 11*v + 0*v**3 + v**3 - 12*v**2 - 8 + 5. Let h be o(11). Let s be (1/(2 + h))/(-1). Is 6 > s?
True
Let l = -7 - -7. Suppose -3*q + 2*a + 81 = 0, l = 5*q - 2*a - 48 - 87. Is q bigger than 0.1?
True
Suppose -104 = 7*m + 29. Is m > -37/2?
False
Let b(l) = -6*l**2 + 24*l + 1. Let d be b(4). Is d < 23/33?
False
Let g be -1 - -7 - -1*1. Let n be (630/(-54) - -13)*(-18)/(-4). Which is smaller: n or g?
n
Let s = 1834.9 - 1835. Is s greater than or equal to -0.05?
False
Let x be (-55)/(-60) - (-4)/(-16). Let u(w) = w - 3. Let a(n) = -2*n + 1. Let o be a(-2). Let h be u(o). Which is smaller: x or h?
x
Suppose -7 = -5*n - t + 68, n = 2*t + 26. Suppose 8*u + 0*u - n = 0. Suppose -p = u*p + 2*x - 10, 2*p - 4*x = -20. Is -6/5 smaller than p?
True
Let z be (24/(-36))/((-2)/(-117)). Let h be (-4)/(-10) + 6/(-15)*z. Which is smaller: 15 or h?
15
Let j = 3823 + -61201/16. Which is smaller: -3 or j?
-3
Let n = -188 - -244. Is n less than or equal to 60?
True
Suppose 2*j = 5*r + 174, 2*r = -j + 5*j - 76. Let c = r + 34. Are c and -2/17 nonequal?
True
Let a(c) = -c**3 - 12*c**2 - 11*c + 5. Let v be a(-11). Let n = v + -5. Suppose b + 2 = f, 4*b + n*f = 3*f - 6. Which is greater: -10/9 or b?
b
Let k(z) = -31*z - 53. Let w be k(-3). Is 39 bigger than w?
False
Let u = 48 + -41. Suppose 11*y - u*y = 0. Which is smaller: -1 or y?
-1
Let c(p) = 2*p**3 + 37*p**2 - 31*p - 51. Let l be c(-19). Is 178 smaller than l?
False
Let g(v) = -v + 7. Let k be g(-12). Suppose -22*z + 12 = -k*z. Suppose -a = z*a. Which is smaller: a or 2/3?
a
Let o = 88 + -84.3. Let u = -3.71 + o. Is 2 at most u?
False
Let b(j) be the second derivative of j**4/12 + 7*j**3/6 - j**2 + 2*j. Let t(s) be the first derivative of b(s). Let n be t(-8). Is n at least as big as 0.1?
False
Let z = 139/3 + -46. Let u = -13.1 - -12. Let s = u + 2.1. Is z greater than s?
False
Let d = -27 + 30.16. Let c = d + -3.2. Which is smaller: c or -0.1?
-0.1
Let s = 32 + -13. Let m = s - 22. Which is smaller: m or 5?
m
Suppose 20 = 4*o - h, o - 20 = -3*o - h. Suppose -2*w = -58 + 2. Let q = -24 + w. Is o equal to q?
False
Let t = -499.31 - -504. Let w = t - -0.31. Let k = -146/3 + 48. Is w smaller than k?
False
Let w(k) = k**3 - 11*k**2 + 19*k - 10. Let t be w(9). Which is greater: -1/274 or t?
-1/274
Let b be (-3)/104*560/(-840). Let d = -2 - -3. Which is bigger: d or b?
d
Let a(t) = 6*t. Let v be a(-2). Let k = -23 - -12. Which is greater: k or v?
k
Let l = -4106.8 - -4107. Let t = 2.5 - 3. Is l <= t?
False
Let v be 6604/(-221) + (-2)/17. Let s = -64 - v. Let x = s + 37. Is 3 smaller than x?
False
Let d(y) = -y**3 - 8*y**2 - 2*y - 5. Let p(a) = a - 9. Let b be p(3). Let l be d(b). Which is smaller: -66 or l?
-66
Let u(k) = -k**3 + 17*k - 4. Let c be u(4). Which is greater: 3/175 or c?
3/175
Suppose 2*q - 120 = -h - 0*q, -5*h + 640 = 2*q. Let l be (-5)/(-9)*13/(h/(-4)). Which is smaller: 1/2 or l?
l
Let q(i) = i + 11. Let u be q(-6). Suppose 0 = u*z - 8*z - 12. Let f be (-1)/(1/z + 0). Which is bigger: f or 6?
6
Let l be (-12)/(-2)*(-99)/45. Are -14 and l nonequal?
True
Let r = -3 - -2. Let s = -39527287/295610 + 1/42230. Let u = 134 + s. Do u and r have different values?
True
Let v = -388 - -394.96. Let h = 1.04 - 1. Let k = h + v. Which is smaller: -1 or k?
-1
Let v = 43.1 + -42.8. Is -5.2 smaller than v?
True
Let w be 6/4*170/(-255). Is 2/385 less than or equal to w?
False
Let b = 814 + -813. Which is smaller: b or -67.6?
-67.6
Let h = 392 - 4309/11. Let k be 1*2*(6 + 165/(-30)). Is h greater than or equal to k?
False
Suppose 0 = 5*s - 2*h + 6, -3*s - 20 = 4*h - 6. Let q = -319/20 - -76/5. Is s less than q?
True
Let f be (32/(-8))/(1/(-1)). Suppose 7*h - 126 = f*h. Let m be (-29)/h + (-6)/36. Is m < -1/3?
True
Let w = 189 + -189. Are 7/8 and w non-equal?
True
Suppose 0 = 4*k - 7 + 19. Let l be (90/(-28) - k)/(-3). Suppose 0 = 5*f + 4*p - 3, -3*p + 4*p = 2*f + 4. Which is smaller: l or f?
f
Let x be (1 - 0)*1 - -10. Let n be (10/(-4))/((-5)/10). Suppose 5*l - 60 = -0*f + n*f, -2*l = -3*f - 24. Is l <= x?
False
Suppose -5*f - 3 = 4*y - 5*y, 15 = 5*y + 3*f. Suppose 2*b + y*b + 35 = 5*m, 3*b + 21 = -3*m. Which is smaller: b or -3?
b
Suppose 54*k = -599 - 4747. Which is greater: k or 2?
2
Let g be 69*(2 + 1736/(-876)). Which is bigger: g or 1?
g
Suppose 4*b - 54 = -2*n, 3*b - 4*n + n = 36. Let o = -990 - -1003. Are b and o unequal?
False
Let g(s) = 45*s**2 - 3*s + 1. Let t be g(-1). Suppose 0*n - 14 = u - n, -5*u - t = 2*n. Which is smaller: u or -8?
u
Let h = 12968/10241 + 6/931. Which is bigger: 12 or h?
12
Suppose 23 - 47 = -12*v. Let j(t) = -t**3 + 5*t**2 - 3*t. Let y be j(4). Suppose 0*m + 34 = y*m - v*u, 0 = 3*m - 2*u - 25. Which is greater: 10 or m?
10
Let o = -48 + 48.073. Let k = 3.073 - o. Do -4 and k have the same value?
False
Suppose -4*o + 2*o = -10. Suppose -13 = -n - 5*f, -o*f = -6 - 4. Let p be (4/n)/(68/6). Does p = -1?
False
Let m = -0.055 + -0.545. Are m and -7 unequal?
True
Suppose -21*u + 41496 = 57*u. Which is greater: 531 or u?
u
Suppose -10*l + 1402 = -1678. Is 308 bigger than l?
False
Suppose 5*w = 3*t - 20, -3*t + w + 20 = -8. Suppose -t*c - 313 = -3. Which is greater: c or -30?
-30
Let m be 25 + 4 + 3 + -4. Let t = m - 88/3. Let o(n) = -n**3 + 12*n**2 - 12*n + 10. Let x be o(11). Is t > x?
False
Suppose -2*q = -q. Let s(o) = -21*o + 1. Let m be s(-1). Let c be (-1 + 0)/(m/(-4)). Which is bigger: q or c?
c
Let b be (-2)/(21/(-27) - -1). Let z be (-5 - -7) + -1 + 5/b. Which is greater: 0.1 or z?
z
Let s(b) = -b**2 - 6*b - 5. Let p be s(-5). Let z(q) be the first derivative of q**4/4 + 5*q**3/3 + 4*q**2 + 7*q + 2. Let u be z(-3). Is p != u?
True
Let a = 241 - 214. Is a at most 83/3?
