 be (-1 - 4/12)*531. Is -709 less than h?
True
Let w be (-4)/2*(3610/(-20))/19. Is -1/6 bigger than w?
False
Suppose 0 = 2*a - 6, a + a = -5*c - 59. Which is greater: c or -59/5?
-59/5
Let x = 6 - 7. Let z be 42/(-24) - (x - 1). Let u be (-9)/(-6) + 15/(-10) + -1. Are u and z equal?
False
Suppose 0 = 22*g + 142 - 32. Which is smaller: g or -0.13?
g
Let r be (-24)/5*(-7)/((-28)/(-30)). Suppose 0 = -2*t - 16 + r. Suppose 0 = 5*b - 37 - 23. Is b > t?
True
Let o be (-11)/((-132)/189)*2*2. Let z = 62 - o. Is z greater than 1?
False
Suppose 2*b + 200 = 5*g, g - b - 28 = 15. Let t be ((-16)/g)/(1 + 1). Suppose 0 = 4*v - 2*k - 8, 0 = -5*v - k - 12 + 15. Which is smaller: t or v?
t
Let o = -40.62 - -25.85. Let m = o - -15. Is m <= 1?
True
Let x(r) be the second derivative of -r**3/6 + r**2/2 - 23*r. Suppose -2 = 2*c - 0*c + 4*f, 11 = 5*c + 2*f. Let d be x(c). Is 0 at most as big as d?
False
Let g(f) = f**2 + 14*f + 15. Let i be g(-13). Suppose u - i = -4. Which is greater: -10/3 or u?
u
Let y be 5/(15/(-6))*10. Let h be -4 + 5/(y/(-24)). Which is smaller: 10/13 or h?
10/13
Let f = -8 + 5. Let x be 1 + f + 6/8. Is x at most as big as -1?
True
Let p be 3*(-4)/(56/6). Let r be (6/(-2))/(39/(-65)). Suppose -r*w - 24 = 4*s, 0 = 5*s - 2*w - 1 - 2. Which is smaller: s or p?
p
Suppose 2*a - 2 = -0. Let j = 10031 - 10059. Is a > j?
True
Let y = 4.2 - 4.25. Which is smaller: 0 or y?
y
Let v(f) = -f**3 + 8*f**2 - 18*f + 40. Let p be v(6). Does p = 8.3?
False
Let n = -6.8 + 2.8. Let k be 25 + -20 + 19/(-4). Which is greater: n or k?
k
Let z = 14 + -13.993. Let b = z - 0.053. Which is bigger: 0.1 or b?
0.1
Let p = -0.85 + 72.85. Let w = 58 - p. Is -2 greater than w?
True
Suppose v - 9 + 1 = 0. Suppose t + v = -4*y, 8 = -5*t - 3*y - y. Let i be ((-4)/(-24))/1 - ((-232)/(-96) - 3). Which is smaller: i or t?
t
Let f be 7 + 159/(-495)*21. Which is smaller: f or 0?
0
Let x be (-210)/49 + 3*1. Suppose -5*u = 3*m + 153 + 14, 0 = 5*m - 5*u + 345. Let j = 63 + m. Which is greater: j or x?
j
Let o = -22 - 3. Let h = -23.8 - o. Let b = h + 0.8. Which is smaller: -0.05 or b?
-0.05
Let w(g) = -g**3 - 12*g**2 - 6*g - 8. Let h(d) = d**2. Let m(l) = 3*h(l) + w(l). Let q be m(-8). Let j be 4/22 + q/11. Is j smaller than -2?
False
Let w = 65 - 32. Let o = w + -32.9. Let a = 2.6 - 0.6. Is o greater than a?
False
Let b(n) = -2*n - 4. Let w be b(-4). Suppose 2*g = w*p + 28, -4*p + 2 = -2. Let o be (-24)/g*2/(-3). Is -1/5 equal to o?
False
Let c(u) = u + 4. Let d be c(5). Let g be (-1 + 0)*(d - 5). Let w = -63/22 + -18/11. Which is smaller: w or g?
w
Suppose 4 - 10 = -c. Let n be -3 - (-12)/42*81/c. Which is bigger: 1 or n?
1
Suppose -59 - 1 = 2*i. Let f = -237/2 + 119. Which is smaller: i or f?
i
Suppose 8 = -468*w + 460*w. Suppose g + 3*g = 4. Is w <= g?
True
Let z = 2.29 - 5.03. Let u = z - 0.26. Is u < 0?
True
Let q(a) = 14*a - 58. Let s be q(4). Which is greater: 31 or s?
31
Let w = -99 - -94. Are -20 and w nonequal?
True
Let u be (8/(-12))/(2/69). Let a = -17 - u. Is a at least as big as 4?
True
Let d = -198 + 206.9. Let b = d + -9. Do 2.4 and b have different values?
True
Let l be (-12)/9*(-3 + (-3)/(-2)). Suppose 6*o - 23 = 5*s + 3*o, 0 = -l*s - o - 18. Does -10 = s?
False
Suppose x + 9 = b - 3*b, 2*b + 2 = 0. Let o = -6 - x. Suppose 0 = 2*z + 8, 3*a - 10 = z + 3*z. Which is smaller: a or o?
a
Suppose -2*s + 8*u = 9*u, 0 = u. Let x = 285179677/195 + -1462463. Let y = x - -44/13. Is y greater than or equal to s?
True
Let c(m) = m**2 - 4*m + 1. Suppose 0 = -2*b + t + 17, -2*t + 49 = 4*b - 7*t. Let n be c(b). Do n and 13 have different values?
False
Let v be 7/(3262/(-920)) - (3 + -5). Which is smaller: v or 1?
v
Suppose 4*i + 151 = 3*i. Let k be (-3)/i*(-26)/39. Is 0 < k?
False
Let i = -1.577 + 1.69. Is i greater than or equal to 1/3?
False
Let a be 68235/5753 - (3 + -2). Let k = a + -239/22. Let f = k + 2269/61714. Is 1 at most f?
False
Let n = 6 + -7. Let i be n*(-2 - (1 - -3)). Suppose 8*c - i*c = 4. Which is smaller: 22/7 or c?
c
Suppose q = 3*f - 13, 3*q + 10 = 4*f - 9. Let c = -32.4 - -130.1. Let g = -98 + c. Is g at least f?
False
Let s = 1.04 + -0.04. Let z(n) = -19*n**3 - 3*n**2 - 6*n - 4. Let m be z(-1). Which is smaller: m or s?
s
Let z = 10 - 5. Suppose 0 = -48*v - 22 + 166. Which is greater: z or v?
z
Let d = -35.8 - -35.9. Let u = -17 + 17.23. Let h = -0.07 - u. Is h equal to d?
False
Let x be (-8)/12 + 57/(-36). Suppose 2*d + 5 = r, 0 = -2*r + 4*r + 4*d + 22. Is x < r?
False
Suppose -2*q = 2*i + 8, 8*q = 5*i + 4*q - 25. Which is smaller: i or 4/35?
4/35
Let q = -832 - -665. Does q = -167?
True
Let x be 1*2/(-4)*0. Let w be 19140/42 - (0 - -1). Let t = -454 + w. Do t and x have the same value?
False
Let o(r) = r**2 - 19*r + 21. Let f be o(18). Let z be (-43)/37 - (f/3 + -2). Is z bigger than -1?
True
Suppose -4*m + 4 = -3*m. Let g be 4 - (5 - m)/(-2). Do g and 0.1 have the same value?
False
Let d = -4 + 8. Let o(z) be the first derivative of z**3/3 - 2*z**2 - z - 51. Let k be o(d). Which is greater: k or -3/5?
-3/5
Suppose -5*a + 6*r = 5*r + 7, -3*a + 3 = 3*r. Which is bigger: -6/71 or a?
-6/71
Let r = 20 - 19.74. Let n = r - -9.74. Which is smaller: 0.2 or n?
0.2
Let d be 4/3 - (-13 + 360/27). Is d equal to 16/87?
False
Let c be (-1)/(1/(-10)*(1 + -6)). Let w be (-12)/20 + 21/(-15). Is w >= c?
True
Suppose 5*b + 2*z - 4*z = -208, 0 = 5*z - 20. Let y = -54 - b. Is -15 at most as big as y?
True
Let o = 876 - 885. Is 0.35 greater than o?
True
Let y = -55 + 80. Let f = -24 + y. Let l = -2127/16 - -133. Which is greater: f or l?
f
Let z be 3 + 628/(-220) - -1. Let k = z - -5/11. Is 3 != k?
True
Let a = 28 - 15. Let b = 2.7 - 3.7. Are a and b nonequal?
True
Let b = 15 + -16. Let w be ((-1)/(b/2))/(-2). Is w greater than 12/11?
False
Let p be (-215)/(-2) - (259/(-14) - -19). Which is smaller: 431/4 or p?
p
Let y(r) = -r**3 - 10*r**2 - 9*r + 4. Let w be y(-9). Suppose -4*z + 25 = -4*m + 1, -9 = -m + w*z. Is m bigger than -10?
False
Let d(r) = -r**3 + 20*r**2 - 17*r - 19. Let x be d(19). Is x smaller than 19?
False
Let j = 44 + -23. Let z = -8 + j. Are 13 and z equal?
True
Let p = -689 + 694. Is p bigger than 0?
True
Let z be 0/(10/(-4)*28/(-35)). Let n(f) = -f**3 + f**2 + f - 1. Let d be n(z). Which is smaller: d or -4/15?
d
Let l = -190.13 - -188. Let c = 2.1 + l. Let v = -4 + 5. Is c at least as big as v?
False
Let j = -314 - -313. Is j greater than or equal to -3/92?
False
Let a = -82115/47 - -1747. Let c = -19 - -19. Which is bigger: a or c?
c
Suppose -m + 2*m + 20 = 0. Which is smaller: 1 or m?
m
Let q be 2*(-6)/32 - 0. Let b(y) = -y**3 + 9*y**2 - 7*y - 8. Let j = -27 + 35. Let a be b(j). Is a at most as big as q?
False
Suppose 3*h - 24 = -123. Which is bigger: h or -35?
h
Suppose 0 = 3*q - 5*n + 499, -12*q + 14*q + 326 = 2*n. Is -157 bigger than q?
True
Let f be (42/(-24))/((-6)/(-336)). Let s = -1/317354 - -528077073/5395018. Let j = f + s. Which is smaller: j or -1?
-1
Let b(v) = -2*v**3 - v**2 + 1. Let t be b(-1). Let a(h) = h**3 - h**2 - h - 2. Let x be a(t). Which is smaller: 3/11 or x?
x
Let f(z) = -z + 11. Let r be f(-4). Suppose 4*a = a + r. Suppose 2*k = -n - 2*k - 7, -2*k = 4*n - 14. Is a not equal to n?
False
Let m be ((99/12)/3)/((-3393)/(-156)). Is 0 greater than or equal to m?
False
Suppose 4*y - y - 30 = 0. Suppose 4*h - y*h = 162. Let i = -34 - h. Is i at most as big as -8?
False
Let p = 515 + -514. Do p and 8/285 have different values?
True
Let t = -78.8895 + -0.1105. Does t = -2/3?
False
Suppose -f = 4*p + 29 - 35, 0 = p - 5*f + 9. Is p at most 4/209?
False
Let h = -1367/3 + 457. Is 2 greater than h?
True
Let h be 20/5 + (-1005)/9. Let s = h + 217/2. Which is smaller: s or 2?
s
Suppose s - 2 - 3 = -2*m, -s + 5*m = 16. Let c be (-14)/(-49)*(-7)/(-17). Which is smaller: s or c?
s
Let a = -136/105 - -2/21. Let f(n) = n**2 - 5*n + 5. Let d be f(4). Let x be (3 - (-3 + 7))*d. Which is bigger: x or a?
x
Let l = -21/110 - -1/110. Let z = -527.3 + 527. Which is smaller: l or z?
z
Let w(h) = 159*h. Let k be w(1). Let b = 801/5 - k. Do 1 and b have the same value?
False
Let q = -159 - -159. Is 2/501 smaller than q?
False
Let w be 5 + 24/(-20)*5. Which is smaller: w or 7?
w
Let s(o) = -3 - 24 - 4*o - 1. Let y be s(-7). Are 2/67 and y equal?
False
Let y = 2