 Let g be l(-2). Which is smaller: 3423 or g?
3423
Let u(s) = 7*s - 3. Let g(j) = -j**3 - 8*j**2 + 2*j + 7. Let l be g(-8). Let k be 2 - (0 + 3/l)*-3. Let n be u(k). Which is smaller: 8 or n?
n
Let j = -14 + 24. Suppose 0 = 5*t - 71 - 289. Suppose t = j*a - 18*a. Is -11 at least as big as a?
False
Suppose -p - 4*s + 8*s - 123 = 0, 0 = -p + 2*s - 117. Is -142 > p?
False
Let w(m) = -m**3 - m**2 - 4*m - 2002. Let t be w(0). Which is greater: t or -2001?
-2001
Suppose -w + 117 = -16. Let a = -134 + w. Is -1/528 at least as big as a?
True
Let s = -11 - -27. Suppose s - 7 = -3*d. Let x = -139 - -136. Is x bigger than d?
False
Suppose 0*l - 5*l = -80. Let d = -560.971 + -0.029. Let u = d + 559. Do u and l have the same value?
False
Let y be -1128 - ((-26)/4 - (-8)/16). Is -1119 greater than y?
True
Suppose -762 = -2*n + 3*y - 744, -5*n - 5*y - 30 = 0. Is n bigger than 3/1028?
False
Let o = 213 - 217. Let g = -94.9 - -96.9. Do o and g have different values?
True
Suppose -3*y - g = 50, -y - g - 34 = y. Let l be ((-4)/y)/(2/(-4)). Is -0.012 < l?
False
Let b = -8642 + 6111. Which is bigger: b or -3?
-3
Let j(p) = 8*p - 2. Let z be j(-2). Let o be ((-445)/2)/(-5) - z/(-12). Let d = -7 + 6.9. Are d and o non-equal?
True
Let v be (9 + -9)/(-3)*(0 + -1). Which is smaller: v or 2/2477?
v
Let i = -3368 - -3298. Let j = 0 + -0.1. Are j and i unequal?
True
Let f = 520 - 516. Let s be f + (-3 - -5 - 1). Which is smaller: 65 or s?
s
Let x(b) = -b - 8. Let j be x(-7). Let w be 4 - (j/4 - (-195)/60). Is 3/43 at most as big as w?
True
Suppose -303 - 117 = -21*j. Let n be j + -1 + (-8 - (-17 - -8)). Is 16 greater than or equal to n?
False
Suppose x + 6 = -j, -3*j - 14 = -5*x - 4. Let t be (1 - 5) + (-11)/22. Which is greater: j or t?
t
Suppose -5*j - p = 230, -170 + 20 = 3*j + 3*p. Let s be (-6)/j - (4735/75 - 10). Which is greater: 1/6 or s?
1/6
Suppose -8*u - 910 = -4982. Let n = 472 - u. Which is smaller: -36 or n?
n
Let d be -95*(185/(-25) + 6). Let b = -137 + d. Which is bigger: b or -20/7?
-20/7
Let j(b) = -b**2 - 6*b. Let v be j(-4). Let p(o) = -13*o + 116. Let k be p(v). Which is greater: 10 or k?
k
Let r = -159 - -245. Let j = -1038 - -992. Let k = j + r. Which is greater: -0.2 or k?
k
Let q(y) = y - 1. Let k be q(-11). Let a be -5 - k - 3*1. Let t be (-18)/(-7) + 54/126. Are a and t equal?
False
Let w = -2029 + 2024.6. Which is bigger: -0.033 or w?
-0.033
Let u(p) = -2090*p - 13420. Let q be u(7). Which is smaller: -28051 or q?
-28051
Let i be -36 + -10 + 23 + 24. Is i at least as big as -8/951?
True
Let w = -4299 - -4157. Is w bigger than 10?
False
Suppose 3*u + x - 177 = 0, -26*x + 21*x - 236 = -4*u. Is u at least 51?
True
Suppose 4*c - 4*w + 372 = 0, 2*c + 2*c - 2*w + 362 = 0. Let s = c - -90. Is 26/15 at least s?
False
Let w(s) = -3*s - 12. Let u be w(-3). Let p be 1*2 + -6 + (-9)/u. Let o = 0 - -1/7. Is o <= p?
False
Suppose 5*t - 102 = 4*x - 31, 5*t + 5*x - 35 = 0. Let z = t - -6. Let q = z - 15. Is q equal to 0?
False
Let m = 3845.62 + -7593.88. Let w = m - -3792. Let k = 44 - w. Which is bigger: k or 0?
k
Let j be (-1)/(24/(-1053))*-1. Suppose -2*f - 71 - 30 = -o, 4*f + 241 = 5*o. Is f greater than or equal to j?
False
Suppose 101*h - 39 = 54 + 8. Which is bigger: 1/17039 or h?
h
Let z(y) = -y**3 - 19*y**2 - 11*y - 31. Let p be z(-19). Suppose 0 = -u - 2, 3*q + 12*u = 8*u + p. Is 62 less than or equal to q?
True
Let q(o) = o**3 - 24*o**2 + 19*o + 3. Let w be q(23). Let k = -70 - w. Suppose -51 = 4*d - k. Is d bigger than -7?
False
Let z be (2*(-6)/(-4))/((-39)/(-364)). Suppose -27*d = -z*d + 21. Which is smaller: d or 25?
d
Let t = 3 - 2. Let g = 154 + -152. Let b be g/21*72/84. Is t less than b?
False
Suppose 2*f - 34 - 42 = 0. Let k be f/57*((-3)/1084)/1. Which is smaller: 0 or k?
k
Let k(u) = 4*u + 20. Suppose -5*r - 50 = -4*x + 12, 5*x - 18 = 2*r. Let o be k(r). Is o at most -1/3?
True
Suppose f = 155*f + 98491 + 36875. Which is greater: -881 or f?
f
Let y = -65.99 - -67. Let c = 90.01 - y. Which is greater: -0.1 or c?
c
Let b = -6045 - -6044. Does b = -132/89?
False
Let m be -1 - ((-747)/8)/(-3). Let l = m + 65/2. Let h = -10807 + 10807.1. Does l = h?
False
Suppose -224 = -0*l + 21*l + 112. Which is smaller: l or -1046/71?
l
Let q = 22650 - 22650.7. Which is smaller: 9 or q?
q
Let l be ((-6)/172)/(-18*14/448*8). Is 0 < l?
True
Let h(c) = 257*c - 2059. Let s be h(8). Let b be 128/(-36) - (1 + -2). Which is greater: s or b?
b
Let r(f) = -6*f + 3. Let q be r(-10). Suppose -3*n - q + 120 = 0. Let b be (n/5)/(24/8) + -1. Is -1 < b?
True
Let s = 61.0707 - -0.0293. Let a = 60 - s. Let t = a + 0.1. Is 3 bigger than t?
True
Let x = -2218 - -2216. Is x != 477?
True
Let s = 2618.2 + -2618.0859. Which is smaller: s or 5?
s
Suppose -2*x - 625 - 628 = 75. Which is bigger: x or 4?
4
Let b = -8.6 + 46.6. Let f = b - 38. Let r = -145 + 103. Are r and f unequal?
True
Let c be 4/(-18) + (-1992)/27. Let b be (-2)/(5 + -9)*16/c. Let q = 115 - 114. Are q and b nonequal?
True
Let v be 3/(-15) - (2 + (-224)/20). Let f(a) = -2*a + 26. Let w be f(v). Let k be w - (-456)/(-56) - (-24)/70. Does k = 1?
False
Let j = -325.3 + 325. Let r = j + 0.7. Is -16/9 > r?
False
Let z be -4 + (-1)/66*-14132434. Let n = 214156 - z. Let r = -105/11 + n. Which is smaller: 24 or r?
r
Let l be (-327)/21146*30/(-9). Which is greater: -0.26 or l?
l
Suppose -2*i - 42 = 6*y - 3*y, -i + 5*y + 5 = 0. Let w(j) = j**2 + j + 7. Let b be w(-4). Suppose 0*g = -a - g - b, 14 = -2*a + 4*g. Is i at most a?
True
Suppose 2*a - 14 + 0 = 0. Let q be (-33)/(-9)*-2 + a. Let v = 18 + -17.72. Is q less than or equal to v?
True
Let y = -170 + 80. Let w = y - -72. Is w bigger than -19?
True
Let m(k) = -137*k - 2996. Let j be m(-23). Are j and 132 unequal?
True
Let n = -117659774/1567 - -75086. Is n at least as big as -1?
True
Let w = -23.18 + 23.47. Are w and -0.4 nonequal?
True
Suppose 14*l - 9*l - 4*h - 5608 = 0, -h = 5*l - 5648. Which is smaller: l or 1126?
1126
Suppose -5*v - 2385 = -5*s, -2*s + 661 = v - 296. Let t = 498 - s. Which is smaller: t or 10?
10
Let b = 249.6 + -204. Let f = b - 128.6. Is f at least as big as 0.4?
False
Let p(m) = 2*m - 5. Let v be p(5). Suppose d + 2*r = -2*r + 1584, r + 7920 = v*d. Let w be 4/(-14) + d/6622. Which is greater: w or 0?
0
Let f = 2211 + -3187. Which is smaller: -969 or f?
f
Let s = 0.3 - 0.3. Let y = 20.447 + 98.623. Let c = -119 + y. Which is greater: c or s?
c
Suppose y = 4, 2*h - h + 23 = 4*y. Let n(p) = -4*p**2 + 22*p + 4. Let v(r) = -2*r - 28. Let l be v(-17). Let m be n(l). Which is bigger: h or m?
h
Let u(i) = 6*i**2 + 15*i + 124. Let b be u(-9). Suppose 5*k - b = -5*g, -5*k + g + 448 = -3*g. Is k < 90?
False
Suppose 24*q = -5845 + 5317. Is -390/17 bigger than q?
False
Let l = -0.07 + -2.53. Let n = 24 - 31.4. Let d = n + 7.3. Is l smaller than d?
True
Let z = 107749/125 - 862. Let f be (-2)/7 + (-30)/42. Which is smaller: f or z?
f
Let u(h) = h**3 - 4*h**2 + 3*h + 2. Let p be u(-5). Let x = p - -400. Which is greater: x or 163?
163
Let j = -18731 + 32878. Suppose j = 8*i + 35*i. Which is smaller: i or 330?
i
Let q = -4444 + 17777/4. Let h = -278 - -157. Which is greater: h or q?
q
Let v = 11869606/11 - 1077671. Let f = -1385 + v. Let x = 41/33 + f. Is -9 less than or equal to x?
True
Suppose -100*g - 116292 - 9808 = 0. Which is bigger: g or -1259?
-1259
Suppose 0 = 2*s + 3*q - 404 - 117, 0 = 3*s + 3*q - 792. Suppose 4*v = a + 1084, -25 = -2*v + a + 517. Is s at most v?
True
Let x = -6.57 - 1031.43. Is x < 1/2?
True
Let k be 14762/330 - (-144)/(-12). Is k greater than or equal to 32?
True
Let y be 14*(2 - 45/6). Let q be 440/y - 2/7. Let w be (-16)/(-30)*3/q. Which is bigger: w or 1?
1
Let t = -60 - 70. Let q = t + 133. Is q equal to 1/106?
False
Let h = -18512.9 - -20452. Is h at least as big as 2/7?
True
Let g(z) = -z**3 - 3*z**2 + 4*z. Let c be (-6)/(-4)*7/((-105)/40). Let a be g(c). Is -3/8 >= a?
False
Let n = 10993/10659 + -1/969. Let x be 1 + -2 + (160/44 - 3). Let q = x + n. Which is smaller: 1 or q?
q
Let q be (-2)/14*(-31 - -8). Suppose 0 = -5*k + 6*k - 5*t + 13, 0 = -3*k + 4*t - 6. Which is greater: k or q?
q
Let b = 0.809 - 0.109. Let m = b - 0.3. Which is smaller: m or 4/11?
4/11
Let x = -5427 - -48829/9. Does -11 = x?
False
Let i = -45 + 31. W