- 13512*a + 13512*a + 5. Let j(u) = -u**3 + 18*u**2 - 15*u - 32. Let n be j(17). Let y be b(n). Which is greater: -70 or y?
-70
Let f be (-32)/(2 + 6) + (-1215)/(-3). Which is smaller: 409 or f?
f
Suppose -5*w - 2*r = -109, -6*w + 6*r + 98 = -4*w. Is w at least 25?
True
Let s = 65.06 + -65. Let q = s + 0.35. Is -2 less than q?
True
Suppose 0*y + 18 = -3*r + y, 12 = 4*y. Let v(d) = -16*d + 6. Let q be v(8). Let x = -122 - q. Is x smaller than r?
False
Let r = 246.5 - 221.5. Which is smaller: -0.09 or r?
-0.09
Let c(j) = j**3 + 9*j**2 - 2*j + 202. Let d be c(0). Let z = 221 - d. Which is smaller: z or 206/11?
206/11
Suppose -2*k - d = 43, d = 2*d - 3. Let p = 26 + k. Let j be ((-1)/((-21)/266))/(2/p). Are j and 19 unequal?
False
Let t = -437.8 - -438.8. Suppose 3*a = 6*a + 279. Is t < a?
False
Let t(g) = 4*g + 1. Let n be t(1). Suppose -u + 4 = -n*u. Let c = -677 + 674. Which is smaller: u or c?
c
Let h = 1195/3064707 + -374948826766/8663926689. Let l = h + 476/11. Which is greater: l or 1?
1
Let h = -0.432 - -0.5. Let x = 0.284 + 0.448. Let j = x + h. Which is greater: j or -0.2?
j
Suppose -50*p - 828 = -778. Which is smaller: 2/19453 or p?
p
Suppose -60*m = -52*m + 1552. Which is bigger: 24 or m?
24
Let w(y) = -3*y - 22. Let r be w(-8). Let b be ((-4)/10)/(r + 84/(-40)). Let j be 2/(-20)*(-42 + -2). Which is smaller: b or j?
b
Suppose -3 = -3*f + 12. Suppose q + f = -2*y, 5*q = q - y - 34. Is q at least as big as -46/5?
True
Let m(f) = f + 20. Let a be m(-14). Suppose -a*t + 43 = 7. Suppose 0 = 3*c - t*c + 3*n, -5*c + n = 16. Which is greater: -13/4 or c?
-13/4
Let i be (-1 + 2)/((-93)/(-1095261)). Do 11777 and i have the same value?
True
Suppose 815*o - 841*o = -5226. Is o <= 201?
True
Let u = -27843 - -112419/4. Which is smaller: u or 262?
u
Let a = -496 - -288. Let k = 207.877 + a. Which is smaller: k or -2/3?
-2/3
Let m(w) = -30*w**2 + 68*w - 313. Let o be m(5). Which is bigger: -724 or o?
o
Let t = 1635 - 1636.799. Is 3 at most as big as t?
False
Let l be (0*7/14)/(-3). Which is greater: -3/4258 or l?
l
Suppose 153*r - 414*r = 0. Which is smaller: r or -1/441?
-1/441
Let c(u) = -u**2 + 18*u + 91. Let h be c(28). Suppose -278*j = -272*j + 1116. Is h less than j?
True
Suppose 0 = 5*q - 348 + 88. Suppose -4*v + 223 = 5*o, -4*v - 4*o + 196 = -8*o. Is v at least q?
True
Suppose -2*i = -5*u - 5, -u = -i - 2*u - 8. Let c(t) = -2*t - t + t + 3*t. Let l be c(i). Do l and -17/3 have different values?
True
Suppose 19*d = -12552 + 2520. Let r = 527 + d. Are -5/83 and r unequal?
True
Let u = -73 - -101. Let n = u + -29. Are -5 and n unequal?
True
Let v(u) = -u**3 - 7*u**2 + 10*u + 12. Let o be v(-8). Let a be o + 198/(-6) - (-4)/(-4). Is 1 > a?
True
Let z = -13937.2095 + -0.7905. Let s = z - -13831.97. Let b = -106 - s. Is -0.2 greater than or equal to b?
False
Let m = -450.79375 + -0.02625. Let h = -449 - m. Are h and -1 nonequal?
True
Let g(r) = r**3 + 5*r**2 + 6*r + 7. Let c(u) = -u**2. Let p(v) = -6*c(v) - g(v). Let s be p(-2). Let k = s + -34. Is k smaller than -15?
True
Suppose -3*c = 2*o - c - 6, 0 = -5*o + 2*c + 8. Let j be ((272/(-1408))/((-1)/(-6)))/((-9)/12). Which is greater: j or o?
o
Let f be 4/18 + 4/3. Let v be (-2600)/(-16) - -6 - (-3)/(-6). Suppose -64*k + v = -8*k. Which is smaller: k or f?
f
Let s = -8593.6 - -8594. Is s < -1337?
False
Let o be (0/(55/(-11)))/(8/(-4)). Which is bigger: 2/3301 or o?
2/3301
Let c = 12091 - 16764. Is c >= -4673?
True
Suppose -8*d = -p - 1220, 0*d - 5*p = 5*d - 785. Let b = 47 - -106. Does d = b?
True
Let p be ((-21)/(-9)*4/28)/((-420)/(-90)). Which is bigger: p or -18/5?
p
Let r(d) = -60*d + 220*d**2 - 217*d**2 - 30*d. Let c be r(30). Is -1/73 bigger than c?
False
Let t = 10.12 - 10.24. Suppose 2*p + 4 = -h + 17, 0 = -p + 3*h + 3. Let v be ((-16)/(-24))/((-14)/p). Which is bigger: v or t?
t
Let u = -77/2 + 307/8. Let t(l) = l**2 + 8*l + 15. Let q be t(-6). Let k be q*12/9 + -4. Is k equal to u?
False
Suppose 4*f - w = 3*f + 1, -w = -5*f + 1. Let o be 12704/(-3)*(-14)/((-3136)/(-40)). Let c = o - 756. Which is greater: c or f?
c
Let x = 1971992/5 + -397443. Let y = x + 3062. Is y not equal to -0.1?
True
Let z = 16130 + -16131. Suppose 0 = l - 5*w - 37 - 93, 2*l + 4*w - 330 = 0. Which is smaller: z or l?
z
Suppose 3*t - 443 = 5*w, 2*t - 11 + 19 = 0. Let f = -11 + 13. Does f = w?
False
Let o = -282.1 + 26.1. Let x = -259 - o. Which is bigger: x or -0.12?
-0.12
Let q = 14 - 14.22. Let f = q + -0.18. Let z be (-12)/30*1 + 12/(-45). Is z < f?
True
Suppose 5*j = -3*k + j - 21, -5*k = 5*j + 35. Let b be (-8)/24 + 7/3. Let y be 3 - (-40)/((-8)/b). Is k greater than y?
False
Suppose 4*j - 5*i + 3*i + 38 = 0, 5*i - 60 = 5*j. Suppose 30 = -3*a + 5*o, 0*o - 10 = a + 3*o. Which is greater: j or a?
j
Let x = -420 - -655. Let b be (-2 - x/(-60))*-4. Is b equal to -8?
False
Let p be 0 + 6 + (10/(-2) - -6). Let v be 122 + p - (-7)/((-21)/(-18)). Is v not equal to 134?
True
Let a be (6/8)/(15/40). Suppose 0 = -2*g + 5*s - 23, -a*g + 0*g + s - 11 = 0. Which is smaller: -4/5 or g?
g
Let g be (221/(-65) - -10)*-5. Is -3.1 < g?
False
Let v(i) = 2*i**2 + 29*i + 125. Suppose -41*d + 68 = -45*d. Let q be v(d). Is q > 212?
False
Let y(l) = -6*l + 30*l**2 - 63*l**2 - 4 + 36*l**2. Let t be y(-1). Which is greater: t or 0?
t
Let b = 22444/85 + -1322/5. Let a = -69 + 74. Which is greater: a or b?
a
Suppose -8 = 4*p - 0*p. Let u be (3/p)/(3/1). Let v = -3901 - -3856. Which is smaller: u or v?
v
Let f be (-5532)/788 - (-40 + 33). Which is smaller: f or -1/5?
-1/5
Let k = -1.0089 - 0.8911. Is -8 smaller than k?
True
Let p(b) = b**2 + 2*b + 1. Let y be p(0). Suppose 0 = 35*k - 37*k + 10. Suppose 16 - y = k*m. Are 15/8 and m equal?
False
Let a = 18.8 - 76.892. Let u = 0.092 + a. Is u at most as big as -2?
True
Let q = 154 - 458. Suppose 2*u + 569 = -2*s + 583, s - 15 = -3*u. Let v be u/(-26)*16/q. Is -1 < v?
True
Let y(v) = v**3 + 23*v**2 - 4. Let l be y(-23). Let p = 1038358/7 - 146995. Let i = -1345 + p. Is l > i?
False
Let l be 65/25 - -6*(-4)/40. Let p be ((-10)/30)/(-131*l/(-3)). Let q = p - -531/1834. Is 0.61 at most q?
False
Let d be (-660)/(-88) - ((-1)/(-2))/1. Let i(l) = 4*l**2 + 32*l + 6. Let g be i(-8). Is d at least g?
True
Let y = 102/53 - 412/159. Is -30.4 greater than or equal to y?
False
Let b be (-14)/26*(-30)/315. Which is greater: b or 29?
29
Let n = 45178/11 + -4116. Do n and -9 have different values?
True
Let m = -1073 - -1067. Let h(q) = q**3 - 5*q**2 + q + 3. Let y be h(3). Let c = y + 5. Which is smaller: c or m?
c
Suppose 0 = -2*j - 4*d + 36 - 10, 2*j - d = 1. Let a be (j + -104 - -3)*4/(-8). Is 49 less than a?
False
Let b = -8 - -6. Let k = -13490 + 67227/5. Let a = 2879/65 + k. Which is greater: b or a?
a
Let i be (-9)/(-6) - (-11355)/30. Suppose -379*g - 35 = -i*g. Is g at least as big as 30?
True
Let n = -93931 + 15122761/161. Let c = -12/23 - n. Is 1/120 greater than c?
False
Suppose 2*f = 13*f - 55. Let i(o) = -4*o + 17. Let t be i(f). Let g be (t/2)/((-3)/(-16)). Is g at least -7?
False
Let p = -45 + 46. Let i be 2 - ((-28138)/(-7224) + -2). Let v = i - 1/84. Are v and p unequal?
True
Let z be (9 - (6 + -3))/(4/(-10)). Let i be z + 10 - 67/(-4). Suppose 6*p - 2*p - 48 = 0. Is i greater than or equal to p?
False
Let d = 15887/3 + -5250. Let n = 751/15 - d. Suppose 5*v - v - 16 = 0. Which is smaller: v or n?
v
Suppose 0 = 1154*c - 1135*c. Does c = -1/283?
False
Let d = 51 + -99. Let p = 84522 + -84570. Is p at least d?
True
Suppose -2*r - 2264 = -3*x, -2*x + 7*r + 1339 = -176. Which is greater: x or 755?
755
Suppose -4*w + 12 = -52. Suppose 1 = 3*s + 5*x, -s - 10*x - 9 = -6*x. Is w at most s?
False
Suppose 72 = -33*s - 126. Let z = -27/8 - -421/120. Is z != s?
True
Let t = -0.5862 + -0.4138. Which is bigger: t or -554/3?
t
Let t = -71.308 + 14.308. Does -1 = t?
False
Let y = 19.4 + -1.4. Let w = -24.2 + y. Let a = w + 6.41. Is a >= -1?
True
Suppose -133 = -3*o - f, -3*o - 4*f + 55 = -63. Suppose -36*a + o*a + 160 = 0. Which is bigger: -17 or a?
a
Let h be (16 - 4) + 23750/(-1995). Is h less than -455?
False
Let n = -277 + 279. Suppose 2*z = 5*w + 872, -989 = -3*z - n*w + 319. Which is smaller: 435 or z?
435
Suppose 3*k - 6536 = 5*w, 112*k + 8676 = 116*k + 3*w. Which is greater: 2173 or k?
2173
Let g =