(4). Let v = 9 + x. Which is bigger: 0.4 or v?
0.4
Let x = 803/3 - 820/3. Is x greater than -0.06?
False
Let z = -11961 - -27688. Are -1 and z nonequal?
True
Suppose -4*q + 17 - 41 = -4*c, 0 = -5*q - 20. Suppose 5*w - 15 = -2*y, y = -5*w - c + 17. Which is smaller: 48/37 or y?
y
Let v = 7684 - 7684.39. Are 37 and v equal?
False
Let u be (-279)/180*(-15)/(-260)*10/(-3). Which is bigger: u or 0.1?
u
Suppose -12 = -4*f + f. Suppose 3*d + 2 = -6*m + 4*m, -m = -f*d + 1. Let r = -6/19 + -58/57. Are m and r non-equal?
True
Let o be 6*4/(-24)*-4. Suppose -2*q = 2*h + 10, -3*h - 5*q = o + 17. Let c = -20939/17 - -1231. Are h and c equal?
False
Let h = -9 - -16. Let z(q) = 1494*q - 11952. Let u be z(8). Which is bigger: u or h?
h
Let s be 310813/14740 + -1 + 10/8. Let m = s + -238/11. Which is bigger: 1 or m?
1
Let r = -0.3224 + 0.2324. Is -2/901 at most as big as r?
False
Let z(b) = -b**3 + 31*b**2 + 2. Let c be z(31). Let j be (32/(-10) + -4)*5 - c. Let h(f) = -36*f**3 - 3*f**2 + 2*f. Let n be h(1). Which is smaller: j or n?
j
Let d(m) = -m**2 - 20*m + 53. Let c be d(25). Let a be c/(-64) - (-1)/4. Which is smaller: 19 or a?
a
Let c = 0.3514 - -4.0486. Is 8 less than or equal to c?
False
Suppose -26454*a + 26453*a = -6931. Is 6929 < a?
True
Suppose -5*s - 5*d = -670, 3*s - 34 = 4*d + 333. Suppose 0 = -6*r + s - 105. Suppose -4*y + 7 = -9. Is y < r?
False
Let x be (114/42 + -3)*-63. Let t be 5/45 + 4/x. Suppose -2*q = 2*q - 36. Which is bigger: t or q?
q
Let l = 4102.4 + -4308. Does l = 2/7?
False
Suppose -7*a + 4*r = -2*a + 10777, -2*r = 4. Is a equal to -2156?
False
Let y be ((-8)/12 - -1)/(2/18). Let a be (-2)/11 - (y - 175/55). Suppose -9*p = -a*p + 171. Is -18 equal to p?
False
Suppose 947 - 2210 = -34*u + 7543. Are u and 42 equal?
False
Let x be ((-42)/(-8))/((-40865)/(-2552) + -16). Is 406 less than or equal to x?
True
Let v = -4 + 3.99. Let j = 130 + 68. Let m = -399/2 + j. Are v and m non-equal?
True
Let l be 10/15 - (-17)/(-3). Suppose 0 = 4*m + 128 - 64. Let a(u) = -u - 19. Let z be a(m). Is z greater than or equal to l?
True
Let x = -0.82 + 0.27. Let q = -4397.1 + 4397. Is x greater than or equal to q?
False
Let v(i) = i**3 + 6*i**2 - 8*i + 5. Let x be v(-7). Let b be (-16)/x + (-93)/(-9). Suppose 5*c + 14 = b. Which is greater: 3/17 or c?
3/17
Suppose -5*d + 5 = 0, -4*d - 64 = 4*c + 52. Let n = -15 - c. Suppose j = -5*b + 9, 3*b + 2*j = -j + n. Which is smaller: b or 8/11?
8/11
Let x = -4633 + 4448. Which is greater: -183 or x?
-183
Let m(l) = l**3 - 3*l**2 - 2*l + 5. Let t be m(2). Let w be (-2)/t*(-798)/(-28). Which is bigger: w or 123/7?
w
Let r be (-273)/(-14)*4/3. Let p be (-4)/(156/(-5961)) - (-4)/r. Which is greater: p or 152?
p
Let s = 568 - 218. Suppose 0 = s*n - 348*n + 96. Is -49 bigger than n?
False
Let f = 2471 + -2358. Is f >= 2/3?
True
Let g = -0.4 + 9. Let p = -1.105 + 9.905. Let m = g - p. Which is bigger: m or 0.2?
0.2
Let s = -17651 - -17650. Which is smaller: s or -7/1175?
s
Let n = 183.1 + -120. Let o = 63 - n. Is o less than or equal to 53?
True
Let v = -2.049 - -6.049. Let p = -0.06 - 3.94. Which is bigger: p or v?
v
Let z = 15091 + -11200. Is z equal to 3890?
False
Suppose 5*g - 4*k = 1, 2*g = -g + k + 2. Let u = 10909/16791797 + 5/9757. Which is bigger: u or g?
g
Suppose 14*m - 31360 = -6*n + 10*m, -3*n + m = -15668. Do 5227 and n have the same value?
False
Suppose 0 = -2*z - 2*z + 228. Let o = -220/9 + 739/9. Let i = o - z. Which is smaller: i or 21?
i
Let m(x) = x**3 + 17*x**2 + 17*x + 22. Let j(o) = -8*o + 32. Let i be j(6). Let l be m(i). Let c(g) = -g**2 + 6*g - 3. Let r be c(3). Does r = l?
True
Let k(u) = -6*u + 51. Suppose -4*l - 3*b + 107 = 0, -131 = -5*l - 5*b + 4*b. Let y be k(l). Let s = -105 - y. Which is bigger: 1/29 or s?
1/29
Let d be ((1 + 0)*-1)/(7/(-58128)*-8). Which is bigger: -1040 or d?
d
Suppose -i + 3*x = -10 + 27, 2*x - 15 = i. Let s = -14 - -22. Let m = -10 + s. Is m less than or equal to i?
False
Let l be 2/3*((-27)/(-6))/3. Let f be -2*3/3 + l. Which is greater: 2/243 or f?
2/243
Let f(g) = -128*g + 5085. Let c be f(40). Let z be 0 + -36 - (-2)/2. Is c < z?
False
Let d = -1584 + 2322. Let b = 735 - d. Which is bigger: 0.15 or b?
0.15
Let r(l) = -2*l + 4. Let m be r(-4). Let u be 3/m - (-26)/(-72). Let t = 5440 - 5438. Which is smaller: u or t?
u
Let u = -53.961 + 54. Let w = u - 0.039. Which is smaller: -78 or w?
-78
Let t(i) = 5*i**3 + 29*i**2 - 5*i + 1. Let b be t(-6). Let a be 620/50 - 2/5. Let u be 4 + 38/a*-3. Are b and u nonequal?
True
Suppose 185 = -3*q - 2*k, -43*q - k - 313 = -38*q. Let c(w) = 4*w**3 + 3*w**2 - 3*w + 1. Let y be c(-3). Let d = q - y. Are 12 and d nonequal?
True
Let p(h) be the third derivative of 11/60*h**5 + 0 - 1/24*h**4 + 0*h + 4*h**2 + 11/6*h**3 - 1/120*h**6. Let m be p(11). Which is smaller: m or 2/9?
m
Let p be (-2)/12*15*-18. Which is smaller: p or 46?
p
Let i be 14/(7/(49/2)). Let o = 128 + i. Let x be 1 + (-10)/45 + o/(-135). Which is greater: x or -2?
x
Let m = 393.92 + -394. Let v(o) = 2*o + 7. Let q(c) = -c**3 - 4*c**2 + 2*c + 4. Let b be q(-4). Let n be v(b). Which is bigger: n or m?
m
Let h = -18192 + 38672. Is h greater than 20478?
True
Suppose 8540 = 269*k - 330*k. Is -81 >= k?
True
Let q be (0 + 6/2)*-4. Let s be 2/q + 2/3. Let z = 567 - 549. Is z > s?
True
Let s = -3607/8 + 444. Is 1/2 less than or equal to s?
False
Suppose i + 12 = 3*i. Let o = i + -5. Let v be (-6)/140*(-1610)/4140. Is v at least as big as o?
False
Suppose 5*f - 22 = 2*a, -4*a + 2*f - 20 + 8 = 0. Let c(i) = -12*i + 732. Let s be c(60). Which is greater: s or a?
s
Suppose -z = -2*k - 16, 0 + 116 = 4*z + 5*k. Suppose 34*u = z*u - 10. Suppose -2*w = 3*r + 49, w = 3*r - 5 - 33. Which is bigger: w or u?
u
Suppose 2*k + 11 = k + 5*b, -2*b = -3*k + 6. Let d(h) = -h + 1. Let j(w) = -3*w + 16. Let l(z) = -2*d(z) - j(z). Let a be l(k). Which is greater: a or -2/3?
a
Let i = 54829385/554766 + -2/92461. Which is smaller: i or 99?
i
Suppose 8*m - 4*v = 3*m - 264, 102 = -2*m - 2*v. Let h(l) = -29*l + 5. Let g be h(2). Is m < g?
False
Let t = -1839.14 - -1840. Which is smaller: -2/43 or t?
-2/43
Suppose 0 = -3*k - 4*w + 1226, 0*k + 5*w = -3*k + 1222. Let p be 32/192 - (71/k + 0). Is -2/3 at least as big as p?
False
Let v = 17 - 43. Let p be -1 + (-398)/16 - (-58)/(-464). Is v less than or equal to p?
True
Let s be 3704/(-10) - (-21)/10*(-76)/133. Which is greater: -372 or s?
s
Let i be (-2040)/75*(-25)/10. Which is greater: 82 or i?
82
Let i be 6 - 4*8/(-8). Let f be -31 - (4 + -8)*1. Let p = f - -38. Is p >= i?
True
Let w = 15.021 + -15. Let p be ((-10)/4 - -3) + (-9)/(-24). Let q = p + -5/8. Are w and q nonequal?
True
Let d(p) = -p**3 + 30*p**2 + 50*p - 4. Let l be d(32). Let w be (-5)/2070*l - (-4)/(-18). Is 0 equal to w?
False
Suppose 73*f + 176 = -413 - 506. Let p = -7 + -18. Let q be (108/f)/(5/p). Is 36 greater than q?
False
Let f(b) = -9*b**2 - 16*b - 295. Let y be f(-10). Is y at least -2067/2?
False
Let o = -957.2 - -961.2. Is o > 248?
False
Let t be (-2)/4*(-9)/((-45)/(-40)). Suppose -20 = -s - t*s. Suppose 6 = 3*l + 4*o - 0, s*l - o = 8. Do 16 and l have the same value?
False
Let d(n) = -n**2 - 14*n - 25. Let h(c) = c**2 - 6*c - 19. Let f be h(7). Let j be d(f). Is 2/17 < j?
False
Let n(g) = 6*g + 27. Let x be n(-11). Let l = -20 - x. Let f = -19 + l. Which is smaller: 3 or f?
f
Let f be 1*4/14 + 128106/126. Suppose f = 7*n + 121. Is 126 less than n?
True
Let w(x) = -229*x - 7546. Let a be w(-7). Is a at least as big as -5943?
True
Let x(l) be the first derivative of l**3/3 + l**2 - 5*l - 17. Let s(q) = q**2 + 3*q - 4. Let n(t) = 4*s(t) - 5*x(t). Let a be n(4). Which is smaller: 2/85 or a?
2/85
Suppose 103*z - 25933 = -7496. Which is bigger: z or 1606/9?
z
Suppose 4*r + 973 = -3*z - 1431, 5*r - 1549 = 2*z. Which is smaller: 9 or z?
z
Let s = -32705 + 32705. Let f = 6411 - 19415/3. Let h = 4183/69 + f. Which is bigger: s or h?
s
Let h = -7724518/904761 + 1460/171. Which is bigger: h or -1?
h
Let n = 34042 + -6740317/198. Let s = 3 + -4. Which is smaller: n or s?
s
Let y(u) = u**2 + 5*u + 1. Suppose 0 = 4*s - 3*s. Let h be y(s). Let q be (-4)/134*(h - 0). Which is bigger: q or -2/3?
q
Suppose -k - 3 = s + 1, 4*s + 20 = 0. Let j be -6 + 2 + (-5965)/(-1190) - k. Let a = j + 135