 + 1 + 41 = r, 4*s = c*r - 27. Is f at most s?
True
Let q = 17112/5 + -3396. Which is bigger: q or 25?
q
Let u = 772.9 - 773. Does -150 = u?
False
Let w(h) = -h**3 + 7*h**2 - 5*h - 4. Suppose -2*v + 14 = -2*k + 2, -16 = -5*v - 2*k. Let l be w(v). Suppose 4*j - 7*j = l. Do j and -9 have the same value?
False
Let k be 11/(231/(-69)) + 3. Let f = 4.1 - 0.1. Let s = 6 - f. Which is greater: s or k?
s
Let r = 18 + -19.9. Let m be -5 + -5 + 12 + (1 - 4). Is m greater than r?
True
Let p = 867/26 + -414/13. Let o be 4/4*-2 - -3. Which is greater: p or o?
p
Suppose 4*k = -k. Let g be (-1641)/5*75/105. Let x = g + 234. Which is bigger: x or k?
k
Let y(b) = -b**3 + 4*b**2 + b + 16. Let g be y(5). Suppose 0 = -2*k + 4*k - 8. Suppose -k*p + 5 = 17. Which is smaller: p or g?
g
Let w be 946/316 + (-12)/4. Which is greater: 0 or w?
0
Let g = -10/33 + 23/66. Let s = -25.23 + 24.93. Which is bigger: g or s?
g
Let p(j) = 5*j + 3*j - 10 + 0*j - 1 + j**2. Let g be p(-8). Suppose 0 = 2*a - 4*a - 20. Is g != a?
True
Let s = 3513 - 77309/22. Which is bigger: s or -2?
s
Let q be 7/1 - (697/119 - 2/(-14)). Let k = -38761/57 - -680. Is k at least as big as q?
False
Let n(y) = -4*y - 22. Let h be n(-6). Let p be (-429)/(-962) + h/(-4). Is p greater than 0?
False
Let v = -19 - -16.8. Let t = v + 2.5. Which is smaller: -6 or t?
-6
Let v(x) = x**2 + 27*x - 56. Let m be v(-28). Which is bigger: -35 or m?
m
Suppose -765 + 2582 = 23*a. Which is smaller: 157/2 or a?
157/2
Let s = -26 + 27. Let y be (324/(-45))/(s/(-10)). Suppose -y = 5*j - 17. Which is greater: j or -13?
j
Let d = 1493 - 1477. Is 6 < d?
True
Let u(w) be the third derivative of -w**4/12 - 7*w**3/3 - 4*w**2. Let l be u(-7). Do 0 and l have different values?
False
Let l be (-180)/(-1620)*((-30)/(-28))/5. Let v be (2/6*2)/(-2). Is l less than or equal to v?
False
Let k be 35/(-4) - 3/12. Suppose 60 = z + z. Suppose 5*w = -2*p - z, -22 = 2*p - 0*w + w. Do p and k have different values?
True
Suppose -2*g = c - 4, 0*c = 2*c + 5*g - 10. Suppose 2*x - 3*y = 11, c*y - 14 = -5*x + 3*y. Which is bigger: 14/9 or x?
14/9
Suppose -232*h = -237*h - 10. Let m be ((-5)/(-10)*h)/((-2)/2). Which is greater: m or -2?
m
Let l = -45 + 223/5. Let c be (-8)/12*(-5 + -1). Suppose 1 = r + 3*k + 2*k, 4*r = 2*k + c. Do l and r have the same value?
False
Suppose -591*o + 4668 = -587*o. Is 1168 bigger than o?
True
Let u = 101 - 183. Let f = u + 81.59. Let c = 0.09 - f. Is -0.1 bigger than c?
False
Let k = -99 - -183. Let l = -59 + k. Let o = -24 + l. Which is bigger: o or 3/14?
o
Let t be 48/(-36)*(-6)/(-4). Let o be (-5)/t*70/25. Is o less than 8?
True
Let z be (-4)/1*3/(-6)*9. Let l = 14 - z. Suppose -3*j + o - 9 = 0, 0 = -0*o - o + 3. Is l less than j?
True
Let w = -26 - -14. Is -37/3 greater than w?
False
Let c be (-396)/(-720) + 0 + (-4)/5. Is 136 equal to c?
False
Suppose 10*v + 40 = 5*v. Let n be 16/(v + 4) - -2. Let i be n/(-7) - 4/112. Which is greater: i or -12?
i
Let z = 215 + -219. Let c(t) = -t**2 + t - 4. Let x be c(0). Let l = z - x. Which is greater: l or -2/19?
l
Let b = 1.9 + -18.9. Let f = b + 18.5. Is f equal to 1?
False
Let j be 4/10 - (-26)/10. Let n(w) = -14 + j + 0*w**2 - 13*w + 0*w**2 + w**2. Let u be n(14). Is u >= 2?
True
Suppose -5*a = 5*f - 2*a - 14, -2*a = -f - 5. Let q be ((-3)/5*1)/(-17). Which is bigger: f or q?
f
Let d = -1/9789 - 28303/10415496. Are d and 0 non-equal?
True
Suppose 7*c + 112 = 56. Which is smaller: -5/9 or c?
c
Let x = -430 - -430.056. Which is bigger: 0.1 or x?
0.1
Let h = 71/126 + -5/18. Suppose -1 = -3*m + 2. Let a be (-2 - (1 - 2))*m. Which is bigger: a or h?
h
Suppose 0 = -2*t - 34 + 30. Let b = -216/185 + -6/185. Which is smaller: t or b?
t
Suppose 2*s - 4*c + 8 = -2*s, 0 = 5*s + 5*c. Is -11 not equal to s?
True
Suppose -42 = -4*u + 22. Let r = -12 + u. Suppose 5*v = -4*h + 2*v - 19, 0 = -2*h + r*v + 18. Does -4 = h?
False
Let w = -95 + 90. Which is smaller: -83/23 or w?
w
Suppose y - 5*a = 14, -y - a - 2*a = 2. Suppose 17*g + 280 = 21*g. Let t be (14/42)/(2 + g/(-36)). Which is bigger: t or y?
t
Let o = 47.74 + -6.2. Let g = 41 - o. Which is smaller: 0 or g?
g
Suppose 5 = -5*y - 0*y. Let g be 1/(3/y*(31 - 7)). Which is smaller: -1 or g?
-1
Let l = -1.1 + 1.136. Which is smaller: -2 or l?
-2
Suppose 0 = -2*i - 2*n + 114, -i - 22*n = -27*n - 87. Is i != 440/7?
True
Let w = -61 + 60. Let j = -2/4211 + 358039/218972. Let p = -18/13 + j. Is w bigger than p?
False
Let g = -3 + 4. Let c be (28/36 - g)*3. Let j(q) = 2*q + 4. Let f be j(-3). Which is bigger: c or f?
c
Let h be (1 + -16)*20/(-25). Suppose -2*r + h = f - 5*r, -r - 4 = 2*f. Is f <= -1/58?
False
Suppose 2*g + 2*g = 4*o + 36, -o - 19 = -3*g. Let w be o - (-26)/7 - (-111)/315. Do 0 and w have the same value?
False
Let x(r) = r - 2. Let v be x(-3). Let b = 1307 - 1312. Is b bigger than v?
False
Suppose 0 = 5*c + 2*z + z + 692, 3*c - z = -404. Let q = 126 + c. Is q != -43/5?
True
Let y = -331 + 333. Which is greater: y or 234?
234
Suppose 4*p = -f - 45, -p - f - 4*f - 35 = 0. Is p > -9?
False
Let b = -1.1 + -0.4. Let g = -1.2 - b. Suppose 14 = -12*u - 10. Are u and g unequal?
True
Let o = 0.288 + -0.488. Is 143 at most as big as o?
False
Let t(p) = p**3 + 8*p**2 + 8*p + 7. Let x be t(-7). Suppose x = -9*o - 0*o - 243. Is o greater than -27?
False
Let o = 66 - 41. Let j = 218 - 196. Let s = o - j. Are 0.6 and s equal?
False
Suppose 0 = -7*t + 9*t + 2. Let j be 2 + 32/18*18/(-15). Which is smaller: t or j?
t
Suppose 11 + 8 = 19*s. Which is bigger: s or 1/445?
s
Let b(g) = 37*g - 1. Let p(h) = 2*h + 1. Let k be p(0). Let r be b(k). Let y be (-30)/r*1/5. Which is greater: 0 or y?
0
Let g be (-4)/18 + (-654)/(-27). Let s be 7/(-42) - 2/g. Is -1 greater than s?
False
Suppose 4*a + d = -45 + 13, -2*a + 2*d = 16. Let z be ((-1)/(-6))/((-1)/3*a). Is z not equal to 0?
True
Let t be (2/8)/(33/(-220)*-5). Is t <= 17?
True
Let j = -6911/2 - -13289/4. Which is greater: -132 or j?
-132
Let i = -521 + 525. Are 0 and i nonequal?
True
Let c = 56 + -55.79. Which is smaller: -1 or c?
-1
Let p(c) = -c - 13. Let o = -15 + 4. Let g be p(o). Suppose 4*b - 3*w = -7, -3*b + 3*w = -4*b + 2. Which is bigger: g or b?
b
Let f(y) = -50*y + 451. Let g be f(9). Which is bigger: 55/23 or g?
55/23
Let c be (-2498)/(-625) - 28/7. Let k = c - -6887/3750. Which is greater: 2 or k?
2
Suppose 3*n = -n + 5*q + 15, 2*q = -5*n + 60. Suppose -n = 4*p + 2. Let i be p*-2*(-1)/(-2). Which is bigger: -1 or i?
i
Let c(w) = -2*w**3 - 6*w**2 - 29*w - 91. Let q be c(-3). Let o(y) = -y**3 + 10*y**2 - 11*y + 13. Let a be o(9). Does a = q?
False
Let w be (-2)/6 - 23/3. Let j = w + 6. Let x(i) = -4*i - 43. Let q be x(-10). Which is smaller: j or q?
q
Let p(c) = 41*c - 365. Let k be p(13). Is 170 > k?
True
Let l = 4232.21 - 4276. Let g = l + 44. Let n = 1 + -1. Is n >= g?
False
Let i be (-3)/((-117)/(-75)) - -3. Suppose 0 = 4*t + 3*y - 5*y, -4*y = -t. Are t and i nonequal?
True
Let y = -4 + 4.3. Let d = y - -0.7. Which is smaller: d or -11?
-11
Let y be 4/(((-64)/(-48))/((-4)/458)). Which is smaller: y or 0?
y
Suppose -10 = 2*m - 7*m. Let l be 5068/(-6090) - m/(-3). Let n = l + -1/29. Which is smaller: 0 or n?
n
Let x(d) = -137*d + 1097. Let g be x(8). Do 3/35 and g have the same value?
False
Let w = 168 + -164. Which is smaller: w or -7/5?
-7/5
Let d = -80 + 80. Let o be 3/3 - (-27)/(-21). Is d < o?
False
Let r(o) = -o**2 + 12*o - 12. Let v be r(11). Let l be 3 + 424/(-420) - 2. Let j = -13/15 - l. Is j at least v?
True
Let t(p) = p**2 - 4*p. Let k be t(0). Let f be 8/(1*(-1)/(-4)). Let c be f/11 + (-2)/1. Which is bigger: k or c?
c
Suppose 4*x - 2*x = -3*l + 19, l + 5*x - 28 = 0. Suppose 13 = 3*w - 2, -16 = i - l*w. Let t = -1354/11 + 123. Which is smaller: i or t?
i
Let r(c) = -c**2 - 4*c - 4. Let t be r(-3). Let o be 0/(t/(-1)*-2). Let v = -76 + 759/10. Are v and o nonequal?
True
Let s = -65.54 - -65. Is s greater than or equal to -1?
True
Suppose -4*m - 6*p - 9 = -3*p, -5*p - 7 = 4*m. Is -16 bigger than m?
False
Let b be (3 - 76/28)*14. Suppose b*j + 24 = -0*j. Let r = j + -8. Which is greater: r or 0.2?
0.2
Let n = 5211/2 + -2601. Suppose 2*u = -2*z + 6*z + 22, 0 = -4*z - 5*u - 29. Let t = z - -10. Is t > n?
False
Let x be (2715/(-45) + (-2)/3)/(-1). Which is bigger: x or 302/5?
