. Let s = -0.01 - 0.39. Let t = -0.3 - s. Which is bigger: t or j?
j
Let b(v) = -101*v - 1158. Let q be b(-17). Which is smaller: q or 2237/4?
q
Let s(a) = a**2 - 267*a + 8597. Let u be s(38). Suppose -45 = -2*i - 253. Which is smaller: u or i?
u
Let j be -3*72/(-459)*330. Which is greater: j or 155?
j
Suppose -3*z = 3*t, -15*t = 2*z - 20*t - 21. Suppose 0 = -3*l - 0*l + z, l - 19 = 3*d. Which is greater: d or -29/5?
-29/5
Let g = 0.1 + -0.1. Suppose -a - 4*p + 50 = -514, 0 = -3*a - 5*p + 1685. Let v = 559 - a. Which is bigger: g or v?
g
Let t = -67/183 - -2/61. Let g be (-1 + 107/32)*(0 + -4). Let c = g - -109/8. Which is bigger: t or c?
c
Suppose -v = 5*r + 209, 1355 - 498 = -4*v + r. Let j = v - -389. Suppose 3*d = 2*x + 135, j = 2*d + 2*d - x. Is d < 42?
False
Suppose -1661*o = -1650*o - 5599. Is 508 greater than o?
False
Let c(n) = -n**3 - 10*n**2 + 94*n + 27. Let t be c(6). Which is greater: 125/9 or t?
t
Let z = 4678 + -4685. Which is smaller: z or 19?
z
Suppose 159 = 2*w + 3399. Let s(j) = -76*j**2 + j + 5. Let l be s(2). Let u be (-1)/4 + l/w. Is u > 1?
False
Let p be (1 - (4 + -4)) + -1*114. Suppose -9*a - 1086 = -69. Is p less than a?
False
Let d(i) = i**3 + 2*i**2 - 56*i - 224. Let l be d(0). Which is bigger: -225 or l?
l
Suppose o + 169 - 179 = -3*u, 6 = 2*u. Which is smaller: 64/41 or o?
o
Suppose 0 = 5*q - 21 + 46. Let n be 20/(-6)*(-18)/q. Let u = -13 - n. Is 2 > u?
True
Let v = -1 - 0. Let n(g) = -9*g**3 - g**2 - 10*g**3 - 6577*g + 1 + 6578*g. Let a be n(v). Which is smaller: a or 33/2?
33/2
Let v = -7570 - -7656. Which is bigger: 80 or v?
v
Let u = 0 - -1. Let z be ((-1)/7)/(u/7). Which is bigger: z or -3/59?
-3/59
Suppose 3*k + 1110 = 3*i, -5*k + 3*i - 1121 = 731. Is k less than -371?
False
Let f = -44 - -40. Let d = 0.03 - -4.27. Let r = d + f. Which is smaller: 0 or r?
0
Suppose y = -0 + 2. Let d be (y - 2) + 8/(-2). Let i = 391/330 - 276/55. Which is bigger: i or d?
i
Suppose -b - 123 - 252 = 0. Let x be ((-19)/(-6))/(b/(-390)). Let u = x + -24/25. Is 2 equal to u?
False
Let r = -0.063 + 11.763. Let v = 13.7 - r. Which is bigger: v or 5?
5
Suppose -30 = -r - 4. Suppose -2*l = 4*n - r, -6*n = -2*n + l - 23. Suppose n*y - 1 = 4*y. Is 18/11 >= y?
True
Let r = 247246 + -2420291092/9789. Is r < -1?
False
Let n = 198.635 + 0.365. Let i = n + -204. Does i = -1/4?
False
Let v be -1 + (-1 - -3) - 434/(-6). Suppose -620 = 37*d - 3321. Which is greater: d or v?
v
Let a = -3.22 + 1.7. Let g = 1.62 + a. Which is smaller: -12 or g?
-12
Let w = -12598366253/556 - -22659037. Let r = w + 50/139. Which is smaller: 104 or r?
104
Let w = 35 + -17. Suppose 5*l + l - w = 0. Suppose l*n - 2 - 4 = 0. Is 3/5 > n?
False
Suppose -2544*o = -2552*o - 176. Which is greater: -6 or o?
-6
Let b be (-36)/(-30) - (6 + (-452)/90). Let f = 6.3 - 6. Is f smaller than b?
False
Let z = 21 + -18. Suppose 4*i - z*q - 67 = 0, 4*i + 2*q - 11 = 51. Let h be (2/(-28))/((-28)/i). Which is bigger: h or -1?
h
Let w be 96/15*-1 + 108/(-180). Suppose 15 = 3*n - 0*n. Suppose 2*h - 24 + 3 = n*x, 3*h - 2*x = 4. Which is greater: w or h?
h
Let k = -784 + 26. Let v = -754 - k. Which is bigger: 28 or v?
28
Let r be ((-2 + 2)/(-3))/(-1). Let g = 0.26 + -0.12. Let p = 0.06 + g. Are r and p non-equal?
True
Suppose 23*k + 33 - 78 = 162. Do -0.769 and k have the same value?
False
Let d be (3 + 2)*9/(-1) - -3. Let h be d/36 - 6/(-8). Let w = -9/4 + h. Is w < -4?
False
Let y = -25358.766 + 25374. Is 0 >= y?
False
Suppose -2*v - 5*p = -5*v + 119, v = -2*p + 47. Let l = 116 - 463/4. Which is smaller: l or v?
l
Let g(s) = s**2 - s - 12. Suppose 29*h - 28 = 25*h. Let n be g(h). Let j be n/(-9)*(6/(-4))/(-3). Which is smaller: -1 or j?
j
Let s = -207.6 - -207.2. Are s and -5/32 equal?
False
Suppose -z = 3*r - 27, 5*z - 146 = r - 43. Let h = z + -26. Do h and -9 have different values?
True
Let v be 1311/23 - (-1 - -2). Suppose 0 = -2*j + v - 60. Is j >= -2/3?
False
Suppose 4*r - 522 = 2*w, 0*w = 2*w - 2. Let d(k) = -k**2 + 22*k + 130. Let t be d(0). Is r less than or equal to t?
False
Let v be (-33)/6*-2 - 1. Let y = -78.9 + 15.9. Let k = y - -64. Is k >= v?
False
Let s be 3 + 147 + -3 + 0. Let u = 156 - s. Are u and 11 equal?
False
Let l(k) be the first derivative of -k**2/2 + 16*k + 17. Let c be l(11). Let n be 112/(-175) - (-4)/c. Which is bigger: n or 0?
n
Suppose -2*y = -3*o - 82 + 21, -3*y - 4*o = -117. Let n = -31 + y. Suppose 0 = h + 5*k + 23 - 8, 0 = -n*k. Are -14 and h unequal?
True
Let r be (-510)/(60/12) + (3 - (-16)/(-4)). Is r bigger than -99?
False
Suppose -6*i = -2*i - 160. Suppose -106 - 1106 = -3*k. Let d = -362 + k. Is d greater than i?
True
Suppose -8*d + 6*d = -5*v - 27, 3*v = -3*d + 9. Suppose -2*f = -d*f - 7*f. Let t be (-1)/(-3)*(-15)/(-9). Which is greater: f or t?
t
Let u = 177.04 + 2.96. Let t = u + -180. Is -99/4 not equal to t?
True
Suppose 2*t = d + 14, t + 53*d - 45 = 69. Let z(b) = -5*b**2 - b + 1. Let s be z(1). Let k(j) = -j**2 - 7*j - 6. Let r be k(s). Which is smaller: t or r?
r
Suppose 4*j + 7972 = 140744. Let s be (-1 - (-18)/22) + j/(-209). Let o = s + 3181/20. Do o and -1 have the same value?
False
Let f(i) = -4989*i - 20067. Let x be f(-4). Suppose 0 = -b - 70 - 41. Is x < b?
False
Let z be (-834)/9*57/(-3 + 22). Which is bigger: -557/2 or z?
z
Let y = 0.04 - -0.66. Suppose 135*r + 204 = 141*r. Suppose -3*h + 28 = r. Which is greater: y or h?
y
Let h be -3 - -1 - (-77)/36. Let c = 490047/7 - 70007. Which is bigger: c or h?
h
Let j(k) = -2*k**2 + 21*k - 2. Let v be j(6). Suppose -v = 150*i - 146*i. Is i greater than -7?
False
Suppose -10*q = -162 - 148. Let l = q - 35. Let f = -0.02 + 3.02. Do f and l have different values?
True
Let b = 311 - 304. Suppose 373 = b*q - 166. Which is greater: -1 or q?
q
Suppose -3*k - 4*m + 6 = 0, -5*k - m - 5 = 2. Let t be -4 + 40/(36/16 + k). Which is smaller: t or 158?
t
Let s be (-4 + -10330)/(8 + -10). Which is smaller: 5166 or s?
5166
Suppose 0 = 3*b + 4*j - 19, -b + 5*j + 18 = -1. Let y be b/(90/(-25)) + 27/2. Which is bigger: 5 or y?
y
Suppose d - 4*d + 3*u + 42 = 0, -37 = -3*d - 2*u. Suppose -7 = -3*p - d. Which is smaller: -4 or p?
-4
Let u = 18287 + -19806. Which is smaller: -1520 or u?
-1520
Let w be (-28)/21 - (-26)/6. Let b be (3159/24)/9 + w/8. Let s be -3*(4/(-3) - 3). Is s less than or equal to b?
True
Let i = 39.86 + -0.86. Let k = -0.71 + -2.01. Let u = k + 1.72. Is u smaller than i?
True
Let m = 41 - 42. Let b be -2 + m/((-1)/149). Let s be 1/2*(-28)/b. Which is smaller: 1 or s?
s
Let n = -1645/39 - -570/13. Which is greater: 18 or n?
18
Let d be 4/(-14) - 128/(-56). Let p = -53166/11 + 4834. Do d and p have the same value?
False
Suppose 5*i = 9 + 1. Let n be (-3)/6*i*146/2. Let y = n + 72. Which is bigger: y or -1/5?
-1/5
Let w be 390/273 + (-3264)/(-1204). Is 3 less than w?
True
Let u = -505 + 268. Let d = u - -50. Which is smaller: -186 or d?
d
Suppose 239 = 3*i - 5*a + 416, -63 = i - 3*a. Which is smaller: i or -10/7?
i
Suppose 5*v - 1831 = -16*j + 19*j, 4*j + 2476 = -2*v. Are -619 and j nonequal?
True
Let p(q) = -q**2 + 48*q - 452. Let j be p(25). Is 132 bigger than j?
True
Let j = -822 - -824. Suppose j*v + 8 = 0, -y + 6*v + 25 = 2*v. Let p(k) = k**3 + 3*k**2 - 3*k. Let o be p(-3). Are o and y nonequal?
False
Let i = -0.051 - -7.151. Let z = 1.85 - 21.95. Let u = z + i. Which is smaller: -2 or u?
u
Suppose 0 = -2*r + 1 + 5, -4*l + r + 237 = 0. Suppose -3*p + 5*t = 19, -2*t + 7 = p - 5. Let q be (-52)/l - (9/(-3) + p). Is 2/5 >= q?
True
Suppose -24*y = 29*y + 31*y. Is -2/3491 < y?
True
Let t be (8/(-22824)*-2)/(8/56*7). Which is greater: 0 or t?
t
Suppose -435*n + 162 - 162 = 0. Which is smaller: n or -5/1356?
-5/1356
Suppose 14*s - 15*s = -2. Let t(l) = s*l + 4 - 4 + 0*l + 40. Let c be t(-22). Which is smaller: -2 or c?
c
Let a = 467/120 - 19/15. Let q = 0 + 14. Suppose -16 - q = -10*s. Which is smaller: s or a?
a
Let s be 119094/198 - ((-10)/21 + (-2)/(-14)). Do 601 and s have the same value?
False
Let h(o) = 47*o**2 + 65*o + 328. Let s be h(-6). Is s equal to 1631?
False
Suppose -417 - 17871 = -12*q. Is q less than or equal to 1523?
False
Let i = -39 - -41. Let g(x) = -2*x**2 - 46*x + 45*x + x**i + 7. Let c be g(-4). Do c and -21/5 have the same value?
False
Let h = 957/10 + -1263/20. Let