= 0, 0 = 2*s + p - 65. Let n = s - l. Which is bigger: n or 3/14?
3/14
Let p be 1 + 2*-2 - (2 - 5). Suppose u - 2*f + 7*f - 68 = 0, 3*f = p. Is 69 less than u?
False
Let n = 3.68 - 7.98. Let h = -7.3 - n. Is 18 >= h?
True
Let c be ((-149248)/(-12))/4 + -3 + 83 + -81. Which is greater: 3109 or c?
3109
Let i(r) = 533*r - 4723. Let t be i(11). Is t equal to 1138?
False
Let y = -14 - -1. Let r(j) = 2*j**2 - 18. Let s be r(y). Let p be s/(-48)*(-1)/4. Which is greater: -0.3 or p?
p
Let y = -6977 + 6988. Which is greater: y or -6.6?
y
Let s = 189.7 + 33.3. Let i = s - 238.8. Is -1/2 at most i?
False
Let d = 659.11 + -605.112. Let t = 0.002 + d. Which is smaller: -3 or t?
-3
Let o(g) = 8*g**2 - 18*g - 57. Let r be o(4). Is r > -50/253?
False
Let u(h) = -9*h + 471. Let r be (0/(6 + 0))/(-1). Let i be u(r). Which is smaller: 470 or i?
470
Let b be 10850/32172 + -3 + 3. Let k = 3/766 - b. Let a = -1.51 + 0.11. Which is greater: k or a?
k
Let x(u) = u**3 + 12*u**2 + 4*u - 1. Let a be x(-10). Let j be 1413/(-12)*((-84)/90 - (-8)/(-20)). Which is greater: j or a?
a
Suppose 4*r = 5*c - 88, 5*r - 7 = 8. Let a = -0.465 + 6.465. Is a greater than c?
False
Let o be 18*1/(-3) + (-1410)/(-185). Is 1 >= o?
False
Suppose 73*r - 70*r = 432. Suppose 65*b - r = 69*b. Let q be (b/(-8))/3 + (-14)/8. Which is bigger: 8/5 or q?
8/5
Suppose -4*l + 130 = -9*l. Suppose 15 = -3*b - 5*s, -3*s + 35 = -2*b + 2*s. Let a be 75*5/b*(-2)/(-3). Is a equal to l?
False
Let q be 6 - -14*(13 + -102). Which is smaller: q or -1231?
q
Let g be (-3)/(-4) + 0 - 5529/12. Is g smaller than -1376/3?
True
Suppose f - 3 = 0, 2*w + 0*f = -f - 159. Let j be (-2700)/w + (-4)/(-6). Is j at least 0?
True
Let q = -0.057 + 0.094. Let s = -0.063 - q. Let v = 3047/5 + -606. Is s greater than or equal to v?
False
Let z(m) = m**3 + 11*m**2 - 27*m - 9. Let g be z(-13). Suppose 96 = -7*l + g*l. Let t be (0/2)/(2/(-2)). Is l smaller than t?
True
Let o = 87/103 + -63906/75293. Which is bigger: o or 0?
0
Let i = 3.9 - 13.9. Let j = 10 - i. Let n = -20.14 + j. Is n > -1?
True
Let x be (-2760)/195 - (-2)/13. Let u be 6/(5 + -2) + 3. Let y be u/5 - x/22. Is y smaller than 1?
False
Suppose -a - 4*p + 0*p - 7 = 0, -4*a = p - 17. Let z = 6 - a. Let s = -10371/85 - -613/5. Is s equal to z?
False
Let p = 1357 + -772. Let o = p + -708. Which is greater: o or -3?
-3
Let v = 18447953474330113 + -675981275145744129967807/36642616. Let o = 1/269431 - v. Let l = 27/17 + o. Is 0 at least l?
False
Let r(g) = -g**2 + 15*g + 16. Let p be r(16). Let s be (-105)/(-24) - (4 + p). Let u = -161 - -164. Do u and s have different values?
True
Let m = 937.9 - 851. Are 2 and m equal?
False
Suppose -3309*v - 3*w - 7 = -3311*v, w = -1. Let a be ((-8)/32)/(13/(-4)). Which is greater: v or a?
v
Let k be 0*2*(-2)/4 - (-120 - -119). Is k > 24/553?
True
Let h = 0.088 - -0.577. Let n = 32 - 31.965. Let s = n + h. Is 2 greater than s?
True
Let s be 0 + -3 + (0 - 3 - -4). Let f be (s/(-5) - 0)*(-3 + -2). Is -16/29 not equal to f?
True
Suppose -44 + 36 = 8*f. Let h = -484 - -3377/7. Is f at least as big as h?
True
Let b be ((-4)/16)/((-436)/(-32)). Let s(n) = -6*n - 23. Let v be s(-4). Let i be (0/(-6))/(v + -2). Which is smaller: b or i?
b
Let g = 151649.7744 - 151549. Let b = 0.4356 + g. Let z = -101 + b. Which is greater: z or -0.2?
z
Let l be -1 - (1 + (-262)/2). Let o = -3046 - -3137. Let f = l - o. Is 37 < f?
True
Let n(h) = -55*h + 536. Let y be n(10). Is -63 < y?
True
Let p(w) = -2*w**2 - 139*w - 504. Let j be p(-66). Is -634/15 >= j?
False
Suppose 4*g = 2*v, 21 = -2*v - 2*g + 3. Which is smaller: v or -508?
-508
Let h = -226 - -291. Suppose 0 = -66*k + h*k + 4. Suppose 0 = w - 2 - 5. Which is smaller: k or w?
k
Let b = 6197 + -8181. Is -1985 <= b?
True
Suppose -5*k + 8*k = 3*g - 6, 0 = -5*k + 2*g + 5. Suppose 2*m = -3*m + 50. Let a be 30/m - (k + 1). Is -2/23 < a?
False
Let w be 12/2 + (476/(-112) - (-7)/(-28)). Which is greater: w or 208?
208
Suppose -3*a - 4 = -5*a. Suppose a*r + 19 = 17. Let i be (2 + -2)/(r + -4 + 4). Which is greater: i or 4?
4
Let z be ((-1530)/3 + 1)/(4*14/(-56)). Are z and 511 equal?
False
Let p = -58785/46 - -1278. Suppose 471*h + 457*h = 914*h. Which is smaller: p or h?
h
Suppose 0 = 3*s - 3*s + s. Suppose -5*o + t + 2*t + 10 = s, -4 = -2*o - 5*t. Let b be 3/2*o/78. Is b < 1?
True
Let w = 1429/218 - 6/109. Let x be ((-1)/(-4))/((-21)/84*15/5). Do x and w have different values?
True
Let w be ((-3)/4)/((-6)/(-116)). Let r be 1/3*(-186)/(-2). Let p = r - 45. Is p <= w?
False
Let b = -475 + 472.69. Let g = -3.51 - b. Is g >= -1/6?
False
Suppose 5*k - s - 38 = 0, -s - 162 = -2*k - 148. Is 276/31 greater than or equal to k?
True
Let b = -555 + 2747/5. Suppose -13*n + 5*n - 264 = 0. Let a = -39 - n. Are b and a nonequal?
True
Suppose 0 = 3*d - d. Let x be (2 + d)/((-6)/(54*4)). Is -72 less than x?
False
Suppose 0 = -330*d - 103037 - 62293. Which is smaller: d or -2009/4?
-2009/4
Let n be 3560/(-2380) - (-90)/42. Which is smaller: 0 or n?
0
Let q = 0.226 - 1.456. Let n = q + 175.23. Which is smaller: n or -1/2?
-1/2
Let r(k) = -k**3 - 12*k**2 + 47*k + 10. Let t be r(-15). Suppose s - 6*s = -4*j + 23, -2*s - 5 = -j. Suppose 6*z - j*z = 19. Is z < t?
False
Suppose 2*o - 4858 = 2*w, -5*o - 2*w + 5910 = -6228. Let y = 3517 + o. Let a be y/(-203) - (-4)/14. Do -30 and a have the same value?
False
Let w = -408 - -407. Let a be 3/4 + (-90)/(-40). Let g be (a/(-192))/(-1) - 0. Is w greater than g?
False
Let o be (20/3 + -6)*33/(-22). Which is smaller: o or -58/147?
o
Let d be (-116)/(-168) - (-4)/(-8). Suppose -21 = -5*k - 0*k - 3*s, 0 = 2*k - 3*s. Suppose -2*l + 0*l = -4*v + 2, -k = -4*v + 3*l. Which is smaller: v or d?
v
Let j = -59/4 - -4781/324. Let q(y) = -y**2 + 7*y + 61. Let b be q(-5). Is b > j?
True
Let a(d) = -17*d**3 + 5*d**2 + 30*d - 45. Let x be a(6). Is x bigger than -3357?
False
Let a = -13 - -17. Let q = -145555/6 + 24195. Let g = q - -2827/42. Is g greater than a?
False
Suppose a - 1 = -2*y + 24, 3*a - 3*y - 111 = 0. Suppose -44*x + a*x + 1375 = 0. Which is greater: 123 or x?
x
Let m(k) = 1431*k - 18603. Let f be m(13). Which is smaller: 148/535 or f?
f
Let m(n) = -n**3 + 18*n**2 - 47*n + 34. Let a be m(15). Let s be (a/(-16))/(717/12). Is s greater than 1?
False
Let u(k) = 5*k + 23 - k**3 - k**2 - 7 - k**3 - 6. Let r be u(-4). Which is smaller: r or 101?
101
Let x be ((23 - 39) + 10)*2/(-6). Let f = 18 - 4. Suppose -x*r - 2*b - 11 = r, 0 = -4*r - 2*b - f. Is r equal to 1?
False
Let w = -38 - -113/3. Let i = -264 - -256. Let b be ((-15)/60)/((-2)/i). Is w greater than or equal to b?
True
Suppose -4*j = 3*g - 6, -g - 5 = j - 7. Suppose 3*x + 5 = -1, -s + g*x = 41. Are -1 and s nonequal?
True
Let i = 216.219 - 1.219. Let l = -3 - -4. Is i smaller than l?
False
Let x(m) = -11*m**2 + 10*m + 23. Let y be x(-13). Is y equal to -1966?
True
Let v = -2233.4 + 1977.4. Which is smaller: v or -1/31?
v
Let q(k) = -8*k**2 - 76*k + 624. Let b be q(8). Is b at most -493?
True
Let i = 16597 + -16598. Does i = -7/101?
False
Let a(r) be the second derivative of -r**4 + 5*r**3/6 + 42*r. Let h be a(-1). Which is smaller: h or -10?
h
Let l = 1311 - 1304. Does l = -106?
False
Let d(r) = -33*r**3 + 25*r**2 - 83*r - 1. Let u be d(4). Is -2046 at most as big as u?
True
Let d = 40/1947 - 3/59. Suppose z - 360 = 4*z. Let p be (-2)/3 - z/126. Is d < p?
True
Let c be (1 - (-7)/(-3))/((-4)/12). Let a be (((-45)/c)/(-3))/((-3157)/(-308)). Is -1 less than a?
True
Let m = 3.4 - 6. Let d = m - -15.6. Let u = -1312 - -9186/7. Which is smaller: u or d?
u
Suppose -20*u + 10 = -90. Suppose -95 = u*k - 2*c, 4*k = -0*k + 4*c - 64. Which is smaller: -20 or k?
k
Let c = -13505 + 148450/11. Which is smaller: c or 6?
c
Let z(f) = -4*f + 6. Let p be z(-5). Let c be 91/p - (-1)/(-2). Suppose 8*s = c*s - 160. Is -32 at least as big as s?
True
Let j(o) = -2*o**2 - 22*o - 53. Let p be j(-6). Which is smaller: p or 374/53?
p
Let r = 6131 + -7932. Is 1 greater than or equal to r?
True
Let t(i) = 2*i**2 + 4*i - 2. Let v be t(-5). Suppose -726 = -29*l + 115. Which is smaller: l or v?
v
Let o = -97 - -61. Let j be 27/o + (-45)/(-12) + -3. Let l be (-3)/4 - 201/(-108). Do l and j have different values?
True
Let h = -1741384/323 + 96393/17. Let b = 279 - h. Which i