 is bigger: n or -0.43?
n
Let h = -200 + 199.861. Let v = h - 1.861. Which is bigger: 2.2 or v?
2.2
Let m(l) = -l**2 + 84. Let j be m(0). Which is smaller: 67 or j?
67
Let g be (-4)/3*(-6)/46. Suppose -2*c + 0*c - 30 = 8*a, 0 = -2*c + 3*a + 14. Are c and g nonequal?
True
Let y = -9779 - -48342/5. Which is greater: -111 or y?
y
Let y = 68 - 66. Suppose -c = 1 - y. Which is smaller: 1/173 or c?
1/173
Suppose 0 = f + 3*u - 18 + 2, -2*f + 12 = 2*u. Let l be (f/4)/(500/(-120)). Does 1 = l?
False
Let b = -2717 - -2712. Which is smaller: 104 or b?
b
Let i = -4948 + 4022728/813. Let b = -112166/5691 - i. Let r = 20 + b. Do r and -11 have the same value?
False
Let z = -15 - -16. Suppose -3*u = 4*f + 3, 2*u + 1 = -z. Let t be (-6)/57 - 1230/(-855). Is f > t?
False
Let r be (0 - -4)*(3 - 6937/2296). Suppose 17*u - 22*u = -5. Is u bigger than r?
True
Let a(k) = -609*k**3 + 54*k + 54. Let j be a(-1). Is 609 smaller than j?
False
Let h = -19 - 8. Let p = 11.8 - -1.8. Let a = p - 12.6. Which is smaller: h or a?
h
Let p be 20/55*7/(-14). Is 0.04 <= p?
False
Let r = -2294807/24263 - -1797/19. Let y be 27/756*14*0. Is y greater than or equal to r?
True
Let h = -711.51 - -711. Let x = h + 0.01. Which is bigger: x or -3?
x
Suppose 0 = 3*k - 2*v - 10, -5 = v. Let a be ((-531)/4248)/(((-12)/50)/((-16)/10)). Is k <= a?
False
Let w = -60.83 + -2.16. Let v = w + -0.01. Let t = -62.9 - v. Is 0.006 less than t?
True
Let x = 8867 + -8866. Is x equal to -6/4753?
False
Suppose -8*v = -22 - 2. Let u = -1 + v. Suppose -n = -f + 5, 3*n - u*n = -f + 11. Which is smaller: 14 or f?
f
Let w = 35144 + -48141. Is w at least -12997?
True
Let n = -83 - -91. Let p = 8.09 - n. Is -12/11 > p?
False
Suppose 11*y = 495 + 4125 + 2860. Does 686 = y?
False
Let b(c) = 58*c - 2267. Let j be b(0). Let x = j + 156428/69. Which is greater: x or -1?
x
Let g be ((-612)/144*(-8)/(-18))/(-67). Is g smaller than 1?
True
Let j = 47 + 10. Let x = -69 + j. Let z = x + 18. Which is smaller: z or -0.3?
-0.3
Let c = 373.5 - 373.87. Is c < 5.1?
True
Let u(a) = 2*a**3 - 6*a**2 + 5*a - 12. Let k be u(4). Suppose -j + 4*w - k = 0, 0 = j - 3*w + w + 38. Let d be (-2)/6 - (-24)/j - -3. Is 21/11 at most d?
True
Suppose 118*q - 122311 = -55*q - 422293. Is q greater than -1731?
False
Let d = 2246 + -2247. Which is smaller: -6.24 or d?
-6.24
Let h = 341/39900 - 1/532. Let q = 322 + -137. Let m = -186 + q. Is m <= h?
True
Suppose 5*a - 5*i + 15 = 0, -9*a - 3*i + 5 = -11*a. Let z(y) = y + 3. Let n be z(-9). Let b be n/(-21) - 36/7. Does a = b?
False
Suppose -6*w + 4*w = -9*w. Suppose 3*f - 5 = -2*t, w = f - 2*t - 8 + 1. Suppose f*p + 4*d = -0*d + 7, -4*d + 28 = -4*p. Which is bigger: p or -6?
p
Suppose 0 = -5*a + 2*u - 191, 3*a - 33 = 4*a - 3*u. Suppose -9*y = -14*y + 60. Suppose y*p - 39 = 13*p. Is p smaller than a?
False
Let n = 0.0159 - 25.7159. Let l = -25.64 - n. Does l = 1?
False
Let q = 0.264 - -111.736. Let m = -110 + q. Which is greater: m or 0.07?
m
Let t(b) = b**3 + 34*b**2 + 185*b + 6. Let s be t(-7). Which is smaller: s or -6?
-6
Suppose -5*r - 4*w + 18 = 0, 4*r - 2*w + 0*w - 4 = 0. Suppose z - 15 = -r*z. Let f be -3 - 5/(z/(-13)). Which is bigger: 12 or f?
12
Let p = -6657 + 6656. Is -2/18303 equal to p?
False
Suppose -2 = -2*s, -2*s = 3*q - 20 + 19 - 7. Let x(w) = w**2 - 2*w - 3. Let o be x(-4). Let t be (-20)/(-21) + (-6)/o. Is t < q?
True
Let a = 9.3 - 9.347. Let p = 1.347 + a. Let u = -1.4 - -0.4. Is p less than u?
False
Let x = -8460 + 8084. Is -372 smaller than x?
False
Let z = 40.1 - 38. Let y = z + -2.13. Let p = 792 - 791.95. Which is smaller: p or y?
y
Let u = 167/3 - 178/3. Let r be (-10)/35 - (0 - 214/14). Suppose -15 = -r*h + 20*h. Which is smaller: h or u?
u
Suppose -2*f + f + 5*w = -1843, 5*f - 9365 = -5*w. Let o be (4/8)/(2 + f/(-936)). Let i be ((-26)/o)/(4/6). Which is greater: 12 or i?
12
Let u(v) = 0*v - v - v + 24. Suppose 67*i - 56*i + 44 = 0. Let g be u(i). Is 32 equal to g?
True
Let g(s) = s**2 + 113*s + 1946. Let k be g(-92). Which is greater: k or 194/13?
194/13
Let v = -8240 - -8235. Which is smaller: 3/11 or v?
v
Let x(w) = 1241*w. Let d be x(0). Let m be 0 - (1 - -1)/310. Is m smaller than d?
True
Let c = -15673997005/2369642 - 2/1184821. Is -6614 less than c?
False
Let p(b) = 2*b - 73. Let a be p(45). Suppose a*n - 18*n + z + 2 = 0, 15 = -5*z. Which is smaller: n or 2/581?
n
Let f = -0.065 - -0.02. Let c = f - 3.355. Let n = c - -3.6. Which is bigger: 11 or n?
11
Let k be -7 - (1 + 4 + (-5545)/(-30)*-34). Which is greater: 6272 or k?
k
Let g be 12/(-24)*1*4/1163. Which is smaller: 1 or g?
g
Let s = -404 + 399. Let i be ((1350/12)/s)/((-26)/(-4)). Do -4 and i have the same value?
False
Let g be (1/(-4))/(2/(-16)). Suppose -4 = -q, -7*m - 5*q = -g*m - 325. Let h = m - 82. Is -23 > h?
False
Let w be (98/10 - -1)*-5. Let v be (15008/(-12))/7*(-3)/2. Suppose -2*l - 113 = 5*s, 39*s = -5*l + 41*s - v. Is l not equal to w?
False
Suppose -5*j - 649 = -2*l, -4*j - 2*l - 200 = 330. Is j <= -137?
False
Let o = 0.32 - 2.694. Let n = o + 0.374. Is n <= 61?
True
Suppose -215 = 7*g - 229. Which is greater: 8.74 or g?
8.74
Let v be (10/(-25))/(107/(-5)). Let z = -32677 - -32677. Are z and v non-equal?
True
Let p = 5.249 + 3.751. Is p < 82/21?
False
Let f(j) = -j**2 + 15. Let c be f(-6). Let s be (3 + (-45)/(-12))*(-112)/c. Is 33 greater than or equal to s?
False
Let j = -7177.1 + 7177. Is j smaller than 3.352?
True
Let n be 7 + 0 + ((-660798785)/96014215 - (-4)/(-34)). Which is smaller: -1 or n?
-1
Let j = 391871 - 6536800149/16681. Which is bigger: 0 or j?
j
Suppose -25*n + n + 3600 = 0. Suppose 0 = -6*b - n - 18. Which is smaller: b or -32?
-32
Let z = -45 - -50. Let l be ((-2674)/12)/(6716/(z + -1)). Let m = l - -1/438. Do m and 1 have different values?
True
Let d(o) = -o**3 + 24*o**2 - 12*o + 51. Let p be d(24). Let b = p - -129. Are b and -437/4 unequal?
True
Let i = -29.8 + -2.2. Let u = i - -31. Let h be 406/260 - (1 - 2/(-4)). Is h equal to u?
False
Let l = -131 - -132. Let f(o) = 32*o**3 + o**2 - o + 1. Let m be f(l). Is m bigger than 34?
False
Let f(s) = s**2 + 14*s + 50. Let t be f(-6). Suppose 7 = -t*g - 5*g. Which is smaller: 3/305 or g?
g
Let l = 27 + 166. Let a = l + -164. Is 138/5 < a?
True
Let b(o) = 38*o**2 + 2*o - 1. Let s be b(1). Let g = 153 - 71. Suppose -v = 2*z - 43, 0 = -2*v - 0*z - 2*z + g. Is v at least s?
True
Let v = 0.135 + 0.005. Let b = 49 + -49.043. Let l = b + -0.057. Is v at least l?
True
Let i(o) = -o**3 + 6*o**2 - 2*o + 14. Let s be i(6). Suppose 3*b = 4*b - s. Let z be b/(-4) + ((-931)/(-206) - 4). Are z and -1 unequal?
True
Suppose 3*p + 14 = -4*d, 5*d + 3*p - 3071 = -3084. Which is smaller: 1/1002 or d?
1/1002
Let t = 2283/2 + -1141. Which is smaller: t or -26/17?
-26/17
Let w = 322.222 + -3.622. Let r = w + -319. Does -2 = r?
False
Let f = -34 - -77. Let k = -37 + f. Suppose -4 = -3*n + 2, -4*r = 5*n - k. Which is bigger: r or -6/7?
-6/7
Suppose 4*l + 2*b = 16, -84*l + 85*l + 29 = 5*b. Are 85/116 and l nonequal?
True
Suppose 6 = 2*u - k - k, 0 = -3*u + 2*k + 8. Suppose u*n - 2*t - 14 = 2*t, t = n - 8. Let j be 3*n/(27/(-8)). Which is greater: j or -7?
-7
Suppose 11*j - 9*j - 52 = 0. Let h(l) = l**2 - 9*l - 8. Let s be h(10). Let u be 30 + (-2)/(s/5). Which is smaller: j or u?
u
Let d = 0.0442 - -2.5558. Let v = -0.06 + 1.06. Let h = v - 0.9. Which is greater: h or d?
d
Let i(v) = 7*v**3 - 9*v**3 - 17*v**2 + 5 - 2*v**3 - 17*v + 3*v**3. Let u be i(-16). Is u bigger than 59/3?
True
Let g be (-4 + 1 - -469) + 7. Let u = g - 270. Is u greater than or equal to 201?
True
Let i(w) = -2*w**2 + 446*w - 1734. Let d be i(132). Is d at least 22289?
True
Suppose -5*y + 2*m - 3*m = -22, -5*y + 10 = 5*m. Suppose t = 4*u + 264, 20*u + 45 = 19*u - y*t. Is u smaller than -60?
True
Let j be (1/(-5))/(3/(-15)). Suppose 3*q + 7 = -o + 3, -12 = q + 3*o. Which is smaller: q or j?
q
Suppose -2*j = -8, -2*c + 1130 - 1062 = -j. Let q be (-2)/(-2 + (-2 - 2)). Are c and q nonequal?
True
Let l = -2684177/29 - -92588. Which is bigger: l or 29?
l
Let w(y) be the first derivative of -y**2/2 - 2*y + 36. Let q be w(4). Is -5 <= q?
False
Let y(b) = -7*b + 364. Let m be y(56). Let o be ((-84)/(-16) - 3)/(546/m). Let q be (-2)/6 - (-4)/(-6). Is o equal to q?
False
Let i = 204 - 307. L