3/230 - t. Which is greater: p or -1?
p
Let n = -513.98 + 514. Which is smaller: n or -6?
-6
Let j be (8/(-14))/((-16)/56). Suppose -10 = -5*a - 0*r + 4*r, j*a = -r - 9. Suppose 5*q + 1 + 4 = 0. Which is smaller: q or a?
a
Let z(n) = -n**2 + n. Let r be z(2). Let w be (10 + r)*2/4. Suppose -4*l - 16 - w = 0. Is l less than -3?
True
Suppose -4*d - 125 = -4*g + d, 2*d + 122 = 4*g. Suppose 0 = 2*j - 5*j + g. Let y be 11 + (-3 + 2 - 1). Is y < j?
True
Suppose -5*j + 10*j = 0. Let c = -94/87 - 5/58. Is c at least as big as j?
False
Let x = -0.049 + -0.151. Is x equal to -1/11?
False
Suppose 6*y + 3*y = -225. Let b be 15 - 15 - (-2 + y/(-4)). Is -5 less than or equal to b?
True
Let x = 3 - 5. Let o be ((-7)/(-3))/((-10)/(-3)). Let t = -1/20 - o. Which is greater: x or t?
t
Let s(w) be the third derivative of -w**4/24 - w**3/3 - 5*w**2. Let b be s(-5). Suppose b*c + 2*c = 0. Which is smaller: c or 2/29?
c
Suppose -409 = -5*h - 159. Suppose -3*q = 20 - h. Let j be (-5*4/(-8))/((-2)/(-8)). Does q = j?
True
Let s = -9.88 + -0.12. Let i = -65 + 69. Let k = i - s. Which is smaller: k or 1/4?
1/4
Let r be 42/11*19/(513/(-18)). Which is bigger: r or 0.1?
0.1
Suppose -158*z + 148*z + 20 = 0. Suppose 9 = -5*b - 21. Let s be (b + 6)*2/z. Is s equal to 1?
False
Suppose 63 = 11*h - 14*h. Let j = h - -28. Let w be j/42*(2 - 5). Which is smaller: -1/9 or w?
w
Suppose 0*u - 4 = 2*u, -3*m - 2*u = 25. Let s(c) = c**2 + 5*c - 8. Let v be s(2). Let l = m + v. Is l < -1/8?
True
Let q be (27/6)/(-3) - 7/(-14). Let t be ((-4)/(-2 - q) - 1)*-3. Is -14 less than or equal to t?
True
Let u = 4.9 - 0.9. Suppose -5*n - 5 = -5*s, -9*s = 4*n - 8*s + 14. Is u >= n?
True
Let g = 671 + -668. Let a = 1310 - 9153/7. Let u = a - 44/21. Are u and g nonequal?
True
Let v = 94252929998/554429 - 170000. Let z = -226761851/108113655 - v. Let w = z - -28/15. Is w smaller than 0?
True
Suppose -b - 9 = -3*q + 8, q + 16 = -4*b. Let h be b - (-6)/(24/4). Is h != 16?
True
Let c(k) = -k**3 - 7*k**2 + 17*k - 8. Let q be c(-6). Is q greater than 1?
False
Let u = -700 + 758. Which is smaller: u or 4/5?
4/5
Let w(p) = -p**3 + p**2 + 2*p + 2. Let b be w(2). Let d(f) = 2*f**3 - 3*f**2 - f + 1. Let m be d(b). Is m >= 3?
True
Let v(w) = -w**2 - 44*w + 356. Let s be v(7). Let q be 114/(-118) - 1*-1. Which is smaller: q or s?
s
Let h(w) = -5*w + 1050. Let b be h(0). Let s be b/234 - 6 - 1/3. Is -3 less than s?
True
Let v = 0.14 + -0.09. Let z = 3 - 2.85. Let a = v - z. Is -0.14 less than or equal to a?
True
Let g = 19 + 2. Suppose -w = 2*w - g. Suppose 4*l = w*l. Which is bigger: l or -1?
l
Let k(n) = -2*n + 5. Let h be k(-4). Suppose h*p = 8*p + 5. Which is smaller: p or -2/117?
-2/117
Let a = -3085/2 - -542963/352. Are a and 0 non-equal?
True
Suppose -2*s + 35 = -5*k - 0*k, k + 4 = s. Let f = k - 3. Let c be (f/(-15))/((-1)/(-10)). Is c >= 8?
True
Suppose -4*r + 65 + 223 = 0. Is r != 68?
True
Let s = 815 - 842. Does s = -53/2?
False
Let g(x) = -1. Let y(j) = -5*j - 1. Let w(f) = 4*g(f) - y(f). Let k be w(1). Is -1 smaller than k?
True
Let f = -1508 + 1519. Which is smaller: f or -4?
-4
Let p = 22.987 - -0.013. Let g = -13186/7 + 1884. Which is smaller: p or g?
g
Let w be (-5)/2 + 65/26. Is 1/149 greater than w?
True
Let k = 14 + -13. Let o = k + -5. Let c = o - -5. Is 6 <= c?
False
Let p(m) = -2*m**3 + 13*m**2 - 13*m + 9. Let h(b) = -b**3 + 6*b**2 - 6*b + 4. Let u(x) = -7*h(x) + 3*p(x). Let o = 3 + -1. Let a be u(o). Are a and 0 equal?
False
Let l be (-157742)/(-546) - (-1)/(-21)*-2. Which is smaller: 290 or l?
l
Suppose -11*f + 150 = 7. Do f and 11 have the same value?
False
Let w = -7 + 165/23. Let y be (-770)/(-798) - 4/(-114). Which is greater: y or w?
y
Let p(v) = v**3 + 15*v**2 - 19*v - 6. Let y be p(-16). Are 1 and y nonequal?
True
Let x = 33 - 31. Let v be 1/4*-46*x. Is v not equal to -25?
True
Let b = 27 - 26.83. Let j = 629.9 - 668. Let d = j - -38. Which is smaller: b or d?
d
Suppose -3*y + 0*y - 23 = 4*c, 2*y - 5*c - 23 = 0. Let a be ((-8)/12)/(y/(-6)). Let h be a/16 - 15/20. Is 2/27 greater than h?
True
Let w(f) be the third derivative of f**6/120 - 2*f**5/15 - f**4/12 - 4*f**3/3 + 5*f**2. Let z be w(8). Let i = -25 - z. Is 1 greater than or equal to i?
True
Let v(t) = t**3 + 12*t**2 - 20*t - 55. Let r be v(-13). Which is bigger: r or 173/5?
r
Let d = -706 + 57891/82. Let t(x) = -4*x**2 + 4*x + 169. Let j be t(7). Which is bigger: j or d?
j
Let v be (5 + -6 - 0)*(-6 - -2). Let z be (6/v)/(6/16). Let f(d) = d + 8. Let k be f(-4). Are k and z equal?
True
Suppose 6*q - 2 = 10. Suppose -q*y - 8 = -2*h - 0*h, -5*y = -h + 12. Let a = 65/21 + -1219/231. Do y and a have the same value?
False
Let k(u) = u + 1. Let h be k(-6). Let z = h - 16. Let s be 6/(-21)*z/15. Which is bigger: s or -0.4?
s
Let y = 474.9 - 473. Are y and -1 nonequal?
True
Let s = 26 + -23. Suppose -3*v - 6*y = -3*y + 45, 5*v = s*y - 35. Let t be ((-4)/(-6))/(v/105). Which is smaller: -1 or t?
t
Suppose -3*m + 5*o = -16, 0*m - 2*m - 2*o = 0. Suppose -12 = -m*q - 4*b, 4*q = -b + 5*b. Is -0.9 < q?
True
Let f(j) = 39*j - 78. Let l be f(2). Which is smaller: l or 4/159?
l
Suppose 2*r + 0*m - 4*m = 0, -2*m = r. Let k be 1/((-126)/(-330)) + -1 + 4/(-14). Is k < r?
False
Let g = 1.8 + -3. Let f = -9 + 7.2. Let b = g + f. Which is bigger: b or 5?
5
Let c = -33.39 + -0.61. Let n = -24 - c. Let b = n + -13. Which is smaller: b or -1?
b
Let w be 8/12 + 40/12. Let d be w + (-14 - (-3 - 1)). Is d < -8?
False
Let o(m) = -5*m - 55. Suppose 0*p + 19 = -p. Let i be o(p). Are i and 39 non-equal?
True
Let v = -101 + 99.3. Let x = v - -0.7. Is -2/39 at most x?
False
Suppose 0 = -p + 4 - 0. Suppose 0 = c + p*c - 20. Let i = c + -7. Is -3 greater than or equal to i?
True
Let p(j) = 5*j - 6. Let c be p(4). Suppose 0 = 3*i - 1 - c. Is i bigger than 5?
False
Let v be ((-112)/(-35))/16 - (-1047)/(-5210). Are 1/3 and v unequal?
True
Let h(n) be the third derivative of 0 - 1/3*n**3 + 0*n + 1/24*n**4 + n**2. Let f be h(6). Which is smaller: -1/6 or f?
-1/6
Suppose -280 = 4*c - 2*o, 111*c = 113*c - 5*o + 132. Which is smaller: c or -70?
c
Let l(n) = -n**2 + 5*n - 2. Let a(u) = 3*u**2 - 16*u + 7. Let o(k) = -6*a(k) - 17*l(k). Let p be o(10). Let q be ((-8)/56)/(p/(-4)). Is q smaller than 0.2?
False
Let u = -1447 + 1442. Does -0.93 = u?
False
Let b(t) = t**2 - 1. Let a be b(-3). Let q = 54 + -50. Suppose q*k = 24 + 4. Which is smaller: a or k?
k
Let a be (-4)/(-6)*(-1 - (-2)/(-4)). Let r be (-5)/15 + (14/(-78))/a. Is -1 bigger than r?
False
Let z(c) = -19*c - 217. Let f be z(-11). Which is greater: -77 or f?
f
Let p = -23/177 - 1/295. Is 0.4 < p?
False
Let m = 201.8 + -7.8. Which is smaller: -2 or m?
-2
Suppose 4*o = -2*w - o - 18, -w + 3*o + 2 = 0. Let j be w - (63 - (-5 + 2)). Is j < -71?
False
Let v be 0 - -1*1 - 0. Let t(s) = 24*s - 39. Let y be t(2). Let q be ((-1)/v)/(y/(-27)). Is q != 3?
False
Suppose -4107 = 3*c - 4089. Let x = -0.2 - -0.1. Which is bigger: c or x?
x
Let f = -0.024 + -7.276. Let s = f + 0.3. Let p = s + 11. Is p > -2?
True
Let s(k) = -k**3 - k**2 + k. Let f be s(3). Let o = f - -54. Let z = o + -21. Which is bigger: z or 1?
1
Let x = 3570 - 3233. Which is bigger: x or -1?
x
Let q = 158 + -150.1. Let d = -24.1 - q. Which is greater: 0 or d?
0
Let i = -89.073 + 89. Let z = 0.273 + i. Is 0.2 greater than z?
False
Let n = 211/3 + -71. Let t be ((-64)/(-24))/((-154)/(-33)). Is n greater than or equal to t?
False
Let a = -262 + 1312/5. Is a greater than or equal to -42?
True
Let z(h) = h**2 + 8*h - 8. Let v be z(-10). Let w = v + -7. Suppose 2*j - 7 = w. Do j and 7 have different values?
True
Suppose 2*x + 8 = 5*a, 5*x + 4*a + 51 = a. Let z = 11 - 21. Which is bigger: z or x?
x
Let f = 2/113 + -119/339. Let z(s) = 4 + s + 5 - 11 + 6. Let l be z(-3). Which is smaller: l or f?
f
Suppose -2 - 8 = -5*l - 3*d, 5*l - 10 = 4*d. Suppose 3*s - 6 = 2*m + 7, -5*s = l*m + 5. Which is greater: s or -2/5?
s
Let s(v) = -v**2 + 13*v - 29. Let i be s(4). Let u be (-38)/(-14) - (-4)/14. Suppose -5*z - u = i. Which is smaller: -1 or z?
z
Let a = -114.915796 - 0.027204. Let m = 115 + a. Is m equal to -0.1?
False
Let c be (-4)/(-14) + (-1)/(-70). Suppose 32 = u + 22. Suppose -n = -u*n. Is c bigger than n?
True
Let u = -38.7 - -19.7. Is 0.4 greater than u?
True
L