-51968374/40666395. Let l = y - 32/35. Is 5 at least l?
True
Let q be -1*(-4 - (-1087)/121 - 5). Let x = -14 + -18. Let k = x - -63/2. Is k smaller than q?
True
Let p(v) = -v**2 - 12*v + 5. Let r be p(-12). Suppose r - 41 = -2*i. Suppose -2*y + y = -4*t + i, -126 = 4*y + 2*t. Are -29 and y non-equal?
True
Let q be 132/165*2305/28. Which is greater: 66 or q?
66
Suppose 0*m - 3*m + 266 = -4*i, 2*m - 154 = -2*i. Suppose -4*d + 6*b + 8 = 2*b, -b = 4*d - 8. Let x be 6*2/8 - d. Which is bigger: m or x?
m
Suppose 6*j = 5*d + 7*j - 208, -122 = -3*d - 2*j. Is d < 550/13?
True
Let q = -15484 - -15482.34. Do q and 2 have different values?
True
Suppose 0 = 5*v - s, -4*v + 4*s - 4 = -20. Let q be (1224/98)/(-3) + 4. Which is greater: q or v?
q
Let o = -99 + 101. Let q = 7.03 + -6.95. Is o < q?
False
Let f = 2154.9 + -2155. Is 17/6 at least f?
True
Let z be (-433)/7794*880/54. Which is greater: z or -2/3?
-2/3
Let g be 4/(-24) - 1754/132. Suppose 43*q + 20*q + 854 = 2*q. Is q greater than g?
False
Let w(s) = -s + 8. Suppose 3 = 3*o - m + 4*m, -o + 13 = -3*m. Let u be w(o). Let k be (144/8)/((-2)/u). Is -36 less than k?
False
Let u be (-74)/3 - (40/(-4) + 8). Let w = -38 + 14. Let o = u - w. Which is smaller: 0 or o?
0
Suppose -4*x - 3*f = 300, -140 = -3*x + 4*f - 365. Is x < -115?
False
Let q(z) = z**3 - 9*z + 5. Let h be q(-3). Suppose -p + h*b - 136 - 174 = 0, -355 = p + 4*b. Is -335 greater than or equal to p?
True
Suppose -i = 2*i - 3. Let a be ((-5256)/1188732)/(3/(-23)). Is a bigger than i?
False
Let a be (-24)/(-30) + 1224/(-30) - -7. Let w(x) = 11*x**3 - 2*x**2. Let u be w(2). Let i be 4/a*72/u. Which is greater: i or 0?
0
Let a = 17.94 + -16.05. Is a at least as big as 3?
False
Let p be (170 + (-6)/(-3))/(2996/(-5778)). Which is smaller: -331 or p?
p
Let m = -24 - -29. Suppose -m - 27 = -8*f. Suppose 4*a - a + 23 = 5*y, 51 = 5*y + f*a. Is 8 > y?
True
Let r(d) = 3*d**3 - 12*d**2 + 13*d - 13. Let y be r(3). Is y bigger than 5/1054?
False
Suppose 3*u = -5*f - 9, -4*f - 3*u - 6 = 3. Suppose f = -0*j + j + 1. Let a = 50360/77 + -654. Is a greater than j?
True
Suppose 0*q - 6*q + 1320 = 0. Let s = q - -16. Let j = 1184/5 - s. Which is smaller: j or 0?
0
Let a be ((-3)/4)/((-78)/30056). Which is bigger: a or 298?
298
Suppose 4*k - 9180 = k + 23*k. Is -457 bigger than k?
True
Let d(s) = 364*s**2 - 1040*s - 2080. Let q be d(-2). Is q at most as big as 1458?
True
Let g be 2400/390 + 2/(-13) - -4365. Is 4370 less than or equal to g?
True
Let a be -4*(-3)/((-12)/(-14)). Suppose -7*h - 105 = -119. Suppose z = -h*w + 4 + 19, -w = -z + 11. Is a less than z?
True
Let w = -4158 + 4246. Which is greater: w or 0.001?
w
Let r be (-75)/8 - (-2 + -1). Let s = 953/152 + r. Do 0.2 and s have different values?
True
Let i be 34085/(-68) - 4/8. Which is greater: i or -501?
-501
Let k be 1500/300 - (1 + 4). Which is bigger: k or -2/45667?
k
Suppose -u = 63 + 381. Let c = u + 294. Which is smaller: c or -151?
-151
Suppose 0 = 3*b - 0*b - 87. Suppose -b*n + 342 = -20*n. Let t = n + -52. Which is smaller: -2 or t?
t
Let q = 88 + -272. Let v = -189 - q. Which is bigger: -2 or v?
-2
Let m(t) = 2*t + 4. Let i(j) = 23*j - 120. Let y be i(5). Let r be m(y). Is r bigger than 12?
False
Let a = 0.01876 - -0.31124. Which is bigger: a or -40?
a
Let u = 398 - 236. Let z = u - 181. Which is bigger: -1/3 or z?
-1/3
Suppose 0*l = -x + l + 7, x + 5 = -2*l. Suppose -4*d - y - 80 = 0, -d - 3*y + 0*y = 20. Let f = d + 20. Is x != f?
True
Let v(d) = 5*d**3 + 16*d**2 - 3. Let p be v(-3). Which is smaller: p or 30?
p
Let x be -20 - (-7 + 580/60). Let f = -10 - 14. Which is bigger: x or f?
x
Let f be 5320/(-44642) + (160/85)/16. Is f greater than 1?
False
Let d = -27960/17 - -138961149/84490. Which is greater: d or 0?
0
Let i = -1.3 + 0.3. Let f = 10.517221 - 0.217221. Which is smaller: i or f?
i
Suppose 87*o - 7467 + 23475 = 0. Is -188 at most o?
True
Suppose -7*d + 4*d - 178035 = 0. Let n be (17 - d/(-3340)) + (-6)/(-8). Is n less than 1?
True
Let y = 47 + 0. Suppose 2*x + 362 = -4*z + 440, -106 = -2*x + 3*z. Is y >= x?
True
Let p = 3.45 + -212.45. Let o = -214 - p. Which is smaller: o or 13?
o
Let z be 6/(-4) - (-32442)/(-6188). Let y = z + 115/17. Let l = 172/455 + y. Which is bigger: l or 2?
2
Let z = -14336 - -14332. Is -0.2363 bigger than z?
True
Let w be ((-252)/(-14))/((-2)/(-160)). Suppose -14*i - w = -30*i. Is i >= 638/7?
False
Let y = -2 + 2.1. Let w(o) be the third derivative of o**5/60 + 3*o**4/8 - 37*o**3/6 - 18*o**2 - 3. Let d be w(-11). Is y not equal to d?
True
Let k(v) = -4*v**2 + 50*v - 103. Let b be k(12). Which is greater: -627/8 or b?
-627/8
Let i = 87 - 83. Let v(o) = -o**3 + 3*o**2 - o + 1. Let m be v(3). Let n be (-65)/(-20) + m/4. Which is smaller: n or i?
n
Let z(c) = 4*c**2 - 11*c + 2. Let r be z(5). Suppose -r = -u + 37. Let y be 86/u + (-18 - -17). Is 1 at least as big as y?
True
Let u = 35494 + -35378. Suppose -5*h + 657 - 72 = 0. Which is smaller: u or h?
u
Let v = 40/63 + 2/63. Suppose 5*g + 8 = 18. Suppose 0 = -z + 3*x - 10, 0 = 99*z - 95*z - g*x. Is z at least as big as v?
True
Let w = 4.98448 + 0.01552. Which is bigger: 368 or w?
368
Suppose -2 = -2*u + 46. Let o be (-1 + -1)/(u/(-92)) - 3. Let m(t) = -t - 3. Let z be m(-7). Which is bigger: z or o?
o
Suppose -3*h + 77 = -4*h + 8*h. Let z(p) = -4*p + 3. Let v be z(-4). Let c = -11 + v. Which is smaller: c or h?
c
Let v(r) = 4*r - 18. Let z be v(2). Let t = z - -53/5. Is 1 not equal to t?
True
Suppose -5 = 3*o + 3*g - g, 8 = -4*o - 4*g. Let i be -8*(-4660)/13688 + 0/3. Let d = i + -78/29. Which is smaller: o or d?
o
Suppose -5*m = -5*i - 120, -4*m - 17*i + 131 = -14*i. Which is greater: m or -30?
m
Let n be (11 + -57)*5/(-30)*3. Suppose 32*z - 9 = n. Let s = -24023/13 - -1849. Is s at least as big as z?
True
Let b be ((-3)/5)/(1*(-3)/60). Let g be 1 + 2 - (2 - b/6). Let z be 87*g/7 + 4/(-14). Is z at most as big as 37?
True
Let x be 7/7*522/(-23809). Is x equal to 0?
False
Let l be (4/(-1))/(20/(-350)*-15)*3. Are l and -53/4 equal?
False
Suppose -5*x = -20, 2*n - 54 = n - 4*x. Let c(r) = -31*r - 24. Let h be c(-2). Let y = h - n. Is -25 equal to y?
False
Let h be (-20)/(-6) + (-6)/63*-7. Suppose -h*k + 4*d = 88, 4*d = -k - 0*d - 7. Is k > -1/4?
False
Suppose 3*b = 8*b - 40. Suppose -b*z = -188 - 108. Which is bigger: 32 or z?
z
Suppose 18*a - 1692 = 41*a - 70*a. Is 11 greater than or equal to a?
False
Let x = 3580 - 3603. Let u(d) = 7*d + 10. Let r be u(-5). Is r greater than or equal to x?
False
Let m = 308.9 - 557.9. Is 0.31 less than m?
False
Let k be (-7)/((-84)/16)*2/1648*732. Which is smaller: k or 0?
0
Suppose 3*g = -5*r + 46, -r - 4*r - 108 = -4*g. Let q = -14 + g. Let z(o) = 3*o + 123. Let i be z(-40). Is q less than or equal to i?
False
Let x(r) = r**3 + 7*r**2 - 13*r - 43. Let y be -24*((-18)/27 + 1). Let b be x(y). Is b < -30/17?
True
Let s = -18 - -20. Suppose s*l + 0*l = -5*b - 21, 3*b + 25 = 5*l. Are b and -11/3 unequal?
True
Let g = 96.13 + 1.87. Let j = g + -98.118. Is j bigger than -1?
True
Let q = -17722 + 17742.79. Which is greater: -2 or q?
q
Let p(l) = 18*l - 11. Let j be p(5). Suppose -71 = 2*n + 2*d + j, 25 = -5*d. Are n and -71 nonequal?
True
Let w = -73548 + 74099.59. Let o = w - 554. Let s = o + 0.41. Is -9 less than or equal to s?
True
Let k(o) = -8*o - 5. Let z be k(-6). Suppose -21*l = -27*l + 654. Let s = l - 65. Which is smaller: s or z?
z
Let k = 481169/5 + -95917. Let u = 317 - k. Which is bigger: 17/15 or u?
17/15
Let g = 509 - 487. Suppose 0 = 20*q - 10*q - 300. Which is smaller: q or g?
g
Let t = -123061 - -1584164251/12873. Does t = 0?
False
Let p(v) = v**3 - 30*v**2 + 37*v + 196. Let j be p(29). Which is greater: j or 430?
430
Suppose -x + 99 - 19 = 3*z, 3 = -3*x. Suppose 8*b - z = -11. Let n be 30/(-8)*(b - (-42)/(-20)). Which is smaller: 0 or n?
0
Let k be -323 - ((-9)/(-4))/(-11 + (-564)/(-48)). Which is smaller: -329 or k?
-329
Let y = -266 + 221. Let q = -45 - y. Which is greater: 7/3 or q?
7/3
Let o be 0/1 + (-438)/(-6)*-1. Let w = -83 - o. Let l be (24/(-15))/((-2)/w). Which is greater: 0 or l?
0
Let p be (-24 + 22)/(3/186) - -9. Which is smaller: p or -77?
p
Let b be (-2860)/(-65) + (-2 - -2) + 9. Which is smaller: b or 478/9?
b
Let x(p) = -49 - 72 + 169 + 6*p. Le