and l have the same value?
False
Let y = 485 + -964. Let d = y + 320. Is d greater than 1?
False
Suppose 5*b + 3 - 1 = 4*o, 0 = -3*o - 6. Let n be 8/(-16)*b*(-4)/14. Let m = 1.3 - 1.5. Is m <= n?
False
Suppose -3*p = 38 + 46. Let b = p + 14. Let k be (-34)/51*(b/4 - -2). Is -6/85 at most k?
True
Let t be (91/42)/((-56)/(-176)). Which is greater: 7 or t?
7
Let d = -398873/133 - -2999. Let n = d + -22/133. Which is bigger: n or -0.4?
n
Let n(f) = f**2 - 76*f - 765. Let b be n(-9). Is 8/2487 at most b?
False
Suppose -4*j - j + 5 = 0. Suppose 0 = -3*q - 3, q - 57 = 2*x - 2*q. Let a be 40/x*27/(-102). Does j = a?
False
Let p(k) = 17*k - 276. Let m be p(0). Let r be (15 + 4158/m)/(3/8). Which is smaller: r or 1?
r
Suppose 4*b = -z - 5, 2*z - 21 + 9 = 3*b. Let h be (30528/1700)/9 + b. Is h at most as big as 0?
True
Let b = -3548.5 + 3589. Let o = 6.3 + 34.7. Let i = o - b. Which is greater: 2 or i?
2
Suppose 2*d - 10668 = -d. Suppose -39*a + 6740 = -d. Is a != 264?
False
Let i = 7418 - 7424. Let a(g) be the third derivative of -g**5/60 - 5*g**4/24 + 7*g**3/6 + g**2. Let r be a(i). Is r greater than -4/25?
True
Suppose 4*h = 9*h + 4*t + 1, -3*h + 3*t = -21. Suppose h*l + 12 = -3*r, -4*r + 2*r - 8 = -2*l. Is -183 at most l?
True
Let a be (75/105)/(2/175217). Let m = a + -61354. Let w = -1248 + m. Is w not equal to -26?
True
Let x = 94 + -59. Let y = x + -45. Which is greater: -2/21 or y?
-2/21
Suppose 2*h + 252 = 4*u, -3*h + u - 2*u - 378 = 0. Suppose s = -s - 4, -626 = 7*x + 5*s. Let c = h - x. Which is smaller: -37 or c?
c
Let d = -401 - -285. Let n = d + 117.8. Are n and 4/5 nonequal?
True
Suppose -2*h = 8, 3*y = 52*h - 57*h - 653. Is y at most as big as -234?
False
Let o be ((78039/9)/(-13))/((-3)/9). Are o and 2002 unequal?
True
Let s = -105 + 114.8. Let y = s + 50.2. Let o = -59.74 + y. Is -0.1 at most o?
True
Let k be (69 + -67)*2*2/4. Let j be k*2*3*54/24. Suppose -139 + j = 2*p. Which is bigger: -57 or p?
p
Let i = 94.3 - 89. Let h = 5.46 - i. Let y = h + -0.36. Which is greater: 2/15 or y?
2/15
Suppose 12*a + 14743 = -33965. Do -4059 and a have different values?
False
Suppose 228*z - 142*z = 287842. Which is smaller: 3349 or z?
z
Let a = -507 + 512. Suppose 0 = -a*t - 15, m + 5 = -t - 0. Let l = 8/3 - 10/3. Is m at most l?
True
Let q = 0.06 + 0.04. Let y = -10.36 + 0.36. Which is smaller: y or q?
y
Let u = -171331/33 + 15575/3. Let b be (-2 - (-1)/(-2))*2. Let v = b - -4. Which is bigger: v or u?
u
Let a = 17606 + -17602. Which is bigger: 1594 or a?
1594
Let x = 0.0077 - 256.0077. Let u = 256 + x. Are 1/69 and u non-equal?
True
Let u(p) = 2*p**3 + 4*p**2 + 4*p - 13. Let x be u(3). Which is smaller: x or 91?
x
Suppose 2*o - 6*o = 4*o + 2*o. Is o at least -17/302?
True
Let u = 596 - 194. Let h = u + -402. Let n = 3073/15 + -205. Which is smaller: n or h?
n
Let c = 704 - 692. Let m(a) = -7*a + 85. Let k be m(c). Is k at most 1/460?
False
Let q(s) = -s**2 + 10*s + 200. Let f be q(-10). Is f equal to 11/455?
False
Let m = -50 - -56. Let k be -1*((-21)/m - 2). Is k at most as big as 0.3?
False
Let s = -764 - -520. Let y = s + 257. Which is greater: 23 or y?
23
Suppose 0 = 12*n - 69 + 213. Let h be (-16)/n + (-44)/36. Let x(q) = q - 6. Let a be x(4). Is a > h?
False
Let l = 941 + -941.2414. Which is bigger: 0.1 or l?
0.1
Let o = 26.28 - 273.28. Which is smaller: -5 or o?
o
Suppose o = -3*o - 8. Let v be ((-1593)/216 - -10)/((-18)/8). Is o equal to v?
False
Let q = 2.816 - -42.324. Let c = q - -0.86. Let w = -61 + c. Is w greater than 1/4?
False
Suppose -63 = -0*u - 21*u. Let r be -3 - 172/(6/u). Is -91 >= r?
False
Let j = -696 + 736. Let p = 17 - 21. Is j > p?
True
Let c = 9662/2331 - 302/63. Let g = c + 1357/2035. Let i be -10 + 10 + 0*3/6. Is i at least g?
False
Suppose 0 = -p - 11*v + 9*v + 83, -3*p = -v - 270. Which is smaller: p or 47?
47
Suppose -14 - 12 = -13*w. Suppose 0 = -w*z - 4, b = 4*z + z + 18. Let u be (1 - 18/b)/(28/(-224)). Which is bigger: u or 9?
u
Suppose 784 = 16*g - 9*g. Let c(b) = -50*b + 12. Let u be c(-2). Is g at least as big as u?
True
Let n = 2545 + -2547. Let q = -596/29 + 1366/899. Let r = q + 19. Which is greater: r or n?
r
Let s = 1243 - 1816. Let r = 572.996 + s. Which is smaller: -1 or r?
-1
Let k = -4341/89960 + 2/11245. Let i = -3 + 4. Do i and k have the same value?
False
Suppose 740 = 18*h - 1654. Is h < -5?
False
Suppose -2*u + 1600 = 3*u. Let p(r) = -r**3 + 37*r**2 - 58*r + 1111. Let t be p(36). Which is greater: u or t?
u
Let m = -112.2 - -110.8. Let b = 0.5 - 2.9. Let d = b - m. Which is bigger: d or 0.1?
0.1
Let q = 75 + -96.6. Let a = q - -23.6. Which is greater: 8 or a?
8
Let c(s) = -4*s**2 - 2*s. Let l be c(2). Let u be ((-135)/(-36))/((-5)/24). Are l and u nonequal?
True
Let z be 3/6*-1*-8. Let k be ((-3)/z)/(1/120). Let p be ((-22)/(-10))/(72/k). Is -3 greater than or equal to p?
False
Let t = -3955 + 39473/10. Which is greater: t or -1/2?
-1/2
Let p = 1305 + -1306. Is -65/53 equal to p?
False
Let i = 27 + -22. Suppose 47 + 40 = y. Let a be (-12)/i*(3 - y/27). Is 0 < a?
True
Let m = -337 + 333. Let j be (-28)/119*(-1)/m. Is j at least 1?
False
Let c = -9.6862 + 10.187. Is c less than or equal to 0?
False
Let o = 2182.61 + -2207. Let a = 24 + o. Let i = a - 1.61. Is 1 <= i?
False
Suppose 4*f - f + 87 = 0. Let i = 221523/5 - 44305. Which is bigger: i or f?
i
Suppose -2*f + 3*t - 26 = 3, 60 = -5*f + 5*t. Let z(d) = d**3 + 8*d**2 + 6*d + 31. Let i be z(f). Suppose 3*s = 4*v + 4 + i, v = 3. Is s equal to 18?
True
Let h = -181984 - -2908189/16. Let l be (-228)/(-19)*74/4. Let z = h + l. Is -2 bigger than z?
False
Let h = 46401/50 - 928. Suppose -3*u - u + 16 = 3*f, -2*f = 3*u - 12. Which is smaller: h or f?
f
Let g(s) = 58*s - 30. Let x be g(15). Let t be (-4)/(-14) + (-4 - (-3156)/x). Is 0 at most t?
True
Let b be (4 - 2)/4*(13 + -13). Is b less than or equal to -1914?
False
Let g be ((-4)/(-52))/(1808/(-64) - 3). Is -1 less than or equal to g?
True
Let p = 31318 + -31320. Does -117/20 = p?
False
Let u = 422 + -314. Let r = u - 106. Let a = -0.2 + 0.24. Which is bigger: a or r?
r
Let b(h) = h**3 + 101*h**2 + 7*h + 706. Let l be b(-101). Is l bigger than -176/123?
True
Let j = 19864/3507 - -3/1169. Let v = -4.5 + 3.5. Is v at least as big as j?
False
Let x = -4.995 + 5.695. Let t = -0.97 + 1. Is x at least t?
True
Let z = 1341 - 1109. Suppose 269*w + 1155 = 274*w. Which is smaller: z or w?
w
Let l = 182 + -157. Suppose 2*c + l = 3*q, c - 4*c = 5*q - 29. Which is greater: q or 1/3?
q
Let j be 12654/(-108)*(-111)/(-2) + 2/(-8). Do j and -6503 have the same value?
True
Suppose -115 = -136*y + 110 - 225. Let r be (-28)/(-1351)*(-4)/(-88). Is r <= y?
False
Let c be 2/(-11) + 11/((-99462)/(-47969256)). Let u = -5305 + c. Do u and 0 have the same value?
False
Let l = 8 + -7.25. Let t = -2556.75 + 2557. Let r = l + t. Is -3 bigger than r?
False
Let o = -3 + 1. Let u = -26211/35 - -749. Let n = -5/7 + u. Which is smaller: o or n?
o
Let f = -31.2 - 109.8. Let d = 141.9 + f. Which is bigger: d or 2/7?
d
Suppose -2541*o = u - 2546*o + 94, 5*u + 5*o = -230. Which is smaller: -65 or u?
-65
Let l be 744/120 - (2 + -4). Let z = -799/140 + -53/28. Let p = l + z. Are 1 and p non-equal?
True
Let u be -15 + 357885/21051 + -2. Which is greater: -1 or u?
u
Let h = -55.36 - -55.46. Is h >= 202/13?
False
Let p = 58.2 - 61. Let y = 2.767 + p. Let j = 14.033 + y. Which is bigger: 1/4 or j?
j
Let x be 3/2 + (-6)/231060*57745. Which is greater: x or 1?
1
Let x be 939702/48 - 2/8. Let h = -19610 + x. Let v = h + 16149/488. Is -1 bigger than v?
False
Let j be (-1)/(5/752) + (-40)/(-100). Let z be (25/j)/(1/(-4)). Which is smaller: -131 or z?
-131
Let n = 18/24181 - 158691/115730266. Is -1 not equal to n?
True
Let o = -17 + -9. Let j be 4/o - 528/(-52). Suppose -3*n - j + 7 = 0. Is n at most -2.8?
False
Let c be (261/18)/((-2)/8). Let z = c - -113/2. Let x = -1479 - -1476. Is x at most as big as z?
True
Suppose -3*v + v = -50. Suppose -3*c = -3*h + 57, h - v = 5*c - c. Suppose 0 = -h*l + 13*l - 12. Is -18/11 < l?
False
Suppose -7*z + 11*z - 267 = 7*w, -z - 5*w = -60. Does z = 2?
False
Let v be 21*(-21)/63 - 3/(-3). Which is smaller: v or -360?
-360
Let j = 2.754 + 24.306. Let m = j + -28. Let t = 0.04 + m. Is t smaller than 1?
True
L