 > q?
True
Suppose -1307 = -54*f - 65. Is f greater than 17?
True
Suppose -2*v + 17 = -3*v - 3*t, -4*v + 4*t - 52 = 0. Let z(a) = -a**3 - 16*a**2 - 21*a - 12. Let g be z(v). Let b = -143 - g. Which is smaller: -32 or b?
b
Let y = -23 - -28. Let g be (-1 - 1) + (y - 6). Let t be ((-11)/((-165)/18))/((-4)/5). Are g and t unequal?
True
Let y = 17.9 - 17.807. Let v = -68 + 68.007. Let h = v + y. Is 0.038 < h?
True
Let n = -3.312 - -36.312. Is -25 at most n?
True
Let c be (-30)/45*(-6)/4*-253. Let g = -451 - c. Let q = -1396/7 - g. Is q at most as big as 0?
True
Suppose -8*k + 232 = 4*n - 4*k, 6 = -3*k. Suppose -2*q = 4*q - n. Let c be 24/(-70)*7/q. Which is smaller: 1 or c?
c
Let s be 194/8 + 1/(-4). Suppose s*o = 25*o. Let u be ((o - 5) + 3)/(0 - -2). Is -2 >= u?
False
Let h be (2156/143)/(-14) - 2. Let a be 0 + -1 - 959/468. Let d = a - h. Which is smaller: -1 or d?
-1
Let w = -2468284/387 - -6378. Suppose -3*r - r - 6 = 2*z, 0 = -3*z + 3*r. Which is smaller: w or z?
z
Let g = -522 - -452. Is g <= 1.1?
True
Let i = -4 + 130/33. Suppose -l - 19*a + 20 = -17*a, -30 = -2*l - 2*a. Suppose -17 = -7*t - l. Which is bigger: i or t?
t
Let j be (289/3)/(26/(-39)). Let i = 145 + j. Let v = -0.01 + -0.59. Which is bigger: v or i?
i
Let n = -66 + 120. Let v = n - 31. Which is smaller: v or -2?
-2
Suppose -3*c + 6 = 0, 3*f - c + 90 = 4*f. Let a be (27/4)/(33/f). Let n be a/(-45) + (-22)/(-5). Which is greater: 36/7 or n?
36/7
Let n = 70.2 - 71.824. Let t = n + 1.65. Is -1 > t?
False
Let s(n) = -18*n + 243. Let f be s(13). Let y(z) = 25*z - 78. Let j be y(f). Is j at most 146?
False
Let o be (-208)/(-36) - (-6)/27 - 967. Which is bigger: o or -960?
-960
Let v(w) = -w**2 + 3*w + 2. Let n be v(0). Suppose -3*s + 0*a - 103 = 5*a, 74 = -n*s - 2*a. Let r = 33 + s. Are r and -7 unequal?
True
Let x(c) = -c**2 + 14*c - 16. Let d be x(9). Let n = -436 - -466. Which is smaller: d or n?
d
Let w = 2203 - 19853/9. Is w bigger than 0.5?
False
Let q = -482.4 - -483.4604. Let z = q - 0.0604. Is -259 not equal to z?
True
Let m be (40/32)/(5/4). Let d be (2/7)/(14/98) + m. Is 6 != d?
True
Suppose 270 - 58 = -3*o - 244. Which is smaller: o or -132?
o
Let d(v) = -v**3 - 7*v**2 - 7*v - 1. Let u be d(-6). Suppose 2*y = -u*y - 490. Let b be ((-12)/(-6))/(4/y). Is 1/2 >= b?
True
Let m = -11 - -15. Let u(f) = f**3 - f**2 + f + 1. Let g(h) = 4*h**3 - 6*h**2 - 5*h + 3. Let p(l) = -g(l) + 3*u(l). Let y be p(m). Are 11 and y non-equal?
True
Suppose -3*v - 1377 = -6*v. Let r = -453 + v. Is 40/7 equal to r?
False
Let t = 3872 - 3871.956. Let n = -0.035 + 0.235. Which is bigger: n or t?
n
Let a be 120/(-900) + 202/165. Suppose l + 5*r = -21, -2*r - 8 = 2. Suppose 0 = -4*x - 3*s - 5, -3*s + 5*s + 10 = l*x. Which is smaller: a or x?
x
Let m = 35.23 - 35. Let w = -0.03 + m. Let o be -6 + 396/63 + 50/(-28). Which is smaller: o or w?
o
Let z be 760737/(-956) - (13/4 + 0 + -3). Are z and -808 nonequal?
True
Let n(m) = -m**2 - 2*m + 2. Let c be n(0). Suppose 65 = 5*j - i - 2*i, 5*j = -c*i + 90. Suppose -8 = -r + 8. Is r at most as big as j?
True
Suppose 5*l - 3*l - k + 495 = 0, 0 = -5*l + 4*k - 1245. Let b = 48266 + -48512. Is l at most as big as b?
False
Let p = -8.7 - 5.3. Let n = -14 - p. Is -1/114 less than n?
True
Suppose 0 = -54*s - 458300 - 26944. Which is bigger: s or -8985?
-8985
Suppose 5*w + 5*q + 8 = 8*q, -3*w - 5*q = -2. Let b be 2*w*36/24. Is 0 at most as big as b?
False
Let l(u) = 5*u**2 + 139*u - 430. Let q(n) = n**2 + 28*n - 86. Let f(b) = 2*l(b) - 11*q(b). Let o be f(-29). Is 113 at least as big as o?
False
Let r(a) = -a**2 + a + 1. Let y(i) = -i**3 + 2*i**2 + 5*i + 15. Let k(t) = -6*r(t) + y(t). Let n be k(8). Let c be (1/3*(-2 - n))/1. Is -8 less than c?
True
Let z(v) = -2*v**2 - 162*v + 974. Let c be z(-87). Which is smaller: -42 or c?
c
Let d be 5*4*4/16 - 0. Suppose 15*z + 5 = d. Let x be -4*3/39 + z. Which is smaller: -0.1 or x?
x
Let u(f) = -2*f**3 + 76*f**2 + 49*f - 300. Let s be u(40). Is s != -4740?
False
Suppose 5*n - 2*n = 4*c - 14, -2*c + 4 = 0. Let u be n*(24381/540 + 4/(-10)). Which is greater: -89 or u?
-89
Let u = 772 - 518. Suppose 3*m = 4*d + 622, -3*d = -4*m + 216 + u. Let y be ((-14)/d)/((-1)/5). Are -1 and y equal?
False
Suppose -18*p + 19*p = -3*i + 411, -3*i + 375 = -5*p. Are i and 153 equal?
False
Let q = -536 - -905. Let c = q - 369.2. Which is bigger: -0.56 or c?
c
Let k = 1470 + -161701/110. Suppose 371 = 3*g + 3*x + 377, 0 = 3*g - x - 6. Which is smaller: k or g?
k
Let p(m) = -m**2 + 84. Let q be p(9). Suppose -5*c = q*j - 4*c - 5, 3*j + 10 = 2*c. Is j at least as big as -6/103?
True
Let l = 65/1298 - 868071/17282870. Is l < -1?
False
Suppose -22*f + 14 = -36*f. Let t be 540/(-6) - f/5. Which is smaller: -89 or t?
t
Let n = -1.609 - -2.169. Let z = -2.3 - -2.2. Which is bigger: z or n?
n
Let z = -21516 + 30251493/1406. Which is greater: z or 0?
0
Suppose 0 = 661*n - 644*n + 39644. Are n and -2332 non-equal?
False
Suppose -4*m + 0*m - 172 = 0. Let d = m + 45. Suppose -41 + 17 = d*p. Which is smaller: p or 2?
p
Let m = -5627 + 5227. Which is smaller: m or 5?
m
Let v(j) = -14*j + 116. Let r be v(0). Suppose 36 = s - 4*o, -5*s + r = -4*o - 0*o. Is 0.07 at most s?
True
Suppose -70 = 5*j + 50. Let y(t) = 16*t - 76. Let p be y(-10). Let b = p - -214. Is b at most j?
False
Let r = -5994 - -6018. Let j = -20 + -6. Let c = r + j. Which is smaller: 4 or c?
c
Let w(d) = d**2 + d + 50. Let r be 16 + -14 - 4*2. Let g be w(r). Suppose -a + g - 151 = 0. Is a != -71?
False
Let u = -5697/2 + 2870. Which is smaller: u or 23?
u
Let b = -5010/77 - -458/7. Is b >= -0.8?
True
Let l be -750*12/1778 - (-2 + 2). Let j = l + 26/127. Is j >= -4?
False
Let p = -51 - -99. Suppose -3*q = -69 + p. Suppose q*n + 23 = -19. Which is greater: -1 or n?
-1
Let o be ((-620)/(-60))/((-231)/(-28350)). Which is greater: 1267 or o?
o
Suppose 1404*w = 1336*w + 2720. Suppose 2*v + 3*r = -0*r + 65, v - 4*r - 60 = 0. Is v not equal to w?
False
Let f(v) be the first derivative of -8*v**4 + v**3/3 + v**2 - 50. Let y be f(-1). Which is greater: 28 or y?
y
Let n = 0.03686 - 19.03686. Is -0.79 less than n?
False
Let y = 2347 - 2347. Which is bigger: -1/210 or y?
y
Let q = -170.313 - 3.787. Let y = q - -174. Let c = 15.7 + 1.3. Is y less than or equal to c?
True
Let a(n) = -n**3 + n**2 + 2*n. Let h be a(0). Let u be (-3)/(-1)*(1 + h). Let m be (-1)/(u/99*3). Which is smaller: -8 or m?
m
Let k be 7 + 746/14 - 4/14. Let q be (-1*(-32)/36)/(4/276). Which is bigger: q or k?
q
Let g = -542 + 544. Suppose g*o - 10 = 4*o, o - 75 = -4*v. Which is greater: v or 18?
v
Let h(v) = 2*v**2 + 44*v - 449. Let j be h(-30). Which is greater: 0 or j?
j
Let q = 159 - 260. Let a = q + 100.8. Do a and -0.11 have the same value?
False
Suppose -660 = -r - 727. Let x = -88 - r. Is -20 >= x?
True
Let c = -134 - 114. Let z be (-3)/(-15) - c/(-40). Which is greater: z or 2?
2
Suppose -3*m = -0*w - 2*w + 26, 0 = -3*w - m + 28. Let o(s) = -3*s + 2. Let l be o(3). Do l and w have different values?
True
Let i be (-253)/55 + 6/(-15). Let b be (-1)/((-3282)/657 - i). Is -219 <= b?
True
Let l = -46134 - -46133.879. Let p be 3/(-1)*4/42. Which is smaller: p or l?
p
Let v = 117 - 352. Let z = v - -236. Let k = -1/100 - -31/100. Is k less than or equal to z?
True
Let a(r) = r**2 - 3*r - 5. Let o be a(5). Suppose 0 = -3*b - 4*p, 4 + 7 = b + o*p. Let k = b - -5. Which is greater: 3/16 or k?
k
Let z = -181 + -300. Let s = 520 + z. Are 32 and s unequal?
True
Suppose -2*q = 2*p - 0*q - 6766, -6784 = -2*p + q. Is 3389 > p?
False
Let j = -16.109 + 16.2. Let i = j + -45.091. Let l = -42 - i. Is l > 0.01?
True
Let b = -321 - -324.19. Let m = b + -3.2. Let s = -0.11 - m. Is s > -42?
True
Suppose -2*c = 91*c + 64*c. Which is bigger: c or 13/255?
13/255
Let i = 0.3 + -155.3. Let k = 156 + i. Which is greater: 8.9 or k?
8.9
Let p = -18.09 - -18. Let v(x) = 4*x**3 - 3 + 16*x - 72*x - 5*x**3 + 0*x**3 + 249*x**2 - 219*x**2. Let n be v(28). Which is smaller: p or n?
n
Suppose 4*r - 130*d = -128*d + 116, r = -2*d + 29. Suppose 8 = 5*m - 12. Is r equal to m?
False
Let o = 0.2 + -3.2. Let r = 637 + -766. Let z = r - -1031/8. Which is smaller: o or z?
o
Let h be (-112)/28*2/132. Is 0.19 equal to h?
False
Suppose 0 = -3*x - u + 4, 0 = -5*x + 2*u + 3*u + 20.