 = -1774807/291 - -6099. Let y = 0.2859 - 2.2859. Which is greater: s or y?
s
Let h(d) = -9*d**2 + 54*d. Let w be h(6). Suppose 5*z = -0*z + 15. Let f be (4/z)/(34/3). Is w < f?
True
Let w be -3 - -3 - (-8 + 6). Suppose 3*i + d + 49 = 0, -26 = 3*i - w*d + 11. Which is bigger: i or -12?
-12
Let i be 4/(-6) + 292/402. Let h be -3*12/8*(-40)/12. Suppose -5*w = -5*v - h, 10*v - 8*v + 5*w - 8 = 0. Is v != i?
True
Suppose 11*c = -0*c. Let j be (0 - c)/(-12 + 9). Is j < 12?
True
Let x be (-8 + (-6772)/208)/((-6)/(-100)). Let w = x - -676. Is w less than 0?
False
Let y(u) = 3*u + 32. Let b be y(-8). Suppose 0 = -b*j + 8. Let v be (j/(-89))/(-4 - 45/(-10)). Is v smaller than 0?
True
Let z = 0 + -9. Let b be (-32 - -40)*((-35)/4)/7. Is b at most z?
True
Let q be ((-730)/30)/(54/(-9)*20/(-9)). Is -3 < q?
True
Suppose -4*b - 32 = -5*j - 617, 15 = 3*b. Let t = j + 128. Is 19 > t?
True
Let q be 26480/72*-3*15/8. Let b = 2097 + q. Is b <= 27?
False
Let m be 18/(-5) - (-12)/20. Let b be (-6)/(-4 + 7) - m. Let v = 9460/111 - 256/3. Which is greater: v or b?
b
Let c = -1356 - -6804/5. Let h = -1398121/293725 - 2/58745. Let x = c + h. Which is bigger: x or -1?
x
Suppose -5*a = 20, 0 = -4*d + 26*a - 28*a + 848. Is 855/4 not equal to d?
True
Let t = 268 + -290. Let q = t + 4. Let r = -0.8 + -0.2. Is r greater than or equal to q?
True
Let j(z) = 58*z + 366. Let h be j(-6). Let u = h + -10. Let k = 8 - 3. Which is greater: u or k?
u
Suppose 5*m - 52 = 4*z, -2*m + 6*m - 54 = -3*z. Suppose 1 = -11*g + m. Which is smaller: g or 6/115?
6/115
Suppose 0 = -2*b + l, -3*b - 5*l + 13 = -0*b. Let u be 44372/21*((-33)/(-6) + -5). Let x = 1056 - u. Do x and b have different values?
True
Suppose 14829 = -30*k - 11181. Which is bigger: -870 or k?
k
Let y = 2500 - 9214. Is -6715 bigger than y?
False
Let t = 3.5 - 49.3. Let w = t - -37. Let z = w + 6.8. Is z less than -5?
False
Suppose -w - m = 11, 5*w + m + 13 + 42 = 0. Let f = 19 + w. Let o be 6/((28/f)/(-7)) + 3. Is -11 greater than o?
False
Let r(u) = -2*u**2 - 28*u + 7. Let j(w) = -w**2 + 2*w - 4. Let k be j(4). Let q be r(k). Let l be -9 + 8 + q/57. Is 0 at most as big as l?
False
Let v be (-283)/(3 - 140/(-36) - (11 + -4)). Is 2546 greater than or equal to v?
False
Let q be (24/36)/((-2)/(-318)). Let p = -950/9 + q. Is p > 12?
False
Let y be (-85)/240*(-7 + 11). Are y and -1 unequal?
True
Suppose b = 4*r + 2, 3*b - r = 8 - 2. Suppose -10*n - b + 12 = 0. Which is greater: 1/290 or n?
n
Let t = 690 + -1149. Is 4 not equal to t?
True
Let j = -8263540/549 + 15052. Is j > 1?
False
Let g = 0 + 9. Suppose 5*i - g*i + 12 = 0. Let d = -3 + 6. Do i and d have the same value?
True
Let b = -7036 - -6319. Is -718 less than b?
True
Suppose 3*t - 4*l + 28 = 0, 0 = -2*t + 3*l + 30 - 51. Which is greater: t or -3/935?
t
Let d = -64 - -15. Let n = -49 - d. Suppose n = 3*o - 42 + 42. Which is bigger: -1/25 or o?
o
Let z = 323 + 800. Is z not equal to -0.2?
True
Let c = -144 + 22. Let g = -89 - c. Suppose 0 = 5*z - 2*x - 5, 4*z + 3*x = g - 6. Which is smaller: 6 or z?
z
Suppose -4*v - 5*u = 4, 23 = 5*u + 3. Which is smaller: 2/1017 or v?
v
Let g be (-3 - 1) + (-80)/(-30). Let f = 0.13 + 0.07. Is g > f?
False
Let d(w) = w**3 + 21*w**2 + 28*w + 16. Let g be d(-20). Let n = 3304/23 + g. Is n > -1?
True
Suppose 13*u - 16 = 11*u. Let w(t) = u*t - 6*t - 2 - t. Let j be w(-2). Is j != -2?
True
Suppose -4*f - 2528 = c, -3*f + 460*c = 461*c + 1895. Which is smaller: f or -632?
f
Let l = -288.8 + 288.81. Which is smaller: l or 309?
l
Let x = -46441 + 46387. Let z(q) = -14*q**2 + 2*q - 2. Let h be z(2). Is h bigger than x?
False
Let f = -108005/85312 + 81/64. Which is greater: 1 or f?
1
Suppose 4614*q - 287 = 4607*q. Which is greater: q or 17?
q
Let s = 0.23807 - -3787.76193. Which is bigger: s or -0.1?
s
Suppose -3*p + 10 = 4*l, 15*p - 18*p - 18 = -3*l. Is -195/94 smaller than p?
True
Let j be ((-202940)/(-16))/(-5) - (99/44)/(-3). Which is greater: -2537 or j?
j
Let m = -6842 + 6581. Is m not equal to -258?
True
Let y(k) = -k**2 - 18*k - 47. Let z be y(-14). Suppose 21*r = 24*r - 4*s + 60, 3*s = z. Is -16 smaller than r?
False
Let d = -12621 - -7265. Let l be d/2136 + (-65)/(-26). Which is bigger: -1 or l?
l
Let b = 465 - 696. Let s = b - -312. Is s > 79?
True
Suppose 2*g - g - 74 = 0. Let x be (g/(-18) - 17/(-153)) + 5. Which is smaller: -2/119 or x?
-2/119
Let l(o) = o**3 - 28*o**2 - 481*o + 21. Let a be l(-12). Which is smaller: 44 or a?
a
Let s be (-93)/(-744) + 1110/2896. Which is greater: s or 2?
2
Let j be (-4 + 8)*22/(-88). Is -42/275 <= j?
False
Suppose -2*q + 4 = -4*l, -5*q = -3*l + 7 - 10. Let n be (l + 2)/((-36)/(-96)) - -5. Which is bigger: 8 or n?
8
Suppose -2*j = -k + 1172 - 193, -2921 = -3*k + 2*j. Let l = k - 214589/221. Is l smaller than 1?
True
Let s be 3 + 0 + 35/(-16). Suppose -3*p = 5*j - 1 - 2, -3 = -4*j - 3*p. Which is bigger: j or s?
s
Let u be -8*(-5 - (-315)/20). Suppose -26*a = -75*a - 4116. Which is smaller: u or a?
u
Let r = 350151 - 25559439/73. Which is greater: r or 22?
22
Let v be ((-25787)/(-19581))/((-7)/3 - -2) + 4. Which is smaller: v or -1?
-1
Let r = -648 - -672. Suppose 10*o - 138 = 4*o. Is o <= r?
True
Let b(h) = -h**3 - 4*h**2 - 2*h - 14. Let k be b(-6). Let g be (k/(-12) - -5)*2/(-5). Let x = -0.13 - 1.37. Which is smaller: x or g?
x
Let t = 5.6 - -25.4. Let n = -55 - -24. Let y = t + n. Are y and 12 nonequal?
True
Let l be (-11 - 8107/(-110))/((-2)/15*9). Let q be (-106)/(-6)*15/(-5). Is q less than l?
True
Let y = -0.92 + -46.08. Let h = y + 46.62. Let s = h + 0.38. Is s smaller than -1?
False
Suppose 16*m + 32*m = -33*m - 341982. Which is smaller: m or -4220?
m
Let p = -24539 - -24561. Which is smaller: p or 39/4?
39/4
Suppose -s - 3*c + 5*c = -1, s = -5*c + 1. Let t be s*((-2)/(-6) + (-21)/63). Which is bigger: 4/41 or t?
4/41
Let k = 20367 - 7605. Is k bigger than 12762?
False
Suppose f = -2*s - 2 + 54, 284 = 6*f - 2*s. Let u be ((-4)/12)/(3/(-459)). Suppose 0*o + 2*k = 4*o - 182, -u = -o - 5*k. Which is bigger: f or o?
f
Suppose -7729 = -42*c + 10205. Which is bigger: 424 or c?
c
Let c = 210 - 209. Suppose -x = -2*w - 4, 0 = 4*x - 6*x - 3*w + c. Which is smaller: 7 or x?
x
Let s = 732 + -2228/3. Let l(n) = 2*n**2 - 7*n - 4283. Let k be l(48). Is s smaller than k?
False
Let v be 21/6 + (-2 - 6/(-4)). Let f(k) = -k**3 + k**2 - 10*k + 6. Let h be f(v). Is -38 equal to h?
False
Let d be -2 + (-1186)/(-76) - 12/114. Which is greater: d or 14?
14
Let l be 1 + 0 + 26285/(-26145). Let t = -41029/10458 + l. Is -3 greater than or equal to t?
True
Let t be 2/(-2) - 5/(-1). Let w = 463 + -415. Let a be 0/2 + w/14. Is t greater than a?
True
Let n(g) = 2*g + 15. Let t be (1 - 0) + 7 + 1. Suppose 0*j + j = -t. Let z be n(j). Is z <= -3?
True
Let g be (-1 - -14) + 48868/(-988). Which is bigger: g or -36?
-36
Let q = -29/9 - -3. Let v = 0.786 + -0.186. Let f = -3.6 + v. Which is smaller: f or q?
f
Let w = -21076.925 + 20857. Let j = w + 220. Is j at least as big as -2?
True
Let q(h) = 39*h - 647. Let k be q(40). Which is smaller: k or 916?
k
Suppose 3*p + 968 = 4*t, 6*t - 13*t - 5*p = -1735. Which is smaller: 246 or t?
t
Let c be 6*(-22)/(-14) + 87/(-203). Let l be (0 + c)*2/6 + -3. Do l and -5/167 have the same value?
False
Let s = -25273.828 - -25274. Is s greater than 63?
False
Let w = 1 - 0.9. Let n = -0.101 - -0.048. Let k = n - -1.053. Which is greater: w or k?
k
Let o be (((-3)/3)/3)/((-3)/9). Let z be (-3)/(o - 10) + -2. Which is smaller: -0.2 or z?
z
Let i = -0.054 + -7.646. Let p = i - 0.3. Are p and -8 equal?
True
Let z = -12.3251257 + -51853.6858743. Let y = z + 51889. Let f = y + 0.011. Which is smaller: f or 0.1?
0.1
Let t be 0 + -2 + ((-365696)/(-182856) - (8 + -8)). Which is smaller: t or 1?
t
Let r be -23 + (-37597)/(-1211) - 1*8. Which is bigger: r or 1?
1
Let s = 1.58 - -10.42. Let t be (-3)/((-6)/(-7))*6/42. Which is bigger: s or t?
s
Suppose -4*r - 5*s + 9 + 4 = 0, -r + 4*s = 2. Let f be 11/13 + r/13. Does f = 3/14?
False
Let u = 4 - 3.7. Suppose 5*s + 5*v = -11 - 29, -s - 8 = 3*v. Let c be (s + 6)/(4*(-2)/4). Is u at least c?
False
Let d = 6.233 + -6.333. Is -26.98 <= d?
True
Let w = -1101 - -2133. Let z be (-5)/40 - (-345)/w. Which is bigger: z or 1?
1
Let b = -263343/431 - -611. Suppose s + 5