4. Which is smaller: h or 1247?
h
Suppose 4*c - 3*c + 79 = 0. Let v = c - -81. Suppose v*a + 2*h = -40, -8*h + 4*h = 8. Which is greater: a or 3/4?
3/4
Let b = -230.81 - -231. Let c = b - 2.19. Let w be (0 - (-8)/(-36))/(-4). Is w < c?
False
Let u be ((-1859)/(-156) + -6)/(14/(-118)). Let n = u - -201/4. Is 1 less than or equal to n?
False
Let f = -29920 - -29916. Let x = 3.978 + -4. Is x greater than f?
True
Let f = 573 + -280. Let a = f + -293. Which is smaller: a or 2/637?
a
Suppose 0 = -3*o - 4*z - 50, o = -z + 4 - 22. Let l be o/(-16)*-2*-4. Is l >= 9?
True
Let o(c) = c + 2. Let g be o(-2). Let j be (-30681)/(-18)*(-8)/(-14). Let l = j + -68181/70. Is g > l?
True
Suppose 2160 = 3*o - 4*t, 513*o - 508*o = -4*t + 3600. Is 712 not equal to o?
True
Let k = -831.97989 + 832. Is k at most 0.1?
True
Let i = 6.094 + -0.104. Let a = 6 - i. Let v = a + -25.01. Is -1 >= v?
True
Let x = -1418 + 1372. Which is smaller: x or -941/21?
x
Let a(d) = -8*d**2 + 48*d + 167. Let y be a(-8). Which is smaller: y or -728?
y
Let h = -4528 + 4705. Let p(l) = -7*l**3 - 3*l**2 - 4*l + 3. Let q be p(-3). Is q bigger than h?
False
Let h(i) = -i + 7. Let l be h(6). Suppose 0 = -5*u + 4*n + 71 + 129, -4*u + 156 = -4*n. Let k be (38 - u)*(1/(-15))/(-1). Is l bigger than k?
True
Let h(t) = -t**3 + 7*t**2 - 16*t + 32. Let g be h(3). Which is bigger: g or 31?
31
Let n be (4/14)/((-2)/(-14)). Suppose u + 2*u = 5*p - 12, 0 = -n*u - 2*p + 8. Is u at least as big as -4?
True
Let x be (4 + -8)*(-2 + 1/(-4)). Suppose x = 5*u - 16. Suppose -u*q - 342 = 5*z - 32, 0 = -z - 4. Is q smaller than -59?
False
Let j = 2552.342 + -2555. Let t = j - -0.258. Are 1/4 and t nonequal?
True
Let o = 3.957 - -0.043. Let n be 294/84*2/28. Is n less than o?
True
Let x(l) = -6744754*l**2 - 19*l - 5. Let g be x(-4). Let d = 412454935337/3822 + g. Let i = d - 69/26. Which is bigger: -1 or i?
i
Let x be (-28)/(-21)*(8463/(-12) + -5). Which is bigger: x or -942?
-942
Let r = -95791/91 + 7494/7. Is 19 at most r?
False
Let f be 538/5 + -5 + (-108)/(-20). Let y = 62 - f. Let v be -20*2 - (0 + 4). Is v greater than y?
True
Let r(z) = 17*z**3 - z - 1. Let l = 5 - 6. Let a be r(l). Suppose m + 11 = 13*k - 17, -m + 3*k - 18 = 0. Is a at most as big as m?
True
Let z(p) = -p**3 + 4*p**2 + 16 - 2*p**2 + 17*p - 9*p**2 - 7*p. Let l be z(-8). Is 2/149 equal to l?
False
Let z(l) = -l**3 - 74*l**2 - 14*l - 1037. Let c be z(-74). Let r = -3/158 + -347/15010. Which is smaller: c or r?
c
Let k(t) = -t**3 - 6*t**2 + 7. Let b be k(-4). Let g be ((-18)/165)/((-10)/b + -1). Does g = -1?
False
Let w be 13336/(-24)*(-3 + 3 + -2). Let c = 976859/879 - w. Which is bigger: -1 or c?
c
Let r = 626.7 - 573. Let c = r - 53.7. Is c >= 176?
False
Let s(u) = -2*u - 12. Let w be s(-7). Suppose -3*o - 2*o = -w*o. Suppose 3*c + 0*c + 5*c = o. Which is greater: c or 7/5?
7/5
Let k be -6 + 680/24 + 12/(-36). Let j(f) = -f + 7. Let a be j(9). Which is smaller: k or a?
a
Let w = -5681 + 6181. Is 496 smaller than w?
True
Let r be 3*(6 + -2)*3/18. Let t be r/(-49)*(-11)/(-44). Is 1 less than or equal to t?
False
Let j be (7/14)/((-3)/324*3). Let y be (-16)/6*27/4. Is j at most y?
True
Suppose 2*t + 6 = 0, -3 = -p + 3*t - 2*t. Let f be 8/18*72/16 + 3. Suppose j - f = -p. Which is bigger: 19/3 or j?
19/3
Let n = -523.1 - -1679.1. Do 1/4 and n have different values?
True
Let w be 0 + 23 - (735 + 118). Which is bigger: w or -821?
-821
Suppose 0 = -5*y - 571 + 561. Let t be (1 - y) + (-732)/264. Is t at most 1?
True
Let f be (201/4)/(14/16). Suppose 25*l - 178961 + 176441 = -20*l. Is f at least l?
True
Let d(l) be the first derivative of -25*l**2/2 - 76*l + 3. Let i be d(-3). Which is bigger: -2/65 or i?
-2/65
Let c(p) be the first derivative of -p**3 - 9*p**2/2 + 27*p + 26. Let u be c(5). Which is smaller: -92 or u?
u
Let p = -43 + 80. Let r be -79*(-7 - (3 - 9)). Let t = r + -42. Is t less than or equal to p?
True
Let y = -3055.47 + 3051.47. Let s = 35 - 54. Are y and s equal?
False
Let d be 2/(-6)*(-24)/(-2) - (-22 + 17). Does 16/327 = d?
False
Let o be 3888/(-36)*7/2. Let t be 4/(-6)*o/(-4). Which is greater: -62 or t?
-62
Suppose 5*b - 2*x - 3*x = 25, -4 = 2*b + 5*x. Let r(m) = -2*m**3 + 3*m**2 - 8*m + 6. Let g be r(b). Is -46 greater than g?
False
Let b(v) = 69*v - 92. Let r be b(2). Suppose 5*c + r = 156. Which is smaller: c or 21?
21
Let z = 477.1675 + -477. Let k = z + 0.0325. Which is smaller: k or -1.2?
-1.2
Let o = -20469/5 + 20468/5. Is -92 at most as big as o?
True
Suppose -z = -l - 4, -4*z + 14 - 26 = 3*l. Which is greater: z or 1448?
1448
Let x be (8*30/(-252))/(2/(-36)). Let t = -2055/28 + x. Which is smaller: t or -56?
t
Let q = 5153 + -5161. Which is smaller: -127/14 or q?
-127/14
Let x(i) = -i**2 - 3*i + 27. Let s be x(-9). Let n be (-14)/(-6)*(-81)/s. Suppose -20 = g + a, g - n*a + 6*a = -18. Is g greater than -20?
True
Let q be (-16 + 1)/((-12)/16). Suppose 5*d - 2*d = -a - 6, 2*a - q = 2*d. Suppose a*x - 8 = -26. Is x less than or equal to -4?
False
Let p be (25/10)/(3/(-18)). Let o = 74 - 192. Let d = -132 - o. Do p and d have the same value?
False
Suppose -78*n + 385 = -239. Let q = -19.6 - -31.6. Is n < q?
True
Let x be (3/2)/3*152/412. Are x and -1 nonequal?
True
Let t(b) = -b**3 + 2*b**3 - 2*b - 820*b**2 + 2 - 5 + 816*b**2. Let w be t(4). Is -15 at least w?
False
Suppose 4*i + 1 = 2*k + 5, -5*i = -5*k - 15. Let a be 2/(-1) - (-978)/705. Let f = a - -10/47. Is f < i?
False
Let v be -1 + (-14)/(-12) + 6*(-136)/1440. Do 642 and v have the same value?
False
Let a(u) = u**2 - 4. Let b be a(10). Suppose -15*r + 29*r = -1358. Let s = r + b. Is -1/3 at least s?
True
Let p = -347883411609/22952 - -287988720/19. Let g = p - 2427/8. Is 0 equal to g?
False
Let a = 0.1561 + 462.6439. Let i = a - 463. Which is greater: i or -176?
i
Let w(p) = p**2 - p. Suppose -8*r - 3 = -51. Let j(l) = 7*l**2 - 3*l - 3. Let f(i) = r*w(i) - j(i). Let m be f(2). Is -7 at least m?
True
Let j = 4699 + -4281. Is j less than 414?
False
Let k be ((-30)/(-11))/(2/(-27)*-7). Let c = k - 40/7. Is c equal to -1?
False
Suppose 31*u + 2*a + 4 = 27*u, -u = 4*a + 15. Which is smaller: u or -40/109?
-40/109
Let p be (-1)/4 - 7/4. Let x be 3 + p + (-100)/90. Suppose -24*i + 26 = 2. Which is smaller: i or x?
x
Let h = -191.094 + 1.994. Let p = h + 189. Is p at most as big as 8?
True
Let s be 30/(-40) + 91/(-52). Suppose 3*p + 3 + 0 = -3*x, 0 = -p + 2*x - 4. Is p at least s?
True
Let o(q) = 227*q + 64. Let j be o(-1). Do j and -164 have different values?
True
Let k be (-28)/(-1848)*(-9)/21. Is k less than -1?
False
Let a be 9/(-42) + (-14492)/(-5432). Which is bigger: a or 2?
a
Let o = -0.17 + -7.33. Let s = o - -5.5. Which is greater: -9 or s?
s
Let o be (-80)/(-6) - (-1)/(-3). Suppose 5*t - o*w + 10*w = -197, 3*t + 131 = 5*w. Which is smaller: t or 1?
t
Let v be 20/(-6)*(-9165)/(-143). Let h = -214 - v. Let q be (-2)/14*-4*(-14)/28. Which is greater: h or q?
q
Let v = 621.1 + -573. Let t = -48 + v. Let o = t - -0.9. Is o != 0.43?
True
Let q = 0.09 + -37.09. Let g = -6.31 - 30.59. Let n = g - q. Which is smaller: n or -31?
-31
Let l be ((-9)/(-33))/((-6)/(-45)). Let g = 3071/1496 - l. Let p = 55/1768 + g. Is 1 at least as big as p?
True
Let k = -208 + 192. Let w(b) = -b**3 - 15*b**2 + 16*b - 22. Let s be w(k). Is s smaller than -22?
False
Let x = 308.2 - 4.2. Let t = -303.67 + x. Which is greater: -7 or t?
t
Let u = -25021 + 25020.8. Are -0.0445 and u equal?
False
Let c = -43.9 - 114.1. Let a = c - -177. Are -0.2 and a unequal?
True
Suppose 5*k - 11 = k + 5*l, 2*l - 10 = 0. Suppose -3*s + 0*s - 4*f = -1, k = -4*s + 5*f. Is -2/7 <= s?
False
Let k = 7.8 - 41.8. Let b = k - -37. Let q = b - 2.5. Is q greater than or equal to -11?
True
Let x = -2859 - -2618. Which is bigger: 3 or x?
3
Let m = -156.78 - -150. Let f = m + -1.12. Let z = f - -8. Which is greater: -41 or z?
z
Suppose -2*v = -51 - 51. Let w(a) = 15*a + 140. Let h be w(6). Let g = h - 178. Which is smaller: g or v?
v
Let j = 1324 - 1326. Is -1865 at most as big as j?
True
Let d be ((-2)/(-12))/(1477112/546). Is d smaller than 0?
False
Let m = 138.34 - 137.24. Which is bigger: 16.6 or m?
16.6
Let c be (-1)/((-2)/2) - (-8 + (-308050)/(-34230)). Are -1 and c unequal?
True
Let c = 2259 + -1575. Let t = c + -1333/