et a be 9/63*(-147)/8337. Is a less than or equal to 0?
True
Suppose -5 = 4*u + u - 4*d, -u = d + 10. Let m be (u - (-2 - -1)) + 16. Is m less than 12?
False
Let p(q) = q**2 - 7*q + 18. Suppose 16*h = 60 + 4. Let f be p(h). Which is smaller: f or 4?
4
Let w(x) = -x**3 - 47*x**2 - 44*x + 213. Let v be w(-45). Which is smaller: v or -1856?
v
Let j = -14863 - -4666983/314. Which is smaller: 1 or j?
j
Suppose -5*g + 7*f = 1824, -8*g + 784 = -10*g - 4*f. Is 20 equal to g?
False
Let g = -10699 - -11115. Are 2/7 and g non-equal?
True
Let k be ((-2)/75 + 0)/(8/(-280)). Suppose -o = -3*a + 7, 3*o = 6*a - 4*a - 14. Let g be (7 + a + -3)*2/5. Which is smaller: k or g?
k
Let d = -510 - -512. Let y = d + -69. Which is smaller: y or -68?
-68
Suppose 38*p + 12 = 35*p, -2*c = -p - 46. Let w = 3400/3 + -1112. Is w less than c?
False
Let w = -1723 + 1744. Which is smaller: 1 or w?
1
Let b(t) = t + 5. Let q be b(-6). Let s be (-34 - -32)/(2/6). Let j be (-196)/(-128)*s + 9. Which is smaller: q or j?
q
Let u = 243 - 143. Let q = -95 + u. Suppose 0*o + 2*j = -5*o + 8, 0 = -q*o + 2*j - 8. Is 1/30 smaller than o?
False
Suppose 0 = -2*m - 162 - 84. Let n = m - -1374/11. Is n at least as big as 1?
True
Let m = 45 + -44. Let b = 11 + m. Let j = b - 9. Which is smaller: -2/7 or j?
-2/7
Let r(g) = -g**3 - 58*g**2 - 73*g - 471. Let o be r(-57). Is 441 less than or equal to o?
True
Suppose -24*z + 42 = 18. Suppose 0*y - 44 = -4*y. Let n be (y - 12) + 96/((-2)/z). Which is smaller: n or 0?
n
Let f = 76.59 + 1.41. Suppose 1828 = 225*r + 1828. Is r bigger than f?
False
Let s be (-5)/(-3) - (-171248)/528. Is s < 327?
True
Suppose -4 = -4*a, 2*a - 6*a + 4 = 3*v. Suppose c - 4 = -v*c. Suppose 2*q - 3 = 5*t - 0*t, -4*t - c*q - 8 = 0. Is -2/49 > t?
True
Let v = -1442.1 - -1371. Let w = 176 + -105. Let o = v + w. Does -1 = o?
False
Let t(y) be the first derivative of -y**4/4 + 2*y**3/3 + 3*y**2/2 - 3*y - 14. Let l be t(3). Let h be (-559)/(-897) + 2/l. Which is greater: h or -0.1?
h
Let n = 186 + -394. Which is smaller: n or -1255/6?
-1255/6
Suppose 31*a - 64 - 29 = 0. Let x be (-6)/12*6/a. Is x bigger than -2/1141?
False
Let v(w) = -4*w**2 - 48*w + 4. Let u be v(-12). Let n be -3 - (-2 - (u - 0 - 1)). Which is smaller: -27 or n?
-27
Let y = 0.0529 - 24.3529. Let o = y - -24.2. Which is greater: 2.86 or o?
2.86
Let z = -24 + -86. Let g = 109 + z. Is -2/53 at most as big as g?
False
Let q = 458 + -288. Suppose 31*r + 24*r = -13*r + 11628. Are r and q equal?
False
Suppose 3*k + 154 = 4*d, 0*k + 5*k - 2*d + 238 = 0. Let y(r) = 6*r + 7. Let q be y(6). Let o = q + k. Which is smaller: o or -9?
-9
Let h = 262 - 17817/68. Suppose 162*y - 64*y + 17 - 115 = 0. Are h and y nonequal?
True
Let f be (3/(-5) - (-435)/975) + (-6114)/(-26). Which is bigger: 231 or f?
f
Suppose 0 = 136*h + 149*h - 298*h + 429. Which is bigger: h or 27?
h
Suppose -g - g + 8 = 2*n, 4*n = 2*g + 4. Let s = 4194 + -4259. Is s > n?
False
Suppose -183*c - 760*c = -9430. Suppose 2*d + d - 12 = 0. Suppose d*y - 35 = 1. Which is bigger: y or c?
c
Let x = 32339 + -32503. Which is bigger: -134 or x?
-134
Let n = -23030 - -21701. Is n <= -1318?
True
Let t(l) = l**3 - 2*l**2 - 2*l + 157. Let y(m) = 9*m + 9. Let k be y(-1). Let a be t(k). Which is smaller: a or 154?
154
Let b(f) = -3*f**3 + 22*f**2 - 28*f - 41. Let p be b(18). Let i = -174545/16 - p. Which is bigger: i or 5?
5
Let v be (-1)/(-4) - 1596/48. Let s = 42 + -40. Suppose 0 = -k + 3*g + s*g - 14, -5*g = 20. Is k at least as big as v?
False
Let s(l) = -l**3 + 19*l**2 - 32*l - 35. Let h be s(17). Let z be h*(-1 + -151)*1. Which is smaller: 153 or z?
z
Let p = 11688 - 16572. Are -4883 and p equal?
False
Let r = -28 + 2. Let w = r - -18. Let p = 0 + w. Which is bigger: p or -4?
-4
Let g = -328 + 336. Let i(c) = -34*c + 270. Let h be i(g). Which is greater: 0.45 or h?
0.45
Let p be 4/26 - 105/91. Let h be (p - -6)/(20/(-20)). Does -5 = h?
True
Let l be (498 + -10551)*(-1 + 8/9). Which is greater: 1120 or l?
1120
Suppose -59*o + 72*o + 65 = 0. Which is bigger: -126 or o?
o
Let x = -11329.1 - -11328.9. Let k = 112.91 - -0.09. Is k greater than x?
True
Suppose 2*z = 1 - 21. Suppose 88 = -5*p + 58. Let i be 4 + -4 + (p - (-10)/(-5)). Is i < z?
False
Let d = 15153.07 + -15005. Let q = 150 - d. Is q <= -1?
False
Suppose 78*x + 3 = 79*x. Suppose x*o - 9 = -3*s, 3*o = 2 - 5. Suppose 4 = 2*b + s*i, -3*b + 6*b + 1 = i. Is -3/11 >= b?
False
Let z = 514 - 502. Which is greater: z or -12?
z
Let p be 3/(-9) + 512/72 + -7. Are p and -2/263 nonequal?
True
Let s = -1.17 + -21.83. Let w = -15 - -21. Let o = w - s. Which is greater: 1 or o?
o
Let a = -420.065 + -0.935. Let x = a - -425. Which is greater: -44 or x?
x
Let s = 440 + -424. Suppose 46*m - s = 42*m. Which is bigger: m or -1?
m
Let j = -167.29 + 168. Let q = 0.11 - j. Let z be 115/(-10) - -6 - (0 - 5). Do q and z have the same value?
False
Suppose 64*o + 2360 = 72*o. Let z = o + -294. Is z <= 13/3?
True
Suppose -2790 = 87*b + 12*b + 87*b. Is b at least as big as -690/47?
False
Let h be 1 + 6 - (-4240)/(-640). Which is smaller: h or 1/9?
1/9
Let l be (-2 - 419/(-211))*(-1595)/435. Which is smaller: l or -1?
-1
Let k be 0/(-4 - -2) + 184. Let p = k - 216. Which is greater: -33 or p?
p
Let b = 7053 + -7000. Is b less than 570/11?
False
Let v(x) = -4*x + 3. Let d(w) = -13*w + 12. Let p(g) = -2*d(g) + 7*v(g). Let f be (-3)/(-2 - 14/(-4)). Let j be p(f). Which is smaller: -1/14 or j?
-1/14
Let w = -169 + 166. Let m(b) = -b**3 - 5*b**2 - 4*b - 3. Let n be m(w). Which is greater: -2 or n?
-2
Let y be 82/6*23/((-4807)/(-228)). Which is greater: y or 1?
y
Let f(z) be the second derivative of -z**4/12 - z**3/3 + 3*z**2/2 + 9*z. Let o be f(-5). Let r be 33/(-6) - -4 - (-74)/o. Which is smaller: -7 or r?
r
Let k be 2 + 2 + (6 - -1). Suppose k*v - 3*v = 1472. Let y be -2 + 4 - 344/v. Is 0 greater than y?
False
Suppose -18*z = 103 - 391. Let i = 9 - 8.9. Which is smaller: z or i?
i
Let u be 12/9 + (-15)/45. Suppose 0 = -q + 2*g + u, 0 = 4*q + 4*g - 5 + 1. Which is bigger: q or 2/183?
q
Suppose 277 - 196 = -9*i. Which is greater: -169/18 or i?
i
Suppose 0 = -8*j - 3*j + 55. Let q = 1 - j. Let l be -8 - (-4 + (0 - -4)). Which is greater: l or q?
q
Suppose -4*k + 2*k = -3*q - 15, 0 = -3*q - 5*k + 27. Are q and -5564 non-equal?
True
Suppose 12 = 3*z - 3*i - 0*i, -4*z + i = -13. Let o(f) = 118*f**2 + 3*f - 10. Let d be o(2). Suppose -4*w - d = -456. Which is smaller: w or z?
w
Let c be (-4)/(-18) - (-145)/(-45). Let g be ((-30)/(-40230))/(3/(-54)*c). Which is smaller: 0 or g?
0
Let x = 6601537947/70 - 94309694. Let m = 2009 + x. Let r(d) = d**2 - 3*d + 2. Let c be r(2). Are m and c unequal?
True
Let p = 27179 - 27168. Which is greater: p or -5.13?
p
Let w = 9094 + -9166. Is w != -37?
True
Let g(h) = h**2 + 4*h - 48. Let m be g(-9). Is -6 > m?
False
Let u be (1 + -5)/(-508 + 507). Which is greater: u or 86/31?
u
Let c(j) = -j**3 - 7*j**2 + 9*j - 1. Let w be c(-8). Let b = w + 8. Suppose 3*s + 7 = -4*a - 0*s, s - 19 = 4*a. Is b greater than a?
True
Let n = 117 + -17. Suppose n = -35*x + 39*x. Which is bigger: 22 or x?
x
Let u = -0.856 - -0.756. Let x be 4/6 - 1764/(-270). Do u and x have the same value?
False
Let j = 813/8854 - 3/233. Let a(k) = -25*k + 2. Let u be a(-1). Let q = u - 26. Which is smaller: j or q?
j
Let b = 313 - 296.9. Let z = b - 21.5. Are z and -1 equal?
False
Suppose 0 = -5*d - 2*f - 36, 4*f - 9 = 7*f. Let k(o) = 2*o**2 - o - 6. Let z be k(6). Let t be z/(-50)*10/(-6). Which is smaller: t or d?
d
Let x = 32 + -46. Let f be -9 - 390/(-42) - (-1334)/x. Let m = 117 + f. Does 22 = m?
True
Let s be (18/(-192))/(99/55). Is s at least as big as 1?
False
Let z = -6.2 - -5.2. Let v = 2434 + -328588/135. Which is bigger: v or z?
v
Let r = -34512373576/127 + 271754879. Let h = 3906 - r. Which is greater: h or 0?
h
Let n = 517 - 520. Let h be (-2 - 1)*1 - -2. Let s be (1 - (h - 0)) + -2. Is n >= s?
False
Let q = -126 + 88. Is q at least 0.32?
False
Suppose 5*f + 31 - 261 = 0. Suppose 7*c + f = 18. Which is bigger: c or -14/5?
-14/5
Let i be (-6)/(-36) - (-2)/(-12). Suppose i = 5*a + q + 12, -5*q = 4*a - 0*q + 18. Let s be (a - 20/(-12))*-1. Which is bigger: -19 or s?
s
Suppose -4*r - 354 + 336 = -2*l, r = -2*l - 2. Is -1/18453 >= l?
False
Let