4.2. Is -2.41 not equal to f?
True
Suppose 0 = -j + 12 + 4. Let g(v) = -v**2 + 18*v - 41. Let y be g(14). Which is smaller: y or j?
y
Let b be 2*((-3 - -22) + -3). Let z = b + -16. Suppose -3 = -j - z. Is -12 less than or equal to j?
False
Suppose 61*g = 59*g - 6. Let k be -2*(15 - (-2 + g/(-2))). Which is bigger: -32 or k?
k
Let a = -0.2379 - -0.1379. Is 527 > a?
True
Let r = -32 + 30. Let g = -8185/8 + 44127/56. Let y = g + 236. Is r at most as big as y?
True
Let g(r) = 4*r - 23. Let m be g(17). Let k = m - 25. Let b = 13 - k. Are -8 and b unequal?
True
Let s be -3 - (4/(-2) - 2). Let q be 0/26 + 31*s. Which is smaller: 1/3 or q?
1/3
Suppose 2*k = 3*k - 3. Let p(g) = g**3 - 5*g**2 + 4*g + 4. Let w = -2 - -6. Let o be p(w). Which is greater: o or k?
o
Let k(g) = -g**3 - 32*g**2 - 26*g - 28. Let y be k(-16). Let o be 2400/y + 0 + 4/6. Which is smaller: o or -1?
-1
Let h = -52 - -58. Suppose 0 = h*l + 5 + 25. Is l smaller than -5?
False
Suppose -3*i - 4*d + 96 = 4, 3*d = -2*i + 61. Which is greater: 35 or i?
35
Let l = 0 + 7. Suppose -l = 8*b - 23. Is 4 at least b?
True
Let y = 1.31 - -0.63. Let m = y - -0.06. Let j = -1.9 + m. Is 2 at most as big as j?
False
Let i be (-7 - (6/(-4) + -5))/4. Which is greater: i or 0?
0
Let n = 0.53 - -0.1. Let z = 0.53 - n. Which is bigger: z or -1.48?
z
Let b be (4/(-810))/(2420/100 + -24). Is b greater than or equal to -1?
True
Let n = 40 + -51. Let x be -3 - 0 - 38/n. Suppose u - 13 = -4*l, -5*u - l + 3*l = 1. Is u smaller than x?
False
Let n = -3909395202 + 745361379815230/190659. Let k = 2/1297 + n. Do k and 0 have the same value?
False
Let b = -2685 + 7670/3. Which is smaller: -127 or b?
b
Let d be (102/(-12) + 10)/((-2)/4). Is 19 at most d?
False
Let d = -182 - -105. Do d and 0 have the same value?
False
Suppose 108 = 5*w + 18. Suppose -5*a - w = -4*t, 2 = -3*t - 5*a - 2. Let b be t/((-27)/(-6)*-2). Which is smaller: 0 or b?
b
Let d be 1/(4/(-9 + 1)). Let p be 474/150 - 1*(1 - d). Is p <= 1?
True
Let j(k) = -k**2 + 28*k + 59. Let g be j(30). Is 1/34 at least as big as g?
True
Let y(z) = z + 1. Let k be y(2). Suppose -5*f = 4*q - 22, 0 = -k*q + 2*q + 3. Let i be -2 - 4*(-1)/f. Which is greater: 8 or i?
8
Let m = 2 + -1. Let y be 0/(-2) + (-8)/(-5). Let v = -27/20 + y. Is v greater than m?
False
Suppose -c + 5*c - 4*n + 524 = 0, 2*n - 130 = c. Let v be c/(-88)*(1 + (-1)/3). Which is smaller: v or -1/11?
-1/11
Suppose 2*a - 2*o = 14, 0 = -3*a + 4*o + 31 - 5. Suppose 0 = -3*c - a*z - 9, 0*c - c = -3*z - 8. Is -5/8 smaller than c?
False
Let c be (-3 + 4)/(6/444). Which is smaller: 71 or c?
71
Let i be 10/(-3)*2/(-10). Let h = -393 + 390. Which is greater: i or h?
i
Suppose -4*a - 2*c - 2 = 0, 8 = 5*a - 0*a - c. Is a > 2/1737?
True
Let w = -171 - -170. Is 1/242 at most w?
False
Let x = -225 + 175. Let i be 3/((-1)/(-1)) + -54. Is i equal to x?
False
Let d = 818 + -43352/53. Let f = 77/636 - d. Which is smaller: f or 1?
f
Let y(m) be the second derivative of -m**6/720 - m**5/60 - m**4/2 - 10*m. Let p(b) be the third derivative of y(b). Let x be p(-3). Which is smaller: -1 or x?
-1
Let z(m) = 6*m - 12. Let b be z(2). Does b = -1/272?
False
Let r = -0.015 - -141.015. Let x = 23 - r. Which is bigger: x or 0?
0
Suppose 0*b = -b. Let q be (1 - b)/(5/10). Let r be (-1)/q + 17/10. Which is bigger: r or 2?
2
Let d = -470 + 434.4. Which is bigger: d or -2/5?
-2/5
Let n = 2.5 + -2.2. Let m = n - -10.7. Let f = 10 - m. Which is smaller: 0.05 or f?
f
Let f = -5 + 6. Let s be f/(-3) + 28685/75. Let w = s - 382. Does -1 = w?
False
Suppose 0 = -3*n + 2*p - 45, 2*n - 4*p = 3*n + 15. Let h(c) = 5*c + 5. Let z be h(-4). Is n at least z?
True
Let u = 0 + 0. Let s(f) = -f**2 + f - 1. Let h be s(u). Let l be (-4 + 3)/(66/33). Is h greater than l?
False
Suppose 2*f - 71 - 633 = -2*v, 2*f = 5*v + 683. Is f less than 348?
False
Let g = -0.126 + 0.026. Let q = 198 - 1780/9. Which is smaller: q or g?
g
Let y = -2263 - -2263. Which is bigger: -9/116 or y?
y
Let q = 52 + -51.876. Let g = q - 0.024. Which is smaller: g or -0.38?
-0.38
Let p be (20/52)/(-3 + 2). Let r = -25 + 26. Suppose -2 + r = -s, -k + 4 = 5*s. Are p and k nonequal?
True
Let f(h) = -9*h. Let i(b) = b - 12. Let z be i(11). Let a be f(z). Is a less than 11?
True
Let b = -125 - -94. Which is greater: -29 or b?
-29
Let w be (-15)/9 - 14410/4305 - -5. Is 0 > w?
True
Let t = -356 + 1431/4. Let h = -1 + t. Is 0 >= h?
False
Suppose 0 = -2*u - c + 3, -c - 3*c - 14 = -5*u. Let t(h) = h - 1. Let b be t(3). Suppose 3*r = 5*r - 4, 5*r - 6 = b*k. Is u <= k?
True
Suppose 4*q = 5*w - 26 + 25, -5*w = q - 31. Which is smaller: 55/8 or q?
q
Suppose -4*u + 4*f + 39 + 1 = 0, 3*u - 4*f = 27. Suppose 4*m - 9*m = 60. Let j = u + m. Is -1/4 less than j?
True
Let s = 2072 - 2001. Which is bigger: s or 70?
s
Let x = -0.569 - 0.431. Do -3/59 and x have the same value?
False
Let d(m) = m + 3. Let j be d(2). Let n be (0/((-2 - -1) + 3))/3. Which is bigger: n or j?
j
Let r(n) = 2*n**2 + 16*n - 5. Let v be r(-8). Let i be (-82)/(-18) - (v - -8). Which is bigger: 2 or i?
2
Let t = -662 - -8602/13. Suppose 7 = 5*k - 18. Suppose -5*q + k = -2*h, 5*h - 2*h - 2 = -2*q. Is q >= t?
True
Let j(q) = q**2 - q + 10. Let w be j(0). Suppose -8*m = -w*m. Let g = -14 + 10. Which is bigger: m or g?
m
Suppose 24 = -4*p + 2*p + 4*b, -5*p - 5 = b. Let m be 8/21 - (p/(-3) - 1). Is m greater than or equal to 1?
False
Let n = -423/60140 + -1/970. Do 0 and n have the same value?
False
Suppose 0 = -43*b + 40*b - 48. Is -1/2 at least b?
True
Let j = -218 + 671/3. Is j bigger than -0.1?
True
Let l be 10 - (-35)/(-7) - 284/4. Which is smaller: -332/5 or l?
-332/5
Suppose -2*d + 83 = 5*u, -3*d + 60 = -5*u - 27. Let f(b) = -b**3 + 8*b**2 - 6*b - 7. Let o be f(7). Which is smaller: o or d?
o
Let z(s) = 5*s + 26. Let j be z(-9). Let x be 1/2 - j/114. Let u = -0.03 - -0.93. Which is smaller: u or x?
x
Suppose -2*g = -5*b + 94, 3*b - 2*b - 4*g - 8 = 0. Let i = b + -18. Suppose i*f - 14 = 4*f. Is f != -7?
False
Let o be (-18)/(-2) - (4 - 2). Suppose 347*w = 355*w - 80. Is w bigger than o?
True
Let f = -36 + 41. Suppose 10*q = f*q - 80. Let z = 18 + q. Is z less than 13/6?
True
Let q = 0.2 + -0.1. Let k = 1110 - 83248/75. Which is greater: q or k?
q
Let a be (-2)/(-6)*0 + 0 - -1. Which is greater: -11/35 or a?
a
Let c(j) = -5*j**2 + 23*j - 23. Let t(d) = -d**2 - d + 1. Let i(n) = c(n) - 4*t(n). Let y be i(26). Let k = 15 + -26. Which is smaller: k or y?
k
Let w = 23 + -22.5. Let r = w + -0.48. Let h be 4/6 + (-2)/12. Which is smaller: r or h?
r
Let k = 94 - 94.1. Is 201 greater than k?
True
Let m(i) = i**3 + 12*i**2 + 26*i + 10. Let q be m(-10). Which is greater: q or -53?
q
Suppose 12*o + 36*o + 3840 = 0. Which is smaller: -82 or o?
-82
Let n be (-17)/(170/(-175)) - 2/4. Are n and 157/9 equal?
False
Let s = 356837/32857 + -315/29. Let p = 45314/3399 - s. Which is smaller: p or 14?
p
Let u = 417 + -419. Which is bigger: -72/59 or u?
-72/59
Let w = 3083 - 18541/6. Is -8 greater than or equal to w?
False
Let q = -0.0199 - 3.9801. Which is greater: q or 2/73?
2/73
Suppose 4*p = 5*b + 2, p - 3*p = -5*b + 4. Let z(m) be the second derivative of m**3/3 + 4*m**2 + 6*m. Let t be z(-3). Which is greater: p or t?
p
Let f = 32 - 74. Let n(z) = -3*z**2 - z + 8. Let x be n(4). Is f > x?
True
Let v(h) = -h**3 + 7*h**2 - 6*h + 2. Let r be v(6). Suppose r*n - 1 = 3. Suppose 0 = -w + 5*c - 21, n*c - 17 = w - 2*c. Which is greater: w or 4/11?
4/11
Let o = -61 + 56. Which is smaller: o or 1?
o
Suppose -668 = -6*x + 1444. Is x bigger than 350?
True
Suppose -8*p - 330 = -19*p. Let r = -10 + p. Are 18 and r non-equal?
True
Let v = 11 + -7. Suppose 3*w - v = -w. Let l = -3802/7 - -544. Are w and l unequal?
True
Let o(h) = 3*h**3 + h**2 + h + 1. Let r be o(-2). Let n = r - -23. Suppose 2*p + 9 = n*b + b, -3*p - 1 = -2*b. Which is smaller: -2 or p?
-2
Let x be ((-26)/(-1 - -2))/(-2). Suppose -5 = -x*b + 8*b. Let v = 6 - 4. Which is smaller: v or b?
b
Let x = 3 - -21. Let g = x - 23. Is g >= 10/9?
False
Let h(v) = -v**3 - 10*v**2 + 10*v - 7. Let s be h(-11). Suppose 15 = s*a + 3. Let z(w) = -2*w + 10. Let d be z(4). Which is smaller: d or a?
d
Suppose -4*f + 9 = -x, -3*f = -7*x + 3*x + 3. Suppose 4 = 2*v, -j + 4*j + 3*v + 15 = 0. Let o be (j/(-3))/(x/(-9)).