- 3*z - 52 = -5*z. Let l be (2 + 0 + y)*7/(-7). Is 12 less than l?
False
Let o = -7126/27 - -185303/702. Suppose 0 = 3*v - 5*v - 2. Let w be (0 + 1)*(v - -2). Are w and o non-equal?
True
Let i = 14.346 - 14.2. Let k = 65.966 + -66. Let j = i - k. Do j and -2 have the same value?
False
Let w = -2.01 - -0.31. Let h = -8.7 - w. Let i = h - -7. Is i >= 2.9?
False
Suppose -5*y - 5*g = -480, 92*g - 80*g - 72 = 0. Which is bigger: y or 117?
117
Let n(f) = -3*f**2 - 12*f - f**3 + 7*f**2 + 8*f + 2*f. Let x be n(4). Is x smaller than -9?
False
Let z be 6/((-141)/(-270) - (-2)/(-9)). Let b be (z/20)/((-1)/9). Let j = -1471/3 - -480. Which is smaller: b or j?
j
Let s = 28.44 + -34.2. Let n = s + 5.96. Which is smaller: 176 or n?
n
Let m = -2/3871 - -1258147/139356. Is 9 at least as big as m?
False
Let r be ((-272)/10)/((-18)/(-39) - 372/975). Let b be 4/10 - (-18)/5. Let v be 1/b - r/(-48). Which is smaller: v or -8?
-8
Suppose -4*a - 163 + 47 = 0. Let t = -335 - -338. Suppose -y + t*d = 41, 3*y + y + 5*d + 96 = 0. Is a at most as big as y?
True
Let c be -290 - -85 - (-2 - -3). Are c and -210 equal?
False
Let z = -195.883 + -0.117. Let i = 191 + z. Are i and -0.16 unequal?
True
Let c = -734 + 738.39. Let s = -4.6 + c. Let u = -0.11 - s. Which is smaller: -0.22 or u?
-0.22
Let m(p) = -8*p + 2704. Let w be m(38). Is 2399 smaller than w?
True
Let d = 1030.71 - -38.29. Is 3 at least d?
False
Suppose -3*c + 0*c + 14 = -d, 4*c = -2*d - 78. Suppose -3348 = 47*k + 65*k - 4*k. Which is bigger: k or d?
d
Let k = -554 - -551. Let u be (0/((-16)/2))/(k - -2). Is u at least as big as 1/704?
False
Let d = -3 - -19. Suppose w + 16 = -d. Let p be (176/w)/((-1)/6). Is 34 less than or equal to p?
False
Let j be ((-3)/41)/((-1)/(2 - 1)). Let i(k) = 11 + 2*k + 2*k + 0*k. Let s be i(-3). Which is smaller: j or s?
s
Suppose 5*c - c + 9632 = -4*c. Is -1200 != c?
True
Suppose -2*u - 2*o + 18 = 0, -4*o - 12 = -5*u + 15. Suppose u*g = 2*g + 200. Let w be 4 - (-85)/g*-2. Which is smaller: 0.02 or w?
w
Let m(i) = 48*i - 48*i - 1 + 6*i**2. Let q be m(-1). Let s = q + -14/3. Is -0.08 at least as big as s?
False
Let i = -6409 + 3336. Is i > -3073?
False
Let z = 535 + -526. Let p(a) = -a**3 + 5*a**2 + 10*a - 7. Let u be p(6). Is z less than or equal to u?
True
Let q = 679/27 + -25. Let z = q - 37/189. Suppose 0 = -0*i + 2*i - 2. Is z > i?
False
Suppose -2*t + 3*f = -10, 0 = -11*t + 8*t - 5*f + 15. Suppose -262 = -t*l - 322. Which is bigger: -10 or l?
-10
Suppose -52*c - 55261 = 9*c - 17807. Are c and -611 nonequal?
True
Suppose 0 = s - 301 - 192. Let p be s/(-5) - (-33)/55 - 0. Are -99 and p equal?
False
Let h = -17230 - -17246. Suppose 2*g = 3*m - 1 + 23, 0 = -5*m + 10. Do h and g have the same value?
False
Let d be (-2 - -5)/3*-12. Let q be (-6*(-3)/d)/(3/(-10)). Suppose -q*m + s = -120, 0*s = -4*s. Do 24 and m have the same value?
True
Suppose 0 = -4*s + 5*s - 2, v = 5*s + 150. Is v > -0.08?
True
Suppose -85509*b = -85544*b - 1925. Let u be (0 + 114/8)*-4. Is u > b?
False
Let a(l) = l**3 + 33*l**2 + 34*l + 28. Let o be a(-32). Let d be (-129)/o + -5*(-5)/150. Is d less than or equal to -8?
False
Let g be (-2664)/(-38) - 6/57. Let l be 2191/g + 0 - (-3)/(-10). Suppose -2*a - 12 = -70. Which is bigger: l or a?
l
Let n(b) = 19*b**2 - 93*b - 9. Let x be n(5). Are -5/1906 and x equal?
False
Suppose -3*i - 23 = -3*w + 61, -w - 2*i = -25. Let l be w*-2 + (5 - 3). Let y = -51 - l. Which is greater: 3/37 or y?
y
Let x = 82275 + -110166219/1339. Is 0 at most x?
True
Suppose -13*z - 2031 = 283. Are z and -166 equal?
False
Let l(r) = 3*r**2 - 52*r + 87. Let a be l(29). Suppose -1086 = 8*c - a. Which is bigger: c or 9/17?
c
Let v be 0 - 2/(-20) - 0. Let a be ((-168)/108)/7 + 1059/27. Suppose 53*b - a = 14*b. Which is smaller: b or v?
v
Let h = -106 + 107. Suppose -5*l = 2*r - h - 93, -3*l = -5*r + 173. Suppose 0 = 5*y + i + 73, -i + r + 16 = -4*y. Is -14 at least y?
True
Let y = 83/748 - 636651/5740900. Is 0 > y?
False
Let l(y) = y**3 + 7*y**2 + 4*y - 4. Let m be l(-6). Suppose 35*o - 229 - 320 = -26*o. Is o equal to m?
False
Let h(v) = -3*v - 3*v + 4*v**2 + 25 - 13. Let z be h(2). Let y be 44/3 - (-2)/(-3). Which is smaller: z or y?
y
Suppose -307*u + 306*u = 5*d + 603, 359 = -3*d - 2*u. Which is smaller: d or -118?
d
Let f be (-27 + 546/49)*1*(-2)/(-3). Let z be (0 + 4/(-10))*25. Is z <= f?
False
Let z = 5.558 + 4596.442. Which is smaller: 2/7 or z?
2/7
Let q(n) = 7*n + 4. Let y be q(1). Let p be (-66)/y - (-21 - 1). Which is smaller: p or 17?
p
Let g = -533/15 - -450913/12690. Which is bigger: -1 or g?
g
Let u = -2 + -11. Suppose 8*p - 608 = -339 - 333. Is u < p?
True
Suppose 7 = -3*o + 16. Suppose -5*x + o*t + 72 = 0, 57 - 1 = 4*x - 2*t. Suppose -x = h + 5*w, 6*h + 4*w + 12 = 4*h. Are h and -1 unequal?
True
Let c = -567 - -566.961. Let n = c + -0.061. Let s = 64.977 + 0.023. Is n less than or equal to s?
True
Suppose 5*f + 38 = 93. Suppose -16*p - 5*r + 970 = -f*p, -3*p - r + 584 = 0. Is p at most 195?
True
Let k be ((-168)/160)/(3/(-12)). Let p = k + -437/35. Is -1 at least as big as p?
True
Suppose -7*v + 69 = -57. Suppose v*j - 20*j + 2 = 4*g, 29 = 2*j - 5*g. Are -5 and j nonequal?
True
Let b be (481/2)/(595/(-100) + (-2 - -8)). Is 4810 at most as big as b?
True
Suppose -41*y + 108 = -39*y. Let d be (-4)/(-2)*(3 - 166/y). Let n be (2 + -3)/(-3)*3. Which is bigger: n or d?
n
Let z = -2692 - -2695.322. Let o = 0.122 - z. Which is smaller: -0.1 or o?
o
Let s = -14458.1 - -14458. Is 9503 > s?
True
Let c be ((27/2)/3)/((-75)/(-200)). Suppose -f + 1 = 0, -2*p + c*f + 1 = 11*f. Which is greater: 1/180 or p?
p
Let r(s) be the first derivative of -s**4/4 - 3*s**3 + 9*s**2/2 - 10*s - 3. Suppose -3*n + 3 = 33. Let m be r(n). Is m less than -2/199?
False
Let f = 3.923 - -2.517. Which is smaller: f or 0.1?
0.1
Suppose -2*z - 712 = 2*q, 2*q + 208 = -z - 500. Is -1/8 not equal to q?
True
Let d = -7944 + 71494/9. Are -16.97 and d nonequal?
True
Let c = -659 + 558. Is -920/9 less than c?
True
Let u be ((-48)/(-6) + -8)/2. Is 1/1891 equal to u?
False
Let t be (36/10)/(6/75). Let k be 420/t*18/(-12). Do k and -148/11 have different values?
True
Let m(u) = -u**3 - 22*u**2 + 17*u + 93. Let h be m(-22). Is -275 >= h?
True
Suppose 3*s - 2*s - 3*s = 0. Let q(w) = s*w - w**3 - 11*w**2 + 3*w + 11*w**2 + 1. Let d be q(2). Which is bigger: d or 0.2?
0.2
Let c = 6323 + -6187. Which is bigger: 144 or c?
144
Let a be (-2)/4*(2 + 2 + -4). Suppose a = 32*j - 31*j - 12. Let q = j + -11. Is 2/37 at least q?
False
Let l(f) = f - 3. Let q be l(2). Let g = 3/3484 - -627/30485. Which is bigger: g or q?
g
Let d = -2 - -4. Let v be 12/(-36) + (-860)/(-96) + -1*7. Is v greater than or equal to d?
False
Let c be 0/(-1) + (-96964)/14 - (26 - 18). Which is smaller: -6933 or c?
c
Let r = 54.95 - 0.95. Let d = 43 - r. Let g = d + 19. Does g = 0.2?
False
Let d(a) = -3*a**3 - 15*a**2 - 26*a - 27. Let v be d(-5). Which is greater: 105 or v?
105
Let l = -0.21 + 2.21. Let d = -2.8 + l. Let g = d + 2.8. Is -13 at least as big as g?
False
Let o(f) = f**2 + 14*f + 85. Let n be o(-15). Suppose -2*s = 4*i - 406, -i + 9*s + 79 = 5*s. Which is smaller: n or i?
i
Let v = -58 - -80. Suppose -4*q + 23*k - 3 = v*k, 5*q + 2*k = 6. Which is bigger: -4/105 or q?
q
Let i be (-3567)/(-63) + 2/(-7). Let t(x) = -2*x + 100. Let u be t(22). Is i at least as big as u?
True
Let r = -327.1 + 325.9. Which is smaller: 100 or r?
r
Let f = 5208 - 5212. Which is smaller: -242/79 or f?
f
Let p = 67612 + -100772. Let b = p + 301177/9. Let l = b + -307. Which is smaller: -4 or l?
-4
Suppose 28 = 3*u + 2*q, u + u = 4*q + 8. Suppose -2*d - 13 = v, 4*v = 16*d - 14*d + 48. Is v < u?
True
Let l(f) = f**3 - 11*f**2 + 21*f - 40. Let r be l(9). Let q be 523/(-35) - -1 - 3/(-21). Which is greater: r or q?
r
Let k be 1 - 7/8 - (27225/(-2892))/(-75). Which is smaller: k or 1?
k
Let s be 108824/(-7780) + 8 + 6. Is 1 smaller than s?
False
Let k = -11338.239 + 11333. Let m = k + 0.039. Let y = m - -10.2. Is y at least 0.3?
True
Suppose 511*y - 8 = 507*y. Suppose -z = -o - 2*o - 702, 3*z + o - 2096 = 0. Let c be z/1422 + (-1)/y. Which is smaller: c or -1?
-1
Let j be -3*(-1)/2*-2. Let w be (7/j + 1)/((-14)/93). Suppose 2*k - 10 - 10 = 0. Which is smaller: w or k?
w
Suppose 10 = -h