**2/2 + 4*t. Let r be c(-3). Are r and 28 nonequal?
True
Let s = 13/60 - 5/12. Let i be 2/(-7) - (-4)/14. Let a = -1 + i. Which is bigger: a or s?
s
Suppose 5*n = -0*n - 25, 40 = 5*q - 5*n. Suppose -q*m - 3 = 4*r, -2 = m + m + 4*r. Which is greater: m or -10/9?
m
Let o = 50.73 - 51. Let m = o + 0.17. Does 17 = m?
False
Suppose -2*z + 2*s - 2 = 0, 29 - 23 = -3*s. Is -1/9 >= z?
True
Suppose -g + 2*b + b + 1 = 0, 0 = -5*g - 4*b - 33. Let s be 2 + 0 + 1 - (g - -9). Which is greater: s or 4/65?
4/65
Let s(d) = d. Let g be s(3). Suppose -4*l + 5*l = g. Suppose 24 = -0*p - l*p. Is -8 at most as big as p?
True
Let z = 517.9 + -489. Let g = 29 - z. Is -31 less than g?
True
Let r be ((12/(-9))/2)/(22480/(-360)). Are r and 0 nonequal?
True
Let n be (-520)/65 - (-1 - -3). Which is bigger: -74/7 or n?
n
Let b(n) = n**3 - n + 8. Let z be b(0). Suppose -z*c + 3 = -11*c. Which is smaller: 2/7 or c?
c
Let u be 54/(-513) - 2/(-19). Are u and -171 unequal?
True
Let g = 13/47 - 593/1974. Which is greater: g or 0?
0
Suppose 4*z - 277 = -3*u + 2*z, 4*z - 287 = -3*u. Let o = -78 + u. Let d(q) = 2*q + 3. Let x be d(5). Is o less than x?
True
Let c be 1 + (-378)/93 - -3. Let w(n) = -n + 1. Suppose -3*m - 6 = -6*m. Let t be w(m). Which is bigger: c or t?
c
Let d = -269 - -271. Are -84 and d non-equal?
True
Let k = 153.5 + -153.6. Which is smaller: 1.54 or k?
k
Let l be (6/(-2) - -23)*(-3)/(-3). Are l and 15 unequal?
True
Let u = 13 - 2. Let a = -11 + u. Let v = 53/9 + -6. Which is greater: a or v?
a
Let r(l) = -18*l - 55. Let g be r(-3). Which is smaller: 1/9 or g?
g
Let q be (-5)/(10/(-186)) + (1 - 1). Let a = q - 87. Which is smaller: a or -3?
-3
Let z be ((-12)/(-16) - 0)*(-2)/3. Let c be (-9)/4 + -3 + 5. Which is smaller: c or z?
z
Let m = 2/79 - -71/316. Let u be -5 + 1 + 1 - 105. Let d = 538/5 + u. Is d <= m?
True
Let t = -195 + 210. Let k = 0.41 + -19.41. Let q = k + t. Which is smaller: q or 2?
q
Suppose 182 = 4*n + 2*b, n = 5*b + 38 + 2. Suppose -4*w + 70 + 114 = 0. Which is smaller: n or w?
n
Let p = 2182064475/2949349 - -3/226873. Let n = 742 - p. Is 2 greater than or equal to n?
False
Let g = -5 + 3. Let s be 2/(-10)*15/2. Which is bigger: g or s?
s
Suppose -x - 16 = -b, -5*x + 0*x - 48 = -3*b. Suppose 0 = 2*y + 2*y - b. Which is smaller: 1 or y?
1
Let c(n) = n + 7. Let x be c(-6). Let r be ((-3)/(-6))/(x/(-55)). Is r less than -27?
True
Let y = -2.6 - -3.6. Is -284 < y?
True
Suppose 2*k + 480 = 312. Which is bigger: -77 or k?
-77
Let m = 41 - 6. Let l = m - 34. Which is smaller: l or 46?
l
Suppose 5*h + 25 = 5*u, 0*u = -2*h + 4*u - 20. Let k = -257/85 + 16/5. Which is greater: h or k?
k
Let s = -1128.1 + 1128. Which is smaller: s or 360?
s
Let q(b) = -b**2 + 4*b - 1. Let x = 9 + 2. Suppose 3*u - x = 1. Let m be q(u). Is m <= -2/87?
True
Let n be (28/42)/(2/81). Let c = -33 + n. Let l = c - -8. Is l less than 3?
True
Let o = -0.713 - -0.71. Let t = o + -0.097. Is -35 at most t?
True
Let m = -5066/181 - -28. Let d be 0 + -4*1/(-4). Is d equal to m?
False
Let c be ((-1)/(-3))/(-3 - -2). Suppose -37*o + 39 - 39 = 0. Is o greater than c?
True
Suppose 0 = -4*n + 7*n - 9. Suppose 3*w = -5*i - 3138, 4*w = -i - 144 - 470. Let m = 4422/7 + i. Is n less than m?
False
Let a = 0.3 + 0.2. Let q = a - 0.2. Let v = -2.4 + 2.2. Is q less than v?
False
Let x = -5 - -1. Let j = -1.16 - -1.1. Let d = 2.94 - j. Is x <= d?
True
Suppose 8 = 2*b + 4*y + 60, -119 = 4*b + 3*y. Let j = 34 + -66. Is b != j?
False
Let x(m) = -m**3 + 8*m**2 - 7*m - 1. Let r be x(7). Let o be (-6)/(-21)*(-2218)/4. Let j = -159 - o. Is j less than r?
False
Let z = -2191 - -952. Does z = -1239?
True
Let y(m) = m + 3. Let n be y(-6). Let j = n + 5. Suppose -5*s + 4*g - 8 = -29, -5*s + 13 = -2*g. Which is smaller: j or s?
s
Suppose 5*n + 2*a = -103 + 24, 0 = -5*n - 3*a - 81. Let m be ((-6)/32)/(7/(1 + n)). Which is smaller: m or 0.7?
m
Suppose -68*f + 77*f = -27. Let r = -120/19 + 258/95. Which is greater: r or f?
f
Let p = 0.062 + 204.938. Is p equal to 1?
False
Suppose 6*k - 2*k = 24. Let n(f) = 5*f + 4. Let q be n(k). Let o = -61 + q. Which is smaller: o or 1?
o
Let k(s) = -s**2 - 2*s + 5. Let y be k(-5). Suppose -m + 54 = 4*h + 52, h + 3*m - 6 = 0. Which is smaller: h or y?
y
Suppose m + 3 + 1 = 0, 12 = 4*b + 2*m. Suppose 0 = -2*g - b*g. Are 2 and g equal?
False
Let u be (-29)/9 - 20/(-90) - 29. Let q be 6/10 - 1 - u/80. Is q less than or equal to -4?
False
Let w = 115 - 106.3. Let h = w + 0.3. Let g = -9.2 + h. Are g and -1/4 non-equal?
True
Let c(u) = 107*u - 427. Let s be c(4). Is 1/484 less than s?
True
Suppose t - l = 5, l + 10 = -l. Let w = 14941/30 + -498. Which is bigger: w or t?
w
Let f = -1511 + 1929548/1277. Which is smaller: f or -0.1?
-0.1
Let q(z) = 9*z + 10. Let n be q(8). Let l = n + -82. Is 9/7 less than or equal to l?
False
Suppose 176 = k + 173. Let p be (-1)/(-6)*4/54*k. Is p greater than or equal to 1?
False
Suppose -118 = -5*r + 2. Suppose 3*w + 4*i - 67 = 2*i, 0 = 5*w + i - 121. Which is smaller: r or w?
r
Suppose 0*g - 34 = -3*m - g, 4*m + 5*g = 49. Let r be (13/(-3))/((-2)/(-6)). Let p = 24 + r. Is m less than or equal to p?
True
Suppose m + 4*h - 283 = 0, -3*m = -4*m + 3*h + 283. Is 284 != m?
True
Let b = 0.23 - 0.33. Is 2/45 greater than or equal to b?
True
Let w = 5050024/17 - 296872. Let p = w - 188. Is -1 at least p?
False
Let z = -0.06 + 2.06. Let v be 26/65 - 8/10. Is v bigger than z?
False
Suppose -2*g = 4*i, 2*g + 2 = -5*i - g. Let a be i/(4 - 2) - 1. Suppose 5*t = -a + 5. Which is smaller: 1/3 or t?
1/3
Let a = 7/108 + -433/3348. Suppose 0 = -5*q + 2*f + 1, 3*q + 2*q - 3 = f. Is a < q?
True
Suppose 3*r + 16 = -r + 4*f, -2*r - 5*f - 22 = 0. Let t(i) = i**3 + 6*i**2 + i + 5. Let u be t(r). Which is greater: u or 0.04?
0.04
Let j(u) = 52*u + 276. Let v be j(0). Is v greater than or equal to 277?
False
Let g = -392/9 + 1469/36. Is -1/87 at most as big as g?
False
Let c(t) = t - 2. Let b be c(6). Suppose 1 - 24 = b*j - 5*p, -5*p = j - 13. Let l(q) = -q. Let h be l(1). Which is greater: j or h?
h
Let y = 88.7 - 88.8. Which is smaller: 0.0856 or y?
y
Let n = -0.0633 - -0.1633. Is n smaller than 0.05?
False
Let f = 28 + -27.6. Is 14 <= f?
False
Let z(n) = -n**3 + 5*n**2 + 3*n - 1. Let s be 2/(1 + (-2)/4). Let m be z(s). Let d = m - 27. Which is bigger: d or 2/9?
2/9
Let l be ((-2)/(-5))/(1/5). Let v(s) = -2*s**2 + 17*s + 97. Let m be v(17). Let r = 959/5 + m. Which is smaller: l or r?
r
Suppose 0 = b + 2*x + 4, -4*b = 2*x + x + 36. Let c be (b - -6)*1/7. Which is smaller: -2 or c?
-2
Let j = -1.9 + 1.87. Let d be ((-10)/(-15))/((-8)/15). Are j and d nonequal?
True
Suppose -4*h + 13 = 5. Let y = 8.2 - 12.3. Let i = 4 + y. Which is bigger: h or i?
h
Let n = 562 + -562.99. Is n at least 3?
False
Let x = 750633/110 - 6824. Which is greater: x or 0?
0
Let o(w) = 10*w**2 - 3*w**2 - 4*w + 6*w + w**3 + 2. Let j be o(-7). Let h be j/(-18) - 10/6. Which is smaller: h or -9/4?
-9/4
Let x = 4156 - 74773/18. Which is smaller: 2 or x?
x
Let i = 29 - 29. Suppose 8*s - 3*s - 15 = i. Let d = s + -3. Which is smaller: -2/61 or d?
-2/61
Let q(c) = 60*c**2 - c - 2. Let j be q(-2). Let m be 1/(-5) + j/75. Let t = m - 6. Is -3 >= t?
True
Let v = 12501 + -3987829/319. Let c = v - -15382/2233. Is 7 equal to c?
False
Let y(q) = 3*q**2 - 13*q - 165. Let l be y(-6). Which is smaller: 20 or l?
20
Let l(q) = q**3 - 16*q**2 - 9. Let g be l(16). Let t be (-386)/(-97) - (g + 13). Is 1 smaller than t?
False
Suppose 2*n - n - q + 6 = 0, -2*n = -4*q + 22. Let d(w) = 2*w + 1. Let v be d(1). Let a = 1 - v. Is a <= n?
True
Suppose 69*f = 26*f + 86. Is -163 at least as big as f?
False
Suppose -640 = 12*a + 8*a. Are a and -32 equal?
True
Let p = -95/64 + -1/64. Which is smaller: p or -3?
-3
Let h = 4/19 + -66/133. Let g(i) = -65*i**3 - i. Let p be g(-1). Let v be (-9)/(-3) + p/(-18). Which is greater: v or h?
h
Let g = 11521 - 357103/31. Is 3 <= g?
False
Let j = 9.64 - -539.36. Is -1 equal to j?
False
Let f = -188/429 + 10/39. Let o(u) be the first derivative of u**3/3 + 7*u**2/2 + 5*u - 3. Let b be o(-6). Is b < f?
True
Suppose -8*j - 5*b = -3*j + 1025, -b - 4 = 0. Do -202 and j have different values?
True
Let o = 0.023 + 27.977. Let c = 21 - o. Let u = -8 - c. Is 0.1 at most u?
False
Let t = 393.23 + -390. Le