- 8*n. Let t be b(8). Suppose 0 = 4*q - 9*q + 5*v, t = v - 4. Suppose -16 + 12 = q*s. Are 2/7 and s equal?
False
Let j = -122.7 + 144.7. Is j greater than 0.13?
True
Suppose 0 = 53*q - 39*q - 14. Is -3/89 greater than q?
False
Suppose 118 - 42 = 38*x. Is -19 < x?
True
Let u(h) be the third derivative of h**5/60 - h**4/6 - 14*h**2. Let q be u(3). Let m be (-60)/16*2/3. Is q greater than or equal to m?
False
Suppose -3 + 33 = 4*u + 2*t, -2*t = 6. Let x = 9 - u. Let c = -173 + 1910/11. Is c greater than x?
True
Let q be (-1)/2 + (-6)/(-4). Let p be (-5)/10 + (-1203)/(-1989). Let f = p + 1/78. Which is bigger: f or q?
q
Let w be 63147/75852 + -2 + (-7)/(-6). Which is smaller: w or -1?
-1
Let v(z) = 21*z - 2*z**2 - 1 - 10*z + 0*z**2 + 3. Let k = -4 + 9. Let p be v(k). Which is bigger: 4 or p?
p
Suppose -4 = -4*g + 3*i + 11, 4*g + 5*i = 7. Suppose 2*t + 29 = -f - 2*f, -4*t - g*f = 43. Which is greater: -25/3 or t?
t
Let h(k) be the second derivative of -k**3/6 - 4*k**2 + 7*k. Let r be h(-8). Let y be 8/(-30)*(-10)/(-4). Are y and r non-equal?
True
Let u be ((-9)/(-11) - (-2)/11) + -1. Let z be (1 + u)/(7 - 4 - 4). Which is greater: z or 3.6?
3.6
Let h = -249 - -241. Suppose -o = 3*v, -4*v + 10 = -o - 2*v. Which is smaller: o or h?
h
Let s = -542/411 - 2/137. Let a = 136/213 + 2/71. Which is smaller: a or s?
s
Let k = 953/68 + 174/17. Which is greater: 24 or k?
k
Let r = 2403/5 - 479. Let k be (2/(-6))/(9/(11 - -97)). Let n(f) = f**3 + 4*f**2 - 2*f - 6. Let b be n(k). Which is bigger: b or r?
b
Let b = -0.13 + 0.03. Let v = -5.05 - -5. Let q = 0.55 + v. Is q <= b?
False
Let z = 29 - 29. Suppose z = 3*k - w + 17, 3*k - 4*w + 22 = -1. Are k and -6 nonequal?
True
Let c = 2791.1 + -2911. Let x = c - -120. Let w = -2 + 2.04. Which is greater: x or w?
x
Let w(i) = -446*i + 3121. Let v be w(7). Let g be 1/26*2*1. Which is bigger: v or g?
g
Suppose -3*y = y - 4. Let p be ((-144)/(-2184))/(2/(-14)). Is p at most y?
True
Let q be (1554/(-776) - -2)*-1. Let b = -765/4268 - q. Suppose -5*m - 5 + 0 = 0. Are m and b nonequal?
True
Let l be 1135/45 - 2/9. Suppose 3*q - 22 + l = 0. Which is greater: q or 2/15?
2/15
Let w = -5 + 6. Suppose -w = 3*v - 4. Suppose 2 - v = -o. Which is bigger: o or 2/17?
2/17
Let q be (-1)/2*(1 + -1). Let n = 1158163/60 + -57821/3. Let a = -29 + n. Which is bigger: a or q?
a
Let s = 900.2 - 900. Is s greater than or equal to 65/4?
False
Suppose -5 = 16*g - 11*g. Let o be (g - -2)*-1*(-13)/26. Is -3/23 at least o?
False
Let h be 0/2*1/(-2). Let m be h/(2 + (-2)/(-2)). Suppose -p + 12 = 5*i - 3, m = 4*i - 3*p - 12. Which is greater: i or -1?
i
Suppose -11*j + 13*j = -n + 292, -3*n = 4*j - 872. Which is bigger: 287 or n?
n
Let x = 124 + -130. Is 0 smaller than x?
False
Let g(o) = o + 34. Let p be g(0). Let f = 632 - 632. Which is smaller: f or p?
f
Let n be (-6)/(-4)*(-2)/6. Let s = -60 + 59. Let l = -7 + s. Are n and l equal?
False
Suppose 0 = 4*h - j - 52 - 34, -4*j = 2*h - 52. Suppose 4*u + 14 - 97 = 3*n, -25 = -u + 5*n. Does h = u?
False
Let g = -1 - -7. Suppose -n + g*n + 13 = -3*x, x = 5*n + 29. Suppose x = -8*y + 4*y. Is y smaller than -0.2?
True
Let a = 535 - 538. Is a at most as big as 68?
True
Suppose 2*f = -s - 1, -3*s + 3*f + 37 = -f. Are s and -0.6 non-equal?
True
Let k = -63 - -79. Which is greater: k or 11?
k
Let a = -252 - 106. Let g be (-2)/((-240)/a) + 3 + 0. Is g greater than 1?
False
Let h = -3.2 + -0.8. Let z = -4 + 0. Let g = z - h. Which is bigger: g or -4?
g
Let m = -21.985 - -22. Let q = 2.715 - m. Let w = q + -2.7. Is 0.1 equal to w?
False
Let g be (-4)/(-10) + 31/(-65). Suppose 0 = -28*h - 27 - 1. Are g and h non-equal?
True
Let u = 0.04 - -14.96. Let f = -95.2 + -19.8. Let w = f + 116. Is u bigger than w?
True
Let g = 84054/133 - 632. Which is smaller: g or 2/7?
g
Let w be ((-237)/(-30) - 8)/((-212)/(-30)). Which is smaller: 0 or w?
w
Let s = 0.1726 + 0.0674. Is 2/19 smaller than s?
True
Let t(z) = z**3 - 19*z**2 + z - 20. Suppose 117 = 5*k + 22. Let r be t(k). Is 4 at most r?
False
Suppose 1 + 13 = x. Let c be ((-8)/x)/((-6)/21). Suppose -2*v = -5*b - 9 - c, b + 13 = 4*v. Which is smaller: 1/8 or b?
b
Let q be ((-63)/(-112))/(2/(-4) + 2). Which is smaller: -28 or q?
-28
Suppose 0*r + 25 = w - 5*r, -2*w + 2*r = -26. Suppose -3*j = -31 + w. Is j equal to 8?
False
Let j = 65 - 65.56. Let z = j + 0.36. Which is smaller: z or 1/13?
z
Let h = -2.2 - 14.8. Let m = -16 - h. Which is smaller: m or 40?
m
Let m = -98219/9226 - -149/14. Which is smaller: -1 or m?
-1
Suppose 3*p + 0*p = -b + 147, b + 2*p = 144. Let q be (4/b)/((-24)/(-108)). Is 1 >= q?
True
Let d = -0.032 - 8.368. Let f = d + 5.7. Which is smaller: 0.1 or f?
f
Let y = 3 - -19. Let x be (((-1755)/2)/13)/(-3 - 0). Is y > x?
False
Let u = 21466/549 + -406/61. Let c = u + -32713/1008. Is c bigger than 0?
False
Let b = -25 + -115. Let r = -6730 + 6731. Which is greater: r or b?
r
Let g = 3/1745 - 3793/176245. Is -1 at least g?
False
Let p = 1/4879 - -546345/502537. Let r = 52425/48307 - p. Let v = r + 4225/1876. Which is bigger: 3 or v?
3
Let m = 0 + -0.2. Suppose 0 = -115*u + 418 + 1077. Which is smaller: u or m?
m
Let f(z) = z**2 - 2*z. Let a be f(2). Let o be (4/(-6))/(36/(-48)). Are o and a non-equal?
True
Suppose 4*d = -5*p + 11, 0 = -4*d + 10 + 6. Let n = -1.959 + 0.913. Let j = n - -0.046. Is j < p?
False
Let l = -4246/785 + -30/157. Is -6 < l?
True
Suppose 8*j - 1270 = -70. Which is bigger: 149 or j?
j
Let a = -112 + 61. Let b = 52 + a. Which is smaller: b or 1/23?
1/23
Let g(f) = -2*f**2 - 4*f + 4. Let t be g(1). Suppose 0 = 4*h, -4*h + 1 = 2*l - 5. Let r = l + -5. Is r smaller than t?
False
Suppose -d - d - 18*d = 0. Is 0.232 less than d?
False
Let j be (9/24)/((-9)/(-6)). Suppose 0 = -3*a - 4*a. Suppose t = -a*t + 5*t. Which is bigger: j or t?
j
Let b = -5 - -4. Let v be ((-1)/148)/((-4)/(-856)). Let d = -2/37 + v. Which is bigger: b or d?
b
Let k = 205/2 + -103. Which is smaller: 192 or k?
k
Let n = 35.9 + 7.1. Let t = -33 + n. Let y = 0 - 0. Which is smaller: y or t?
y
Let v = -137 + 141. Suppose 2*l - 3*s = -9, -3*s + 13 - v = 3*l. Let i be (4/70)/(2/(-20)). Is i greater than l?
False
Suppose 4*h + 36 = 2*z, 5*h - 11*h + 4*z = 50. Let n = 2 - 1. Which is smaller: n or h?
h
Let r be 2*4/(-16) + (-175)/(-360). Which is greater: 1 or r?
1
Suppose -7*n - 8 = -11*n. Suppose -5*j + 2*j + 5*w = -13, 0 = -2*j - 2*w - n. Which is greater: 3/19 or j?
j
Let b(u) = -92*u - 26. Let a be b(-1). Suppose -4*p + s - 67 = -5*p, -5*p + 2*s = -328. Is p at least a?
True
Let f = -284 - -1993/7. Let h = -29/21 + f. Let z = -0.11 - -0.16. Which is greater: z or h?
z
Let i(k) = k - 7. Let z be i(10). Suppose 0 = -z*g - 2*g - 5. Is g at least 1/3?
False
Suppose 14 = -2*f + 10. Suppose 0 = -4*m - 0*m + 60. Let v be (-1 - f)/((-1)/m). Do v and -16 have different values?
True
Let w = -66.7 + 64. Let u = w - -0.7. Which is smaller: 1 or u?
u
Let y be ((-39)/52 + (-38)/(-56))*4. Which is greater: y or 2?
2
Let w be ((-6)/9)/(2/(-6)). Let j = -1 + w. Let a be (0/(35/7))/3. Is a < j?
True
Suppose 0 = 7*p - p - 72. Let h be (-9)/p + ((-2)/2)/4. Is -30/13 at most h?
True
Let x(f) = f**2 + 7*f + 6. Let l be x(-1). Which is smaller: 1/35 or l?
l
Let g = -171/53 - -86367/26818. Which is smaller: -1 or g?
-1
Suppose -33*c + 258 = 10*c. Is 114/17 <= c?
False
Let o = 24 - 30. Let l be ((-12)/(-90)*35)/(4/o). Is -5 equal to l?
False
Let t = -1415 + 830. Which is bigger: -586 or t?
t
Let w = -8.04 - -7.94. Do 762 and w have the same value?
False
Let f = -16 - -15. Let k = -2/305 + -271/5185. Which is smaller: f or k?
f
Let m(j) = -j**2 - 21*j - 34. Let r be m(-20). Let t be 112/28 + -1 + r/4. Is -2.1 at most t?
True
Let c = -9388057/883 + 10632. Which is bigger: 1 or c?
1
Suppose -5*g = 3*z + 350, -4*z - 3*g = 755 - 270. Suppose 0 = 50*j - 47*j + 372. Is j > z?
True
Let h(d) = 1. Let m(j) = j - 2. Let i(l) = -3*h(l) + m(l). Let u = 14 + -7. Let w be i(u). Is w <= 5/4?
False
Let b be 2/(-5) - 4/(-10). Let g be (12/18)/(4/12). Let l be (11/g + -3)/((-26)/4). Are b and l unequal?
True
Let r = 925991/324 - 2858. Which is greater: 0 or r?
0
Let l be (-1288)/(-40) + -6 + (-1)/5. Suppose 0 = -k - v + 21, 0*k + k - 46 = 4*v. Do l and k have different values?
False
Let j = 474 - 503. Is -204/7 