4.4. Let i = 314/5 + -63. Is u equal to i?
False
Suppose -27*n = -41*n. Is n >= -1/1192?
True
Let n = -17024 + 16538. Which is greater: -478 or n?
-478
Let t(w) = -2*w**3 - w**2 + 5*w + 2. Let r = -44 + 42. Let m(f) = f**3 + f**2 - 3*f - 1. Let u(n) = r*t(n) - 5*m(n). Let d be u(-4). Are d and -3 nonequal?
False
Let n = -2730.3 + 2730.5. Which is greater: 1246 or n?
1246
Let a be ((-369)/(2 - 5))/1. Let y be a/5 + 6/(-10). Let d be (y + -7)/(1 + -2). Which is bigger: -18 or d?
d
Let m be 35068/(-35035) - (5 - 3)/(-2). Is 1 bigger than m?
True
Let f be (8/7)/((-28)/(-98)). Suppose 1 = -u - 3*g, f*u + 13 = -g - 2*g. Is -2/3 greater than or equal to u?
True
Let b(o) = -o**3 - 11*o**2 - 22*o + 49. Let a be b(-7). Is a < -76.9?
False
Let k = 278 - 827. Let m = k + 235. Is -313 greater than m?
True
Let c = 8 - 127. Let d = -105169/15 - -7130. Let x = d + c. Are x and 1 nonequal?
True
Suppose 2306*f - 15174 = 1744*f. Let n(g) = g**3 + 2*g**2 - g + 1. Let y be n(-2). Is f at most y?
False
Suppose 0 = 86*u + 110682 + 11524. Is -1423 <= u?
True
Let n = 52.991 - -0.009. Let i = -6.9 - 39.1. Let g = n + i. Is -5 < g?
True
Let z be (-4)/(-6) + (-12468)/5742 - -2. Let x = z - -5794/44979. Let r = x + 2/47. Is r greater than -0.13?
True
Suppose -88*a = -123*a - 69*a - 95*a. Which is smaller: a or -1/18424?
-1/18424
Let r(i) = -i**2 - 64*i - 294. Let h be r(-59). Which is smaller: h or 4/27?
4/27
Let v = -11/49 + -125/98. Let k = -18 + 7. Let t = 10.98 + k. Is v equal to t?
False
Let x(r) = r**3 - 20*r**2 + 28*r - 49. Let v be x(7). Is -491 greater than or equal to v?
False
Suppose -73*y - 218*y + 1582458 = 0. Which is smaller: 5437 or y?
5437
Let c = -110.25 - -112. Let s = 1.33 - c. Which is smaller: s or -1?
-1
Let c = -38269/12 + 3189. Let n = 0.05 - 0.15. Let j = 0.1 + n. Is c bigger than j?
False
Let i be (-4)/324*-3*-1. Let x(f) be the third derivative of f**4/24 + 5*f**3/6 + 20*f**2. Let w be x(-5). Is w >= i?
True
Let j(p) = 41*p**2 + 2*p - 1. Let z(t) = t + 7*t**2 + 2*t - t**3 + t - 3*t - 6. Let d be z(7). Let i be j(d). Is -1 > i?
False
Let l(c) = 8*c**2 - 129*c + 38. Let i be l(17). Which is greater: 117 or i?
i
Let i(r) = 2*r**2 + 16*r + 65. Let v(b) = -b**2 - 8*b - 33. Let p(s) = 6*i(s) + 11*v(s). Let h be p(8). Which is smaller: h or 467/3?
h
Let n = -340 - -344. Suppose -123 = n*h + 285. Does h = -101?
False
Let g = 2478 - 2455. Let m be (0 - 0)/(2/1). Let t = 21 - m. Is g at most t?
False
Let d = 279 - 262. Suppose d*x + 3 = -14. Is x <= -1/250?
True
Let i = -1933.14 + 1932.84. Let z be (-1 + -1)/(2/(-4)). Which is smaller: z or i?
i
Let g = 56 + -55.969. Let s = 9.75 + -8.75. Which is bigger: s or g?
s
Let x = -1165/21 + 15965/231. Let f = 875/44 - x. Suppose -6 - 22 = -4*j. Are f and j non-equal?
True
Suppose -14434 = 5*r - 2*v, 0 = -10*r + 13*r + v + 8656. Is -2885 less than r?
False
Let y = -1256029/7 + 177929. Which is smaller: -1504 or y?
-1504
Suppose -3*k + 2*k = -5*h + 12, -4*h - 2*k + 18 = 0. Suppose -d = -5*i + 1 - 0, -h*i = -2*d - 2. Is i > 1/44?
False
Let p = -17706.09 - -17706. Is 502 smaller than p?
False
Let c(d) = -d**3 - d**2 - d + 16. Suppose -2*k - r + 2*r - 2 = 0, 3*r = k + 6. Let f be c(k). Let m be 186/22 - (f - 13). Which is greater: m or 6?
6
Let v = 353/4 - 88. Let j(k) = 3*k - 9. Let q be j(11). Let g be (-1)/(-3)*(-9)/q. Which is greater: v or g?
v
Let x = -73005658273 - -8541969565195/117. Let b = -2628580 + x. Let n = -29 + b. Is 1 less than n?
False
Let d(v) = -3*v + 187*v + 4*v**2 - 113*v - 19. Let w be d(-18). Is w at most 9/29?
True
Let u = 259 - 227. Is u at most as big as 109?
True
Suppose 3*s = 2*s + 5*j + 33, 3*s - 39 = 3*j. Suppose -7*f = -s*f - 6*f. Let k = -1366/105 - -13. Which is bigger: k or f?
f
Let a = 294 + -1452/5. Suppose 10*y - 3*y = 0. Let o be y - -3*(-2)/(-8)*4. Which is smaller: o or a?
o
Let o = 1917/5 + -4749/10. Suppose -20 = -5*v, -5*u - 471 = 5*v - 26. Which is greater: o or u?
o
Suppose -2*x = 5*g - 60, 3*g + 267*x = 265*x + 36. Is g > 229/21?
True
Suppose -n + 15 - 9 = 0. Let u(b) = -2*b**2 + 18*b - 55. Let x be u(n). Does -17 = x?
False
Let q = 3261746802/13325 - 244784. Let t = q - 4823656/39975. Which is smaller: -122 or t?
-122
Let x(g) = 8*g**2 + 3*g + 180. Let u be x(13). Suppose -5*h - 3*p - 2751 = 0, -68 = 3*h - 4*p + u. Is -550 >= h?
False
Let c(p) = -p**2 + 17*p. Let v be c(17). Let b be ((-200)/(-68) - 3)*11 + 0. Which is bigger: v or b?
v
Let u = 162 + -163. Let k(n) = 69*n**3 - n**2 - 3*n - 2. Let y be k(u). Are -69 and y nonequal?
False
Let o = 3340 - 3340. Which is bigger: 36/29 or o?
36/29
Let j(v) = v**3 - 68*v**2 - 291*v + 218. Let l be j(72). Which is greater: l or 435/2?
435/2
Let o be (-14)/(-245)*(56 - 51). Are -1069/2 and o non-equal?
True
Let b = -0.77 + 0.28. Let f = -3658/15 + 956/5. Let u = -53 - f. Is b at least as big as u?
False
Let h be 0/(-2) - 6 - (-67680)/384. Is 171 at least as big as h?
True
Let k = 4 - 5. Let m be ((-60)/(-18))/(3/(-9)). Let q be ((-190)/99)/m - (-6)/(-27). Is q smaller than k?
False
Let p(n) be the second derivative of n**5/10 - 19*n**4/2 + n**3/3 - 129*n**2/2 - n - 44. Let a be p(57). Do -16 and a have the same value?
False
Suppose 56 - 162 = -2*i. Let l be 2/4*(-3 - -4 - i). Let g be 2/(l/57) + 3. Which is greater: g or 0?
0
Suppose -b + 33 = -5*c - 4*b, -4 = -b. Suppose -5*f + 27 = 12. Suppose r = -3*l + f*r + 19, -5*r - 16 = 3*l. Which is smaller: l or c?
c
Suppose 0 = v - 3*v - 122. Let r = 34956 - 35016. Which is smaller: v or r?
v
Let s = 6587 - 6583.011. Let g = -0.011 - s. Is -1/28 at most g?
False
Let k be (-20)/(-50)*10/(-22). Let f(v) = v**2 + 4*v + 1. Let d = -115 + 110. Let w be f(d). Is k equal to w?
False
Let j = 83904/895483 - 2/8369. Which is bigger: j or 0?
j
Let j = -5336992/441 - -12102. Let u = j + 1889/102753. Which is smaller: -1 or u?
-1
Suppose -44 = 9*p - 17. Let n be (p - (-152)/48)*4/43. Is 2/5 less than n?
False
Let o be ((-2)/(-32))/(578/(-2312)). Which is bigger: o or -2.754?
o
Let g = 379 + -338. Let v = g - 42. Which is bigger: 1/117 or v?
1/117
Let a = 15774.999 - 15795. Let i = -20 - a. Let z = -8.001 + i. Do -2 and z have the same value?
False
Let b(i) = -3*i**2 + 4*i + 224. Let r be b(-8). Which is greater: 4/943 or r?
4/943
Let k = 0.579 - -245.421. Let z = k - 245.963. Are 3 and z non-equal?
True
Let l(c) = -14*c + 482. Let t be l(35). Which is smaller: t or -11?
-11
Let d be (3 + 2)*2443/(-35). Let b = d - -242. Is -3/2 greater than b?
True
Let o be -23*16/(-736)*(-1)/(3/(-6)). Is o <= -19/78?
False
Let j be 0 + 1/(-9) + -236*20/5040. Is j at least as big as 0.2?
False
Let w = -0.09 - -0.09. Suppose -3*q + 647 = 2*b, -2*b - 3*b + 5*q = -1680. Let p = b + -347. Which is bigger: w or p?
w
Suppose 2823*b = 2911*b - 274824. Which is bigger: b or 3122?
b
Let g = 121 - 124. Let u = -16 - -19. Suppose -5*t - 4*y - 35 = 0, 0 = -u*t + 5*y - 2*y - 21. Which is smaller: t or g?
t
Let v be 6/14 + (9 - 19)*16890/(-350). Is 483 less than or equal to v?
True
Suppose 19*k - 119*k - 200 = 0. Let s be 2*(0 - 11/(-2)). Let l be ((-11)/(-33))/(s/(-114)). Is l greater than k?
False
Let o be 0/(-1 - 2) - -23. Let t = -2.28 + 1.33. Let m = t - -1.05. Which is smaller: o or m?
m
Let j = -2/4845 - -140519/33915. Do 4 and j have the same value?
False
Let l be (-17)/(-45) - 70/140*12/(-27). Which is smaller: l or 32.44?
l
Suppose 85*u = 101*u + 133*u. Which is smaller: -253 or u?
-253
Let d = -628.83 - -435.06. Let n = d - -191. Let y = n - -0.87. Which is bigger: -0.1 or y?
-0.1
Let n be (3 + -2)/((620/8)/(-5)). Let b = -0.33 - -0.44. Let g = 0.21 - b. Are n and g equal?
False
Let s = -4511 + 2242. Which is smaller: s or -2268?
s
Let y(g) = 3*g + 30. Suppose 6*i = 10*i - 296. Let p = 64 - i. Let t be y(p). Is t > -1/35?
True
Suppose 2*q = 16, 5*f + 198*q - 2058 = 197*q. Which is greater: 400 or f?
f
Suppose -378 = 187*m - 185*m - 2*q, 5*m = -3*q - 953. Which is greater: -193 or m?
m
Suppose -3*r = r - 36. Let c(l) = -l**2 + 11*l - 2. Let q be c(r). Let d be (-2 - -1)*(-15 - (5 + -3)). Is q <= d?
True
Let r = -141 - -561/4. Let d be 8/(-28) - 5/((-70)/886). Let v = -65 + d. Which is greater: v or r?
r
Let o be (-2 - (-4)/3)*-66. Let n = o - 44. Suppose j + 1 - 2 = n. Is 5/18 bigger than j?
False
Let p = 23 - 1