than -56?
False
Let k(p) = p - 2. Let w be k(-7). Let t(c) = -c**3 - 39*c**2 - 4*c - 92. Let o be t(-39). Suppose -o*z + 18 = -67*z. Is z != w?
True
Let q(v) = -3*v**2 + 97*v + 32. Let j be q(33). Is -16 <= j?
False
Let b be 389/(-960) - (-2)/5. Let n = 226 - 446. Let y = n - -220. Is y greater than or equal to b?
True
Let q = -505.1044 + 0.1044. Let j = q - -489. Which is smaller: 1/4 or j?
j
Let j be (24/(-33) - (-270)/99)*(-8)/(-206). Let x(v) = v**3 - 4*v**2 + 3*v - 1. Let t be x(3). Which is smaller: t or j?
t
Let g(j) = -j**3 - 2*j**2 - j + 8. Let w = 62 - 62. Let y be g(w). Suppose y*r + 14 = -18. Which is smaller: -7 or r?
-7
Let g = -6424.395 + 6373. Let u = g - -51.4. Are u and 0.4 equal?
False
Let j be ((-1)/2)/((-10)/(-320)). Suppose 0 = 4*s + 23 - 35. Suppose p - m + 20 = 0, s*p = 2*p + 5*m - 36. Is p >= j?
True
Suppose -7*b = -2*d - 9*b + 147042, -3*d = -3*b - 220545. Let j be 9/((-675)/d) + 4. Let z = -976 - j. Is -2 less than or equal to z?
True
Suppose 0 = 17*k + 8*k + 150. Let l be -6*(-2)/(8/12*k). Which is smaller: l or 15?
l
Suppose -2*h = 3*h. Let c be (h - -1)*(6 + -1). Let v be (10 - 5) + -5 - (-4)/18. Which is smaller: c or v?
v
Let a = -38622 - -38777. Which is smaller: 152 or a?
152
Suppose -28*j - 24 = -52*j. Are j and -56/131 nonequal?
True
Let p = 4774.97 + -4775. Which is greater: -258 or p?
p
Let i(w) = -78*w - 9721. Let u be i(-135). Is u greater than or equal to 1?
True
Let m = -3204 - -3207.0515. Let d = m - 0.0515. Which is smaller: d or -7?
-7
Let l = -24.9 + 455.9. Let f = l - 435. Which is smaller: 6.1 or f?
f
Let d = 14884 + -11594638/779. Let p be (-8)/24 + (-1)/(-3). Do p and d have different values?
True
Let f be 53528/187397 - (158/4424)/(2/16). Which is smaller: f or 1?
f
Suppose -4*v + 3 = 3*i - 6, -2*v + i - 3 = 0. Let k be 5/2*(10 - v). Let z = k - 33. Which is smaller: 1/2 or z?
z
Suppose -13*s = -14*s + 61. Let o(w) = -57 + s + 84*w - 19*w. Let a be o(-1). Which is smaller: -62 or a?
-62
Suppose -117*q = -116*q - 2*o + 11, -11 = -4*q - 3*o. Which is smaller: 118/255 or q?
q
Let g = 8942/5 + -15169/5. Which is greater: -1245 or g?
-1245
Suppose 4*u = u - 9. Let a be u*1 + 120/64. Let s(c) = -13*c - 119. Let r be s(-9). Which is smaller: r or a?
r
Let j(i) be the third derivative of 229*i**5/60 + i**4/8 - i**3/2 + 16*i**2. Let c be j(1). Suppose 4*d + 1 = c. Which is greater: d or 58?
58
Let a = -4 - -4. Let x be 1 + (-28)/126 + 15251/(-180). Let y = -84 - x. Which is bigger: y or a?
a
Suppose 323 = 8*x + 59. Suppose -22 = y - x. Is 10 smaller than y?
True
Suppose 0 = 13*v - 20*v + 357. Which is smaller: v or 26?
26
Let a = -31.92 + 32.92. Is a less than or equal to -1463?
False
Let q(w) = -7*w - 12. Suppose 1 = -5*y + 21. Let p be q(y). Let o(k) = 42*k**3 + k**2 + k + 2. Let f be o(-1). Is p less than f?
False
Let q = 9270 - 65010/7. Let d(m) = -m**2 - 2*m + 7. Let u be d(-6). Which is smaller: u or q?
q
Let k = 11782 - 11799. Are 310 and k unequal?
True
Let z = 727 + -721. Suppose h + 12 = -4*n, -z*h = -9*h - 3*n. Is h at least as big as 23/6?
True
Let s(c) = -4*c**3 + 39*c**2 - 20*c + 27. Let t be s(4). Is t less than 47?
False
Let m be ((-406)/145)/((-1)/10). Let t be (1/(-4))/(m/848). Let k = t - -286/35. Is k greater than or equal to 0?
True
Suppose 4*u - d = 4, -u - 39 = 5*d - 19. Let q be (-38)/(-13) - (-3)/(-1). Which is greater: q or u?
u
Let m = -811 + 820. Let n be 15/474*(m - (-129)/(-15)). Which is bigger: 0 or n?
n
Let j be 8/(-28) + (-71)/(-28) + -2. Let l = 1005.3 + -1005. Is l less than j?
False
Let j(g) = 143*g - 2051. Let p be j(24). Is p at least 1382?
False
Let x = 73749 - 12021194/163. Are 0 and x equal?
False
Let k be 16/2 + (3 - 2 - 1). Suppose 6*h = k + 34. Let j be -6 + h - (-2)/(-5). Do j and 0 have the same value?
False
Let l = 357 + -369. Let o be 6 - (-63)/l - (-2998)/(-40). Which is smaller: o or -74?
o
Suppose 0 = -48*d + 32*d - 9056. Is -564 less than or equal to d?
False
Let i(b) = -b**3 + 6*b**2 + 13*b - 15. Let t(g) = g**2 + g. Let c(v) = -i(v) + 4*t(v). Let a be c(3). Is a less than or equal to 20?
True
Suppose -2*c = 2*c - a - 36, 0 = -4*c + 4*a + 36. Is 108/13 less than c?
True
Suppose -2*q + 55 = 5*i, -4*q - 138*i = -133*i - 65. Which is greater: q or 371/87?
q
Let s = -5220/19 + 275. Let v = -163/836 + s. Let l(d) = -d**2 + 2*d + 2. Let q be l(3). Which is bigger: v or q?
v
Let l = -6087 - -6085. Which is smaller: l or 2210?
l
Let s(m) = -2*m**2 + 39*m - 15. Let y be s(19). Suppose 0 = -4*q + 20, g + 0*g + 3*q = 159. Suppose 8*h = -y*h - g. Which is smaller: h or -2/19?
h
Let d be ((-6)/(-4))/(45/4530). Is 150 greater than or equal to d?
False
Let r(b) = -2*b + 14. Let j be r(6). Let w(f) = 2*f**j - 6*f**2 - 1 + 3*f**2 + 3. Let c be w(-2). Is c at most -1?
True
Let n be (-68)/2*2/4. Suppose 2*a = -b + 40 - 4, -36 = -2*a - 4*b. Suppose -a*w + 26 - 350 = 0. Is w at least as big as n?
False
Let o(z) = z**2 + 342*z + 2014. Let g be o(-6). Let d = -5/93 - 503/1023. Is d >= g?
True
Let j be 182/530 + (-4)/10. Let d = -958 - -1654. Let y = d - 696. Is j at most as big as y?
True
Suppose -2394 = -276*w - 123*w. Is w > -199?
True
Suppose -58 - 2 = -4*k + 4*a, -3*k + 5*a + 31 = 0. Does k = 22?
True
Let y be (-3)/96750*(-1779318098)/(-45). Let h = -182/16875 + y. Let p = h + 1226. Which is smaller: p or 1?
p
Suppose 0 = -3*g - 15, 6*i + 4*g = i + 2*g. Which is bigger: -77 or i?
i
Let q = -29 - -38. Let p be -345 + 6*3/q. Let v = -1381/4 - p. Which is smaller: -3 or v?
-3
Let i = -145 + 171. Let k = i - 25.43. Are 1 and k unequal?
True
Let v = -29962/1167 - -3/389. Let t be (-5)/(-2)*-5*2. Let f = t - v. Is -21 <= f?
True
Suppose 21*o + 2470 = 34*o. Let p = 147 - o. Which is greater: 0 or p?
0
Let v be 1 + 16/(-10) + 3141/5310. Let a be 45/(-10) - (-2)/(-4). Let y be 0/(a/((-20)/8)). Which is smaller: v or y?
v
Let v = -5436 - -3536. Let z be 6 - v/(3 + 2). Which is smaller: 387 or z?
z
Suppose 4*q = 4*i + 252, 1533*q = -i + 1530*q - 83. Suppose -301 = 5*c + 34. Is c at most i?
False
Let y = 1279 - 1421. Which is greater: y or -703/5?
-703/5
Let l = -52.5 - 0.5. Let a = -69 - l. Let c = -17 - a. Is c equal to 23?
False
Let r = -7.877 + 0.077. Let u = 63.8 + r. Let s = u + -36. Which is bigger: s or -1/2?
s
Suppose 4*c = -16, -2*a - 2*c = -4*c - 12. Suppose -a*d + d = -5*v - 51, 0 = -4*d + 2*v + 168. Which is smaller: 42 or d?
d
Suppose -117*n + 14 + 11 = 25. Which is greater: 2/6421 or n?
2/6421
Let l = -1.2 - -1.174. Let r = 35.66 + -36.634. Let q = l + r. Which is greater: q or 0.4?
0.4
Let v = -134 - -67. Suppose -13*b + 10 = -9 + 32. Is v > b?
False
Let d be 93/9*-45*3. Let q = d + 11145/8. Is -3 greater than q?
False
Let v = -133 + 137. Suppose 467 = 3*a + 2*s, -v*s = -5*a - 3*s + 787. Is 158 at most as big as a?
False
Let z be (406/35)/(4/40). Suppose 20*v - z - 124 = 0. Let c be (-18)/(-120) + (-4)/10. Is v greater than or equal to c?
True
Suppose -14710*n - 8 = -14702*n. Are n and 2/527 equal?
False
Let c be 3/(-21) - ((-1608)/(-273))/4. Let u = c + 71/52. Which is bigger: -70 or u?
u
Let q = 725 + -435. Let x = -290 + q. Which is greater: x or -4/111?
x
Suppose 9*y = -7638 - 4665. Is y greater than -1369?
True
Suppose 0 = 3*u - 2*j - 158, -22*u + 5*j + 265 = -17*u. Which is smaller: 664/13 or u?
664/13
Let r be 1/1 + (-158)/(-14). Suppose -147 = -28*d - 35. Let f(p) = 2*p**2 - 20. Let j be f(d). Is r greater than j?
True
Let b = 37 - 46. Let t be (200/6 + -4)*b/(-6). Suppose 0 = -9*v + 12*v - 132. Are t and v nonequal?
False
Let u = 1.513 + -1.4886. Do 1 and u have the same value?
False
Let s = -33392 - -32793. Which is smaller: -27 or s?
s
Let i(o) = -17*o + 5. Let p(c) = c**2 + c + 1. Let k(t) = -i(t) - 4*p(t). Let w be k(3). Let x be (5/10)/((-9)/w). Which is bigger: x or -75/4?
x
Let s(q) = -q**3 - 8*q**2 + 8*q - 4. Let f be s(-9). Let d = -42 - -45. Let p be 2 + -3 + 2 + 0 + d. Is f smaller than p?
False
Suppose -3*v - 9 = 0, v + 8 - 3 = -2*u. Let o be (u/(-10))/((-255)/(-10)). Is 1 bigger than o?
True
Let c(v) = 12*v - 6. Let t be c(1). Let p be (-2 + t/12)/((-3)/10). Let j be 7/((-7)/(-48)) + (1 - p). Does j = 44?
True
Let s(y) = -y**3 + 10*y**2 + 9*y - 13. Let z be s(11). Is -575/17 smaller than z?
False
Suppose 45*c = -g + 42*c, -12 = 2*c. Whic