 = -3432/35 + t. Is z less than or equal to g?
False
Let t = 97402/519 - 563/3. Let x(p) = p**3 + 5*p**2 - 6*p - 1. Let l be x(-6). Which is smaller: t or l?
l
Let z = 79 - 75. Suppose 4*s = -8, z*q = -5*s - 41 - 9. Which is smaller: -8 or q?
q
Let m = -16239866/1535 + 52898/5. Which is greater: 0 or m?
0
Let m = 111/2 + -16. Let p(c) = 8*c - 7. Let j be p(6). Let v = m - j. Which is greater: v or 0.1?
0.1
Let k = 55 - 44.6. Let n = 9 - k. Let x = 7/5 + -9/5. Which is smaller: x or n?
n
Let j = -2275 - -2275. Is 1/489 >= j?
True
Let a(g) = -29*g + 78. Let c be a(-8). Let r = c - 181. Let j = r + -177. Which is bigger: -47 or j?
-47
Let x be (1018/(-8))/(-11*13/(-572)). Let b = x + 1019/2. Are 0.039 and b equal?
False
Let y(d) = -d**3 - 9*d**2 + 120*d - 63. Let k be y(7). Is k smaller than -236/31?
False
Let m = -66/5 - -13. Suppose 0*x - 3*x + 30 = 0. Let b be (-15)/99*4/x. Which is smaller: m or b?
m
Let s = -3.7 + 1.8. Let n = 2.9 + s. Let x = 233 - 217. Which is smaller: x or n?
n
Let t be 4/3*(-6)/20. Let j = 147.4 - -302.6. Let b = j - 402. Which is smaller: b or t?
t
Let m(v) = -v**3 + 69*v**2 - 218*v - 15. Let d be m(66). Is d > -1335?
False
Let j = -0.055 + -0.605. Let d = j - -0.4. Let c = d - -0.37. Which is smaller: c or 0?
0
Let n be 3/18 + 5619/(-18). Let u be 930/n + 0 + 3. Is 0 bigger than u?
False
Let j be 4 - (-267)/(-21) - 10/35. Let d be 5 - j*(-2)/6. Suppose -h + d + 11 = 0. Is h less than or equal to 13?
True
Let s(w) = -w**3 - 42*w**2 + 39*w - 164. Let t be s(-43). Which is bigger: 15/2 or t?
t
Let p be 1197/((-342)/(-12) + 6). Is 36 <= p?
False
Let k(a) = a**2 - 6*a + 39. Let p be k(18). Suppose 0 = 3*x + 2*x + 5*y + p, -3*y = -x - 39. Which is smaller: -47 or x?
x
Let w be -98*(-11*(-24)/16 - 7). Which is smaller: w or -932?
-932
Let c be -5 + 23/5 + 11/(440/(-24)). Is 3/733 > c?
True
Let l = -7296519458/56736075 - -196/206313. Let h = l - -643/5. Is h equal to -1?
False
Let b = -16422929/183 - -89743. Let f = b - 7073/6405. Let v = -3/5 - f. Is v <= 1?
True
Let i = -234 + 235. Let s = -0.008 - -1.008. Is s >= i?
True
Suppose 4*w = 4*k + 524, 4*k - 15 = -3. Suppose 2*h + 195 = 4*g + 33, -3*g = -4*h - w. Which is smaller: 36 or g?
36
Let k(o) = -3*o - 41. Suppose 2*z + 66 = -5*m, -2*m - 2*z - 30 = -6. Let i be k(m). Is i at least as big as 2/449?
True
Let a = 22652 + -203653/9. Which is greater: a or 25?
25
Let j = -117 - 28. Let k = j + 100. Let b be (20/3)/4*(-9)/k. Is b <= 1/9?
False
Suppose 18 = 3*b - 12. Suppose 10*i + 2*m - 3 = 5*i, b = 5*i - 5*m. Let u be (2*(-1)/(-13))/(-2). Are i and u non-equal?
True
Let h = 4.4 - 4.3. Suppose 2*y = 4*v, -3*y = -8*y + 5*v + 10. Let u be y/(-26) - (-12 - -12). Which is smaller: h or u?
u
Let f = 263 + -260. Suppose 9*a = 4*a, -f*a = k - 13. Let w be 3*((-48)/(-9))/1. Is k at most w?
True
Let r = -8/69199 + 324751019/968786. Let d = r - 335. Let t = 0 - -1. Which is smaller: t or d?
d
Let y = 1150190045/10052 - 114424. Which is smaller: y or 0?
y
Suppose -9 = -2*m + 5*j, 2*m + 4*j = -17 - 1. Let x be ((-8)/3 - m)*0. Suppose 0 = 4*o - x*o + 64. Is o >= -16?
True
Let i = 152191/3 - 50731. Suppose -504 = -0*w - 4*w. Which is smaller: i or w?
i
Suppose -794*j = -795*j - 2*x + 11, 4*j - 26 = -5*x. Is j greater than -2/3873?
False
Suppose -11*v - 414 = -128. Let t = -29 + v. Let o = 95 - 150. Is o < t?
False
Let j = 5 + -59. Suppose 2*c = r - 7, 0 = 3*r - c + 2*c. Let p be (-62 + 8)/(1/r). Do j and p have the same value?
True
Suppose -17*f - 1694 - 3763 = 0. Let x = f + 107. Are x and -216 non-equal?
True
Suppose -8*j + 8 = -0*j. Suppose v - j = 0, p + 64 = -v - 11. Do -76 and p have the same value?
True
Let a = 197.53 + -197.33. Is a smaller than 137.59?
True
Let o be 1509/982 - ((-6)/11)/(32/(-88)). Which is smaller: -1 or o?
-1
Let y = 176 + -182. Let o be (0 + -394)*((-3)/y - 0). Is -197 equal to o?
True
Suppose 43*p = 30*p + 13. Does p = -16/469?
False
Let u(v) = -v - 17. Let c = -119 - -92. Let x be u(c). Is 15 smaller than x?
False
Suppose -5268 = 9*o + 3*o. Let h = 443 + o. Is h at least 1/2?
True
Let a = 385 - 186. Let k = 200 - a. Which is bigger: -47 or k?
k
Let r be (-126)/139626*(2 + 36/(-21)). Which is smaller: r or 1?
r
Suppose 0 = 3*y + 19 - 7, -2*y = -5*z + 18. Suppose r - j - z = -0, j = -r. Let b be -10*-9*r/(-12). Is b at most as big as -9?
False
Let s be (5 - (-3987)/(-792))*-12 + 2/22. Do 14.37 and s have the same value?
False
Let n = 99 + -116. Let o = 6454/3 + -2123. Let l = -28 + o. Is l at least n?
True
Let g = 6 - -7. Suppose -130 + 5 = -10*z + 45. Which is bigger: g or z?
z
Let d = 266 - 473. Let w be (782/d - (-4)/(-18)) + -85. Is -85 at most as big as w?
False
Let h(s) = 27*s + 65. Let n be h(5). Suppose 0*k = k - n. Which is smaller: k or 199?
199
Let t = 3866 - 3866. Is t equal to 3/26?
False
Let h = 22126 - 22183. Which is smaller: h or -67?
-67
Suppose f - 5*w + 223 = 655, -2*f = w - 908. Which is greater: 2713/6 or f?
2713/6
Let h = 0.389 + -0.269. Let l = h + -1.51. Is l smaller than 2?
True
Let u = -699067/122 + 5730. Let b(s) = s + 1. Let m be b(0). Are u and m nonequal?
True
Suppose 40 = -3*k + 11*k. Suppose 0 = -0*g - 5*g + 4*l - 430, 0 = -k*g + 2*l - 420. Let r = 85 + g. Are r and 2 nonequal?
True
Let a = 3233 + -3233.1. Which is smaller: -110/3 or a?
-110/3
Let k = 676.84 + -676.9. Which is greater: k or 19/4?
19/4
Let a = -162 + 168. Let j be (1*7/(-14))/(1/a). Is 27 less than or equal to j?
False
Suppose 109*p - 149*p = -9080. Is p at least as big as 2038/9?
True
Let r be 1 - (15 + -9) - -14. Suppose -2*m + 28 = 2*p, 2*m - 36 = -2*p - 2*p. Is r bigger than m?
False
Let g = -7/4804 + 173273/225788. Is -0.14 equal to g?
False
Let d = 77 + -69. Let r(l) = 2*l + 9. Let a be r(d). Suppose -z - 16 = -a. Which is smaller: z or 3?
3
Let h be 15/(-24) - 6/(-12). Let t(m) = m**3 + 4*m**2 - 19*m - 4. Let k be t(-8). Let o = k - -107. Which is smaller: h or o?
o
Let c be 10/36*(-500)/(-825625). Are 0 and c unequal?
True
Let x(n) = n**2 - 253. Let k be x(0). Let i = -2671.29 + 2670.29. Which is smaller: k or i?
k
Suppose 5*b = -t + 24, 9 + 3 = t + 2*b. Let a be (36/54)/(t/(-54)) + 4. Is a at most as big as -8?
False
Let t be -233 + 231 - 1*184/(-91). Let q(o) = -o - 7. Let h(j) = -6*j**3 - j**2 + j. Let n be h(1). Let l be q(n). Which is greater: l or t?
t
Let n = 77 - 74. Suppose -5*v + 95 = 2*k - 25, n*v = 2*k - 120. Suppose -18 = 6*s - k. Is s smaller than 4?
False
Let q = 2/26367 + -501289/4165986. Which is greater: q or -1?
q
Suppose 0 = -106*c + 102*c - 32. Let s be (1 - 2)/(-1)*4. Suppose -16 = 6*m - s*m. Is c <= m?
True
Let n = 0.921 - 0.021. Let p = 31.1 + -16.9. Let m = p + -14. Which is smaller: m or n?
m
Suppose 0 = -9*x + 1583 - 126 + 406. Which is greater: 210 or x?
210
Suppose -7*g - 206 = 4. Let l be 4/g - 860/300. Let x be 2/(-3) + (-2)/l + -1. Do x and -3/38 have the same value?
False
Let s = -2786 + 2786.06834. Which is greater: 0.1 or s?
0.1
Let n be -2*(1 - 0) + 20 + -14. Suppose -8*t + 3*h = -6*t - 4, -h - n = 2*t. Which is bigger: 1/245 or t?
1/245
Let u = -1766 - -1879. Is u at most as big as 123?
True
Let a be 1802/6 + 8/(-24). Let z = 0.1775 + -0.0775. Which is smaller: z or a?
z
Suppose 0 = 17*s + 22*s + 15483. Let c = s - -496. Is c greater than or equal to 98?
True
Let g(b) = 2*b - 8. Let p be g(5). Let i be 2*(p - 1)*4. Let c be (-13)/26 + i/6. Which is bigger: 0 or c?
c
Let l = -35204 + 34773. Is 0.15 != l?
True
Let q be 7/(-3)*(-5 + 4)*-21. Let k be 7/q - (-3 - (-81)/21). Let t be 7/(280/(-204)) - 3/k. Which is bigger: -1 or t?
-1
Let z be ((-5)/(-3) + 0)*((-3205)/(-3175) - 1). Do 1 and z have different values?
True
Let v be -3 - -435 - 28*(-4)/(-14). Are v and 426 non-equal?
True
Let l be (57/(-12) + 0)*-1. Let m(c) = c**3 + 7*c**2 - 37*c - 65. Let o be m(-10). Which is smaller: o or l?
l
Let u = -6073 + 18235/3. Is u not equal to -2?
True
Let i be 2*-1*572/143. Which is smaller: -89 or i?
-89
Suppose -4*l + 14*y - 2619 = 11*y, 3*y = -4*l - 2637. Let i = l - -655. Let x(b) = -b**3 - 5*b**2 - 3*b + 4. Let v be x(-4). Which is smaller: v or i?
i
Let m(q) = 4*q**2 - 4*q - 119. Let k be m(-5). Is 5/242 less than k?
True
Suppose 4*d - 2 + 13 = a, 0 = 5*a + d + 29. Let r(n) = -n**2 - n - 2. Let y be r(a). Let o be (3 - 26)*