2). Is p < x?
True
Let w = -31 - -27. Which is greater: -47/11 or w?
w
Let g(k) = k - 7. Let f be g(12). Suppose -f = 4*d + 11. Let a = d + 7. Which is smaller: 1 or a?
1
Let c be (-5*((-235)/25 + 7))/2. Suppose -5*w = -4*w. Which is smaller: w or c?
w
Let b be ((-3)/4)/(21060/(-216)). Is b smaller than 2?
True
Suppose 0 = -4*v + 16 + 8. Suppose -2*t + v*t - 40 = 0. Let z be ((5 - -2) + -5)*(-27)/(-6). Is t > z?
True
Let i(z) = z**3 + 11*z**2 + 19*z + 6. Let o be i(-9). Let y = -0.44 + 0.31. Which is bigger: o or y?
y
Let v = 0.044 - 22.044. Let l = v - -20. Suppose 0 = 5*u - 4 - 6. Is l bigger than u?
False
Let d = -1.4 + 2.26. Let a = d - 0.76. Is a greater than or equal to 16?
False
Let r = 37 + -53. Let m be (-8)/(-36) + r/(-9). Let h = 125/116 + 5/29. Do h and m have different values?
True
Suppose -p - 3*p = -a - 27, -4*a + 3*p = 82. Which is bigger: -21 or a?
a
Let f be (-1*1/(-2))/((-7)/(-28)). Let b be 2/(-4)*(-5 - -5)/f. Which is bigger: b or -9?
b
Let b be -3*(1 + -2) - (-28 - 2068/(-66)). Suppose 5*r - 25 = -s, -r = -s - 2*s - 5. Which is bigger: s or b?
s
Let c be (-90)/(-12)*(-4)/(-10). Is c bigger than 15?
False
Suppose -481*g + 482*g = -9. Suppose 7*y - 8 = 3*y. Let w be g*-2*y/(-12). Which is smaller: w or -2?
w
Let w be (129/45)/((-6 - -11)/15). Are 10 and w non-equal?
True
Let p(m) = m**3 - 16*m**2 - 69*m - 36. Let w be p(-3). Suppose 5*i + s + 75 = 6*s, 2*i + 40 = -3*s. Let y be -2*((-1)/i)/(-1). Is w != y?
True
Suppose -29 = -7*z - 113. Let c be ((z + 3)/(-3) - 4)*1. Let l = 26/11 - 1772/759. Which is bigger: c or l?
l
Suppose 3*c = -2*d + 135, -d - 4*d + 3*c + 390 = 0. Let a = 437 + -363. Which is smaller: d or a?
a
Let m = -1 - -0.7. Let i = 0.2 + m. Let l = -8456.9 + 8457. Is i greater than or equal to l?
False
Let p be (28/15)/((-16)/160). Let j = p - -787/42. Is 0 < j?
True
Suppose -3 = 5*j + 17. Let l be -5*(0 + j + 3). Suppose -5*a + 2*s - 54 + 23 = 0, 0 = 2*a + 5*s - l. Is -4 at least a?
True
Let r = -21/116 - 1561/348. Is -6 at least as big as r?
False
Let w = -5 - -3.2. Let x = w + 1. Let h = -7.2 + x. Does 0.1 = h?
False
Let f = -2164143/24860 - -1741/20. Do f and 1 have different values?
True
Let i = -2/561 - 2801/1122. Let j = 0.1 + -0.1. Which is smaller: i or j?
i
Let y = 3.264 - 2.264. Is y bigger than 37.8?
False
Let o = -139.579 - 2.521. Do o and -0.1 have different values?
True
Let i be (-7)/(-203)*-46 - -2. Does 0 = i?
False
Suppose -7*o - 36 = -o. Let c be 35/15 + 2/(-6). Let a be c + (o + 3)/3. Which is smaller: -2 or a?
-2
Let i(g) be the second derivative of g**5/20 + 3*g**4/2 - 3*g**3 + 13*g**2/2 + 26*g. Let n be i(-19). Which is smaller: -9 or n?
-9
Let p = -446 - -360. Which is smaller: p or -0.1?
p
Let b(r) = -r**3 + 3*r**2 + r - 3. Let x be b(1). Which is bigger: 16/91 or x?
16/91
Let k(s) be the first derivative of -s**3/3 - 5*s**2 - 9*s - 10. Let p be k(-8). Does p = 4?
False
Let d = -198796/28461 + 370/53. Which is greater: 0 or d?
0
Let c = -93 - -148. Are c and 0.2 nonequal?
True
Let p(o) = -o**3 + 8*o**2 + 20*o - 23. Suppose -18 = -6*j + 3*j - 3*d, -26 = -j + 4*d. Let z be p(j). Which is smaller: z or -22?
z
Let o = 5 - -3. Let p(g) = g**2 - 27*g + 32. Let v be p(26). Are v and o non-equal?
True
Suppose 8 = -5*i + 38. Let k(m) = m**3 - 5*m**2 - 8*m + 16. Let g be k(i). Suppose -5*o - 6 = g*b + 25, -o - 65 = 5*b. Which is smaller: b or -12?
b
Let g = -9407.8 + 9408. Let t = -20/3 - -491/75. Are g and t nonequal?
True
Let u(s) = -s**2 - 7*s - 9. Let b be u(-5). Let r(x) = -32*x**2 + 1. Let d be r(b). Let f = d + 32. Which is smaller: -0.07 or f?
-0.07
Let o = 6520/17 - 74381/204. Let z = 73/4 - o. Let u = -260/3 + 86. Is z != u?
False
Let j = -11 - -1. Let w = -14 - j. Which is smaller: -8/3 or w?
w
Let v be 57 - (0 + 6/(-2)). Let b = v - 35. Suppose -7*u = -2*u - b. Which is greater: u or 6?
6
Suppose t - 15 = -4*t + 5*z, 3*z = 5*t - 15. Let v be (-2)/30*-5*t. Let j be (58/(-18) - -1) + 2. Which is smaller: v or j?
j
Suppose -4*f = -20, 4*n + 2*f + 38 = -0*f. Let h = 4 + n. Let l be ((-27)/(-21))/(h/(-28)). Are 4 and l equal?
False
Let q = -3 + 5. Suppose 0 = 244*x - 246*x + 2. Are q and x unequal?
True
Let g(c) be the first derivative of c**3/3 + c**2 - 7*c + 21. Let m be g(-6). Are 18 and m unequal?
True
Let p be (28/(-7) - -2)/(8/(-1)). Let h(r) = -r**2 + 9*r - 6. Let c be h(8). Is p smaller than c?
True
Let i = -51/2 - -27. Let j be ((-40)/(-12))/(4/6). Suppose 2*k + 2*k + 13 = j*r, 5*r = 2*k + 9. Which is bigger: r or i?
i
Let u be ((-13405)/1675 - -6 - 4) + 6. Which is greater: u or 1?
1
Let m = 0.02 + -2.02. Let b = 251 - 259. Is m >= b?
True
Let q(f) = f**2 - 31*f - 99. Let z be q(34). Which is greater: -2.07 or z?
z
Let v(m) = -m**2 + 10*m + 8. Let k be v(10). Suppose -4*r - 2 + 22 = -4*t, 4*r - 2*t = 26. Let z = k - r. Is 1 > z?
True
Let s be (701/233 - 3)/3. Let x = s - -440/9087. Let f = 4/7 - 9/28. Which is greater: f or x?
f
Let s be (((-273)/(-26))/(-21))/(1/138). Which is bigger: 1/4 or s?
1/4
Suppose -5*p - o = -50, -p = -0*p + 4*o - 29. Suppose 0 = -p*z + 5*z - 104. Which is bigger: z or -25?
-25
Let z = -6166/11 + 560. Let a = -5.73 - 0.27. Let v = a + 7. Does v = z?
False
Let y = -1652 - -1733. Are 78 and y equal?
False
Suppose 4*n + n + 25 = 0. Let w be (24/20)/((-6)/(-100)). Let l = 14 - w. Which is bigger: n or l?
n
Let f be 1074/2*(-3)/9. Which is smaller: -176 or f?
f
Let v be 2*(-2)/4*98/116179. Which is greater: v or 1?
1
Let f be 7/(-28)*-12*4/12. Does 2/1047 = f?
False
Let y be (100/35 - 2) + (-2)/7. Is y greater than 3?
False
Let w be -16 + 0 - (-2)/(-2). Suppose -2*d = 121 - 89. Which is bigger: w or d?
d
Let o be 0 + -4 - -5 - 3. Let v be (o + 11)*1/(-3). Which is bigger: v or -14/9?
-14/9
Let q = -10.8 - -12. Let y = q - 1.5. Let s = y + 0.3. Is s greater than 1/4?
False
Let f = -0.559 - 69.441. Which is smaller: 2/15 or f?
f
Let n = -303.03 + 303. Which is bigger: n or -0.45?
n
Suppose 4*x - 5 - 7 = 0. Suppose 3*j = -5*p + 2, p = -x*j - 3 + 13. Suppose 0 = 5*o + j*a - 7*a + 10, 5*o = -a - 10. Which is bigger: o or -12/11?
-12/11
Let h(c) = -c**3 - 5*c**2 + 4*c - 1. Let w be h(-5). Let v = -38 - w. Which is smaller: v or -18?
-18
Let a(d) = 5*d + 15. Let o be a(-4). Let r be 2/o*2 - 362/10. Is r < -36?
True
Let h = 125.2 - 44.3. Let t = -81 + h. Is -0.1 bigger than t?
False
Let k(f) = -f**2 + 10*f + 1. Suppose 5*y = 3*r + 44, 6 = r + 2*r. Let l be k(y). Let n(m) = m**2 - 12*m + 30. Let a be n(4). Which is greater: a or l?
l
Let l(y) = 4*y**2 - 28*y - 3. Let w be l(6). Is -107/4 less than w?
False
Let x(i) = 7*i - 16. Let f be x(3). Let k be (4 - 15/f)*-3. Is k >= 16?
False
Let i = 3/1549 + -9363/35627. Is i > 13?
False
Let j = -69.22 - 22.88. Let p = j - -92. Which is smaller: -0.01 or p?
p
Suppose -4*p - 27 = -t + 8, -2*t + 4*p + 50 = 0. Let w be (t/(-5))/9 + 4/3. Which is bigger: -4/31 or w?
w
Suppose -3*t - 3*t - 18 = 0. Let p be (t/(-12))/(2/40). Suppose -5*x = -3*b - p - 2, 10 = 2*x - 3*b. Do -3 and x have different values?
True
Let p = 8 - 3. Let h be (-15)/12*1/p. Suppose 0*m + 1 = m. Which is smaller: m or h?
h
Suppose -2*b + 5*x + 2 = 3*x, 0 = 4*b + 2*x + 8. Do -2/867 and b have different values?
True
Let t = -365 + 364. Do t and 0 have different values?
True
Suppose 0 = -p + 6*r - 2*r + 17, 0 = -5*r - 25. Suppose 157 = 5*i + 4*b, 2*i - 32 = -4*b + 26. Let f = 30 - i. Is f at most p?
True
Suppose -364 = 33*v - 32*v. Is -364 > v?
False
Let n(s) = s**3 - 5*s**2 - 6*s - 5. Let m be n(6). Let d be (m - -2) + 0 + 28. Suppose 0 = 2*t + 3*t - d. Which is smaller: 1 or t?
1
Let k(v) = 7*v - 50. Let t be k(7). Let o be -1*t*6/339. Is o not equal to 1?
True
Suppose -499 = -3*m - 166. Suppose 3*s + 117 = -3*a, 3*a - 3*s + m = -0*a. Is a smaller than -38?
False
Let n(f) = 9*f - 42. Let w be n(5). Suppose -w*c = 15, 4*c = a + c - 36. Are 21 and a equal?
True
Let h be (-4)/(-126)*70/45. Is 1 at most h?
False
Suppose 0 = -x - 2*x - 3. Let l = 444/19 - 4376/171. Which is smaller: x or l?
l
Let g be ((-469)/(-2))/((-5)/(-2)). Let r = 93 - g. Does r = 2/13?
False
Suppose 23*w + 14*w - 9657 = 0. Which is greater: 263 or w?
263
Suppose 0 = 16*g - 17*g + 1, -4*o - 2*g - 122 = 0. Which is smaller: o or -4?
o
Let o(i) = i + 3. Let x be o(-4). Which is bigger: 3/37 or