pose -m*u = -36*u + 36. Is s bigger than u?
False
Let h = 7 - 5. Let p(k) = -k**2 - 9*k - 7. Let y be p(-6). Suppose -5*q + 20 = 0, -y = -4*j - 4*q + 9. Are h and j nonequal?
True
Let b = -15864/7 + 2248. Let c = 18399 + -386791/21. Let v = c - b. Which is smaller: v or -2/5?
v
Let m = 22.7 + -22.8. Which is smaller: m or 2/57?
m
Let r be (-24)/63 - (-50)/525. Which is bigger: 12/41 or r?
12/41
Let y(x) = -18*x - 63. Let u be y(-3). Is -18 < u?
True
Let i(x) = -x + 3. Let p be i(4). Suppose 3*u = 3*w - 12 - 3, 25 = 5*w + 4*u. Let d be (-2 - 27/(-15))/(4/w). Is p < d?
True
Suppose 6*u = 3*u + 3. Let v be (-27)/(-3) + -5 - 352/6. Let f = 54 + v. Which is greater: f or u?
u
Let y = 307 - 182. Which is smaller: y or 124?
124
Let z = -0.15 - -0.23. Let v = z + 0.92. Which is bigger: -15 or v?
v
Let l(w) = w + 17. Let k be l(-8). Let f = k - -31. Are f and 37 equal?
False
Let z = 766 - 712. Is 54 greater than z?
False
Suppose -4 = 3*z + 14. Let y be 13/(-2) + 4/(24/(-9)). Which is smaller: y or z?
y
Suppose -d - i = -26, -10*d + 4*i + 112 = -5*d. Suppose 7*v + 4*h - d = 3*v, v - 3*h = -14. Which is bigger: v or 1/113?
v
Let k = 365 + -199. Let m = k + -177. Let u = -1 + 1. Are m and u non-equal?
True
Let j = -272 - -11694/43. Let b = 72/301 - j. Suppose -14 = -5*d - 3*g, -5*d - 5*g - 68 = -88. Do d and b have different values?
True
Let o = -550.668 + 0.668. Which is smaller: -2 or o?
o
Let g(u) = 11*u - 250. Let x be g(14). Is x at least -287/3?
False
Suppose 35*s - 20*s - 15 = 0. Which is smaller: -2/615 or s?
-2/615
Suppose 34*t = 31*t + 6. Let c = 2 + 0. Suppose 0 = t*y + 2*n - 4*n + 6, 15 = -5*y - c*n. Which is smaller: -2 or y?
y
Let a be (-2)/10*1*(-105)/(-2). Which is greater: a or -12?
a
Suppose -t - 18 = -10*t. Do -33 and t have different values?
True
Suppose 2*n - 8 = 8. Let h(g) = -g + 7. Let q(b) = -2*b + 14. Let c(v) = 11*h(v) - 6*q(v). Let x be c(n). Is x >= 0?
True
Let m be 1/((-4)/64) - -4. Let j = 17 + m. Let n = 170 - 329/2. Is j at least as big as n?
False
Suppose 91 = -13*t - 39. Which is bigger: -12 or t?
t
Let q = 5/4 - 3/2. Let w be (18/(-3) - -4) + 4. Suppose -w*b + 6 = 4. Which is smaller: q or b?
q
Suppose 3*c + 2*v + 18 = 0, 0 = -c - 3*c + v - 13. Let l(j) = -2*j**2 - 6*j. Let s be l(c). Let r = 17 - 24. Does r = s?
False
Suppose 4*r = -5*b + 430, r + 365 = 5*b - b. Is -2 bigger than b?
False
Let j be 1058/134 + -61 + 53. Which is greater: j or -1?
j
Suppose 13*k + 7898 = -9*k. Which is smaller: k or -358?
k
Let w be 2*(-3)/(-8)*8. Let n = 7 - w. Suppose 6 = -k - 3*x, -2*k = -3*x + 2 + n. Which is smaller: k or -2?
k
Let n = -33 + 42. Suppose -5*w - n = 6. Is w less than -2?
True
Let v be 70/(-25) - 6/(-2)*1. Are 109 and v unequal?
True
Let b = -1388 - -1362. Let l be (-2)/5 + (1 - 140). Let r = 139 + l. Which is smaller: b or r?
b
Let g be ((-9)/(-6))/((-2)/164). Let i = 172 + g. Is 50 < i?
False
Suppose 0 = -4*q + 133 - 33. Suppose k + 4*k = q. Suppose 3*j - k = -2*c + 2, 0 = -4*c - 5*j + 15. Which is smaller: 6 or c?
c
Suppose 2*u + 3*a = 74, -3*a - 2*a = 4*u - 146. Suppose -p - 13 - u = 0. Is p at most -46?
True
Let j = -72 - -362/5. Let d be (-4)/(40/106)*(12 + -1). Let p = d + 117. Is j at least p?
True
Let j(i) = -27*i + 518. Let c be j(18). Do c and 28 have the same value?
False
Let l = -1624 - -1623.7. Which is greater: l or 2/395?
2/395
Suppose -4*j + 4*p + 48 = 0, -5*j + p = -0*j - 52. Suppose 0 = -j*m + 5*m. Are m and -1 unequal?
True
Let f(y) = 14*y - 295. Let l be f(21). Are -22/29 and l equal?
False
Let r = 436/63 - 50/7. Suppose 0 = 3*l - 5*l - 40. Let k = l - -23. Do r and k have the same value?
False
Let g be (-52)/(-8)*(-3 - -1). Suppose -274*a + 280*a = -102. Which is greater: g or a?
g
Let n = -0.126 - -6.126. Which is smaller: -1/3 or n?
-1/3
Let w be (15/27)/((-30)/(-12)). Which is smaller: w or -1/7?
-1/7
Let h be ((-2)/((-20)/3))/((-14892)/365) + 0. Let c be (-2 - -4 - 3) + 2. Is c at most h?
False
Let z = 29 + -29.1. Let s = 10 + -11.1. Let c = s - z. Which is smaller: c or 0.1?
c
Let a(o) = o**2 + 2*o - 6. Let y be a(-5). Let i be 2/y - (-92)/(-9). Let l be (5/(i/(-22)))/1. Is l equal to 10?
False
Suppose 4*m + 5*u = 15, 11 = -m + 3*m - u. Suppose -7*x + 48 = -m*x. Let c = x + -24. Is -2/23 smaller than c?
True
Let j = -3/412 - -1413/24308. Is j at most as big as 1?
True
Let a be -6*(-3309)/33390 - (-9)/(-15). Is 0 at least a?
True
Let b be ((-8)/(-5))/(12/270). Let c = b - 43. Which is smaller: -8 or c?
-8
Let g(a) = a**3 + 6*a**2 + 7*a - 2. Suppose -5*f - 50 = 5*f. Let o be g(f). Which is greater: o or -11?
-11
Suppose 0 = 11*c - 77 - 1133. Suppose -282 = c*s - 113*s. Do s and 94 have the same value?
True
Suppose 0 = -2*p, -128 = -5*d + 4*p + 92. Is 468/11 at least as big as d?
False
Let g be (-6)/27 + (-9)/2106*-28. Is 1 > g?
True
Let n = -172.1 - -172. Which is bigger: n or -3/74?
-3/74
Let q(b) be the first derivative of -b**4/4 + 5*b**3/3 + 5*b**2/2 - 3*b + 4. Let z be q(5). Do z and 0.1 have different values?
True
Let f be (-4)/(-14) - (-39)/(-63). Suppose 0 = 2*t - 17 - 3. Let b be -4 - (3 - t) - 1*2. Which is smaller: b or f?
f
Let z = -2.2 - -2.9. Which is smaller: z or -0.02?
-0.02
Let n(m) = -m**3 - 2*m**2 - 1. Let j be n(-2). Let z = j - -4. Suppose 13*h - 19 = -19. Which is smaller: z or h?
h
Suppose 0 = 4*m + 5*h + 56 - 133, -5*m = -3*h - 124. Which is smaller: 16 or m?
16
Suppose 33 = v + 5*u, v + 2*u - 4*u = -2. Let c be (2 - 0)/(((-160)/45)/16). Let i = v + c. Are -1 and i equal?
True
Let q = 25.12 + -23.12. Which is smaller: q or 350?
q
Let r be 2 + 2 + (-3)/3. Suppose -3*s + 6*s - r = 0. Does -1/6 = s?
False
Suppose 90 + 65 = 31*b. Let c(z) = -z - 5. Let j be c(-4). Is j greater than b?
False
Suppose 12 - 6 = -3*n. Which is greater: n or -19/6?
n
Let c = 33 - 33. Let m(j) = -2*j + 4. Let k be m(3). Let n = -13 - k. Is c less than or equal to n?
False
Suppose -5*u + 182 = 3*h + 656, -4*u - 384 = 4*h. Is u at least as big as -2/7?
False
Let h(a) = -a**3 - 24*a**2 - 64*a - 20. Let o be h(-21). Which is smaller: 0.084 or o?
0.084
Let k = -4 + 8. Suppose -q = k*w + q - 14, w = 3*q - 7. Suppose -2*c + 10 = 4*l, 4*l = -l - w*c + 11. Is l bigger than -1/6?
True
Let s = 93.2 + -13.2. Let p = 56 - s. Is 2/7 less than p?
False
Let t = 3463/8 - 433. Which is greater: -7 or t?
t
Suppose 0 = 2*x + 2*c + 12, x + 6*c + 18 = 2*c. Let o = -14.97 - -13.9. Let i = -0.07 - o. Are x and i nonequal?
True
Suppose -2*b = -4*b, -4*k - b - 240 = 0. Let z = k + 12. Let h be (6/(-4))/((-36)/z). Is -3 greater than h?
False
Let z(k) = -k**2 + 2*k + 17. Let n be z(5). Suppose -r + 3*w + 0*w = 22, -4*r + n*w - 58 = 0. Which is smaller: -14 or r?
-14
Suppose 2 = d + 58*x - 62*x, d = -4*x + 18. Is 5 less than or equal to d?
True
Let u = 2414 + -2416. Do u and -63/47 have the same value?
False
Let g be ((-6)/(-11))/3 - 65362/121. Do g and -540 have different values?
False
Let o be (-8)/(-5)*910/(-28). Is -52 greater than o?
False
Let q be -264 + 2*((-52)/(-8) + -3). Is q <= -255?
True
Let z = -3 - -2. Let y = -32/83 + 2374/5727. Which is greater: y or z?
y
Let t = -143 + 141. Which is smaller: -1/7 or t?
t
Suppose 18*o - 17*o - 65 = 0. Let f = o - 64. Is 2/5 > f?
False
Let h = -296/1007 - -10/53. Let b be (-40)/30 + (-2)/(-6). Which is greater: b or h?
h
Let b = 806 - 825.8. Which is smaller: b or -1?
b
Let p = 296.5 + -296.42. Let d = -1 + 1. Is p smaller than d?
False
Let h be ((-18)/21)/((-668)/(-224) - 3). Let i = -64 + h. Is i smaller than -17?
False
Let z(u) = -u**2 - 5*u + 1. Let h be z(4). Let d = h + 26. Is -10 <= d?
True
Let z be ((-720)/96)/(3/(-26)). Let j(o) = o**2 + 5*o - 1. Let f be j(6). Is z > f?
False
Let d be 8/(-15) + (-2)/(-6). Let c(w) = -w - 17. Let t be c(0). Let k = t - -17. Is d < k?
True
Suppose -13 = -2*f - 2*a + 7*a, 12 = -4*a. Is f <= -1/79?
True
Let p = -16.91 + 17. Let q = -1168.09 - -1173. Let d = p + q. Which is bigger: d or 2?
d
Let g = -129 - -2189/17. Are -1 and g unequal?
True
Let b(p) = -7*p - 10. Let v be b(-2). Suppose -v*u - 3*c - 10 - 22 = 0, 2*u + 2*c = -14. Is -0.2 smaller than u?
False
Suppose -3*m = 5*p + 7, 2*m + 0*p - 6 = 2*p. Let v = -1/489 + 1490/11247. Is v != m?
True
Let o = -4714 - -23687/5. Which is bigger: 23 or o?
o
Let n = 697 + -663. Is n bigger tha