4. Is 450 less than or equal to n?
False
Let r be 18*1/6*14. Let b = 102913/2542 + 19/1271. Which is smaller: b or r?
b
Let p = -56.8 - -78. Let j = 21.3 - p. Are 6/13 and j non-equal?
True
Suppose -2*d = x - 6*x + 2, -x + 18 = 4*d. Let b be 3/x*2/(-1). Let v = 0.0205 + -0.0005. Which is smaller: v or b?
b
Let v = -30.2 - -32.66. Let u = v - 2.459. Is u at most as big as -2/5?
False
Suppose -5*k + 50 = 4*c, -4*k - 3*c + 27 = -12. Let o(n) = -20*n + k*n + 13*n + 26. Let l be o(8). Is 0 != l?
True
Suppose 5*m + 3*s - 36 = 115, -3*s = -5*m + 139. Suppose 27*g - m*g + 264 = 0. Is g <= 132?
True
Let h = 186 - 186.003. Let s = -0.037 + h. Which is smaller: -1 or s?
-1
Let v(l) = -l + 10. Let g be v(9). Let d = -1376591/2444 - -2253/4. Which is smaller: g or d?
d
Let v be ((94/(-37976))/(1/(-3)))/(-6). Which is smaller: 1 or v?
v
Let m(d) = 9*d**2 + 2*d - 3. Let z be 1/2*((-20)/5 - -8). Let r be m(z). Let p = -383 + 418. Is p >= r?
False
Suppose 44102 = -18*v - 33586. Is v < -2?
True
Let k(g) = -g**3 - 67*g**2 + 59*g - 619. Let h be k(-68). Let j = -13 - 1. Are j and h nonequal?
True
Let w = 114 - 116. Let x be ((-312)/w)/((-2)/((-4)/2)). Which is smaller: x or 154?
154
Suppose 5*k + 236*g - 231*g - 10 = 0, -13 = -2*k - 5*g. Which is smaller: k or -29/1019?
k
Let c = -5830 - -17588/3. Which is smaller: -79 or c?
-79
Let y = 14.529 + 0.971. Which is smaller: y or 1/3?
1/3
Let y = -0.9 - -1. Let f be (549/(-66))/(9/3). Let u = f - -3/2. Which is smaller: y or u?
u
Let a = 460 - 476. Let o be (-3 - (-1 - 2)) + a/40. Are -2/5 and o equal?
True
Let y be ((-330)/12 - 1)*(-16)/40. Do 0.1 and y have different values?
True
Let o = -252 + 263. Let n(v) = -12*v. Let c be n(1). Let u be (0 - 1) + o + c. Is u less than or equal to -1.2?
True
Let i = 5775/8 + -723. Let c = i + 4643/4120. Which is greater: c or 1?
1
Suppose 124*m - 1605 = 139*m. Let q be 3 + m - (-176)/(-22). Is -110 greater than q?
True
Let t be (-48)/4*(30/6)/(-5). Let s be 0 + 6 + (-6)/3. Suppose 4*w = 4*z - t, s*z + 20 = -3*w - w. Which is smaller: -2/89 or z?
z
Let w be (-9330)/(-75) - (1/(-6) + 170/300). Is w greater than or equal to 103?
True
Let k be ((-180)/360)/((-40)/(-222)). Are -4 and k non-equal?
True
Let h = 64261/96378 + -3/32126. Which is greater: h or 0.295?
h
Let p = -30 - -179. Let v = p - 185. Which is greater: -38 or v?
v
Suppose 0 = -20*l + 4880 + 1800 + 5240. Is 590 at least as big as l?
False
Let r(d) = d**2 - 25*d - 2876. Let a be r(68). Is a equal to 27?
False
Let d = 782/11 - 1718803/24178. Is d at most 1?
True
Let m = 75/43 + 112607/129. Let y = m + -886. Is y greater than or equal to -0.8?
False
Let o(a) = -22*a - 1237. Let m be o(-96). Is m at most 875?
True
Let u be 80/(-6)*(2 + 63/(-18)). Suppose 0 = u*g - 62*g + 26040. Is 620 less than g?
False
Let h(k) = 9*k**3 + 4*k**2 + 7*k + 1. Let j(t) = -t**3 - t**2 - t - 1. Let w(l) = -h(l) - 5*j(l). Let v be w(3). Let y = -534 - -434. Which is smaller: v or y?
v
Suppose 0 = -140*u - 2 - 138. Let l be 2/(-7) + 279/(-28). Is l at most u?
True
Let u = 232 + -145. Suppose 4*b - 221 = -3*h - 2205, 0 = -4*b - 16. Let q = h - -743. Is q >= u?
True
Suppose 12 = 4*m, 5*m - 14 = -f - 0*m. Let x(h) = h**3 - 7*h**2 + 10*h + 6. Let p be x(5). Is p at least as big as f?
True
Let y = 356324/109966923 - 40/10989. Is y greater than -1?
True
Let c(o) = 25*o**3 - 9*o**2 - 5*o + 10. Let q be c(-3). Let f = 21209/29 + q. Which is smaller: 0 or f?
0
Let l be (-406)/(-47908)*(3 + 1). Which is greater: l or 19?
19
Let g = -217577/681594 - -1/14502. Which is smaller: g or -2/31?
g
Let h be 40/(12537/(-735) - -17). Is h < -696?
True
Let u = -958 + 35448/37. Let q = u - 30/3293. Which is bigger: 0 or q?
q
Suppose -5*q = -8 - 7. Let f(t) be the first derivative of -t**4/4 + 5*t**3/3 - 3*t**2/2 + 5*t + 1019. Let w be f(q). Does 1 = w?
False
Let o be (-21 + 6 + -9)*3. Let n be 2 + o/45 + (-2)/(-2). Which is greater: n or -2/9?
n
Suppose 19*r = -0*r + 285. Suppose -4*h = 11*h + r. Is 6 > h?
True
Let c = 19 - 13. Let g be (56/(-6))/(-7)*c. Suppose -g*l = -l + 63. Which is smaller: l or -6?
l
Let s be (-399834)/2425*4/(-12). Which is bigger: 54 or s?
s
Let t be (2304/8)/(-6)*9/2. Is t not equal to -214?
True
Suppose 0 = o + 1 + 3, 0 = -4*x + 4*o + 28. Suppose -w + x*n + 2 = 16, 28 = -5*w + n. Let b be (w - 1)*3/18*10. Which is greater: b or -8?
-8
Suppose -1214*q - 3*v = -1213*q + 144, 4*v = -5*q - 687. Do -144 and q have the same value?
False
Suppose -4*t + 5*j - 646 - 202 = 0, 0 = -5*t - 5*j - 1015. Let r be ((-30)/25)/6 - t/(-240). Is r smaller than -1?
True
Let j = 16302193/3568 + -4569. Which is greater: -1 or j?
j
Let r = 25988 + -18157. Is r equal to 7831?
True
Let m(s) be the third derivative of -14/3*s**3 + 7/30*s**5 - 25*s**2 + 0*s + 29/24*s**4 - 1/120*s**6 + 0. Let j be m(16). Are j and -77 nonequal?
True
Suppose a - 4*i - 14806 = 0, -2*i + 159 = 163. Do a and 14798 have different values?
False
Let w = -3 + 5. Let r be -1 + w - (-30)/(-10). Let f = 65 - 69. Is r bigger than f?
True
Suppose -4*w - 14*w + 3708 = 0. Let h be 34/51 + w/6. Which is smaller: 1 or h?
1
Let s(h) = h - 1. Let k(y) = -14. Let r(o) = -k(o) + 3*s(o). Let b be r(-14). Does b = -31?
True
Let j = 18 + -4. Let m be (-1)/(-2)*(4 + 6). Suppose -2*r = -3*s - 2*s + 57, m*r = -2*s + 46. Is s at most j?
True
Let r(d) = d**3 + 4*d**2 + 3*d + 1. Suppose 0 = 4*t - 7*t + 39. Suppose 0 = 7*p + t + 8. Let c be r(p). Are 18/17 and c nonequal?
True
Let j be (1/16)/((-224)/(-896)). Which is greater: j or 0.05646?
j
Let z be (-1438)/44*26 - 2/(-11). Suppose -3*m + 2*g + 2541 = 0, 0 = -m - 3*m - 4*g + 3408. Let a = m + z. Is a bigger than -1?
True
Let y = 45 - 11. Let k be (1/y)/(18/(-8)). Let h(z) = z**2 - 69*z - 451. Let n be h(-6). Is n >= k?
False
Let v(f) = -f**3 - 6*f**2 + 10. Let i be v(-6). Suppose -3*z + w - 1 = -i, -4*z = -2*w - 14. Which is smaller: z or 7/11?
7/11
Let p(w) = -19*w**2 - 108*w - 697. Let v be p(-7). Is -9582/11 at least v?
True
Let n be (18 + 1)/(-6 - (-1547)/255). Let k(v) = 23*v - 14. Let t be k(13). Does n = t?
True
Let o = -2780 + 3813. Is 2063/2 less than or equal to o?
True
Suppose -35 = -11*w + 284. Suppose -w*r - 32 = -33*r. Which is smaller: r or 2?
2
Let c be (-19)/22857*-14426 + -12. Which is smaller: 0 or c?
c
Let r = -3963 + 3736. Do -226 and r have the same value?
False
Let m = -104 - -255. Let d = -162 + m. Is d != 1/4?
True
Let h(u) = -581*u - 3396. Let m be h(-13). Is m < 4156?
False
Let i be (-95 - -101)/(-1 + 0 - (-88)/98). Which is bigger: i or -0.3?
-0.3
Let y = -14824 + 15228. Which is greater: 407 or y?
407
Let q be 4 + (-5 - -4)*1. Suppose 0 = 4*n - q*s - 2, n = -4*s + 7 + 3. Suppose -4*c + 9*t - 53 = 4*t, -t = n*c + 9. Is -7 at most c?
True
Let t be (150/24)/(2/32). Let a = -71 + t. Suppose 4*i = -a - 7. Is -11 not equal to i?
True
Suppose 251*k - 35640 = 229*k. Is k less than or equal to 1620?
True
Let l = 0.29 - -3.31. Let c = -3.387 + -0.213. Let h = l + c. Which is smaller: 13 or h?
h
Suppose 12*t + 4*m + 206 = 15*t, -563 = -8*t - 3*m. Is t greater than 60?
True
Let r be (-1)/(-5)*(-1 - -3). Let i = -30073 + 29911. Is r > i?
True
Let c(l) = 12*l + 12. Suppose 0 = -47*v + 45*v + 10. Let i be c(v). Let r be 191/(-4) + 54/i. Which is smaller: r or 0?
r
Suppose -3*l + 99 = -b, -2*l = 3*b - l + 287. Let i be b/2 - (-6 + 4). Let o be 2 - i/42 - 3. Are -1 and o non-equal?
True
Let h = 122 - 69. Let u(k) = 3*k + 21. Let r be u(11). Which is smaller: h or r?
h
Let o(a) = -32*a - 30. Let q be o(-1). Suppose -98 = -5*c + 4*k - 18, 0 = c + 2*k - q. Which is greater: 14 or c?
14
Let n be (-1)/(-9)*57/(-2). Let r = -117 - -122. Suppose -r*i = c + 12, 2*c - 3*i - 8 = 3*c. Is c bigger than n?
True
Suppose -5*g = -4*k - 6540, -10666 = 4*k - 3*g - 4110. Is -1646 greater than k?
False
Let y be 16/(-111 - 1) - 62/7. Suppose -w - 5*k = 4*w, 6 = w - k. Suppose 5*q + 32 = -w*n, 5 = -n + 1. Are y and q non-equal?
True
Let t be -11*256/358 - (-32)/4. Are t and 0 unequal?
True
Suppose 262*q - 278*q - 48 = 0. Is -1192 smaller than q?
True
Let o be (-1)/((-12)/30 + (-174)/(-510)). Suppose -o*l + 50*l = -9*l. Are l and 5/4 unequal?
True
Let j be (-530)/(-170) - 4/34. Suppose -j*a - 148 = 4*f, -3*f + 2*a = 54 + 40. Is -36 != f?
True
Let i be 48/2 - (-120)/(9 + -29