9?
True
Suppose 0 = -w + 5*h + 22, -4*w - 2*h - 2*h - 32 = 0. Let g be (9 - 423/(-12))/(w/(-8)). Is g < 116?
False
Let r = -3993 + 3998.36. Which is greater: 1 or r?
r
Let f be (-22)/117*42/(-52). Let g be 1*(16228/(-2028) + 8). Let c = f - g. Is c > -1?
True
Let r = -1758.5 - -1758.4. Which is smaller: r or 5899?
r
Let z = -40.9 - -40.693. Let j = -0.278 - z. Is 1 at most as big as j?
False
Let r(i) = i**3 + 16*i**2 + 14*i - 31. Let d be r(-15). Let w be 1/1*160/d. Is w bigger than -9?
False
Suppose 14*w = -11*w + 25. Let j be 7 - 10/w - (-1 + 4). Which is bigger: -10 or j?
j
Let d = -29 - -33. Suppose -2*x = 2*p - 0*p - 10, -4*p + 3*x = -20. Suppose -d*v = -3*v - p*h - 17, -106 = -5*v + 4*h. Which is greater: 2 or v?
v
Let r(p) = 6*p**2 + 2*p + 1. Let u be r(3). Suppose l + y - 42 = 13, 5*l + 2*y = 260. Let i = u - l. Which is bigger: 12 or i?
12
Let d(y) = 2*y**2 - 3*y + 2. Let f be d(2). Suppose -5 - 3 = -f*z. Let s be (z - 1)/(2/(-10)). Which is smaller: -6 or s?
-6
Let k = -13526552634/22139 + 610983. Which is smaller: 1 or k?
k
Let q = 2/705 - 9892/7755. Which is greater: q or 3/7?
3/7
Let k = 1354041186167/1047997271 - -3/14356127. Let t = -1292 + k. Let b(a) = -2*a + 4. Let p be b(2). Which is bigger: p or t?
t
Let m = 280.648 + 6.252. Let i = m - 287. Which is smaller: i or -0.074?
i
Let g be (-1 - 5) + ((-1630)/1304)/((-1)/4). Does g = -20/1049?
False
Let i(z) = 18*z - 1. Let m be i(1). Let w(j) = 449*j + 917. Let n be w(-2). Are n and m equal?
False
Let f be (-16)/(-6) + 44/33. Let b be (f + 0)/((-56)/(-10)). Which is smaller: b or 2?
b
Let x be (-2 + 1 - -4)*(-5)/(-15)*-447. Is x less than or equal to -447?
True
Suppose 0*s + 3*s + 4*q = -39, -3*q - 18 = s. Let v(k) = -k**2 - 19*k + 1160. Let f be v(26). Is s smaller than f?
False
Suppose 0*q - 1946 = -2*q. Let o = -391 + q. Let u be o/(-15) + 7/(-35). Which is bigger: u or -40?
u
Let x be (-1)/(445/(-225) - -2). Let l be (36/x)/((-1)/(-20)). Suppose 9 + 1 = 5*k. Which is smaller: l or k?
l
Let b = -78 + 79. Let f be b/(-2) + 852/24. Let s be 20/f + ((-21153)/3402)/11. Is -1 != s?
True
Let t = -4/12247 - -7557/60634897. Which is smaller: 0 or t?
t
Let j be (-20)/8*-1*2. Suppose 5*c = b + 27, 5*b + j*c + 51 = 2*c. Let t be 2 - 1*b*2/3. Is t != 12?
True
Let b be (104/13)/8*(-98)/20. Let t be 2 - ((-4)/2 + 9). Is t at most as big as b?
True
Let p = 101 - 97. Suppose 0 = 2*n + p*r - 6, -4*r + 7 = n - 3*r. Suppose -n = x - 9. Is -11/4 at most as big as x?
True
Suppose -7*s = -5*s - 2158. Suppose -s = 14*f - f. Which is greater: f or -84?
f
Suppose -7*n - n = -4*n. Let t = -51255/98 + 523. Which is smaller: n or t?
t
Let z = 53042.83 + -53338. Let d = 296 + z. Is 0.1 greater than d?
False
Let y be 7 - (3 + -1 - (-13)/((-26)/2900)). Are 1454 and y equal?
False
Let l be 1 + (0 - (-206)/(-154)). Let r = l + 28053/82852. Which is bigger: -1 or r?
r
Suppose -2*s + 4*w + 1 = 3, 2*w = -5*s + 55. Suppose -c = l - 61, 3*l = l - 5*c + 113. Let b = l + -56. Is b at most as big as s?
True
Let r be ((-54)/(-21))/((-3)/(-14)). Let h = r + 4. Let a be h/(-56) + 124/385. Are a and 0 nonequal?
True
Let r(k) = 6*k - 157. Let y(j) = -12*j**2 - 88*j - 10. Let o be y(-7). Let m be r(o). Let w = -134 - -85. Is w at least as big as m?
True
Let v be (0 + 0)*4/(-4). Suppose -5*k + 22 + 8 = v. Suppose 5*p - 11*p = -k. Do 5/18 and p have the same value?
False
Suppose 2*h + 39 = 33. Let p be 47/60 - ((-65)/(-20) + h). Do p and 0.1 have the same value?
False
Let t = -11 + 15. Let f be 5/((-15)/(-27)) - (8 - t). Is f greater than 8?
False
Suppose 26*k + 33*k = 5*k - 108. Is k at most as big as -0.1?
True
Let d be (-3)/((-54)/(-30)) - (-5)/75. Suppose -m - 3*q - 6 = 0, 5*q = -3*m - 0*m - 6. Suppose -3*s - m = -0*s. Is d > s?
False
Let f = -8780658/985 + 44574/5. Are -0.2 and f unequal?
True
Let d be (-870366)/(-552) - ((-3)/(-4) + -1). Is -3 > d?
False
Let b(y) = 324*y - 2267. Let n be b(7). Which is smaller: n or -20/453?
-20/453
Let q = 75.969 - 76. Let m = 42.459 + -40.49. Let x = m - q. Which is smaller: 5 or x?
x
Suppose 0 = -3*r + 18, 47*m + 33 = 44*m + 5*r. Is m > -2/6961?
False
Let a be 1 + (-2 - 3) + -2. Let o be 2/(1 - -1) - (-27 + 25). Let t be 22/3*o*(-4)/12. Which is smaller: t or a?
t
Suppose -3*w = -15 - 0. Suppose 0 = -4*m + w*m - 2. Suppose 0 = -5*c + 3*b - 2 - 2, m = -3*c + 2*b. Which is smaller: c or -18/11?
c
Let j be 106/322 + (-156)/546. Which is bigger: j or -2/9?
j
Suppose 3*o = -o + 4*j + 56, 5*j + 2 = o. Suppose o*c - 11*c + 114 = 0. Which is bigger: 5 or c?
5
Suppose 681 = 4*j - 3*j - 2*w, 5*w + 35 = 0. Which is bigger: j or 686?
686
Suppose 8*w + 141*w + 149 = 0. Is w greater than or equal to 45/151?
False
Suppose 29*s = 23*s + 11*s + 10. Which is smaller: -99/29 or s?
-99/29
Let m(o) = -5*o + 23. Let i be m(4). Suppose -b = -0*b - i*b. Let y be 6/18 + b - (-136)/6. Is 23 smaller than y?
False
Suppose 10941 = 22*l - l. Suppose l*w + 1500 = 509*w. Is w smaller than 3/4?
True
Let n(d) = -d**2 - 23*d + 886. Let l be n(-43). Do l and -5 have the same value?
False
Let p(l) = -l**3 - 2*l**2 + l - 2. Suppose -9 = 3*k, -2*k - 6 = z + z. Let b be p(z). Let t be 2/(5/3 + b). Is -6 greater than t?
False
Let n(p) = -p**2 + 2. Let w be n(-2). Let r be (-50)/20*4/w. Suppose r*t - 4 = t. Is t greater than 3?
False
Let z be ((-6)/(-6))/(10/4 - 2). Suppose 7*f - 3*f = 4*j + 56, -5*f = z*j - 77. Let i be 1 - f/(-12)*-1. Which is smaller: -2/9 or i?
i
Let c be (-6)/(-27)*54/(-12). Which is bigger: -4/195 or c?
-4/195
Let w = 0.164 + 25.436. Let n = w + -29. Let s = n - -3. Which is bigger: 2/9 or s?
2/9
Let m = -145 + 144. Let n be 5 + 9865/(-2010) - m/(-6). Is 1 equal to n?
False
Let w = 1487579264/799 - 1861801. Let x = 6/17 - w. Let d = 1763 - 1762. Which is greater: d or x?
d
Let v = 455 - 458. Let p = 0.036 + -0.04. Which is greater: p or v?
p
Suppose -u - 3*i = 118, 3*u = 6*u - 2*i + 299. Let x be (-8 - -5) + (-306)/3. Is x greater than u?
False
Suppose 0 = -13*a + 17*a - z + 441, -2*a - 216 = 4*z. Which is smaller: 6 or a?
a
Suppose 2*u = -5*u - 329. Let b = u - -47. Suppose n + b - 1 = 0. Which is smaller: n or -2/17?
-2/17
Suppose -3*k = -4*k + 43. Let l = k - 41. Let o be -10 - (l - (10 + -4)). Does o = -8?
False
Let v = 141 + -158.9. Let s = v + 17.8. Is s smaller than -45?
False
Let i = 25524 - 25523. Let j be ((-2)/(-145))/((-51)/15). Which is smaller: i or j?
j
Let d(c) = -c + 11. Suppose -r + 0*r + 5*b + 24 = 0, 0 = 4*r + 5*b - 21. Let o be d(r). Let v = 105 - 108. Are o and v unequal?
True
Let x(o) = 15*o + 54. Let l be 5/(-20) + 19/(-4). Let d be x(l). Which is greater: -17 or d?
-17
Let c = -0.5103 - 34.4897. Is c greater than or equal to 3/7?
False
Let k be (2/3)/(42/630). Let w be (-234)/k*(-140)/84. Is w bigger than 10?
True
Let g be (21/(-14))/(2/420). Suppose -2*d = 5*y - 33, 81*d - 80*d + 5*y - 24 = 0. Let i be (-81)/g - d/21. Are -1 and i non-equal?
True
Let o = -3 - -2. Let i(d) be the second derivative of -d**4/4 + d**3/3 + 3*d**2/2 + 5*d. Let z be i(-1). Is z < o?
True
Let q be 2*1/(-2)*-3. Let f = -14.192 + 13.9. Let o = f + 0.192. Is q equal to o?
False
Let u = 1.785 + 27.795. Which is greater: 0 or u?
u
Suppose 3*n - 2*n = -3, y + 2*n = -2. Suppose -18 - 10 = y*l. Let i be l*3 - (-3 + 1). Does i = -19?
True
Suppose 265*f - 3822 = 259*f. Is 637 not equal to f?
False
Let z be (-5 + (-11)/2)/9. Let g = 274 + -6304/23. Is z < g?
True
Let a = -12340/9 - -2974192/2169. Does 1 = a?
False
Let k = -123.88 + -19.62. Do k and -1 have the same value?
False
Let d(o) = 53*o - 546. Let u be d(15). Which is bigger: u or 6/5?
u
Let t = -5328 + 1941. Do t and -3387 have the same value?
True
Let g = 169 + -16. Suppose -14*k = -3*v - 18*k + 451, 0 = -4*k - 8. Is g greater than or equal to v?
True
Let b be (-4486)/(-14) - -14*36/(-1176). Is 326 less than b?
False
Let i = 20.95 + 1.05. Suppose 5*w - 2*h - 3*h + 180 = 0, 0 = 5*w - 2*h + 168. Let k be (3 - w/(-12))/1. Is k at least i?
False
Let j = 59 + -32. Suppose -2*v + 3*x = -j, v = -x - 3*x + 30. Let k = 17 - v. Which is smaller: -3/5 or k?
k
Let q = 3.95 + 0.05. Let f(x) = 2*x**3 - 6*x**2 - x + 11. Let t be f(4). Let o be (-25 + t)*((-18)/14 + 1). Which is smaller: q or o?
o
Suppose 80 = 5*t - g, 0 = -t - g + 10. Let x be t/(-30)*(1 - 5). S