8 = -2*d - 4*h, 343*h - 339*h - 4 = 0. Which is bigger: 1386/13 or d?
d
Let u = 793.5 + -791.5. Let m = 117/1666 + -1/34. Is u bigger than m?
True
Let z(h) = -11*h + 76. Let a be z(-5). Let t = 109 - a. Is -22 at most as big as t?
True
Suppose 3*f = 5*f + 98. Let d be (147*(-1)/28)/(3/28). Is f at least d?
True
Suppose -12 = -3*b - 283*w + 280*w, 0 = b + 4*w + 5. Which is bigger: b or -1/492?
b
Let v = 0 + 1. Let a = 9 - 7.7. Let q = -1.45 + a. Does v = q?
False
Let u be ((-102)/(-30) + -3)*(-43)/4. Suppose -22*w - 84 = 6*w. Is u equal to w?
False
Let v be 12*3/(4 - -2). Let s be 2 - 215*v/555. Which is bigger: s or -1?
s
Let d = 226 + -221. Suppose d*u - 15 = 5*q, -2 = 5*u - 3*q - 11. Is u != 119?
True
Let j be (21/(-3))/(29 + -34). Which is smaller: 2/15 or j?
2/15
Let r(b) = -14*b - 12*b**2 + 2*b + b**3 - 9 - 6. Let x be r(13). Let m be 0/(-6*x/4). Which is greater: m or -2?
m
Let r = -314 + 317.5. Is 26.2 < r?
False
Suppose -n = b - 14, -5*b + b + 4*n = -16. Suppose 3*x = -b, 4*q = 6*q - 2*x - 24. Let g(s) = -s**2 + 7*s + 16. Let l be g(q). Do l and 4 have the same value?
False
Let y be (2/(-3340))/(-4*(12 + 0 - 13)). Which is smaller: 0 or y?
y
Let t = -52.33 + 52.23. Let m = -1 + 3.4. Let f = m + 7.6. Which is greater: t or f?
f
Suppose -6*z + 459 = 3*z. Suppose 6*n - 2*n - 57 = 5*f, 0 = -3*n + f + z. Suppose 16*k - 7*k - n = 0. Which is smaller: k or 0.09?
0.09
Let h be 3/((-10)/(50/45)). Which is smaller: 930 or h?
h
Let c(z) = z**3 + 6*z**2 - 2*z + 7. Let l be c(-6). Suppose 5*f - l = -304. Let k = f - -57. Is -7/13 < k?
True
Suppose -2*c + 5 = f, -2 = -f - 4*c + 3. Suppose -3*p - a + 49 = 245, f*p = -4*a - 329. Which is greater: p or -67?
p
Suppose -305*b - 22 = -283*b. Let s be (-1 - -2) + 1 + 174/(-75). Which is smaller: b or s?
b
Let a = 3/361 - -3923/5776. Which is smaller: 4 or a?
a
Suppose -4*a + 349 = 4*c - a, 0 = -3*c + 5*a + 269. Let m be 3/(-2)*c/(-3). Let b be (-1)/(-1) + (m/12 - 5). Is b > 0?
False
Let u = -4087 - -1107. Let a be (-8)/12 + u/12. Is a at most -248?
True
Let l(d) = -270*d**3 - 5*d**2 - d + 14. Let x be l(-2). Is 8621/4 at least x?
False
Let i = -165.338 - -0.338. Let z = -168 - i. Which is smaller: -4/21 or z?
z
Suppose -u - 287 - 187 = -4*a, -2*u = -a + 129. Which is smaller: 126 or a?
a
Let l = 609.2 + -571. Which is bigger: l or -2/3?
l
Let z = 38196 - 25718. Which is smaller: z or 1/3?
1/3
Let p = -0.0571 - -542.0571. Let a = -542.2 + p. Is -19 bigger than a?
False
Let n = 1747/2607 + -3/869. Are -1.318 and n equal?
False
Let l(t) = -t - 8. Let p be l(0). Let s = 1/32987 + -824678/98961. Is s at most as big as p?
True
Suppose -4*u + 5 = -19. Let s be (-22)/(-4)*(-1 - (-45)/15) - 9. Which is smaller: u or s?
s
Let o = 13894758/577 + -24081. Which is smaller: o or 1?
o
Suppose -309*g - 124 + 151 = 336. Let u = -93/1706 - -373639/6979246. Let n = u + 9234/1075933. Are g and n equal?
False
Let p be (-1)/(-3 + (-3)/(-1) - 1). Let v = -22849737/98911439 - -2/147409. Let m = v + 3/61. Which is greater: p or m?
p
Let m = 60006/19 - 719915/228. Let o = m + -2/19. Which is greater: 0 or o?
o
Let x(u) = -u**3 - 5*u**2 + 29*u + 70. Let s be x(-2). Which is greater: -66/181 or s?
s
Suppose 4302 + 3628 = -61*q. Which is bigger: -124 or q?
-124
Let g(z) be the first derivative of z**4/4 + z**3/3 + 3*z**2/2 + 5*z + 7. Let q(l) = -l**2 + l + 17. Let b be q(5). Let c be g(b). Which is smaller: c or -24?
-24
Suppose 0 = -0*a + a + 8. Let b be a*((-7)/(-4) - 1). Let v be (((-185)/(-777))/((-15)/(-168)))/(6/(-9)). Which is smaller: b or v?
b
Let b = -2094 + 14671/7. Let y = -14 - -30. Suppose 0 = 3*l + 5*c + y, 2*l + 2*c = 2 - 6. Is l less than b?
False
Let r(g) = -g**2 - 31*g - 164. Let j(i) = -i**3 + 9*i**2 + 3*i + 45. Let b be j(10). Let h be r(b). Is -17 equal to h?
False
Let v = -1700 - -2209. Which is smaller: 2 or v?
2
Let l(m) = m**3 + 5*m**2 - 5*m - 9. Let p be l(-6). Suppose -891 = 114*v + 2579 - 848. Which is smaller: v or p?
v
Let b = -15 - -26. Let h = -12 + b. Let f = 11/72 + -23/18. Which is smaller: f or h?
f
Let x be ((-44)/(-132) + (-4)/(-6))*(-21507)/(-3). Do 7168 and x have different values?
True
Let g be (-15 + 1)/(-15*(-2)/15). Let l be g/(-42)*(-6 + 0) + 0. Are -1/482 and l nonequal?
True
Let o = -4682 - -2487. Is -2193 at least o?
True
Let w = -16 + 17. Let d = -17075/644 + 609/23. Which is smaller: d or w?
d
Let u be (-76)/(-4)*(-2 + 1). Let s = u + 28. Suppose 6 = s*d - 3*d. Which is bigger: 1/39 or d?
d
Let a = -119.87 - -120.27. Which is bigger: a or -784?
a
Let o be -5 - 1 - (262 - 155). Which is smaller: -131 or o?
-131
Let x = 4/1311 + 143/874. Suppose 254 = -5*g - 46. Which is smaller: x or g?
g
Let o(y) be the third derivative of -y**6/120 - 4*y**5/15 + 3*y**4/4 - 2*y**3 - y**2 - 59. Let p be o(-17). Let b = -60 - -31. Is p equal to b?
True
Let a = -71 - -70.2. Let h = a + -113.2. Which is smaller: h or -3?
h
Let z be 10/20 + 1146/(-1476). Is z equal to 1?
False
Suppose 0 = 3*g + 3, -2*g = 3*r - g + 16. Let c(f) = 24*f - 6. Let p be c(5). Let y be (-38)/p*(13 + -1). Which is greater: y or r?
y
Suppose -5*b = -4*t - 12, -2*b + 5*t - 26 = -6*b. Suppose -303 = -5*i + b*i. Let y = 23939/79 - i. Which is smaller: -1 or y?
-1
Let q = 0.0053 + 74.9947. Let k = q - 77.3. Let w = 1 - 2. Are w and k nonequal?
True
Let u = -37769 - -37767. Let n = -39 + 66. Is n >= u?
True
Let c(u) be the second derivative of 2*u**3/3 + 3*u**2/2 + 179*u. Let o = 1 - 8. Let y be c(o). Is y > -24?
False
Suppose 5*i + 2574 = -4*i. Let x = i - -291. Let n = -0.7 + -0.3. Is n equal to x?
False
Suppose 5*p + 47 + 93 = 0. Let o(m) = -18*m**3 + 4*m + 4. Let d be o(-2). Suppose 4*q = -5*z + 5*q - 140, -4*q = 5*z + d. Is z at least p?
True
Let d be 3/61230*(19 - (14 - 1)). Are 0 and d equal?
False
Suppose 3*w - w + 12 = 0. Let g be (w/5 + 1)*-2. Let b be 1924 + -1920 + ((-43)/15 - 1). Is b greater than or equal to g?
False
Suppose 0 = -7*b + 28 - 7. Let w be ((-44)/(-110))/(b*2/(-15)). Is 3/610 > w?
True
Suppose -2*q = -35*q + 44055. Suppose 1685 = 20*m - q. Is 2/5 <= m?
True
Let y = -6241 - -43516/7. Suppose -a - n = -6*n + 14, -3*a - 3*n - 78 = 0. Which is smaller: y or a?
y
Let f(c) = -2*c + 2. Let r be f(2). Let k be (1791/(-2786))/(-33*2/(-7)). Which is greater: k or r?
k
Let w(n) = -n**3 + 3*n**2 + 6*n + 4. Let t be w(-5). Suppose 4*o = -5*g - 531 + t, -5*o = -5*g - 330. Let y = g - -71. Are y and 2/17 non-equal?
True
Let d(w) = -w + 2*w**2 - 1 - 4*w**2 - 2*w**2 + 8*w**2. Let h be d(2). Suppose h*o - 44 = 125. Which is greater: 63/5 or o?
o
Suppose -74 = 12*d - 50. Let r be (d*16/40)/((-93)/(-15)). Which is smaller: -1/3 or r?
-1/3
Let g(l) = 11*l**2 - 4*l + 9. Let d be g(6). Let t = -23447 + 23827. Does t = d?
False
Suppose 19*g - 25666 + 1411 = 15303. Which is bigger: 2084 or g?
2084
Suppose -4*k + 54 + 106 = 0. Let p = k + -43. Let b be (-3*1/9)/p. Which is smaller: b or -1?
-1
Let u = -17464 - -17463.93. Which is smaller: -30/13 or u?
-30/13
Suppose 3*d = -m + 5, -4*d + 6 - 12 = -5*m. Suppose -80 = 14*r + m*r. Is -7/2 at most as big as r?
False
Let j be (8/14)/(5508/(-189) + 29). Is -252/67 >= j?
True
Let a = -25 - -25.029. Let n = a - 35.029. Let j = -38 - n. Which is smaller: j or 5?
j
Suppose 14*s - 17*s = -282. Suppose b = r + s + 39, b = 2. Let c = -126 - r. Which is smaller: c or 39/8?
39/8
Let a = 7.8 - 5.8. Let f be 3*(-42)/(-27)*(-352)/462. Is f smaller than a?
True
Let f be (-132)/(-1122) + 106/(-17). Let r = f + 278/51. Which is smaller: r or 0.038?
r
Let d be 0/2*1 + 28390/(-167). Does -168 = d?
False
Let h(j) = -46*j - 51. Let d be h(-4). Let f = d - 129. Which is greater: 0.6 or f?
f
Let c = 1582 - 7908/5. Which is bigger: c or 3/2254?
c
Let a = -7.65 - -6.16. Let c = a - -1.49. Let p = -0.3 - -0.1. Are p and c equal?
False
Let x = -161/4 - -39. Let o = 4 - 3. Let c(k) = -3*k + 1. Let p be c(o). Are p and x equal?
False
Let j = -1996 + 1998. Let f be (2/3)/((-36)/(-42)). Which is smaller: f or j?
f
Let p = 15.531 - 15.6. Let m = p - -25.069. Let h = m + -26. Is h at most as big as -1?
True
Suppose 816*n + 11*n = 84*n + 2229. Suppose -5*t - 1 + 31 = 0. Which is smaller: t or n?
n
Let r = 233 - 237. Let p = 0.4 - -0.3. Let z = p - 0.7. Are r and z equal?
False
Let p(f) = -9*f**3 - 423*f**2 + 1. Let q b