: s or p?
p
Suppose 4*q + j + 1 = 0, -6 - 9 = -5*j. Let a = -3547 + 3554. Which is smaller: q or a?
q
Let o = 698543/322 - 4339/2. Let s = o + -1546/161. Which is bigger: s or -10?
s
Let a be (-10)/(-6)*(-4)/((-4)/(-9)). Let s(t) = -15*t**3 - 2*t**2 + 1. Let u be s(1). Is u greater than a?
False
Let v(a) = -a**2 - 15*a + 21. Let f be v(-17). Let d = -24 - f. Is d greater than -8?
False
Let p = 16 + -32. Let m(g) = g**3 + 24*g**2 + 15*g + 359. Let w be m(-24). Which is bigger: p or w?
w
Suppose g - 180 = -5*a, -45*g - 2*a = -40*g - 831. Is g < 165?
False
Suppose 0 = -5*f + b - 50 + 6, -3*b = -f - 6. Let a be (-6)/f + 2/(-3). Suppose v - 3*v + 2*c = 22, a = -3*c. Is v at most -11?
True
Suppose -3*c - 2*c - 363 = 4*g, -g + 3 = 0. Which is bigger: -77 or c?
c
Let p be 44/52 + -1 + (-608)/104. Suppose -t + 4 = -0*t + 3*l, 0 = 4*l - 12. Which is smaller: p or t?
p
Suppose -y - 26 = -v + 31, -4*y = 3*v + 249. Is y smaller than -60?
False
Suppose -2*a - 6 = x - 4, x = -3*a - 4. Let h be 1 + 1 + -2 + 3. Let n = -7 + h. Is n greater than or equal to a?
False
Let b = -10 + 14. Suppose 5*c = -5*k + 4 + 11, -2*k = b. Let r = 5 + -1. Is c <= r?
False
Let n be 2/(-8) - (-100)/16. Let h = -23 + 20.4. Let t = h - -3.6. Which is greater: n or t?
n
Let d be 4/(-9) - (-180)/162. Let q = -0.07 - -0.21. Let r = q + 5.86. Is r at least as big as d?
True
Let y = 0.6 + 28.4. Which is smaller: -1 or y?
-1
Suppose 0 = -13*h - 1818 - 587. Which is bigger: h or -186?
h
Let y(v) = v**3 + 33*v**2 + 63*v - 11. Let r be y(-31). Which is bigger: -36 or r?
-36
Suppose 4*w - 7 = q, 5*w + 21 = -q - 2*q. Let b(v) = v**2 + 11*v + 10. Let n be b(q). Are -19 and n equal?
False
Let a = 46 + -41. Let r = a - 35. Is 0 >= r?
True
Let v = 8309348/497 + -16719. Is v at least -1?
True
Let f = -31 - -32. Let q be f*9/(-78)*(3 - -1). Let o be (-4)/10 + (-6)/10. Does q = o?
False
Let s(m) = m**2 + 3*m - 27. Let z be s(-7). Let f(y) = 2*y**3 - 2*y**2 - y + 1. Let x be f(2). Let b be (z - 1) + (4 - x). Is -3 < b?
False
Let r = -0.61 - 24.39. Let i = r + 23.9. Let z = -0.1 - i. Is -1 != z?
True
Let m = -0.353 - -0.353. Let g be (6 + 0)*(-1)/(-3). Suppose 4*s + 4*o = 56, g*o + 26 = -4*s + 80. Is s at least as big as m?
True
Suppose -90*l = -95*l. Is l != 1/110?
True
Let m = -2653/4 + 664. Which is bigger: m or -3?
m
Suppose 2*b + 38 = -x, 21 = -2*b - 5*x - 17. Let v = b + 20. Which is bigger: v or 1/17?
v
Let g = -938 - -930. Which is greater: g or -67?
g
Let z = 6 + -3. Let d = -12 + z. Let x(a) = 2*a**2 + 21*a + 32. Let o be x(-8). Are d and o non-equal?
True
Let b = 0 - 1. Suppose -33*o - 187 = 44. Which is greater: b or o?
b
Let i = 2130.2 + -2130. Is i less than -12/17?
False
Let v = -252.5 - -252.53. Is 13/2 less than or equal to v?
False
Let f be (-68)/(-85) - (-304)/(-105). Is f at least -2?
False
Suppose 3*g + 4*k = -23, 3*k = -g - 14 - 2. Let y be (-22)/21 + (3 - (-17 - -19)). Which is smaller: g or y?
g
Let g be (-252)/(-56) + 129/(-28). Is 0.1 smaller than g?
False
Let s be (-2)/9 + (-38)/(-9). Let j = 119 - 181. Let z = 65 + j. Is z less than or equal to s?
True
Let k be -3*4*(-72)/(-16). Which is smaller: -3 or k?
k
Let g = 529 + -673. Is g greater than or equal to -144?
True
Let j = 22.9 - 21.9. Is -92 bigger than j?
False
Let c be 249/12 + (-1)/(-4). Suppose 30*f - 33*f - 11 = 2*r, 0 = 3*f + 9*r + 60. Do f and c have different values?
True
Let y = 97/14 + -38/7. Let p(s) = 6*s - 1. Let v be p(1). Suppose 0 = -5*t - i + 7, -3*t - v*i = 1 + 8. Do t and y have different values?
True
Let u = 0.3 - 0.26. Let v(o) = -o**3 - 5*o**2 + 4*o - 7. Let a be v(-6). Suppose 2 = 3*m + a*j, -m + 0*j - j = 0. Which is smaller: m or u?
m
Suppose o - 118 = -4*d - 319, 5*o - 4*d = -981. Is -196 at most as big as o?
False
Let g = -4 - -2. Let x = -30 - -36. Suppose -x = -o - o. Which is greater: g or o?
o
Let h(z) = 2*z - 8. Let m be h(9). Let k be -2 + -1 + 1 - -1. Let n be (-270)/(-24) + k/4. Which is smaller: n or m?
m
Suppose 4*c + 460 = 2*h, -14*c - 345 = -11*c - 3*h. Is -344/3 at most as big as c?
False
Suppose 1 = -p, -s + 11 - 3 = -5*p. Let l = -67 - -66. Is s >= l?
True
Let b = -240 + 233. Which is smaller: -49/6 or b?
-49/6
Let c = 0.62 - -28.38. Let s = -15 + c. Let a = s + -13.9. Which is greater: -1/3 or a?
a
Suppose 14 = 5*f - 2*u, -2*u + 7 = 1. Suppose -4*j - f*d - 1778 = -6426, 3*d = -2*j + 2322. Let g = 10462/9 - j. Which is greater: -3 or g?
g
Suppose 72*f = 62*f - 2250. Which is greater: f or -222?
-222
Let j = 15.8 + 4.1. Let k = 22 - j. Which is smaller: 0 or k?
0
Let k = -18050 + 16010352/887. Which is smaller: 0 or k?
0
Suppose -y = 3 - 1. Let i be (2/6)/(y/4). Let m = -11049.03 - -11049. Which is smaller: i or m?
i
Let o be -3*2 + 605/154. Are -1 and o equal?
False
Let v = 482 + -588. Which is smaller: -108 or v?
-108
Let w be (-1080)/(-2800) - 2*1/7. Suppose 2*g = -2 - 2. Let v be -2*g/(-12)*-3. Is w greater than v?
False
Let r(j) = 5*j + 6. Let i(v) = 5*v + 7. Let a(q) = -4*i(q) + 5*r(q). Let z be a(-2). Is z equal to -8?
True
Let p be (-2)/8*((-132)/10 - -8). Which is smaller: p or 1?
1
Let c = 1.7532 + 0.2468. Let i = 3 - 2. Is c less than or equal to i?
False
Let y = 13 + -10. Suppose 2 = -i + y*p - 3, -2*p - 8 = 5*i. Which is bigger: -18/7 or i?
i
Let m = -1 - 0. Let s(b) = -4*b**3 + b**2 - 21*b - 10. Let h(y) = -5*y**3 + y**2 - 21*y - 11. Let v(i) = -5*h(i) + 6*s(i). Let t be v(-5). Is t < m?
False
Suppose 120*j = 456 + 24. Which is bigger: -183 or j?
j
Let r be 4968/(-720) + (-2)/20. Is -31 > r?
False
Let x(h) = 193*h - 382. Let p be x(2). Are 156/29 and p equal?
False
Suppose 1316 = 6*f + 416. Let a be ((72/f)/(-4))/((-2)/10). Which is smaller: a or 0?
0
Suppose a - 4*n + 5 = 2*a, -15 = -3*a + 4*n. Suppose 0 = -a*w + 20 - 5, -3*w + 13 = -2*x. Is 51 greater than x?
True
Let p be (80376/190)/(9/(-20) - 0). Let h = 940 + p. Which is smaller: h or -0.1?
-0.1
Let p = -0.28 + -2.82. Let s = -3 - p. Let j = -154 - -156. Which is bigger: j or s?
j
Let p(x) = x**3 + 7*x**2 + 9*x + 13. Let z be p(-6). Let c(n) = n**3 + 6*n**2 + 4*n. Let h be c(z). Is h less than or equal to 5?
True
Let g be (13/(-9))/(29/(-87)). Are 3 and g nonequal?
True
Let z = -149 - -86. Let a = z + 190/3. Do a and -2 have the same value?
False
Let y = 0 - -8. Let r(l) be the third derivative of l**4/24 - l**3/6 + l**2. Let m be r(y). Do 7 and m have the same value?
True
Let h be 5 - (-21 + -2)*2/(-10). Which is bigger: 0.151 or h?
h
Suppose q + 2 = -z - 2, 5*z - 20 = 5*q. Let a(m) = 0 + 2*m + m**2 - 3 + 0*m**2 + 1. Let i be a(q). Is 0.2 bigger than i?
False
Let c = 482618 + -8208502/17. Let b = -235 - c. Which is smaller: 0 or b?
0
Suppose -3*u + 27 = -f - 18, -53 = f + u. Let g be 4 - (f/9*-3 - 3). Is g at least as big as -8?
False
Suppose -5*a + 24 = o + 5, -5*a = 5*o - 95. Suppose 0 = -5*r + 6*r - 2. Suppose 4 = r*v, 0*n - v = -n - o. Which is smaller: n or -18?
-18
Let w be (-2)/(-6) + (-76)/(-6). Suppose w*f - 8*f + 85 = 0. Is -17 < f?
False
Let q be (-272)/40 + 11 - 2/10. Which is smaller: q or 26/7?
26/7
Let l(f) = 9*f**2 - 8*f + 2. Let t be l(3). Let s = t + -28. Let i(v) = 6*v - 4. Let y be i(6). Is y at least as big as s?
True
Let g(h) = -h**2 + 7*h + 7. Suppose a = -4*z - 1, -2*a - 1 + 5 = 5*z. Let m be g(a). Let c be (2 + (-35)/10)*(-16)/3. Which is greater: m or c?
c
Let u = -126.5 + 80. Let o = u - -46. Which is smaller: 1 or o?
o
Let m(a) = a**3 - 13*a**2 + 12*a + 16. Let r = -2 - -14. Let q be m(r). Is 16 at most as big as q?
True
Suppose 2 = -2*u - 4*s, 10*u - s = 5*u + 28. Let b be (u/10)/(20/24). Let w be 1 + 2 + (0 - 2). Is w at least b?
True
Let f be (38/(-19))/((-2)/37). Which is bigger: 38 or f?
38
Suppose 640 = 4*b + d - 5*d, 0 = 3*b - 4*d - 483. Is b at least as big as 156?
True
Let y be 1*6/(-27) - (-4)/(-9). Let v(d) = -3*d - 2. Let n be v(-2). Let b = 2 - n. Is b at least y?
False
Let c be 66/14 + 6/21. Suppose -5 = 3*n - 2*h - 24, -3*n + 3*h + 24 = 0. Is c at most n?
False
Let s = -1290 + 1383. Are 89 and s equal?
False
Let j(u) = -4*u - 6. Let a be j(-5). Let b(m) = -m**3 + 14*m**2 + m - 1. Let q be b(a). Which is bigger: q or 15?
15
Let f = -6569/9 + 729. Is f less than -0.07?
True
Let j be ((-6)/4)/(9/18). Let h be j + 0 + 76/12. Is 3 < h?
True
Let w be (-699)/114 + (-18 -