- -36. Let p = -258 + 258.109. Let w = -0.091 - p. Is s < w?
False
Let s = 195887 + -33495875/171. Let v = -30/19 + s. Suppose -5*w - 16 = 2*i, 5*i = 4*w + 24 + 2. Is v < i?
False
Let i be 68/12 + -7 + 2/6. Which is smaller: -1/2719 or i?
i
Suppose 2*z - 76 = 6*z. Let f = -266 - -297. Suppose 11*n - 20 = f*n. Is z at least n?
False
Let x be 22 + (-3780)/(-115) + 8. Which is bigger: 63 or x?
63
Let v = 41/10 + -1999/490. Let a(y) = y**3 + 8*y**2 + 19*y + 25. Let m be a(-5). Suppose -f - 6*s = -9*s - m, -f = -4*s - 7. Which is greater: f or v?
v
Let d be 2/9 + 3925/360 + -8. Suppose 2*w - 2 = 2*r, r + 5 = 2*w - 0*w. Which is smaller: d or w?
d
Let r be (-131 - -145)*(10/(-4) + 2). Which is greater: -17 or r?
r
Let v be (-44)/(-3) + 1/3. Suppose 98 = 6*r + 98. Suppose 0*s + 11 = a - 4*s, r = 5*s + v. Which is smaller: a or -13/11?
-13/11
Let o = -611/3209880 + -1/5815. Is 1 not equal to o?
True
Let u = 1384 - 1380. Is u smaller than 10?
True
Let d be (-146)/219*15/40. Are 15925 and d unequal?
True
Let a = 3483 + -3566. Is a smaller than -8?
True
Let n = -300 + 121. Let p = n + 2325/13. Is -1 at most as big as p?
True
Let i(g) = -3*g**3 + 202*g**2 - 68*g + 67. Let l be i(67). Is -3/2687 > l?
False
Let v(j) = j**2 - 5*j - 64. Let z be v(-6). Let b = 0.011 - -0.037. Which is bigger: z or b?
z
Suppose -4*j = -2*q - 46, q + 2*j + 34 = -5. Let n = q - -30. Let u = 691/78 - 55/6. Which is smaller: n or u?
n
Let c(z) = -z**3 - 3*z**2 + 213. Let m be c(0). Is m at least as big as 218?
False
Let p be (-9)/(18 - 890/50). Let v(a) = -3*a**2 - 12*a + 6. Let d(r) = 3*r**2 + 11*r - 6. Let c(s) = -7*d(s) - 6*v(s). Let u be c(-5). Which is smaller: p or u?
p
Let o be 6/(-14)*41903 + (-432)/(-1008). Is o greater than or equal to -17957?
False
Let a be (-30)/(-150) + (-83)/475. Which is greater: -1 or a?
a
Suppose y = -2*g - 118, 6*y + 361 = 3*y + g. Let c = 102 + y. Let n be (-75)/c*(-4)/(-60)*-16. Is -3 at most n?
False
Let q be 4 + 1/(2/12). Let t(f) = 23 - 24 - f**3 - q*f - 11*f**2 + f**2. Let o be t(-8). Is -50 bigger than o?
False
Let r = 9414 + -84560/9. Which is bigger: 17 or r?
r
Let c = 9070 - 9621. Which is bigger: c or 0.02?
0.02
Let m(u) = -23*u + 1. Let f be m(-4). Let b(d) = -10*d + 463. Let j be b(37). Is j bigger than f?
False
Suppose -4*h + 72 = 3*f - 7*f, 90 = 5*h - 2*f. Suppose h*w = -135 - 621. Suppose -4*v - 86 = -2*v. Which is greater: v or w?
w
Let k be (-1 + 15/4)/(48/1728). Suppose -5*x - 3*i = -k, 4*x + i - 2*i = 69. Is x < -4/7?
False
Suppose 2*i + 109 = -j, 3*i + 9 + 155 = -j. Is -53 bigger than i?
True
Let t = -21211400 + 6554214452/309. Let s = t - -350. Which is smaller: -1 or s?
-1
Let x = -2344541/1849 + 1268. Is x greater than or equal to 1?
False
Let x be 2 - 2/(-6)*-3. Let k be 5 + -7 - -1*x. Suppose 0 = 7*y - 18*y + 22. Is y greater than k?
True
Let c = -5.6 + -9.4. Let r = 27 + c. Let f = r + -16.3. Which is greater: f or 0?
0
Let f be ((-1034)/4708)/((-15)/(-38)) - 42/(-70). Is 1 smaller than f?
False
Let y(g) = 3*g + 1. Let j be y(2). Suppose 70*s = 72*s + 24. Let l be s/(-14)*(1 - (-4 - 2)). Is l greater than or equal to j?
False
Let s(g) = g**3 + 15*g**2 + 12*g - 11. Let i be s(-14). Suppose 5*a - 497 = -i. Let q be (a/15)/(4/10). Is q <= 17?
True
Suppose -1944 = -22*a + 21*a. Suppose -288 - a = 5*k - 2*l, 5*k + 2260 = -5*l. Let h = -8508/19 - k. Is 1 equal to h?
False
Let h = 47001 + -47001. Which is bigger: h or -116/293?
h
Let w be (3*1 - (33 + -7))*1. Which is bigger: w or -256/11?
w
Let q be ((-54)/24)/(((-100)/96)/(-5))*15. Let r be (5 - 3) + (-332)/2. Is q not equal to r?
True
Let s = 5 + 19. Let p = 46 - 70. Let n = p + s. Which is greater: n or -2/3?
n
Suppose -70*y - 1398 = 134*y + 29*y. Is -153/25 greater than or equal to y?
False
Let l = -9503 + 9490. Which is smaller: l or -22?
-22
Let a be (25/(-57) - ((-2076)/228 - -9))/8. Do 420 and a have the same value?
False
Suppose 16*p = -127 - 593. Is -60 less than p?
True
Let o be 1*-1 - 8442/147*7/2. Which is greater: o or -185?
-185
Suppose 0 = 4*a + 4*m - 1440, -3*a - 4*m + 720 = -a. Let x = a - 358. Let q = -1 + -3. Which is greater: q or x?
x
Let s be (-2 - 0)*(-6)/12. Let o be (-5)/(-25) - (0 - s). Suppose -181*q + 157*q + 48 = 0. Which is bigger: q or o?
q
Suppose 0 = 2*q - 2*u + 10 + 18, u + 40 = -5*q. Let z(y) = 334 + 329 + 8*y - 894 + 299. Let t be z(q). Which is bigger: t or 5?
5
Let q be 28 - ((-170)/(-34) + 24). Let c = 23356/63207 - -2/2341. Which is smaller: q or c?
q
Suppose -p = -16 + 3. Let s = -101 - -115. Is s less than p?
False
Let s(u) = -2*u**2 - u + 1. Let n be s(-1). Suppose n = -2*d + o - 56, 11*o = -5*d + 12*o - 137. Let k = d + 45. Is k smaller than 18?
False
Let v = 3181 + -753896/237. Let b(u) = -3*u - 21. Let o be b(-7). Does o = v?
False
Let o = 5099/1134 - -2/567. Let a = 11 - 22. Let h = a - -10.9. Which is smaller: o or h?
h
Let a be 0 + 1 - (1 - 1). Let s = -607 + 422. Let h = 185.06 + s. Which is smaller: h or a?
h
Let z(f) = f**3 + 5*f**2 - f - 4. Let l be z(-5). Let i = -488887/3 - -36663343/225. Let v = 128/9 + i. Is v bigger than l?
False
Let c = -12 - 51. Let i = 2303 - 1621. Suppose -i = 27*k - 16*k. Is c >= k?
False
Suppose 0 = -15*b + 12*b + 3. Let m = 12407870374/1421 + -8731787. Let x = -19/29 + m. Which is bigger: b or x?
b
Let k be ((-5350)/(-642))/(2 + 297/(-147)). Which is smaller: k or -407?
k
Let a be -1 + 36116/(-10) - 10/(-5). Let x = 3622 + a. Which is smaller: x or 10?
10
Let p(x) = -x**3 - 11*x**2 + 19*x - 64. Let w be p(-15). Let i = -595 + w. Let k = 29 - 74. Is k != i?
True
Suppose 27*i - 45*i = 19*i + 245051. Is i not equal to -6625?
True
Let b = 2508.8 - 2509. Suppose -5*j + 111 = 21. Suppose 5*v - j = 2*v. Which is smaller: v or b?
b
Let m be (-72)/(0 - -3)*(-3)/9. Let q be (-426)/15 - m/(-20). Let z = q + 31. Are z and 1/2 nonequal?
True
Let m be 10/(-875)*35/1500. Let q = m - -142507/26250. Which is greater: q or 5?
q
Suppose -458*k + 16 + 378 + 64 = 0. Which is smaller: k or 3/794?
3/794
Suppose -3*a + 3*q - 3 = 0, 18 + 1 = 5*a + q. Suppose a + 1 = x. Suppose 389 = x*o + 141. Is o bigger than 62?
False
Let c(f) = f**2 + 5*f + 1 - 4 - 11*f**3 - 5. Let w be c(3). Let j = -2813/10 - w. Which is bigger: 0 or j?
0
Let q(y) = -y**2 - 9*y - 15. Let d be q(-6). Suppose 4*z - d*n - 17 = -z, -2*n = -2. Suppose 0 = 2*h - 2*k - z, 3*h - 2*k + 7*k = 22. Which is greater: h or 12?
12
Let h(g) = -6*g**3 - 6*g**2 + 4. Let y be h(5). Let q be y/30 - (-10)/(-75). Let j = -22 - q. Is 10 at least as big as j?
True
Suppose f = -h - 2*f - 26, 5*f = -10. Suppose -3*x - 124 = -136. Let b be (12 - -3)*7/((-21)/x). Is b bigger than h?
False
Let d be (3290/(-1648) - -2)/6. Let y = -4909/57680 - d. Let c = 32679 - 32679. Is c at least as big as y?
True
Let a be 6/((-90)/25)*12/(-10). Suppose -7*h + 10*h = -3, -13 = -3*x - a*h. Is x smaller than -9?
False
Suppose 17*a - 23*a + 18 = 0. Let v be 21/27 + 0 + -4 + a. Which is bigger: 2/17 or v?
2/17
Let k(b) = -b**2 + 37*b + 66. Let s be k(36). Let o = 220 - s. Is 118 >= o?
True
Suppose -y = -m - 44 + 46, -m + 32 = 29*y. Let r = -454408/243 + 1870. Which is bigger: y or r?
y
Let h = -71.72 + -9.08. Let n = 82 + h. Let o(k) = -k**3 + 2*k**2 + 3. Let q be o(0). Do q and n have the same value?
False
Let f = 6877.063 + -6877. Which is bigger: f or 31?
31
Let z be -4 - (-684)/133 - 44832/(-21). Which is bigger: z or 2135?
z
Let k = -0.009 + 21.969. Let m = 0.96 - k. Let a = m - -20.9. Is a at most -1/47?
True
Let v = -129 - -128.216. Let p = -285.984 + 286. Let n = p - v. Which is smaller: 5/6 or n?
n
Let p = 0.353 - -16.347. Let o = p - -59.3. Let j = 76.9 - o. Is -1/5 at most as big as j?
True
Suppose 62*l - 41 = 103*l. Let r = -0.11 - -0.02. Let i = r + 0.06. Is i at most l?
False
Suppose -5*g - 10 = 0, -67*g - 2 = 4*m - 72*g. Is -1388 at most as big as m?
True
Suppose -5*i + b = 44, 5*i + 0*b = 2*b - 48. Let c = i + -4. Let z be (-2)/5 + (-132)/20. Is c at most z?
True
Suppose 11*d + 102 = 28*d. Let c be (-212)/(-8) + d/(-4). Which is bigger: c or 176/7?
176/7
Let u = -14 - -14.7. Let h(z) = -2*z**2 + 179*z - 88. Let p be h(89). Is p at least as big as u?
True
Let n be (-13)/((-91)/(-42)) + 11 + -80. Which is greater: 0.12 or n?
0.12
Let a(n) = 286*n + 299. Let t be a(-1). Is t e