4 = 3*v + 5*h + 41, -m = -h. Suppose -25 + 8 = -17*k. Is v at least k?
False
Suppose 3*g - 1656 = -h, 4*h + 648 = g + 109. Which is bigger: 540 or g?
g
Let h be ((-3)/(-28))/(872/28994). Is 0 > h?
False
Let j(d) = 3*d**2 - 6*d - 2. Let v be j(3). Let q be v/(84/(-8))*639/6. Let p = q - -83. Which is bigger: p or -2?
p
Let h = 146 - 215. Let v = -69.2121 + 0.1121. Let o = v - h. Which is smaller: o or -0.8?
-0.8
Let b = -2521 + 2424. Is 1.3 at least b?
True
Let x(b) = 2*b + 4. Let s(n) = 2*n - 30. Let r(g) = s(g) - 3*x(g). Let u be r(-12). Is u > -1?
True
Let i be (-39 - -41)*(2250/44 - -1). Is 103 <= i?
True
Let s(m) = m**3 + 3*m**2 - 3*m - 1. Let w = -68 + 65. Let u be s(w). Suppose 0*h = -4*h + 2*c + u, -2 = -h - 4*c. Which is smaller: h or 6?
h
Let o = 10389006477751/4816 + -2157185722. Let f = 1/688 - o. Is f greater than -8?
False
Let f = 35 - 15. Let d = f + -11. Let y = 8 - d. Is y greater than -2/71?
False
Let t(c) = 206*c + 1490. Let i be t(-5). Does i = 464?
False
Let u = -18 - -13. Let i = -558 + 1210. Let y = i + -2623/4. Is u at least y?
False
Suppose 39*d - 299 = 16*d. Suppose -n + 4*p = -3*n + 28, n + 3*p - 15 = 0. Is d smaller than n?
False
Suppose -97 = 193*p + 26 + 70. Let i be (-2)/4 + 44/(-40). Which is smaller: p or i?
i
Let r(a) = 395*a + 397*a - 797*a + 18. Let b be r(5). Is -51/7 greater than or equal to b?
False
Let w = 26.02 + -20.9. Let c = -5.12 + w. Is c equal to -268?
False
Let n be -1 + 51/2*4. Let p(o) = o + 2. Let q be p(3). Suppose 4*w + q*w - 918 = 0. Is n equal to w?
False
Let i be -8 - (5 + 15 + -28). Which is smaller: i or -1/1093?
-1/1093
Suppose -5*k + 3 = -3*u, -k = -2*u - 0*u + 5. Suppose -4*g - 39 - 45 = 0. Let h = -23 - g. Is h greater than k?
False
Let r = -0.9405 - 2666.0595. Which is greater: 0.2 or r?
0.2
Let x be (-109557)/(-564) - -1*2/(-8). Is 194 > x?
False
Let c be -12 + (3882/4)/((-423)/(-282)). Is c > 634?
True
Let l be (10764/1495)/((-6)/20). Is -755/33 > l?
True
Let m be (-3337)/(-141) + ((-2)/6)/(-1). Suppose 0 = -11*x + 10*x - 5*k + m, 0 = x - 5*k + 16. Which is bigger: x or 3?
x
Let s(j) = 16*j**2 + 2*j. Let a be s(2). Suppose -4*z = -248 - a. Let n = z + -83. Which is bigger: -2 or n?
-2
Suppose 0 = -17*p + 792 + 98 + 198. Do 66 and p have the same value?
False
Let g be 397*1 - (-7 - -143)/(-34). Which is bigger: 393 or g?
g
Let p be 2680/28*21/(-9) + (-6)/(-18). Which is greater: -209 or p?
-209
Let o = 106 - 106. Suppose i - 2*p - 12 = o, -i - 5*p = i + 21. Suppose 12 + 5 = -q + 4*m, q - i*m = -7. Do 1.7 and q have the same value?
False
Let j(z) = z**3 + 7*z**2 + 7*z + 7. Let s be j(-6). Let l = -11630 + 1128120/97. Let g = l + -416/5917. Which is greater: g or s?
s
Let o be ((-10)/(-8))/((-11220)/(-816)). Let g(d) = d**3 - 3*d**2 + 2*d - 1. Let z(y) = -y + 11. Let l be z(9). Let c be g(l). Which is greater: o or c?
o
Suppose 0*c = -c. Let n = 355 + -310. Suppose 42*v - 3 = -n. Which is greater: v or c?
c
Let f = -1 + -5. Let r be (-46)/(-92) + 45/6. Let h be ((-4)/r)/(3/f - -1). Is 2/75 bigger than h?
True
Let l be 117104/(-39) + (-16)/12. Let o = l - -6421/2. Is o smaller than 207?
True
Let q = -267 + 387. Let j = -107 + q. Which is smaller: j or 1?
1
Let l = 19948 + -19948.024. Which is smaller: l or 2/533?
l
Let n = -96 - 14. Let x = n - -217/2. Which is smaller: x or -2?
-2
Suppose -2*s = 5*z + s + 60, 5*z + 4*s + 60 = 0. Let i be (327/z)/((-3)/(-8)). Is i < -72?
True
Suppose 2*y - 16 = -2*y. Suppose q = -x - 6, 4*x + 0*x - y*q = -48. Let u = 26140 - 26144. Which is greater: u or x?
u
Let k = -148.4 + 1193.4. Do -2 and k have different values?
True
Let h = 19.7 + -103.7. Let a = h - -84. Let j = -33 + 20. Are j and a equal?
False
Suppose 171 - 99 = 18*i. Let v(y) = 89*y - 253. Let j be v(i). Suppose -5*o + 110 = -410. Is o bigger than j?
True
Let x be 8/(-24) - ((-177567)/(-252) - -2). Let l = x - -269161/868. Let v = -397 - l. Are v and -1 equal?
False
Let r be 4 + 8 + 1*2. Suppose 4*c + 13 = b - 15, 16 = 3*b + 5*c. Suppose -y = -2 - b. Is r < y?
False
Let c be ((-46)/5)/(-1)*(195/26)/(-5). Let o(h) = -h + 1. Let p be o(-3). Suppose -3*l - 61 = -0*l + 4*x, -p*l = 4*x + 76. Which is smaller: l or c?
l
Let x be 8/4 + (-2 - 0/(-3)). Suppose x = -0*f - 3*f + 3. Let u be (-4 - (-1)/f) + 3. Is u smaller than 2/173?
True
Let v = 0.988 - 2.988. Which is smaller: v or -83/2?
-83/2
Let h(r) = r + 0*r + 1 - 8 - 2. Let i be h(9). Is -2/175 at least as big as i?
False
Suppose 2*j - 5*c + 7119 = 0, -82*c + 10577 = -3*j - 89*c. Are j and -3545 equal?
False
Let g = 124 - 76. Suppose 0*d = 8*d + g. Let u be 516/1708 + d/21. Is u greater than -1?
True
Let i = 1350 - 840. Suppose -4*q = -v + 3*v - i, 0 = 4*q - 2*v - 514. Suppose -3*y + q = -5*o, 3*y - 104 = -3*o + 2*o. Which is smaller: y or 37?
y
Let f(m) be the third derivative of -2*m**5/15 - m**4/24 + 4*m**3 - 178*m**2. Let s be f(-7). Which is greater: s or -362?
s
Let u(z) = -364*z**2 - 916*z + 4579. Let o be u(5). Is -9101 smaller than o?
False
Let h = -8.078 + 0.868. Let k = h - -7.1. Which is greater: -0.4 or k?
k
Suppose y = 3*z - 2 + 13, 3*y = 3*z + 21. Suppose -2*k + y*f = -31, -3*k + 4*f = -83 + 33. Suppose 5*o - 13 + k = 0. Is -2 >= o?
False
Let g be (-26 - (-11 - -6)) + 13/(91/21). Let b = 6064/5 + -1231. Is g at most b?
False
Let c = -6 - -2. Suppose 270 - 278 = 4*n. Which is bigger: n or c?
n
Let p be 3 + (2 - -13 - -3). Suppose -3*c + 5*v = 20, -3*c - 1 = 5*v - p. Suppose -6 = 6*r - c. Is r equal to -4/11?
False
Let p be (343/28 - 12)*(-168 + 2). Which is bigger: -41 or p?
-41
Let o = 71.5 + 0.5. Let j = o + -68. Is j at least as big as 1?
True
Let x = -2 - 41. Suppose -10*b = -5*b - 4*v - 1612, 5*b = -2*v + 1594. Let q = 275 - b. Which is smaller: x or q?
q
Let s(b) = -21*b - 60. Let c be s(-2). Let t = -3.2 - -4. Let k = t - 0.7. Is c < k?
True
Let m(z) = -z**3 + 76*z**2 - 3*z + 144. Let k be m(76). Which is smaller: -85 or k?
-85
Let w be 1521/36 + 2/(-8). Let t be 2*3/w*-48. Let a = -10740 + 42959/4. Which is smaller: a or t?
t
Let z(r) = -8*r - 14. Let a be z(-4). Suppose -2*t = 3*c - 181, -c - 5 + 70 = -4*t. Let k = -42 + c. Are a and k equal?
False
Suppose -t = 2*n - n - 10, -4*n - 2 = -2*t. Let z be (-4)/(-3) + 319/(-264). Which is bigger: z or t?
t
Let w be 14/14 + -2 + -6 + 33246/(-42). Is -799 at least as big as w?
False
Let w = -2/6359 + 12728/31795. Which is smaller: w or -2.0405?
-2.0405
Let f(l) = -l**3 + 3*l**2 - 7*l + 4. Let h be f(1). Suppose s - 4*w - 14 = 3*s, 2*s - 4 = 2*w. Let z = s - -1. Are h and z equal?
False
Suppose 50*w = 51*w + 4, 4*p + w + 4 = 0. Let q = -25 + 46. Which is smaller: p or q?
p
Let f be 72/20*50/(-15). Let a be 4*(2 - (-15)/f). Suppose 2*n + 23 = 7*n - 4*t, -2*t - 13 = -a*n. Is n less than or equal to 0?
False
Let y(c) = 4*c**2 + 2*c + 1. Let u be y(-1). Suppose -8 = -u*n + 2*f - 3*f, 3*n = -5*f + 16. Suppose n*i + 19 + 15 = 0. Is -18 > i?
False
Let g = 183 - 32. Let x = 152 - g. Which is bigger: x or -110?
x
Let a(t) = -162*t + 971. Let d be a(6). Which is greater: 50/203 or d?
50/203
Suppose 7*f + 36 = 11*f. Let z be -8 + 10 + (-4)/f. Let m = z - 19/18. Are m and -0.8 nonequal?
True
Let r(d) = -d**3 - 14*d**2 - 46*d - 10. Let f = -199 - -189. Let j be r(f). Is j bigger than 247/5?
True
Let n = 59.4 + 254.3. Is 1 at most n?
True
Suppose -1539 = 5*q + 5*h - 14469, 2591 = q - 4*h. Is 2587 bigger than q?
False
Let h = 2 + -5. Suppose -2*p = -5*o - 375, -p + 0*o + 3*o = -186. Let i = p - 201. Which is greater: i or h?
h
Suppose 2*n - 5*y - 240 = 101, -1 = y. Let i be (-1)/(-5) - (n/(-35) + -1). Suppose -38*o + i = -36*o. Is o bigger than 3?
False
Let t be ((-8872)/(-204))/(-17 - 1029/(-63)). Which is bigger: -65 or t?
-65
Let w = -13 + 20. Let j = 63 - w. Suppose -6*g = -2*g - j. Which is bigger: 11 or g?
g
Let d = 227 + -250. Which is bigger: -54 or d?
d
Let v = -3104.03 + 3104. Which is bigger: v or 277?
277
Let c = -2.4 + 2.6. Let d = -91.7 + 99. Let z = d + -6.3. Which is bigger: z or c?
z
Suppose 5*d - 357 = -2. Let v(a) = -13*a - 34. Let n be v(-8). Which is greater: n or d?
d
Suppose 6 = 77*k - 80*k. Let t(p) = -561*p - p**2 + 571*p - 13 - 4. Let z be t(8). Which is smaller: k or z?
k
Let x(q) = 75*q**3 + q. Let f be x(1). Let k = 82 - f. Suppose -3*s = -k*s + 12. Which is s