hich is smaller: c or 3?
c
Suppose -y - 2*v = -9, y + 3*y + 4*v - 24 = 0. Let r be -4 + -13*3/y. Suppose -t = -0*t + 16. Is t at most as big as r?
False
Let x = 201283/748192 - 61/227. Is x less than -1?
False
Let l = -24037 + 23804. Suppose 1160 = -4*p - p. Which is bigger: p or l?
p
Let i(m) = -2*m**3 - 49*m**2 - 24*m + 27. Let l be i(-24). Let v = l + -27. Let b be ((-6)/(-28))/((-2)/(-4)). Is v greater than or equal to b?
False
Let x = 280 - 228. Let y = 1 - x. Which is greater: 0.1 or y?
0.1
Suppose -3*d - 5 - 15 = 5*o, -3*o - 12 = -d. Suppose s + d = -1. Suppose 6*r - 32*r + 14*r + 12 = 0. Which is smaller: s or r?
s
Let k be (0 + (-4782)/15)*(-705)/(-282). Which is smaller: -13 or k?
k
Let r(j) = j**3 + 11*j**2 + 19*j + 12. Let h be r(-9). Let n = -7 + 9. Let a be (1 - h)*n/(-172). Which is smaller: 0 or a?
0
Let a be 4/(-5)*(-10)/6. Let l(w) = w**2 + 12*w + 9. Let d be l(-12). Suppose -c - d*j - 14 = -12*j, -3*j + 11 = -4*c. Is c <= a?
True
Let v(b) = 51 - 19*b + 60*b + 13 - b**2 - 13*b - 12*b. Let g be v(-6). Is g less than or equal to -70?
False
Let z be (-1562)/(-8) + 1/(2 + -6). Suppose 38 + 79 = 3*l - 2*x, -5*l - 4*x = -z. Suppose l*q = 35*q + 112. Is 27 less than or equal to q?
True
Let m be ((-40)/60)/((-2)/972). Which is smaller: m or -3?
-3
Let y = -60335 - -421977/7. Suppose 2*q = -3*j + 3*q - 163, -5*q - 211 = 4*j. Which is smaller: j or y?
j
Let j be (4/(-10))/((-4)/(-60)). Let f = 60 - 64. Let z be -8 - f*1/2. Is j bigger than z?
False
Let d = -7534 + 7533.81. Which is greater: d or -67?
d
Let k = -55405 + 2271469/41. Which is smaller: k or -2?
k
Suppose 0 = 21*d - 44 + 23. Which is bigger: d or 16/75?
d
Suppose 23 = 2*o - 31. Suppose 0 = -23*a + o*a. Is 8/39 at least a?
True
Suppose 189766 = -188*t + 191947 + 311403. Is 1670 equal to t?
False
Suppose 0 = 3*a - 0*a + 4*o + 1706, 8 = 2*o. Let r = a - -577. Which is smaller: r or 21/10?
21/10
Let n(m) be the second derivative of -m**4/12 + m**3/2 + 55*m**2/2 + 2*m + 81. Let k be n(-6). Let g = -18 + 81. Which is smaller: g or k?
k
Suppose -4*n = -o + 20, -3*o = -5*n - 9 - 23. Let m be (-6)/(-2) - (n - -1)*-1. Suppose m = q - 3*q. Which is greater: q or 6/29?
6/29
Let w be -3 - (-5 - -4) - (-5 + 1). Suppose -4*c - 4*r = -c + 1, 0 = w*c - 5*r + 16. Let n = 36.6 + -36. Which is bigger: n or c?
n
Let t = -56 + 31. Suppose c = -4*c + 15, -3*a + 36 = -5*c. Suppose 0 = -a*s + 8*s - 225. Is t at most as big as s?
True
Let l = -273/2 - -158. Suppose -h - 17 = -j + 4, -105 = -5*j + 3*h. Which is smaller: l or j?
j
Suppose 2*u + 6 = -h, -2*u + 3835*h = 3839*h + 24. Is u smaller than -4/5937?
False
Suppose 0 = -d - 4*d. Suppose -42*f + 1613 = -614 + 211. Let j be d/(f/32*(-4)/(-6)). Which is smaller: j or -2/13?
-2/13
Suppose 20*l - 11418 = -7851 + 14853. Is l at most as big as -2?
False
Let h be (-5)/(-660)*10*698696/3730. Let c = h + -10/1119. Is 15 bigger than c?
True
Let t(l) = 15*l + 149. Let s be t(-10). Is s < 17.97?
True
Let g = -1 + 5. Let r = g + -4. Let b = -4119/20 - -206. Which is smaller: b or r?
r
Suppose -5 - 8 = 2*t - 3*h, -5*t - h = 41. Suppose -20*i + 3510 = 6*i. Let n be ((-1590)/i - (-2)/(-9)) + 2. Are t and n non-equal?
True
Let t be (47/(-987))/(2/(280/(-12))). Is 168 less than t?
False
Let w(r) = 945*r - 14015. Let a be w(15). Suppose 0 = g - 67 - 95. Which is smaller: a or g?
a
Suppose 1031 = -g + 3*z + 700, 2*g + 697 = -z. Is g greater than -348?
True
Let k(o) = o**2 + 137*o + 951. Let s be k(-19). Which is greater: s or -6454/5?
-6454/5
Suppose n = 2*p - 3 + 4, 4*n = -3*p - 7. Which is bigger: -2/1273 or n?
-2/1273
Let d(q) = 2*q + 31 + q + 6*q + 3*q - 8*q. Suppose -2*r = 4*z + 28, 0 = -5*z + 4*r - 36 - 12. Let c be d(z). Which is bigger: -1/3 or c?
-1/3
Let s = -326 - -56. Let d = s + 304. Let b = -408/5 - -82. Is b smaller than d?
True
Let c = 6231 - 6239. Suppose 2*r + 12 = -5*d + 60, -r = 3*d - 23. Let u = -57/2 + r. Are c and u equal?
False
Let a be 1 + -2 - (0/(-3) + -6). Suppose -4 = -a*s + 6, -2*y - s + 40 = 0. Is 20 >= y?
True
Let f = 6964 + -564082/81. Is f > 5/4?
False
Let w(f) = -f**3 + 7*f**2 + 7*f + 8. Let g be w(8). Suppose x + g*x = -18. Suppose -6*r = 6*r. Are r and x non-equal?
True
Suppose -73*m + 45621 = -17816. Is 873 greater than m?
True
Let w = -11 - -18. Suppose p + 2 = x - w, -x + 23 = -3*p. Is -9 less than p?
True
Let i(l) = -l**3 + 34*l**2 + 3*l + 42. Suppose -10*a = -14*a + 136. Let t be i(a). Which is greater: 143 or t?
t
Suppose -23*m = -103*m + 3760. Is m at most 45?
False
Let i = 33/14 + -9/14. Suppose 5 = -t + 9, -t = k + 90. Let g = 95 + k. Which is smaller: i or g?
g
Let x be ((-3)/2)/((-9649772)/964928 + 10). Let z = -2942 + x. Suppose 0 = 2*k + 4*q - 22, 4 + 4 = 3*k + q. Which is bigger: k or z?
k
Let b(s) = -2*s**3 + 126*s**2 - 274*s - 48. Let v be b(61). Which is bigger: -0.7 or v?
-0.7
Let y = 200.15 + 5.85. Let o be 6/8 - 26/72*3. Which is smaller: o or y?
o
Let y(z) = z**3 - 9*z**2 - 354*z + 122. Let t be y(23). Is t smaller than -611?
True
Let g(q) = -2*q + 14. Let i be g(10). Let s be -1 - 104 - (2 + i). Is s smaller than -101?
False
Suppose h = 3*i - 7, -i - i - h = -3. Suppose -6*t - 17 - 1 = 0. Let u be (1/t)/(-6 - 210/(-36)). Is i > u?
False
Suppose 0*h = 2*b + h + 5, 2*b - 3*h - 7 = 0. Which is smaller: -1/3464 or b?
b
Let w = -0.3298 + -831.5702. Let d = w + 832. Which is bigger: d or 15?
15
Suppose 0*a - 7*a - 28 - 14 = 0. Which is smaller: a or -113/19?
a
Let f = -91 + 79. Let c = f - -17. Suppose 0 = l - 4*x - 15, 2*l - c*x - 24 = -3*x. Is l equal to 12?
False
Let k = -69 + 71. Suppose -k*u - 48 = 132. Let h = 140 + u. Which is smaller: h or 51?
h
Let p(d) = -5544*d + 33229. Let r be p(6). Suppose -173 = 5*n - a, 4*n - a + 0*a + 138 = 0. Is n equal to r?
True
Suppose 0 = -2*t + f - 84, 4*t - 3*f = 11 - 181. Let a = -39 - t. Which is greater: -17 or a?
a
Let v be 3264/3978 - 6/9. Which is bigger: v or -277?
v
Let f be 34 + 30/(5 - 0). Suppose 3*i - f = 17. Is 16 at most i?
True
Let g be 27/(-18)*(-527 - 3 - -4). Which is smaller: 788 or g?
788
Suppose 5*x - 4*o - 8926 = 0, -x + 118*o + 1772 = 115*o. Is x less than 1790?
False
Suppose 68*g - 70*g - i = 2, 2*i = -4. Which is smaller: -2/931 or g?
-2/931
Suppose 0*a = -7*a + 252. Suppose -2*d + a = -8. Which is greater: 23 or d?
23
Let y be 12038/20 + (-3)/2. Let a be (-4735)/(-8) + (-34)/(-272). Let s = a - y. Which is smaller: s or -2/3?
s
Suppose -201*n = -56*n - 145. Which is greater: n or 72/59?
72/59
Let o(n) = 27 - 10 + 5*n**2 - 4 - 29*n - 40*n. Let z be o(15). Is z >= 0.1?
True
Let p be ((-570)/(-48) - 8)*-20. Let r = p - -67. Is 0 less than or equal to r?
False
Let w be 29 + (-34 - -12) - -4268. Are 4278 and w unequal?
True
Let o be ((-610)/70)/(-6*(-4)/28). Let s = o - -19/2. Which is smaller: 0.005 or s?
s
Let m = -3/35 - 26/105. Let z(d) = -d**2 + 2*d + 39. Let g be z(0). Suppose 110 = 49*n - g*n. Which is greater: m or n?
n
Suppose -4929 = -2*y - 5*b, -5*y - b + 6739 + 5503 = 0. Which is greater: y or 3?
y
Let n(y) = 10*y - 6. Let p be n(4). Let z = -10 - p. Which is smaller: z or -42?
z
Let s(b) = -7*b + 183. Let h be s(27). Let j be 3/(-9) + 2/(-3). Let f be ((-205)/(-140))/j - h/8. Are f and -2 nonequal?
True
Let b(z) = -z**3 + 4*z**2 + 4*z + 10. Let m be b(5). Suppose -4*q = -2*n + 156, -3*n - 1 = m. Let t = 41 + q. Is t greater than 2/51?
True
Let l be 4/(-10) + (-8709)/(-6560). Let y = 14877/160 - 461/5. Let f = l - y. Which is greater: -1 or f?
f
Let a = 3 - 4. Let z = -132.8 - 3.2. Let u = z - -137. Is u at least a?
True
Suppose -4*f = 5*w - 16, 7 = 3*w + 5*f - 0. Let o be (w + 0)*1 - (-12 + 5). Which is bigger: o or 8?
o
Suppose 0 = -9*n + 56*y - 55*y - 20, -4*n - 2*y - 26 = 0. Which is bigger: 153 or n?
153
Let j = 95 - 94.584. Let o = 4008.004 + -4008. Let x = j + o. Is x > 2?
False
Let z = -283/518 + 12/259. Are z and -4476 nonequal?
True
Let f = 1.47 - 83.47. Is f greater than or equal to -11?
False
Let v(q) = -10*q**3 + 59*q**2 + 7*q - 8. Let o be v(6). Which is smaller: o or -112?
-112
Let n = 37 - 26. Suppose n*a - 2 = 10*a. Suppose -b - 2 = 5*u - 0, b - 5 = a*u. Which is smaller: 2/7 or u?
u
Let u be (18/(-15))/(153/255). Is u at least 0.004?
False
Let x = 1.42 + -29.92. Let c = x - -24.5. Which is bigger: 0.09 or c?
0.09
Suppo