2.3. Which is bigger: 1 or j?
1
Let p be 1/(0 + -14)*24. Let f(h) = 34 - 8 + 13 + 0 - 4*h. Let v be f(10). Which is greater: p or v?
v
Let s = -3 + 3.01. Let b = -0.13 - s. Let u = 0.14 + b. Is u at least as big as -3?
True
Suppose -2*w - 4*i = -38, 9 = 2*w - 3*i - 1. Let l = w - 10. Let v be l*6/3 + -6. Is v less than -4?
False
Let j be (-2)/8 - 9/(-180)*25. Which is greater: 14/9 or j?
14/9
Let m = -2.2 - -0.1. Let n = -7.1 - -7. Let g = m - n. Are -1 and g equal?
False
Suppose c - 11 = -3*q, 7*q = c + 4*q + 1. Suppose 3*b + 17 = -v, -2*b = 3*v - c*b + 3. Let h be v/(-2) + (-3)/(-6). Which is bigger: 12/5 or h?
h
Let m be -3 + (-301)/(-28) - 8. Which is greater: m or -2/295?
-2/295
Suppose 7 + 2 = -9*t. Let b = 1564612 - 31282437/20. Let a = b - 490. Is t greater than a?
False
Let j(d) = 3*d**2 + 8*d - 41. Let z be j(-13). Let f = z + -3254/9. Is 1 >= f?
True
Let d be (2*9)/(2/(-6)). Let v be 8/90 + (-6)/d. Let y = -2 + 1.9. Do y and v have the same value?
False
Let k = 38 + -38.03. Are k and 24 equal?
False
Let x = 3208.7 + -3209. Do x and 682 have the same value?
False
Let p be (-529)/(4/(-20)*-5) + 4. Is -526 equal to p?
False
Suppose d - 5 - 17 = 0. Let l = -16 + d. Which is smaller: 4 or l?
4
Let v = 216 + -225. Let y(n) = 10*n**3 + n**2 + 3*n + 1. Let m(c) = -c**2 - c - 1. Let q(x) = -2*m(x) - y(x). Let o be q(1). Is o at least v?
True
Suppose -5*q = -3*z + 88, 4*z = 4*q + 4 + 108. Suppose 3*b + 4*x = 8*x - z, -x + 5 = 0. Which is greater: b or 15?
15
Let q = 2.362 + 0.038. Let w = q + 0.6. Is 15 greater than w?
True
Let t = 1 - 2. Let o(m) = m**3 - 18*m**2 + 2*m + 3. Let j be o(18). Let s be ((-18)/4)/(j/(-13)). Which is smaller: t or s?
t
Let k = 4 + -3.8. Let c = -10 + 9.2. Let r = c + -0.2. Which is smaller: r or k?
r
Let h(w) = -93*w + 838. Let l be h(9). Let o be (-2)/(-1*11/9). Is o != l?
True
Let p be 210/(-147) - (-3)/7. Which is smaller: -1/640 or p?
p
Let a(w) = -1 - 69*w**2 + 5 + 12*w + 68*w**2. Let u(m) = m**2 + 4*m + 7. Let k be u(-5). Let y be a(k). Is 1 <= y?
True
Let d(q) = 3*q**2 + 120*q + 37. Let s be d(-41). Do s and 159 have the same value?
False
Let n be (-3)/229*6/(-18). Is 1 at most as big as n?
False
Let d = -41 - -40. Let u = -16 + d. Which is bigger: u or -15?
-15
Let p = 0.2 - -1.4. Let l = 10.6 - p. Let b = 10 - l. Is 1/7 at least b?
False
Suppose 2*a - 3*a = 5*q + 36, 2*a - q = -17. Let w(j) = -6*j + 3. Let x be w(2). Which is smaller: x or a?
a
Suppose 122 = 8*j + 442. Let a be 15/(-216) - 5/j. Let g(m) = m**3 - 2*m**2 - m + 2. Let v be g(2). Do a and v have different values?
True
Let a = 0.7 + 1.5. Which is bigger: 0.5 or a?
a
Let f = 2/21909 + 1183064/240999. Does f = 6?
False
Let d(w) = -w**2 - 14*w - 10. Let o(g) = -g**2 - 9*g - 3. Let r be o(-10). Let m be d(r). Let s be (-4)/(3*1/m). Which is greater: s or -6?
s
Let j = 0.52 + -0.5. Let x = j + -0.14. Let q = 1.12 + x. Which is bigger: q or 0.4?
q
Suppose -5*g - 4*f + 176 = 0, 0 = 8*g - 3*g - 3*f - 148. Let p be (2 - 1)/(6/198). Is p at most as big as g?
False
Let s(p) = -p**2 - 4*p + 12. Let b(n) = 2*n - 15. Let m be 3*(4 - 7/3). Let g be b(m). Let a be s(g). Is 7 greater than or equal to a?
True
Let f = -1 + 1.2. Let c = 1984 - 1983.98. Is c not equal to f?
True
Let q = -1214 + 1693. Which is smaller: q or -0.2?
-0.2
Let u be (48/20 + -2)/((-1)/(-10)). Suppose i = 5*m - 3, -2*m + 6 = -0*i + 2*i. Which is greater: u or m?
u
Let r = -8.5 - -8. Suppose 5*j - 3*a + 22 = -2, 0 = 4*j - 4*a + 24. Is j at least r?
False
Let r(d) = d**3 + 15*d**2 - 17*d - 15. Let u be r(-16). Is -4/53 at least u?
False
Let o = 2.4 + 10.6. Let a = o + -5. Is 1/2 bigger than a?
False
Suppose -n + 3 + 5 = 0. Suppose k - 3*k = -n. Suppose k*x + 8 = -8. Is x <= -5?
False
Let l = 4 - -100. Suppose 0 = -4*y - 5*s - 146, s + l = -4*y + y. Is y less than or equal to -35?
False
Let i = -243 - -249. Is 6 not equal to i?
False
Suppose a - 826 = 6*k - k, -3*a - 327 = 2*k. Let x be (-2)/(-8) + k/500. Let u = 19 - 19. Is x at most as big as u?
True
Let m = 13.9 - 14. Let z = -1.1 - m. Let p = -6 - -6. Is z greater than p?
False
Let g = 0.18 + -2.18. Which is greater: 57 or g?
57
Let h be 1 + 3/(-4) - (-21)/(-228). Is h at least as big as -0.9?
True
Suppose -22 = -4*o + 2. Suppose -i = o*i. Let x be 15/(-5) - (-2 + i). Is x < -13/6?
False
Let c = 0.025 - -0.975. Is -2 at most c?
True
Suppose 6*b - 3059 = 2*b + g, -g + 5 = 0. Suppose 2*j = 4*m - b, -m = 5*j + 125 - 300. Let h be (-6)/(-24) - m/(-72). Which is greater: 4 or h?
4
Let s(g) be the first derivative of g**4/12 + 2*g**3 + g**2 + 5. Let h(v) be the second derivative of s(v). Let u be h(-6). Is u < 2/43?
True
Let r = -13 - -17. Suppose -5*p - 2*x = -3*p - 234, -r*x - 468 = -4*p. Let u be ((-12)/p)/(8/(-12)). Which is smaller: 0 or u?
0
Let w(c) = -7*c**2 + c - 9. Let h(o) = 15*o**2 - o + 19. Let s(l) = -6*h(l) - 13*w(l). Let a be s(4). Is a equal to -0.2?
False
Let f(h) = -h**2 + 5*h + 23. Let i be f(10). Is i at most as big as -2/11?
True
Let a be (-9)/(-7) - 4/14. Let n(u) = -4*u**3 + 2*u**2 - 1. Let o be n(a). Let d = -26/3 + 19/3. Is d >= o?
True
Let v(m) = 3*m - 4. Let z be v(3). Suppose 5*w + 60 = -z*g, g + g = 2*w - 16. Let f be g/4*14/(-5). Is 7 < f?
False
Let c = -2447/41021 - -2/2413. Suppose 4*j = -2*s - 3 - 1, 0 = j + 4*s + 8. Which is smaller: c or j?
c
Let c = -6 + 18. Suppose n - 20 = -i, 5*i + 0 = -n + c. Suppose n*m = 25*m + 12. Which is smaller: 0.1 or m?
m
Let k = -53.82 + 54. Let o = 4.82 + k. Is o < -2?
False
Let b = 1494 + -687. Let g = 12907/16 - b. Is -1 equal to g?
False
Let y be (-1 + 3 + -8)/2. Let k be (-44)/y*(-2 - 1). Let u be (-1)/(-4)*(-32)/k. Which is greater: -4 or u?
u
Let s = -22 + 43. Let w be (-28)/s*3/(-4). Is 65 > w?
True
Let g = -23 - -26. Suppose -g*c = c. Which is smaller: c or 0.14?
c
Suppose 0 = -2*a - 3*n - 25 - 2, 4*a = -3*n - 45. Which is smaller: -8 or a?
a
Suppose t - 36 = 29. Suppose 2*g - 8 = -2*g. Let i be g/(-13) - 55/t. Which is greater: -2/19 or i?
-2/19
Let z = -1253 + 1167. Is -89 bigger than z?
False
Suppose -3*i = -5*o + 34, 2*o = 5*o + i - 12. Do 17/4 and o have the same value?
False
Let r(z) = 3*z - 2. Let x(g) = -4*g + 1. Let i(p) = 6*r(p) + 5*x(p). Let f be i(-5). Suppose -10 = 8*h - f*h. Is 0 bigger than h?
True
Let d = 44 - 42. Let h be 117/45 + d/5. Which is smaller: 9/5 or h?
9/5
Let t = -389838/199 - -1959. Which is smaller: -1 or t?
-1
Suppose -i + 4*i - 2*b = -2, 3*b = -15. Is -0.2 less than or equal to i?
False
Let g = -17 + 18.4. Let t = 0.6 + 0. Let z = g + t. Is z <= -1?
False
Let s(q) = q**3 + 2*q**2 - 10*q - 9. Let j be s(-4). Which is bigger: -1/563 or j?
-1/563
Let n = -0.54 + 0.54. Let c = 0 + n. Which is smaller: c or 3/5?
c
Let k = -0.29 + -2.71. Suppose 10*r - 6 + 16 = 0. Which is greater: r or k?
r
Let a = 185/434 + 9/62. Is 55 less than a?
False
Let v = 10 + -178. Let j be ((-27)/18)/(9/v). Is 29 less than j?
False
Let u be 558/(-1023) + (-12)/(-22). Let i be ((-3)/(-12))/((-29)/1). Which is greater: i or u?
u
Let w(a) = 6*a + 29. Let o(b) = b**3 + 9*b**2 + 13*b + 7. Let l be o(-7). Let f be w(l). Is 113 greater than f?
False
Suppose -10*i + 14*i + 56 = 0. Let o be -3 - 2/i*23. Suppose 3*c = 2*f - 12, -2*c + 8 = 5*f - 4*c. Which is bigger: o or f?
o
Let n be (3/9)/1*21/(-11). Let l be (-2)/(-7) + 36/21 - 2. Which is smaller: l or n?
n
Let z = 19.8 - 19.6. Suppose -3*h + 6*h - 12 = 0. Which is bigger: h or z?
h
Let x = -43451/55 - -790. Let m = 2/11 - x. Let d = -4 + 4.2. Is m at most d?
True
Let l = 156 - 107. Suppose -4*b = -d - 19, 4*b + 0*d + 5*d - l = 0. Suppose 4*h = -2*o + o + 25, 5*o + 5*h - 50 = 0. Which is smaller: o or b?
o
Let n(z) = 43*z - 54 + 47*z - 92*z. Let l be n(0). Is -55 != l?
True
Let q be 20 + 257 - (-3 + -2). Is q != 284?
True
Let o = -91 + 94.7. Let k = 18.7 - o. Let n = -15 + k. Is -1/16 at least as big as n?
False
Let o(b) = -2*b**3 - 2*b**2 - 1. Let j be o(-2). Let u(y) be the second derivative of -y**3/6 + 3*y**2/2 + 24*y. Let i be u(3). Which is smaller: i or j?
i
Let p(z) = -z**3 - 2*z**2 + 3*z. Let k be p(-3). Suppose k = 5*c - 5 - 0. Let v be 18/(-22)*(-2)/(-6). Are c and v equal?
False
Let x be -4 + 0 - (-7 + (-55)/(-15)). Which is smaller: 30 or x?
x
Suppose 0 = -6*c - 10 + 4. Let f be 4 - (c + 84/4). Is -2 at