
Suppose c - 2*n - 10 = 0, -5*n + 50 = 2*c - 3*n. Suppose -5*p + p = -3*l - 19, 5*p + c = -5*l. Is p greater than -3/2?
True
Let j = 24546.062 + -24573. Let t = j + -0.062. Let l = -20 - t. Which is smaller: -1 or l?
-1
Let k = 0.17 + -8.17. Which is smaller: k or 15?
k
Let s = 1346.1 + -1345. Which is bigger: -39 or s?
s
Let y = -370 - -2594/7. Let s = -55 + 30. Let p be s/(-10) + 9/(-6). Which is greater: p or y?
p
Suppose n = -3*n + 20, -4*p + 3*n = 23. Which is smaller: -4 or p?
-4
Suppose c - 3*i = 0, -4*c + i = 3*i. Which is smaller: c or -19/28?
-19/28
Suppose -q - 2*a + 7*a = 14, 4*q - a - 1 = 0. Let d be -4*(q - (3 - 8)). Which is smaller: d or -1?
d
Let a = 125 - 106. Is a greater than or equal to -5?
True
Let t = 775349/152 - 5101. Is 0 less than t?
False
Suppose 5*f - 118 = -4*o, -2*f + 73 + 39 = 4*o. Which is smaller: o or 25?
25
Let t(z) = -2*z + 4. Let y be t(4). Let n = y + 7. Suppose 0*x - 3 = -n*x. Which is greater: -4/13 or x?
x
Suppose 17 = -5*i + 3*b - 0, -5*b = 4*i - 16. Which is bigger: i or 25?
25
Let j(g) = -3*g + 3. Let i be j(3). Let u = -25 + 29. Let c = u + i. Which is smaller: -1 or c?
c
Let i = 91 + -89. Let t be (-17 - -13) + (-11)/i. Let j(p) = p**2 - 6*p - 5. Let a be j(5). Is a equal to t?
False
Let i be 2/8 + 141/12. Let y be (-3 + i/4)/2. Suppose 0 = 4*n - 4*t - 8, 4*n - 3*n + 5*t + 16 = y. Is n less than -2/5?
True
Let i = -1022 + 1658. Is i smaller than 637?
True
Suppose 4*d - 156 - 348 = 0. Let h = -122 + d. Is 28/9 at least as big as h?
False
Let p = -35 - -35.68. Let m = 0.033 + 0.087. Let w = m + p. Is w > 0?
True
Let m(g) = -3*g**3 + 2*g**2 - g - 1. Let o be m(1). Let j be (-3)/(-2)*10/o. Which is greater: j or -6?
j
Suppose -68 = 4*m - 4*g, -4*m - m - 5*g = 95. Let y be (m/(-9))/(2/5). Suppose -r - y*c - 8 = 0, -r = c - 0*c. Is r bigger than 1?
True
Suppose -6*h + 2*h + 3*k = -18, -2*h - 3*k = -18. Suppose -5*i - 11 = 9. Let z be (-2)/((-2)/(-1)) - i. Which is smaller: h or z?
z
Let j(p) = p + 4. Let l be j(-4). Let h(x) = 63*x**3 + x - 1. Let k be h(1). Let m be 18/k*(-2)/(-4). Which is smaller: l or m?
l
Let m be (6/(-15))/((-1)/70). Let p = -25 + m. Suppose t + 5 = -p*b + 2*t, -5*t = -5*b - 25. Which is greater: -2 or b?
b
Let h(i) = 4 - 2 - 1 - 11*i. Let n = 164 + -165. Let c be h(n). Is c at least 13?
False
Let j be (1938/21 - 0) + -4. Let l = j - 88. Let k be (-2 + 0)*2/(-4). Is l equal to k?
False
Let b be (0 - (-3)/(-18)) + 7/42. Suppose b = p + 18 - 19. Let u be (2 - 5)*(-2)/(-105). Which is smaller: p or u?
u
Let i be (-42)/(-245)*5 + (-1)/(-7). Let d be (-10)/(2/i) + 4. Is -72 less than or equal to d?
True
Let t = 0.02 - 0.02. Let x = 2.085 - 0.085. Is t bigger than x?
False
Let i be (-670)/(-222) - (63/7 - 6). Which is greater: i or 0?
i
Let a be (30/(-16) - -2) + (-1311)/3192. Which is smaller: -0.0882 or a?
a
Let l = 304 + -305. Which is bigger: l or -19/27?
-19/27
Let s be (-4)/(-40)*5*2/(-5). Let x be -2 - 2*1/(-2). Which is smaller: s or x?
x
Suppose -v - 30 = -2*k - 3*k, 18 = -3*v - 3*k. Let d be (0 + -5)*(-8)/v. Let n be (6/d)/((-2)/8). Which is smaller: n or 7?
n
Suppose -9*u - 7786 = 1529. Let d be u/225 + (-1 - 0) + 3. Are d and -3 equal?
False
Let d(j) = j**2 + 4*j - 2. Let k be d(-4). Let b(t) = -t**3 - 3*t**2 - 3*t - 3. Let q be b(k). Which is bigger: q or -30?
q
Let l(m) be the second derivative of -m**4/12 - m**3/3 - 3*m**2/2 - 3*m. Let z be l(-2). Let c be 14/21*z/11. Which is bigger: c or -1?
c
Let q = -1623/2 - -812. Is q less than 0.37?
False
Let z be ((-26)/91)/(3/7). Let i(x) = -3*x - 2. Let t be i(-2). Suppose t*l = -7 - 1. Is z >= l?
True
Let r = 49.11 + -0.11. Which is smaller: r or 0.4?
0.4
Let a = 30 - 27. Let g be (-3 - -20)*(-3 - 0)/a. Are -18 and g nonequal?
True
Let w(i) = -i + 1. Let q be (16/40)/((-1)/10). Let v = -2 - q. Let z be w(v). Which is bigger: -6 or z?
z
Let w = 0.55 + -2.75. Let g = -14.34 - -12.1. Let j = g - w. Does 2 = j?
False
Let n(f) = -4*f + 16. Let l be n(6). Let w be (-120)/54*(-21)/l. Is -5 less than or equal to w?
False
Let q be ((-68)/30)/17*3. Which is smaller: 0.025 or q?
q
Let b = 0.1 + -11.1. Let r = -969.1 + 969. Which is greater: b or r?
r
Let s = 23.48 - 0.48. Let q = s + -26. Which is greater: q or -0.8?
-0.8
Let r be 4/24*(5 - -15). Let f be -1*8/(-4) - 0. Which is smaller: f or r?
f
Let b be (-58)/(-6) - (0 + (-3)/9). Let j be (1830/9)/b*6/(-8). Is j less than -16?
False
Let g = -40264/41 - -982. Let a(c) = -c**3 + 5*c**2. Suppose 0 = -4*k - 1 + 21. Let u be a(k). Is u < g?
False
Let z be ((-4)/3)/((-143)/(-2607)). Let a = -24 - z. Which is bigger: a or -1?
a
Suppose 12*a - 4*a + 5*a = 0. Suppose 0 = -3*g + 5*v - 19, 5*g + a*v + 7 = -4*v. Is g >= -18/5?
True
Suppose 0 = 2*h - 4*f - 29 + 9, 0 = 2*h + 2*f + 4. Suppose -3*s + h = 5. Let u = 1005 + -1002. Which is smaller: u or s?
s
Let d be (-3)/(((-378)/224)/(-9)). Which is smaller: d or -122/7?
-122/7
Let l = 277 - 277.191. Are l and 1/2 non-equal?
True
Let d(y) = 4 + 2*y - y**2 + 0 + y. Let o be d(3). Let v be (4 + -4 + 5 - 4) + 2. Which is bigger: v or o?
o
Suppose -4*g = s - 27, -g - 2*s = 2 - 0. Suppose g*h = 55 + 49. Is h less than or equal to 13?
True
Let n be (-159)/570 - 2*3/(-12). Let s = 1597/6365 - n. Which is smaller: s or -1?
-1
Let g(u) = -u**3 + 3*u**2 + 5*u - 5. Let x be g(4). Suppose -8 = -3*z + 28. Let q be (1 + 69/(-66))/(2/z). Do q and x have the same value?
False
Let o = -22.95 + -0.05. Let h = -25 - o. Let g = 0 + h. Which is smaller: 10 or g?
g
Let u = 2.21 - 2.31. Let n be 2/(-4)*(1 + 19). Let f be 128/154 - n/(-35). Is f less than or equal to u?
False
Let o = 838.596 - 839. Is 2/7 less than or equal to o?
False
Suppose 8 = 4*w + w + 2*i, -3*w - i = -5. Suppose -28 = 4*q + 148. Let h be (2/(-20))/(q/990). Which is greater: h or w?
h
Let f be ((-30)/45)/(4/6). Which is smaller: 7/26 or f?
f
Let g(x) = x**3 + 3*x**2 - x + 9. Let d be g(-4). Let n = d - -6. Let a(v) = v**3 + 5*v**2 + 2*v - 5. Let p be a(-4). Are n and p non-equal?
False
Let c(h) = -5 + 1 - 39*h - 2*h**2 - 25. Let w be c(-20). Is -50 less than w?
True
Let q be ((-6)/9 - -1) + 448/6. Let o = -85 + q. Is o at least as big as -28/3?
False
Let j = 6 - 4. Suppose 0 = 4*r - 11 - 85. Let d be 9/(-3) + 1 - r/(-10). Which is smaller: j or d?
d
Let x be (-2)/(-50)*(-20)/(-8). Let t be (-4)/(-10) + (-112)/(-20). Suppose 3*l - t*l = -3. Is x <= l?
True
Let f = -718 - -902. Is f greater than 185?
False
Let n = -28/51 - -32/17. Let w be (15/(-20))/(4/32). Is w greater than or equal to n?
False
Suppose -27 = 5*b - 3*u, -u + 4*u = -4*b. Let v(r) = -r**2 - r. Let s be v(-1). Which is greater: s or b?
s
Let w = 101.117 + -0.117. Let s = -101.04 + w. Which is smaller: s or -3?
-3
Let g(y) = -2*y - y - 2 + 3*y + 3*y. Let l be g(3). Let w(z) = z**2 + 9*z - 17. Let i be w(-11). Does i = l?
False
Let m be (9/(-30))/(6/(-5)). Let f be (2 - 7)*(-21)/(-5). Let g be f/35 + 6/10. Is m <= g?
False
Let q(v) = -5*v - 186. Let k be q(-27). Which is bigger: -52 or k?
k
Suppose -4*p - 2*w + 4 = -5*w, -3*p = w - 3. Let t be (-4)/(3 + p)*6. Let s be (-3)/t - (-1)/(-2). Which is smaller: 1 or s?
s
Suppose 5*o = 2*o. Let f(a) = -a - 2. Let v be f(o). Let u be v/8*-7 - 2. Are u and -2 equal?
False
Let p(z) = -z**2 - 12*z + 100. Let d be p(-19). Suppose 128 = -3*q - q. Which is greater: q or d?
q
Suppose 1094 = 4*p + 74. Is 256 != p?
True
Suppose s + 2*r + 103 = 0, -4*r - 2 = -2*s - 168. Let n be 402/33 + s/(-33) + -3. Which is smaller: n or 11?
11
Let l(w) = -18*w + 15. Let i be l(-4). Let u be 1*i/18 - (-8)/(-2). Do 0 and u have the same value?
False
Let n = -7 - -5. Let v = -653/16173 - -2/599. Is v bigger than n?
True
Let q = 112 - 111. Is q <= -1/433?
False
Let u = 10.454 - 12.4. Let m = -0.054 + u. Is -1/6 less than or equal to m?
False
Let l be 546/(-63) + 2/(-6). Is 0.4 bigger than l?
True
Let l be (-1 + 1)*20/40. Which is smaller: 9/31 or l?
l
Suppose 4*f - 6*f - 5*m + 4 = 0, 3*f = -m + 6. Let b be f + -6 + 3 + 3/3. Is b less than 2/11?
True
Let m be (-18)/20*(-56)/273. Which is bigger: -1 or m?
m
Let f = -2.97 + -0.03. Let i be (1/2)/((-5)/60). Let a = 4 + i. Which is smaller: f or a?
f
Let f = 66.9 - 90. Which is greater: f or -0.1?
-0.1
Suppose -5*u = -r + 21, -2*r - 76 = -5*r + 2*u. Do r and 25 have the same v