t u = -1304 + 1303.98. Which is smaller: u or -214?
-214
Let z(l) = l - 108. Let s be z(-18). Let n = -125 - s. Which is smaller: n or -2/93?
-2/93
Let k be (1/(-2))/(2/(-12)). Let a be 7/((k/3)/1). Suppose 5*u - 10 = 0, 2*p = 2*u - a*u + 8. Is 1/7 at least p?
True
Let w be (748/935 - (-1 - (1 + -351)))*-5. Which is greater: 1743 or w?
1743
Let d = 7484 + -7485.8. Which is greater: d or -1/124?
-1/124
Let q = -207.4 + 35.4. Let t = 170.75 + q. Which is greater: t or 1/2?
1/2
Let a(d) = -3*d + 19. Let w be a(3). Let p(x) = -14*x**2 + x + w + 6*x**2 - x**3 - 2*x**2. Let k be p(-10). Does k = -4?
False
Suppose 0 = -9*q + 64 - 1. Suppose 0 = -11*c + q*c + 12. Let s be ((-40)/114)/(4 - (-76)/(-18)). Is s <= c?
True
Let b = 11.4 + -10.86. Let i = b - 1.14. Let k = 3.4 - i. Are -2/3 and k equal?
False
Let n(w) = 2*w + 39. Let q(i) be the first derivative of -i**2/2 - 20*i + 33. Let f(a) = -6*n(a) - 11*q(a). Let p be f(-9). Is -14/3 at least as big as p?
True
Let j be 64335/16085 + -6 - 16/((-40)/5). Which is smaller: j or -1?
-1
Suppose 2*y - 9 - 9 = 0. Suppose -2*m = -0*m - 8. Suppose -4*o - m = -48. Which is smaller: y or o?
y
Let l = -7092 - -2290714/323. Let x(j) = 484*j - 259*j - 23 - 245*j + 2*j**2. Let y be x(11). Are y and l unequal?
True
Let c = -3519 + 3405. Which is greater: c or -40?
-40
Let v be (-14 + 12)*(-5)/2. Suppose v*s + 3*p + 1870 = 0, -7*s - 1496 = -3*s - 2*p. Is -373 at least as big as s?
True
Let c be (-65)/78*6 - (-10 - -1). Let n be (-8)/(-8) - ((-27)/19 + c). Which is smaller: -2 or n?
-2
Suppose 0*w - 15 = w. Let n be (5/w)/(1/(-669)). Let m = -662/3 + n. Does m = 3?
False
Let t(u) = -u**3 + 11*u**2 - 35*u + 29. Let c be t(4). Is -14/475 != c?
True
Suppose -2*p + 4 = 12. Let a = p - 25. Let n(z) = -6*z**2 + 44*z + 132. Let t be n(10). Which is greater: t or a?
t
Let f be 2/6*(-30 - -21). Suppose -3*t = -5*t - 4*k - 30, -75 = 5*t - 2*k. Let j = 10 + t. Which is greater: f or j?
f
Let z(n) = -79*n**3 + n**2 - 2*n + 1. Let g be z(1). Let o be -3*462/297*54/7. Let s = o - g. Which is smaller: s or 44?
s
Let i = -4.2 - 6.8. Let b = 114.85 + -104. Let y = b + i. Is 2 greater than y?
True
Let k = 1.08 + 0.04. Let g = 3.5 + -4.42. Let i = k + g. Is i smaller than -4?
False
Let k = 0.05 - 1.05. Let r be (-1290)/(6/3) + -4 + 6. Let i = r + 49513/77. Is k smaller than i?
True
Let l = 66712835 + -434900970281/6519. Let a = 22/123 - l. Let f(i) = -i**3 + 2*i**2. Let x be f(2). Is a equal to x?
False
Let l(a) = -2*a**2 - 14*a + 14. Let u be l(0). Which is bigger: u or -279?
u
Let m = 65/61 + 2195/2806. Which is smaller: 2 or m?
m
Let c(p) = 2745*p - 31. Let o be c(-5). Let t = o + 13288295/966. Let y = t + 14503/12558. Is y != 2?
True
Let h = -7432 - -6049. Which is smaller: -0.1 or h?
h
Let r = 53.22 - 52.97. Is -2 greater than r?
False
Let p = 47754/2072345 + -4/4595. Is p equal to 0?
False
Let j = 138 - 135. Let v(a) = a**2 + 5*a + 8. Let o be v(-4). Suppose 0 = -b + o*l + 10, -l = j*l - 12. Is 22 at least as big as b?
True
Suppose 0 = 3*k - 4*c - 484 - 331, -3*c = 3*k - 780. Let i be 40/18*(-318)/k. Suppose 0 = -3*t - d - 5, 0*t - 3*d = 4*t. Do i and t have the same value?
False
Suppose -5*z - 318 = -5*a + 82, -2*a + 4*z = -168. Suppose 0 = 5*i - 2*m - 86, -4*i - 2*m = -6*m - a. Suppose -48 = -b - 2*b. Is b at most i?
True
Let q be 0 - (-8)/((-200)/117). Let r = q - -3729/925. Which is smaller: r or -2?
-2
Let j = 265605/28 + -9486. Is 39 at least j?
True
Let o(k) be the first derivative of k**3/3 - 5*k**2/2 + 5*k + 17. Let g = -3 - -7. Let s be o(g). Which is bigger: s or 4?
4
Let r(h) = -h**3 - 6*h**2 - h - 5. Let l be r(-6). Let g = -566 - -374. Let y = g + 190.89. Which is smaller: y or l?
y
Suppose 5*y - x - 28 = 2*x, -3*x = y - 2. Suppose 3*c + 0*p - 30 = 5*p, -y*p - 5 = 2*c. Suppose -3 - 7 = -c*h. Which is greater: 3 or h?
3
Let b be (-19)/((-57)/(-5166)) + (-40 - -36). Which is greater: b or -1727?
b
Let q = -3 + 3. Let s(n) = -2*n**2 - 13*n + 11. Let v be s(-7). Let f be ((-456)/(-111) - v)/6. Is f bigger than q?
True
Let a = 0.061878 - -53.985122. Let g = -54 + a. Let y = g + -0.147. Which is greater: y or 3?
3
Let z = -1798 - -1951. Do 154 and z have the same value?
False
Let z = -5811 + 5812. Let w = -4.1 - 0.9. Let d = w - -5.1. Which is smaller: z or d?
d
Let q = -2948 - -2889. Is -57 at least q?
True
Let g be (60/(-18) - -3)*-1974. Let p = g - 657. Let h = -0.2 + 0.3. Is h not equal to p?
True
Let d = 218 + -160. Let f = 42.3 + -41.9. Is d greater than or equal to f?
True
Let v be (38/4*18)/(3/38). Let s be 24/60 + v/(-15). Is s at most -145?
False
Let j = 4353 + -4387. Let b = 3 - 1. Let a be -32 + -2 + b + -2. Is j at least a?
True
Suppose -h + 85 = 86. Let l be (-22)/(-8) + 6/24. Let b be (18/(-12))/(l/8). Which is greater: b or h?
h
Let a = -1886 + 2814.2. Let h = a - 929. Which is greater: h or 0.06?
0.06
Let m(g) = g + 29. Let z(w) = -w - 1. Let t(a) = -m(a) - 2*z(a). Let k be t(22). Let f be 1/((-2)/((-10)/k)). Is 1/132 greater than or equal to f?
True
Suppose -m - 25 = 3*i - 6*m, i - 2*m + 10 = 0. Let h = i + 46. Let s be 1/52*h - 1. Is 1 greater than s?
True
Let p = 673 - 593. Let g be 306/p + 9/24. Is 3 at most g?
True
Let k = 206.2 - 206. Let v = 78 - 77.82. Which is greater: v or k?
k
Let u(b) = b**3 + 6*b**2 - 8*b - 66. Let h be u(-5). Which is smaller: -11/53 or h?
h
Let z be 77/14*128 - 0. Suppose -2*i - z = -18*i. Is 42 equal to i?
False
Let u be ((-2)/(-3294))/(118/(-708)). Which is bigger: 0 or u?
0
Let w = -6494 + 954622/147. Is w greater than or equal to -1?
True
Suppose 3*y = 2*p + 113, -9*p = 3*y - 8*p - 119. Suppose 2*j = 3*f - y, -4*j - 7 + 46 = 3*f. Which is smaller: 41/3 or f?
f
Let h(c) = -c**2 - 7*c. Let t be h(-6). Suppose -t*k - 92 = -278. Which is greater: k or 28?
k
Let l = -5269595/3964 + 112/991. Which is bigger: l or -1330?
l
Let w = -20.1 - -21. Let b = w - 0.9. Let r = 0.437 - 0.137. Which is bigger: r or b?
r
Let t(w) = -4*w**2 + 61*w + 89. Let b be t(16). Which is smaller: b or 364/9?
364/9
Let j = 796 - 500. Suppose -i - 3*r + 4 = -78, 0 = -4*i + 4*r + j. Are i and 76 equal?
True
Let k be ((-14)/(-6))/((-455)/(-195)). Is -2/3401 at least as big as k?
False
Let i = -105.0351 + 0.0351. Suppose 0 = -2*f - 2*f - k - 2, 0 = f - 2*k - 4. Is f at most i?
False
Suppose 2305*u + 3496 = 2328*u. Which is smaller: u or 454/3?
454/3
Let t be -3 + (-2*(-3 - -2) - -1). Suppose 3*p + 2*p - 5*z + 70 = t, 16 = -4*z. Let m = p - -19. Which is smaller: 1/12 or m?
1/12
Let z = -311271 + 954227/3. Is z not equal to 6805?
True
Let p = -262873/154429 + 171/101. Which is smaller: 1 or p?
p
Let y = 104.933 - -0.067. Let a = 104.9 - y. Which is greater: a or -33?
a
Let z = -441 + -126. Let q = -580 - z. Is q < 0?
True
Let c = 7011 - 12033/2. Is 996 at most c?
False
Let y be 1008/(-350) - 14/(-5). Which is bigger: y or 1/5?
1/5
Let q = -809 + 464. Let l be 88/(-484) + (-11412)/33. Which is greater: q or l?
q
Let k be (-2599)/11 + (-8824)/12133. Which is greater: -240 or k?
k
Let p = 15893 - 79356/5. Suppose -28 = -2*c + 16. Is c bigger than p?
True
Suppose -n - 34 - 5 = 0. Suppose -157 = 4*p - g, 0 = -4*p + 68*g - 72*g - 132. Is p bigger than n?
True
Let j = -23.7 - -23.5. Let k = -0.051 - -0.031. Do k and j have different values?
True
Let h = -5930 + 9702. Is h less than -1/2?
False
Let z = 64.59 + -54.59. Which is smaller: 404 or z?
z
Let q(z) = 2*z - 48. Let x be q(-26). Let t be (x/40)/(2/14). Is 1/4 less than t?
False
Suppose -85*l - 47*l = -40*l - 784668. Which is bigger: 8528 or l?
l
Let x be (-2 + ((-32)/12 - -4))*12. Let c be 0/((x - 1)/(-3)) + 3. Suppose c*h - 5*r = -r - 44, 0 = -2*h + 3*r - 29. Which is greater: h or -12?
-12
Let o be 10 + -2 + (-15 - -3)/12. Which is smaller: 83/11 or o?
o
Let p = -25 + 21. Let q be p/(-26) - (-60)/624. Is -31 bigger than q?
False
Suppose -4*p = k, -k + 6*k - 3*p = 46. Suppose 0 = 42*a - 34*a - k. Which is bigger: -2/225 or a?
a
Let z = -0.342 - 168.658. Let m = 172.13 + z. Let r = m - 0.13. Are -2/3 and r equal?
False
Let z be (3/63)/(49/(-98)). Which is bigger: z or 1.49?
1.49
Let i be 0 + -2 + 2/(-2572)*-2573. Let x = -28285/9002 - i. Let f = x - -81/28. Which is greater: -2.8 or f?
f
Let b = -7134 + 5464643/766. Is -1 less than b?
True
Let z = -2/593 +